Relevant bibliographies by topics / Winding machines Computer programs

Academic literature on the topic 'Winding machines Computer programs'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Winding machines Computer programs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Winding machines Computer programs"

1

Skinner, Michael L., Ronald R. Roser, and Kirk J. Samowitz. "Computer Control of Fiber Glass Filament Winding Machines." IEEE Transactions on Industry Applications IA-21, no. 4 (July 1985): 1057–63. http://dx.doi.org/10.1109/tia.1985.349578.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hultman, Erik. "Introducing Robotized Stator Cable Winding to Rotating Electric Machines." Machines 10, no. 8 (August 15, 2022): 695. http://dx.doi.org/10.3390/machines10080695.

Full text
Abstract:
Following environmental concerns and the rapid digitalization of our society, we are currently experiencing an extensive electrification and industrial revolution. High numbers of electric machines thus need to be assembled for varying applications, including vehicle propulsion and renewable energy conversion. Cable winding is an alternative stator winding technology for electric machines that has been utilized for such applications, so far in smaller series or in prototype machines. The presented work introduces the first concept for automated stator cable winding of rotating electric machines. This concept could enable higher production volumes of cable wound machines and a unique flexibility in handling different machines, in line with Industry 4.0. Robotized stator cable winding is evaluated here for five very different rotating machine designs, through simulations and analytical extrapolation of previous experimental winding results. Potential cycle time and assembly cost savings are indicated compared to manual and lower volume conventional automation, while it is not possible to compete in the present form with existing very high-volume conventional winding automation for smaller machines. Future experimental work is pointed out on handling larger winding cables and special machine designs, and on increased robustness and optimization.
APA, Harvard, Vancouver, ISO, and other styles
3

Jumayev, Sultan, Aleksandar Borisavljevic, Konstantin Boynov, Juha Pyrhönen, and Elena A. Lomonova. "Inductance calculation of high-speed slotless permanent magnet machines." COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering 34, no. 2 (March 2, 2015): 413–27. http://dx.doi.org/10.1108/compel-08-2014-0207.

Full text
Abstract:
Purpose – The purpose of this paper is to give a simple, fast and universal inductance calculation approach of slotless-winding machines and comparison of inductances of toroidal, concentrated and helical-winding machines, since these winding types are widely used among low-power PM machines. Design/methodology/approach – Harmonic modeling approach is applied to model the magnetic field of the windings in order to calculate the synchronous inductances. The method is based on distinction between electromagnetic properties of different regions in the machine where each region is represented by its own governing equation describing the magnetic field. The governing equations are obtained from Maxwell’s equations by introducing vector potential in order to simplify the calculations. Findings – Results of the inductances of toroidal, concentrated and helical-winding slotless PM machines, which have the same torque and dimensions, obtained by the proposed analytical method are in good agreement with 3D FEM, where the relative difference is smaller than 15 percent. However, the calculation time of the analytical method is significantly less than in 3D FEM: seconds vs hours. Additionally, from the results it is concluded that the toroidal-winding machine has the highest inductance and DC resistance values among considered machines. Helical-winding machine has lowest inductance and DC resistance values. Inductance of concentrated-winding machine is between inductance of helical and toroidal windings; however, DC resistance of the concentrated windings is comparable with resistance toroidal windings. Originality/value – In this paper the inductance calculation based on harmonic modeling approach is extended for toroidal and helical-winding machines which makes the method applicable for most of the slotless machine types.
APA, Harvard, Vancouver, ISO, and other styles
4

Silwal, Bishal, and Peter Sergeant. "Thermally Induced Mechanical Stress in the Stator Windings of Electrical Machines." Energies 11, no. 8 (August 14, 2018): 2113. http://dx.doi.org/10.3390/en11082113.

Full text
Abstract:
The lifetime of an electrical machine mainly depends on the thermal overloading. Modern day applications of electrical machines on one hand require compact machines with high power density, while on the other hand force electrical machines to undergo frequent temperature cycling. Until recently, in the case of electrical machines, the main factor related to the degradation of the winding insulation was thought to be the thermal oxidization of the insulation materials. It has now been revealed that thermal overloading can also induce mechanical stress in the windings of electrical machines, which over time could lead to fatigue and degradation. In this paper, a comprehensive study of the thermally induced mechanical stress in the windings of an electrical machine is presented. The study is performed using combined thermo-mechanical models. The numerical results are validated by experiments on a segmented stator winding set-up.
APA, Harvard, Vancouver, ISO, and other styles
5

Slunjski, Marko, Obrad Dordevic, Martin Jones, and Emil Levi. "Symmetrical/Asymmetrical Winding Reconfiguration in Multiphase Machines." IEEE Access 8 (2020): 12835–44. http://dx.doi.org/10.1109/access.2020.2965652.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yan, Liang, Lei Zhang, Zongxia Jiao, Hongjie Hu, Chin-Yin Chen, and I.-Ming Chen. "A tubular linear machine with dual Halbach array." Engineering Computations 31, no. 2 (February 25, 2014): 177–200. http://dx.doi.org/10.1108/ec-01-2013-0022.

Full text
Abstract:
Purpose – Force output is extremely important for electromagnetic linear machines. The purpose of this study is to explore new permanent magnet (PM) array and winding patterns to increase the magnetic flux density and thus to improve the force output of electromagnetic tubular linear machines. Design/methodology/approach – Based on investigations on various PM patterns, a novel dual Halbach PM array is proposed in this paper to increase the radial component of flux density in three-dimensional machine space, which in turn can increase the force output of tubular linear machine significantly. The force outputs and force ripples for different winding patterns are formulated and analyzed, to select optimized structure parameters. Findings – The proposed dual Halbach array can increase the radial component of flux density and force output of tubular linear machines effectively. It also helps to decrease the axial component of flux density and thus to reduce the deformation and vibration of machines. By using analytical force models, the influence of winding patterns and structure parameters on the machine force output and force ripples can be analyzed. As a result, one set of optimized structure parameters are selected for the design of electromagnetic tubular linear machines. Originality/value – The proposed dual Halbach array and winding patterns are effective ways to improve the linear machine performance. It can also be implemented into rotary machines. The analyzing and design methods could be extended into the development of other electromagnetic machines.
APA, Harvard, Vancouver, ISO, and other styles
7

Jurkovic, Sinisa, and Elias G. Strangas. "Comparison of PMAC Machines for Starter-Generator Application in a Series Hybrid-Electric Bus." International Journal of Vehicular Technology 2011 (April 6, 2011): 1–11. http://dx.doi.org/10.1155/2011/275785.

Full text
Abstract:
This paper presents a comparative study of outer rotor PMAC machine candidates for starter-generator application in hybrid bus with series power train configuration. PMAC machines with interior and surface mount permanent magnets are considered and compared, although a complete analysis is only carried out for the SPM. Different design aspects such as concentrated versus distributed windings as well as interior and exterior rotor structures are evaluated. Different slot numbers per pole per phase configurations for concentrated winding PMAC machines are also examined. Comparison and evaluation of the machines is based on their performance which included evaluation of winding and iron losses, magnet losses, and maximum torque capability as well as the size and weight of the machines.
APA, Harvard, Vancouver, ISO, and other styles
8

Bukhari, Syed Sabir Hussain, Ghulam Jawad Sirewal, Faheem Akhtar Chachar, and Jong-Suk Ro. "Dual-Inverter-Controlled Brushless Operation of Wound Rotor Synchronous Machines Based on an Open-Winding Pattern." Energies 13, no. 9 (May 2, 2020): 2205. http://dx.doi.org/10.3390/en13092205.

Full text
Abstract:
In an open-winding machine, three-phase stator currents can be controlled such that the input armature currents may contain the third-harmonic current component in addition to the fundamental. Considering this attribute of open-winding patterns, a harmonic current field excitation technique for a wound rotor synchronous machine (WRSM) is proposed in this paper based on the control of time-harmonic magneto-motive force. Two inverters connected to both terminals of the stator winding are controlled so that the input armature current generates an additional third-harmonic current component. This third-harmonic component generates a vibrating magnetic field that induces a current in the specially designed rotor harmonic winding. The current is supplied as DC current to the rotor excitation winding to generate a rotor field by using a full-bridge diode rectifier in order to achieve brushless operation. The proposed dual-inverter-controlled brushless operation for a WRSM is executed in ANSYS Maxwell using 2-D finite element analysis to validate its operation and electromagnetic performance.
APA, Harvard, Vancouver, ISO, and other styles
9

Jang, Daekyu, and Junghwan Chang. "Design and Analysis of Surface-Mounted PM Vernier Machines Considering Harmonic Characteristics of Winding MMF." Energies 12, no. 5 (March 7, 2019): 897. http://dx.doi.org/10.3390/en12050897.

Full text
Abstract:
This paper proposes a design method for the flux modulation poles (FMPs) formed on the stator of surface-mounted permanent magnet vernier machines (SPMVM) considering the winding configurations. In three types of the SPMVM with the different winding configurations, the FMP shapes to maximize the output torque are optimized by employing the analytical equations for the magneto-motive force (MMF) due to the windings, permeance, and flux density in the air-gap. Then, the validity of the optimal shapes for the FMPs is verified by the finite element analysis. It is found that the optimal FMP shapes are designed differently in the three types of the SPMVM and increase the output torque by different ratios according to the winding configurations. In addition, the experimental results for the prototype show that the proposed method can optimally design the FMP shape by analyzing mathematically the effects of the winding configuration and the FMP shape on the output torque of the SPMVM.
APA, Harvard, Vancouver, ISO, and other styles
10

Pietrowski, Wojciech, and Konrad Górny. "Analysis of Torque Ripples of an Induction Motor Taking into Account a Inter-Turn Short-Circuit in a Stator Winding." Energies 13, no. 14 (July 14, 2020): 3626. http://dx.doi.org/10.3390/en13143626.

Full text
Abstract:
Despite the increasing popularity of permanent magnet synchronous machines, induction motors (IM) are still the most frequently used electrical machines in commercial applications. Ensuring a failure-free operation of IM motivates research aimed at the development of effective methods of monitoring and diagnostic of electrical machines. The presented paper deals with diagnostics of an IM with failure of an inter-turn short-circuit in a stator winding. As this type of failure commonly does not lead immediately to exclusion of a drive system, an early stage diagnosis of inter-turn short-circuit enables preventive maintenance and reduce the costs of a whole drive system failure. In the proposed approach, the early diagnostics of IM with the inter-turn short-circuit is based on the analysis of an electromagnetic torque waveform. The research is based on an elaborated numerical field–circuit model of IM. In the presented model, the inter-turn short-circuit in the selected winding has been accounted for. As the short-circuit between the turns can occur in different locations in coils of winding, computations were carried out for various quantity of shorted turns in the winding. The performed analysis of impact of inter-turn short-circuit on torque waveforms allowed to find the correlation between the quantity of shorted turns and torque ripple level. This correlation can be used as input into the first layer of an artificial neural network in early and noninvasive diagnostics of drive systems.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Winding machines Computer programs"

1

Biglari-Abhari, Morteza. "Performance improvement through predicated execution in VLIW machines." Title page, contents and abstract only, 2000. http://web4.library.adelaide.edu.au/theses/09PH/09phb593.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stein, S. C. "Modelling of the filament-winding fabrication process." Thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/41585.

Full text
Abstract:
A stress model of the filament-winding fabrication process, previously implemented in a finite element program, was improved. Pre- and post-processing codes were developed to make the program easier and more efficient to use. A program which is used to design filament wound composite rocket motor cases was modified to write a model file for the fabrication stress code in the pre-processing stage. The same code was altered to provide post-processing output in the form of graphic displays. Also, a new code was written to provide additional post-processing capability for the fabrication stress model. Verification of the model of the filament-winding process was performed by comparing experimental pressure and strain data, for the fabrication of a filament wound bottle, with results of an analytical model. The final analytical results using consecutive models of the filament wound bottle show reasonable agreement with experimental pressure and hoop strain data. The maximum difference in the analytical and experimental values in the pressure data was about 25% for the final winding stage. The difference was smaller during the winding progression. These results also show that the accuracy of the model depends heavily on the assumptions made for input parameters during modelling. The stiffness of the segmented steel mandrel, simulated by an effective modulus (degraded by segmentation), and the instantaneous laydown tension loss parameters significantly affected the results of the model. Including the effective modulus for the segmented mandrel in the model reduced the difference in the experimental and analytical pressure results by about 150%. The inclusion of instantaneous laydown tension loss in the model reduced the analytical-experimental difference by roughly 225%. These two parameters reduced the largest difference in the predicted pressure values from about 400% for the first model to around 25% for the final model. The fabrication stress model was coupled with the thermo-kinetic cure model to provide more accurate fiber motion tension loss analysis capability. The stress model was modified to use the thermo-kinetic model as a subroutine to calculate fiber motion tension loss using a two-dimensional analysis. The results of the qualitative verification show that fiber motion tension loss is more important in the later stages of winding than in the beginning stages which indicates that it may provide the needed accuracy in the final winding stages.
Master of Science
APA, Harvard, Vancouver, ISO, and other styles
3

Doddapaneni, Srinivas P. "Automatic dynamic decomposition of programs on distributed memory machines." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/8158.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Atger, Dominique. "A Turing machines simulator using a Microsoft Windows' interface." Virtual Press, 1993. http://liblink.bsu.edu/uhtbin/catkey/865965.

Full text
Abstract:
The purpose of this thesis is to develop a software system simulating Turing machines using a Microsoft Windows' Interface.Developed in the 1930's by Alan Turing and Emil Post, Turing machines are defined as "abstract computers" . These machines seem able to solve all problems a modern computer can solve, however complex the problems may be. A Turing machine is a basic computational model for algorithms.The software provides a practical tool to students with a relative notion of Turing machines. The software contains introduction and general information on Turing machines that gives the beginner enough background to use the program. The user can create, modify or run Turing machines saved onto MS-DOS files. Some examples of Turing machines are preloaded. These examples give more help to the beginner.An on-line help facility is provided in order to direct and inform the learning student at each level of the software.The Microsoft Windows' Interface makes the software easy and friendly to use. The software has the modularity which will ease any future enhancement.
Department of Computer Science
APA, Harvard, Vancouver, ISO, and other styles
5

Song, Jun. "Compiling ACE for Distributed-Memory Machines." PDXScholar, 1992. https://pdxscholar.library.pdx.edu/open_access_etds/4568.

