نتایج جستجو برای: system conventional machines machine conditions

تعداد نتایج: 3267935  

2015
Jinmei Wu Han Peng Chuangang Wang

purpose: discuss application of virtual reality in self-propelled agricultural machine test; Method: analyze current farm environment, establish 3D virtual scenario of a farm, construct a virtual reality system combining physical engine, mechanical kinematics and dynamics, and simulate whole performance of the self-propelled machine based on virtual reality; Result: the agricultural mechanical ...

Journal: :Bulletin of the EATCS 1996
Horst Reichel

It is the aim of this paper to demonstrate that the notion of Di-algebras, introduced by T. Hagino, may be used to unify algebraic speciications of ADT's with the basic ideas of evolving algebras (E{algebras for short) which use static algebras as states of dynamic systems. The resulting speciication formalism is based on initial and terminal constraints of quasi varieties of Di{algebras. Initi...

2009
Nina Mikirova

Conventional medicine follows conventional biology, conventional chemistry, and physics in treating the material. This is the biological approach, where living organisms are represented only as extremely complex machines or molecules. For a long time, medical doctors were considered as mechanics who repaired broken parts in the human machine. Patients are often treated with drugs that are desig...

H. Fekri M. A. Shamsi-Nejad, S. M. Hasheminejad

This paper proposes a novel axial flux switching permanent magnet generator for small wind turbine applications. Surface mounted axial flux switching permanent magnet (SMAFSPM) machine is a new type of these machines that is introduced in this paper. One of the most important challenges in optimal designing of this kind of machines, is ease of construction and maintenance. One of the main featu...

2001
B E Law

The overall accuracy of a system is primarily decided by how correctly the synchronous machines within the system are modelled. The use of a second order model of synchronous generator is usually assumed to be sufficient to simulate the machine response. Yet this is inadequate for transient study. A simulation model is set up to examine the response of the synchronous machine during transient s...

Journal: :Logical Methods in Computer Science 2007
Andreas Blass Yuri Gurevich Dean Rosenzweig Benjamin Rossman

In earlier work, the Abstract State Machine Thesis — that arbitrary algorithms are behaviorally equivalent to abstract state machines — was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. In a companion paper [5] the axiomatisation was extended to cover in...

2011

Engineers designing a continuous flow production line consisting of machines and buffers in series, have to determine the optimal sizes of the intermediate buffers. When the machines operating on the product are unreliable, this dimensioning decision becomes even more difficult. This paper aims to provide some insight into the optimal sizes of intermediate buffers in a continuous flow transfer ...

2008
Xi Wang Chun Wang Weidong Zhuang Hui Yang

To meet the need of modernization of agricultural machines management in Heilongjiang Reclamation Area, further boost the level of large-scale modernized agricultural production, and improve agricultural machines management, agricultural machines management and assignment network system has been established. The system has realized agricultural machines management by network and management depa...

Journal: :Logical Methods in Computer Science 2007
Andreas Blass Yuri Gurevich Dean Rosenzweig Benjamin Rossman

In earlier work, the Abstract State Machine Thesis — that arbitrary algorithms are behaviorally equivalent to abstract state machines — was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the pro...

2015
Manish Kumar Sunil Rajotia

Computer aided process planning (CAPP) and scheduling are two major activities in a modern manufacturing system. The existing CAPP systems have not taken account of shop floor conditions while developing process plans. This paper discusses the importance of integration of scheduling and CAPP and proposes a method for the same. There can be several methods to machine a part and several machines ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید