Service-oriented application for parallel solving the Parametric Synthesis Feedback problem of controlled dynamic systems

Author(s):  
G.A. Oparin ◽  
V.G. Bogdanova ◽  
S.A. Gorsky ◽  
A.A. Pashinin
2019 ◽  
Author(s):  
G.A. Oparin ◽  
V.G. Bogdanova ◽  
A.A. Pashinin

The main objective of qualitative research is to analyze the behavior of the trajectories of a dynamic system to verify whether it corresponds to the set of constraints characterizing the property. We use an approach to study binary dynamic systems on a finite time interval based on the author's method of Boolean constraints. Based on this method, the Boolean model of the properties of a binary dynamic system is written in the language of Boolean equations or Boolean formulas with quantifiers. Thus, the verification of various dynamical properties is reduced to solving the problems of Boolean constraints satisfiability or the validity of a quantified Boolean formula using efficient SAT or TQBF solvers. The high computational complexity of these problems requires the development of software and tools for their parallel and distributed solving and ensuring transparent end-user access to highperformance computing environments based on a service-oriented approach. This paper represents the architecture and functionality of a new instrumental system that automates the creation of a distributed application for solving the considered class of problems based on the microservice approach and multi-agent technology.


Author(s):  
E. Naranjo

Equilibrium vesicles, those which are the stable form of aggregation and form spontaneously on mixing surfactant with water, have never been demonstrated in single component bilayers and only rarely in lipid or surfactant mixtures. Designing a simple and general method for producing spontaneous and stable vesicles depends on a better understanding of the thermodynamics of aggregation, the interplay of intermolecular forces in surfactants, and an efficient way of doing structural characterization in dynamic systems.


2010 ◽  
Vol 19 (3) ◽  
pp. 68-74 ◽  
Author(s):  
Catherine S. Shaker

Current research on feeding outcomes after discharge from the neonatal intensive care unit (NICU) suggests a need to critically look at the early underpinnings of persistent feeding problems in extremely preterm infants. Concepts of dynamic systems theory and sensitive care-giving are used to describe the specialized needs of this fragile population related to the emergence of safe and successful feeding and swallowing. Focusing on the infant as a co-regulatory partner and embracing a framework of an infant-driven, versus volume-driven, feeding approach are highlighted as best supporting the preterm infant's developmental strivings and long-term well-being.


2001 ◽  
Vol 6 (3) ◽  
pp. 172-176 ◽  
Author(s):  
Lawrence A. Pervin

David Magnusson has been the most articulate spokesperson for a holistic, systems approach to personality. This paper considers three concepts relevant to a dynamic systems approach to personality: dynamics, systems, and levels. Some of the history of a dynamic view is traced, leading to an emphasis on the need for stressing the interplay among goals. Concepts such as multidetermination, equipotentiality, and equifinality are shown to be important aspects of a systems approach. Finally, attention is drawn to the question of levels of description, analysis, and explanation in a theory of personality. The importance of the issue is emphasized in relation to recent advances in our understanding of biological processes. Integrating such advances into a theory of personality while avoiding the danger of reductionism is a challenge for the future.


1996 ◽  
Vol 41 (10) ◽  
pp. 1002-1003
Author(s):  
Esther Thelen
Keyword(s):  

2017 ◽  
Vol 64 (6) ◽  
pp. 616-625 ◽  
Author(s):  
Jonathan E. Butner ◽  
Carlene Deits-Lebehn ◽  
Alexander O. Crenshaw ◽  
Travis J. Wiltshire ◽  
Nicholas S. Perry ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document