Full text
Abstract:
Distributed-memory machines offer a very high level of performance, flexibility and scalability. But the memory organization of this kind of machine determines that processes on different processors must communicate explicitly by sending and receiving messages. As a result, the programmer faces the enormously difficult task of detailed planning of algorithm-irrelevant, low-level communication issues. This level of programming resembles writing assembly programs for a sequential machine. ACE is a message-passing language with abstract communication statements. It was defined by Dr. Jingke Li at Portland State University. The communication in ACE is still explicit, but it is abstracted to a higher level. The abstraction can help balance the needs of ease of programming and high performance. This thesis discusses how those high-level communication abstractions can be transformed into low-level communication routines. It presents the design and implementation of a compiler that transforms an ACE program into a C program with low-level communication routines. The compiler is implemented for the Intel iPSC/2 hypercube multiprocessor machine. Compared to their low-level counterparts, ACE programs are easier to write and are more understandable. Compared to their high level counterparts, more efficient code can be generated since the communication information is expressed explicitly in ACE and the compiler itself is much less complex. ACE also enables the users to fine tune some critical communication segments. Some well known parallel algorithms written in ACE are compiled by the compiler as examples, and experimental results of their performance are included.
APA, Harvard, Vancouver, ISO, and other styles
6

Shih, Po-Jen. "On-Line Consolidation of Thermoplastic Composites." Diss., A&T Access:, 1997. http://scholar.lib.vt.edu/theses/public/etd-135510112972690/etd-title.html.

Full text
Abstract:
Thesis (Ph. D.)--Virginia Polytechnic Institute and State University, 1997.
"UMI number: 9724066"--T.p. verso. Vita. Includes bibliographical references (p. 182-189). Available electronically via Internet.
APA, Harvard, Vancouver, ISO, and other styles
7

Orgill, Gregory Leavitt. "Java Performance of the Rijndael Encryption Algorithm Across Compilers and Virtual Machines." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd681.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Park, Seongmin. "A hypertext learning system for theory of computation." Virtual Press, 1993. http://liblink.bsu.edu/uhtbin/catkey/897499.

Full text
Abstract:
The Hypertext concept was introduced about 50 years ago. This thesis presents the development of a reference system using the Hypertext concept. HYATS (HYpertext Automata and Turing Theory Learning 5ys,em) is a system which helps users learn many topics in the area of theory of computation. The system is implemented by Guide which is a general purpose Hypertext system running on PC-Windows environment. HYATS also includes a Turing machine simulating program which was written by Dominique Atger as her Master's Thesis in 1993, so that users can actually experiment with Turing machines learned through HYATS. HYATS will be not only the reference system, but also the complete package of actual learning system. The motivation behind this project is to study basic concepts of a Hypertext system so that it will also contribute to G-Net research. HYATS can be used as a prototype for future development of versions of by using other Hypertext systems such as NoteCards.
Department of Computer Science
APA, Harvard, Vancouver, ISO, and other styles
9

Lucas, Divino César Soares 1985. "Modeling the performance impact of hot code misprediction in Cross-ISA virtual machines = Modelagem do impacto de erros de predição de código quente no desempenho de máquinas virtuais." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275628.

Full text
Abstract:
Orientadores: Guido Costa Souza de Araújo, Edson Borin
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-23T12:28:12Z (GMT). No. of bitstreams: 1 Lucas_DivinoCesarSoares_M.pdf: 1053361 bytes, checksum: e29ab79838532619ba298ddde8ba0f39 (MD5) Previous issue date: 2013
Resumo: Máquinas virtuais (MVs) são sistemas que se propõem a eliminar a incompatibilidade entre duas, em geral diferentes, interfaces e dessa forma habilitar a comunicação entre diferentes sistemas. Nesse sentido, atuando como mediadores, uma MV está em um ponto que a permite fomentar o desenvolvimento de soluções inovadoras para vários problemas. Tais sistemas geralmente utilizam técnicas de emulação, por exemplo, interpretação ou tradução dinâmica de binários, para executar o código da aplicação cliente. Para determinar qual técnica de emulação é a ideal para um trecho de código geralmente é necessário que a MV empregue algum tipo de predição para determinar se o benefício de compilar o código supera os custos. Este problema, na maioria dos casos, resume-se a predizer se o dado trecho de código será frequentemente executado ou não, problema conhecido pelo nome de Predição de Código Quente. Em geral, se o preditor sinalizar um trecho de código como quente, a MV imediatamente toma a decisão de compilá-lo. Contudo, um problema surge nesta estratégia, à resposta do preditor é apenas a decisão de uma heurística e é, portanto, suscetível a erros. Quando o preditor sinaliza como quente um trecho de código que não será frequentemente executado, ou seja, um código que de fato é "frio", ele está fazendo uma predição errônea de código quente. Quando uma predição incorreta é feita, ocorre que a técnica de emulação que a MV utilizará para emular o trecho de código não compensará o seu custo e, portanto a MV gastará mais tempo executando o seu próprio código do que o código da aplicação cliente. Neste trabalho, foi avaliado o impacto de predições incorretas de código quente no desempenho de MVs emulando vários tipos de aplicações. Na análise realizada foi avaliado o preditor de código quente baseado em limiar, uma técnica frequentemente utilizada para identificar regiões de código que serão frequentemente executadas. Para fazer esta análise foi criado um modelo matemático para simular o comportamento de tal preditor e a partir deste modelo uma série de resultados puderam ser explorados. Inicialmente é mostrado que este preditor frequentemente erra a predição e, como conseqüência, o tempo gasto fazendo compilações torna-se o maior componente do tempo de execução da MV. Também é mostrado como diferentes limiares de predição afetam o número de predições incorretas e qual o impacto disto no desempenho da MV. Também são apresentados resultados indicando qual o impacto do custo de compilação, tradução e velocidade do código traduzido no desempenho da MV. Por fim é mostrado que utilizando apenas o conjunto de aplicações do SPEC CPU 2006 para avaliar o desempenho de MVs que utilizam o preditor de código quente baseado em limiar pode levar a resultados imprecisos
Abstract: Virtual machines are systems that aim to eliminate the compatibility gap between two, possible distinct, interfaces, thus enabling them to communicate. This way, acting like a mediator, the VM lies at an important position that enables it to foster innovative solutions for many problems. Such systems usually rely on emulation techniques, such as interpretation and dynamic binary translation, to execute guest application code. In order to select the best emulation technique for each code segment, the VM typically needs to predict whether the cost of compiling the code overcome its future execution time. This problem, in the common case, reduce to predicting if the given code region will be frequently executed or not, a problem called Hot Code Prediction. Generally, if the predictor flags a given code region as hot the VM instantly takes the decision to compile it. However, a problem came out from this strategy, the predictor response is only a decision made by means of a heuristic and thus it can be incorrect. Whenever the predictor flags a code region that will be infrequently executed (cold code) as hot code, we say that it is doing a hotness misprediction. Whenever a misprediction happens it means that the technique the VM will use to emulate the code will not have its cost amortized by executing the optimized code and thus the VM will, in fact, spend more time executing its own code rather than the guest application code. In this work we measure the impact of hotness mispredictions in a VM emulating several kinds of applications. In our analysis we evaluate the threshold-based hot code predictor, a technique commonly used to predict hot code fragments. To do so we developed a mathematical model to simulate the behavior of such predictor and we use it to estimate the impact of mispredictions in several benchmarks. We show that this predictor frequently mispredicts the code hotness and as a result the VM emulation performance becomes dominated by miscompilations. Moreover, we show how the threshold choice can affect the number of mispredictions and how this impacts the VM performance. We also show how the compilation, interpretation and steady state execution cost of translated instructions affect the VM performance. At the end we show that using SPEC CPU 2006 benchmarks to measure the performance of a VM using the threshold-based predictor can lead to misleading results
Mestrado
Ciência da Computação
Mestre em Ciência da Computação
APA, Harvard, Vancouver, ISO, and other styles
10

Zinsly, Raphael Moreira 1989. "Técnicas de formação de regiões para projetos de máquinas virtuais eficientes." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275615.

Full text
Abstract:
Orientadores: Sandro Rigo, Edson Borin
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-23T22:21:33Z (GMT). No. of bitstreams: 1 Zinsly_RaphaelMoreira_M.pdf: 2659662 bytes, checksum: 961bbb4fb596ee0d81d07c51279c44ed (MD5) Previous issue date: 2013
Resumo: O resumo poderá ser visualizado no texto completo da tese digital
Abstract: The complete abstract is available with the full electronic document
Mestrado
Ciência da Computação
Mestre em Ciência da Computação
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Winding machines Computer programs"

1

Wilhelm, Reinhard. Compiler Design: Virtual Machines. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Heller, Steve. Large problems, small machines: Transforming your programs with advanced algorithms. San Diego: Academic Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cathey, Jimmie J. Electric machines: Analysis and design applying Matlab. Boston: McGraw-Hill, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Devices: A manual of architectural + spatial machines. Amsterdam: Elsevier, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Roepke, Wallace W. Computer program to relate dust generation to drum-type coal mining machines. [Avondale, MD]: United States Dept. of the Interior, Bureau of Mines, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

IEEE Symposium on FPGAs for Custom Computing Machines (1996 Napa Valley, Calif.). IEEE Symposium on FPGAs for Custom Computing Machines: Proceedings, April 17-19, 1996, Napa Valley, California. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dell, Deborah A., and J. Gerry Purdy. ThinkPad: A Different Shade of Blue; Building a Successful IBM Brand. Edited by Lisa Wilson, Heather Talbot, and Kate Talbot. Indianapolis: Sams, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jeon, Jae-Jin. Pseudo Wigner-Ville distribution, computer program and its applications to time-frequency domain problems. Monterey, Calif: Naval Postgraduate School, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

John, Fitzgerald, Gnesi Stefania, Khurshid Sarfraz, Leuschel Michael, Reeves Steve, Riccobene Elvinia, and SpringerLink (Online service), eds. Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Election reform: Machines and software : hearing before the Subcommittee on Elections of the Committee on House Administration, House of Representatives, One Hundred Tenth Congress, first session, meeting held in Washington, DC, March 15, 2007. Washington: U.S. G.P.O., 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Winding machines Computer programs"

1

