Results 211 to 220 of about 368,128 (266)
Some of the next articles are maybe not open access.
The Synthesis Problem of Netcharts
2006A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independently that any globally-cooperative high-level MSC corresponds to the behaviors of some communicating finite-state machine — or equivalently a netchart.
Nicolas Baudru, Rémi Morin
openaire +2 more sources
Synthesis of Distributed Design Problems
2005 IEEE International Conference on Systems, Man and Cybernetics, 2006Integrating autonomous disciplines into a complex system design problem amenable to solution presents a major challenge in realistic multidisciplinary design. We propose a linguistic approach to problem description, formulation, and solution we call reconfigurable multidisciplinary synthesis (REMS).
Natalia M. Alexandrov +1 more
openaire +2 more sources
2004
The classical antenna synthesis problem is usually posed in one of two ways. The first addresses the problem of finding an aperture distribution which produces a far field that duplicates, or at least approximates, a prescribed pattern. The second involves determining the location and feed characteristics of a finite array of elementary sources which ...
Thomas S. Angell, Andreas Kirsch
openaire +1 more source
The classical antenna synthesis problem is usually posed in one of two ways. The first addresses the problem of finding an aperture distribution which produces a far field that duplicates, or at least approximates, a prescribed pattern. The second involves determining the location and feed characteristics of a finite array of elementary sources which ...
Thomas S. Angell, Andreas Kirsch
openaire +1 more source
The synthesis problem of Petri nets
Acta Informatica, 1993The synthesis problem of concurrent systems is the problem of synthesizing a concurrent system model from sequential observations. The paper studies the synthesis problem for elementary Petri nets and transition systems. A characterization of the class of transition systems which correspond to elementary Petri nets is proven.
Desel, Jörg, Reisig, W.
openaire +3 more sources
Synthesis of Geometry Proof Problems
Proceedings of the AAAI Conference on Artificial Intelligence, 2014This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe an algorithm for generating such problems over a user-provided figure.
Alvin, C. +3 more
openaire +2 more sources
2013
A system is often modeled by a description of its observable behavior, that is, global states and steps. However, to implement a system, it is often more practical to identify local state components and actions whose cause and effect are limited to a few state components. At first, we will discuss this problem using the example of the light/fan system,
openaire +1 more source
A system is often modeled by a description of its observable behavior, that is, global states and steps. However, to implement a system, it is often more practical to identify local state components and actions whose cause and effect are limited to a few state components. At first, we will discuss this problem using the example of the light/fan system,
openaire +1 more source
On the complexity of the design synthesis problem
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1996Presents and analyzes a formal model of a design process, emphasizing the synthesis part. The design artifact description is identified as an algebraic structure. The desired function and constraints are mapped to the artifact description using an evolutionary process that can be visualized as a feedback loop of analysis, synthesis and evaluation.
Oded Maimon, Dan Braha
openaire +1 more source
On the Synthesis Problem for Optimal Control Systems
SIAM Journal on Control and Optimization, 2000Summary: A new approach to the synthesis problem of optimal controls of feedback type is considered. Algorithms of operating optimal controllers which are able to calculate values of optimal feedbacks during each particular control process in real time are described. The algorithm of operating the controller of the first type (continuous controller) is
R. Gabasov +2 more
openaire +2 more sources
2012
The situations within which scientists and technologists act, above all those regarding the technology of naturoids, are surely complicated, permanently, by our incapacity to place ourselves simultaneously at more than one observation level. Though scientific methodology has developed several techniques for controlling more than one variable, de facto ...
openaire +1 more source
The situations within which scientists and technologists act, above all those regarding the technology of naturoids, are surely complicated, permanently, by our incapacity to place ourselves simultaneously at more than one observation level. Though scientific methodology has developed several techniques for controlling more than one variable, de facto ...
openaire +1 more source