This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is always guaranteed. Moreover, a set of transformations is presented for the subclass of Free-Choice Petri nets that enables the exploration of different solutions. The set of transformations is derived from previous work on Petri net synthesis. Both the encoding technique and the set of transformations preserve the property of free-choiceness, thus enabling the use of structural methods for the synthesis of asynchronous circuits. Preliminary experimental results indicate that the quality of the circuits is comparable to that obtained by methods that require an exhaustive enumeration of the state space. This novel synthesis method opens the door to the synthesis of large control specifications generated from hardware description languages.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper presents the synthesis of the Assur groups different classes, single - or multi-contours conducted with three new methods (M1, M2, M3). Their usage every time leads to the Assur group with zero degree of freedom. Method M1 was used to synthesis of Assur group class III and higher; M2 to creation of multi contour Assur groups; M3 to creation of kinematic chains composed of Assur groups.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The core of the planar mechanisms structural synthesis is constituted by the principle whereby every mechanism of any structure can be created by adding to the base and driving link(s) or to yet another already existing mechanism of a lower class, the kinematic chain with a zero degree of freedom (0-DOF) (Assur groups). This principle is generalized covering the mechanisms of all groups. The structural synthesis of 0-DOF kinematic chains is carried out in three stages: - the kinematic chains consisting of binary links (exclusively) are determined, - the synthesis of kinematic chains of zero group is performed with the use of two methods, - the synthesis of kinematic chains is performed for the remaining groups. Numerous examples are presented to illustrate the procedure.
Celem opracowania jest przedstawienie metod syntezy strukturalnej łańcuchów kinematycznych o zerowej liczbie stopni swobody. Dla płaskich łańcuchów kinematycznych sformułowano dwie metody oznaczone przez M1 i M2. Podstawą zastosowania tych metod są najprostsze zespoły kinematyczne klas III, IV i wyższych. Dokonano syntezy: zespołów kinematycznych poszczególnych klas, łańcuchów kinematycznych złożonych z zespołów kinematycznych, zespołów kinematycznych wielokonturowych. Łańcuchy kinematyczne wszystkich grup utworzono na bazie zespołów kinematycznych klasy II, przy użyciu metody M1. Wykorzystując przestrzenne łańcuchy kinematyczne o zerowej liczbie stopni swobody dokonano syntezy manipulatorów równoległych.
EN
This work is concern the methods of structural synthesis of the 0-DOF kinematic chains. For planar 0-DOF kinematic chains were formulated two method, sign M1, M2. The base of this synthesis was the simple Assur groups class III, IV and higher. By using the M1 and M2 method were taken: Assur groups, kinematic chains composed of Assur groups, multicontour Assur groups. By using the method M1 synthesis of kinematic chains all groups were taken on the base of the Assur groups class II.
Syntezę strukturalną mechanizmów równoległych przeprowadzono, wykorzystując łańcuchy kinematyczne o zerowej liczbie stopni swobody. Tworzenie takich łańcuchów przeprowadzono w trzech etapach: - wyznaczono łańcuchy kinematyczne zbudowane wyłącznie z ogniw dwułącznych (zespoły kinematyczne klasy II), - dokonano syntezy łańcuchów kinematycznych grupy zerowej, - przeprowadzono syntezę łańcuchów kinematycznych pozostałych grup. W badaniach wykorzystano zapis łańcuchów kinematycznych w postaci schematu, w którym nie umieszczono klas par kinematycznych. Podano je w postaci etykiet obok schematu. Syntezę łańcuchów kinematycznych grupy zerowej przeprowadzono, wykorzystując dwie metody oznaczone przez M1 i M2. Jeżeli łańcuch kinematyczny grupy zerowej złożony jest z n ogniw i p par kinematycznych, to etykiety w kolejnych grupach uzyskuje się poprzez zwiększenie o jeden klasy w (p - n) parach kinematycznych, przy przejściu do kolejnej grupy. Syntezę mechanizmów /-bieżnych przeprowadzono przy użyciu metod M3 i M4. Przyjmując pewne ograniczenia dotyczące budowy mechanizmów równoległych, wygenerowano wszystkie teoretycznie możliwe zbiory tych mechanizmów.
EN
Parallel mechanism (parallel manipulator) is a mechanism which their passive link (platform, effector) is connected to the base via kinematic chains (branches, limbs). Parallel mechanisms are subject to the following constraints: - the number of the degrees of mobility must be equal to the number of branches, - platforms form the linkages: three-, four-, five- and six- joint links, - branches consist of two- and three-joint links, exclusively, - the classes of kinematic pairs are: P3, P4, P5. The notation of kinematic chains is used in the form of schematic diagrams that do not provide the class of kinematic pairs. They are given in the form of labels, next to the diagram. All sets of labels that are theoretically possible in particular groups are generated and so are the potential solutions of branches in parallel mechanisms.
Two making processes of an aircraft design - stages of structural and parametric synthesis are investigated. It is indicated that structural synthesis and it's milestone - synthesis of an aircraft scheme are principal for reaching effective operation of the vehicle. Instead of the conventional structurally modular approach to a classification of elements of an aircraft the new functional approach is offered which more full to use internal resources of a created technical system and to increase efficiency of an airplane by a combination and adjustment of element's functions. It's shown, that in the basis of new effective aircraft schemes creation is the process of the sanction of technical contradictions; the formal ways of the sanction of these contradictions and, in particular, method of supplying of an 'intellectual supports' to the designer with the help of specialized consulting models are offered.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.