Härtel, Hermann. "Interactive learning programs for unix-machines." In Computer Assisted Learning, 321–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0020891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bush, V. J., and J. R. Gurd. "Transforming recursive programs for execution on parallel machines." In Functional Programming Languages and Computer Architecture, 350–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15975-4_47.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Löwe, Welf, Jörn Eisenbiegler, and Wolf Zimmermann. "Optimization of parallel programs on machines with expensive communication." In Lecture Notes in Computer Science, 602–10. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0024754.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Reinhard, Tobias, and Bart Jacobs. "Ghost Signals: Verifying Termination of Busy Waiting." In Computer Aided Verification, 27–50. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_2.

Full text
Abstract:
AbstractPrograms for multiprocessor machines commonly perform busy waiting for synchronization. We propose the first separation logic for modularly verifying termination of such programs under fair scheduling. Our logic requires the proof author to associate a ghost signal with each busy-waiting loop and allows such loops to iterate while their corresponding signal $$s$$ s is not set. The proof author further has to define a well-founded order on signals and to prove that if the looping thread holds an obligation to set a signal $$s'$$ s ′ , then $$s'$$ s ′ is ordered above $$s$$ s . By using conventional shared state invariants to associate the state of ghost signals with the state of data structures, programs busy-waiting for arbitrary conditions over arbitrary data structures can be verified.
APA, Harvard, Vancouver, ISO, and other styles
5

Yuan, Shenghao, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, and Emmanuel Baccelli. "End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers." In Computer Aided Verification, 293–316. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_15.

Full text
Abstract:
AbstractRIOT is a micro-kernel dedicated to IoT applications that adopts eBPF (extended Berkeley Packet Filters) to implement so-called femto-containers. As micro-controllers rarely feature hardware memory protection, the isolation of eBPF virtual machines (VM) is critical to ensure system integrity against potentially malicious programs. This paper shows how to directly derive, within the Coq proof assistant, the verified C implementation of an eBPF virtual machine from a Gallina specification. Leveraging the formal semantics of the CompCert C compiler, we obtain an end-to-end theorem stating that the C code of our VM inherits the safety and security properties of the Gallina specification. Our refinement methodology ensures that the isolation property of the specification holds in the verified C implementation. Preliminary experiments demonstrate satisfying performance.
APA, Harvard, Vancouver, ISO, and other styles
6

Priestley, A. P. "Programming Techniques, Computer-Aided Manufacturing, and Simulation Software." In Composite Filament Winding, 35–47. ASM International, 2011. http://dx.doi.org/10.31399/asm.tb.cfw.t52860035.

Full text
Abstract:
Abstract This chapter discusses the ways in which the evolution of filament winding software systems has capitalized on the inherent flexibility of computer numerical controlled winding machines and enhanced their productivity. It provides a detailed discussion on different types of geometries that can be wound, from the simple to the highly complex, with insight into the limitations, advantages, and challenges of each. Components covered include classic axisymmetric parts (rings, pipes, driveshafts, pipe reducers, tapered shafts, closed-end pressure vessels, and storage tanks), nonround sections (aeromasts, airfoils, box sections, and fuselage sections), curved-axis parts (elbows, ducts), and special applications (tees). Basic winding concepts, such as band pattern, are discussed and explained, and some simple predictive formulae are introduced. The chapter also provides examples of programming various geometries using advanced software tools and discusses how various materials, such as rovings, tow-preg, prepreg tape, and woven materials, affect winding program generation.
APA, Harvard, Vancouver, ISO, and other styles
7

"Armature Reaction." In Advances in Computer and Electrical Engineering, 57–83. IGI Global, 2015. http://dx.doi.org/10.4018/978-1-4666-8441-6.ch003.

Full text
Abstract:
In Direct Current machines, we have two types of windings. The first one is field winding and the second one is armature winding. Armature field, and armature reaction is about armature winding. In this chapter, we discuss the issue of armature field, Geometrical and magnetic neutral axis (G.NA & M.N.A), resultant field at load. Then we discuss shift of neutral plane in generator vs motor. After that we discuss the calculation of cross-magnetising ampere – turns per pole, compensating windings. Finally, this chapter ends with commutating or inter poles.
APA, Harvard, Vancouver, ISO, and other styles
8

Peters, S. T. "Filament Winding—Introduction and Overview." In Composite Filament Winding, 1–5. ASM International, 2011. http://dx.doi.org/10.31399/asm.tb.cfw.t52860001.

Full text
Abstract:
Abstract Most filament winding machines now have computer controls and at least three axes. Winding with four axes is increasingly common because the shapes of the products have evolved to include more complexity. The automation used on the winding machine and ancillary components does not eliminate the need for proper fiber handling. This chapter is a primer on modern filament winding equipment and its use, starting with an overview of machine control and then discussing the design and structural analysis of filament wound components such as pressure vessels, pipes, grid structures, deep sea oil platform drill risers, high-speed rotors, and filament-wound preforms.
APA, Harvard, Vancouver, ISO, and other styles
9

Machado, Penousal, Francisco B. Pereira, Jorge Tavares, Ernesto Costa, and Amílcar Cardoso. "Evolutionary Turing Machines." In Recent Developments in Biologically Inspired Computing, 9–40. IGI Global, 2005. http://dx.doi.org/10.4018/978-1-59140-312-8.ch002.

Full text
Abstract:
In this chapter we study the feasibility of using Turing Machines as a model for the evolution of computer programs. To assess this idea we select, as test problem, the Busy Beaver — a well-known theoretical problem of undisputed interest and difficulty proposed by Tibor Rado in 1962. We focus our research on representational issues and on the development of specific genetic operators, proposing alternative ways of encoding and manipulating Turing Machines. The results attained on a comprehensive set of experiments show that the proposed techniques bring significant performance improvements. Moreover, the use of a graph based crossover operator, in conjunction with new representation techniques, allowed us to establish new best candidates for the 6, 7, and 8 states instances of the 4-tuple Busy Beaver problem.
APA, Harvard, Vancouver, ISO, and other styles
10

Oliveira, Arlindo. "The Quest for Intelligent Machines." In The Digital Mind. The MIT Press, 2017. http://dx.doi.org/10.7551/mitpress/9780262036030.003.0005.

Full text
Abstract:
This chapter addresses the question of whether a computer can become intelligent and how to test for that possibility. It introduces the idea of the Turing test, a test developed to determine, in an unbiased way, whether a program running in a computer is, or is not, intelligent. The development of artificial intelligence led, in time, to many applications of computers that are not possible using “non-intelligent” programs. One important area in artificial intelligence is machine learning, the technology that makes possible that computers learn, from existing data, in ways similar to the ways humans learn. A number of approach to perform machine learning is addressed in this chapter, including neural networks, decision trees and Bayesian learning. The chapter concludes by arguing that the brain is, in reality, a very sophisticated statistical machine aimed at improving the chances of survival of its owner.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Winding machines Computer programs"

1

Nasri, W., and K. Fathallah. "A performance model for OpenMP programs on multi-core machines." In 2013 International Conference on Computer Applications Technology (ICCAT 2013). IEEE, 2013. http://dx.doi.org/10.1109/iccat.2013.6522033.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Imanishi, Etsujiro. "Multibody Dynamics and Competitiveness on the Company." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-84078.

Full text
Abstract:
This paper presents how the multibody dynamics is utilized in the company. In recent years, the advance evaluations considering the dynamics of the products become to be the mainstream on the design state in new product development. Moreover, the multibody dynamics is utilized to develop the advanced technology of the new products. As it becomes to be possible that the dynamics of the products is examined even in the design stage at the good accuracy by the progress of the multibody dynamics, the essential solutions and the quantitative evaluations can be carried out in the development of the new products. In the development of the completely new concept machine, the multibody dynamics is necessary to carry out the system optimization of the machine. In this paper, the activities using the multibody dynamics are introduced through the cases of the evaluation on the disorder winding of the wire rope in the tower crane, and the evaluation of the power consumption in the hydraulic excavator.
APA, Harvard, Vancouver, ISO, and other styles
3

Ali, Mohamed H., Noha H. El-Amary, H. E. A. Ibrahim, and Raafat I. Mashaly. "An upgraded soft winding machines based on advanced yarn tension modelling for using polyester." In 2016 IEEE Students' Conference on Electrical, Electronics and Computer Science (SCEECS). IEEE, 2016. http://dx.doi.org/10.1109/sceecs.2016.7509274.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Atkins, N. W., and S. Derby. "An Interactive Graphics Application for Computer Aided Development of Inspection Programs for Coordinate Measurement Machines." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0039.

Full text
Abstract:
Abstract The development of an interactive computer graphics application at RPI, sponsored by Pratt & Whitney, to create inspection programs for coordinate measurement machines using complete product definitions, is one step in evaluating the virtue of the PDDI/GMAP endeavor. One of the key factors in computer integrated manufacturing is the need to provide a database for the complete representation of product definition data. The PDDI/GMAP project, sponsored by the United States Air Force, is one of several efforts currently defining environments and neutral data formats for product data definition. The virtue of this data format can only be measured by the success of applications developed to work within this environment.
APA, Harvard, Vancouver, ISO, and other styles
5

Tessarolo, Alberto, Lorenzo Branz, and Mauro Bortolozzi. "Stator inductance matrix diagonalization algorithms for different multi-phase winding schemes of round-rotor electric machines part I. theory." In IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON). IEEE, 2015. http://dx.doi.org/10.1109/eurocon.2015.7313776.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Abdulmazhidov, Kh A. "The main tasks of the design and capabilities of computer programs for design elements of ground machines." In ТЕНДЕНЦИИ РАЗВИТИЯ НАУКИ И ОБРАЗОВАНИЯ. НИЦ «Л-Журнал», 2018. http://dx.doi.org/10.18411/lj-09-2018-55.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Tessarolo, Alberto, Lorenzo Branz, and Mauro Bortolozzi. "Stator inductance matrix diagonalization algorithms for different multi-phase winding schemes of round-rotor electric machines part II. Examples and validations." In IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON). IEEE, 2015. http://dx.doi.org/10.1109/eurocon.2015.7313777.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Yazhou, and Yahong Rosa Zheng. "Profiling NVIDIA Jetson Embedded GPU Devices for Autonomous Machines." In 6th International Conference on Computer Science, Engineering And Applications (CSEA 2020). AIRCC Publishing Corporation, 2020. http://dx.doi.org/10.5121/csit.2020.101811.

Full text
Abstract:
This paper presents two methods, tegrastats GUI version jtop and Nsight Systems, to profile NVIDIA Jetson embedded GPU devices on a model race car which is a great platform for prototyping and field testing autonomous driving algorithms. The two profilers analyze the power consumption, CPU/GPU utilization, and the run time of CUDA C threads of Jetson TX2 in five different working modes. The performance differences among the five modes are demonstrated using three example programs: vector add in C and CUDA C, a simple ROS (Robot Operating System) package of the wall follow algorithm in Python, and a complex ROS package of the particle filter algorithm for SLAM (Simultaneous Localization and Mapping). The results show that the tools are effective means for selecting operating mode of the embedded GPU devices.
APA, Harvard, Vancouver, ISO, and other styles
9

Hunko, Wesley S., and Lewis N. Payton. "Implementing Computer Numerical Controls Affordably at a Four Year University." In ASME 2016 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/imece2016-66152.

Full text
Abstract:
Additive manufacturing, fundamentally, is computerized numerical controls using a specialized printer head as the “tool”. Any new curriculum implementing “additive manufacturing” stands upon the fundamental and advanced work done before in computer numerical controls. Although there certainly is a need for end user laboratories based upon purchased printers, the challenge in designing curriculums that support developing the next generation of additive manufacturing must also include computer numerical controls. The best designers must be able to picture the entire system when developing new systems. During the late twentieth and early twenty-first centuries, the “hands-on” engineering laboratories typical of the post-World War II engineering campus gave way to computerized laboratories and simulation. Traditional engineering assets (lathes, mills, drill presses, etc.) were retired as they aged without replacement in favor of computer laboratories full of PC’s and software. As the 20th century ended, there was a realization that computer simulation is no substitute for “cutting metal” or “making things”. Designers need to understand process in order to communicate with technologists from trade schools and industry. Even a simple engineering drawing can often simply not be created due to process limitations (e.g., a perfectly drawn internal 90-degree angle in a CAD drawing does not occur in nature OR a machine shop). As the four year universities shut down their hands on programs, the two year programs implemented complex computer numerical controls curriculums to train operators for industry. The incredibly expensive equipment needed to do this is funded by state governments trying to attract industry to the state. The four year universities, responsible for creating the next generation of manufacturing machines, do not have access to THIS generations machines. The National Science Foundation and state governments don’t see the need for upper level engineering students to have ready access to machines that cost up to a million dollars each. The universities fortunate to have CNC machines usually keep them locked away from the students for safety of the machines and the students. Technicians make things for the students on the limited number or machines available. There is no understanding of the machines and very little understanding of the processes the machines are doing. An earlier paper by the authors described a way to implement an affordable undergraduate “manual” innovation laboratory. This article describes an affordable way for upper level universities to implement an effective machine design atmosphere for subtractive and additive manufacturing. The students modify existing machines from that earlier laboratory into multi-axis CNC machines. Students have successfully built five axis mills, lathes with live tooling and now a unique metal printing machine. The goal is not to create operators, but to enable designers of the next generation of machines. At the very least, students are immediately useful as design engineers when hired by companies making the most advanced (and expensive) additive/subtractive machines. The emphasis is not on expensive super machines but on very capable simple machines as emphasized in the Toyota Production System. One specific, inexpensive example will be provided for other institutions to utilize. The result has been an affordable laboratory that supports undergraduate students, graduate research students, and the university as a whole while teaching the design and control of computer numerical machines.
APA, Harvard, Vancouver, ISO, and other styles
10

Kuzlyakina, Valentina V., and Marina V. Nagaeva. "Computer-Aided Laboratory Work to “Mechanism and Machine Science” Course." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34609.

Full text
Abstract:
Laboratory work is an important element in engineering training, which should correspond to up-to-date tendencies in computer-based technologies in design, production, maintenance and preserving mechanisms. Computer-based laboratory work consists of 16 assignments. Seven assignments are carried out on laboratory stands, the remainder are provided on PC, using programs like “Visual Structure Editor”, “DYNAMO”, “APM Win Machine”. The system Visual Structure Editor (VSE) is designed by specialists of “Machine Mechanics and Computer-Aided Design” department, of the Maritime State University named after adm.G.I.NEVELSKOY, Vladivostok, under the direction of prof. Valentina V. Kuzlyakina. The system APM (Automated Projecting of Mechanism) is designed by the research-and-production centre “APM” under the direction of prof.V.Shelofast, from the city of Korolyov, Moscow area. These systems are multifunctional. They allow project different mechanical systems at the stage of structural and parametrical synthesis, carry out strength calculations and design elements of machines and mechanisms. They are good in operation. Teachers and students easily master the systems. Laboratory works with computer support allow students to pass from a concrete object to modeling on a PC, and to solve complex engineering tasks during the education process.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Winding machines Computer programs' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography