The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
The book presents original technologies developed by the authors and existing Russian experience in study and application of technogenic raw materials (such as burnt rocks of mine dumps and ash-slag waste) to R&D of road constructions with high-strength properties and long-life operation. Another direction of the book is connected with finite-element modeling pavement constructions on different soils. To this aim, corresponding theoretical solutions and numerical algorithms are realized in ANSYS software. The obtained numerical results are compared with existing experimental data for real road constituents. It presents particular results of the Russian schools of Mechanics and Material Sciences not previously available outside of Russia. Explains original theoretical and experimental methods developed for solution of the problems of effective using technogenic waste in building and road constructions; Facilitates improvement and optimization of theoretical and numerical approaches for R&D of road pavements on different soils; Describes new promising building materials based on easily accessible waste able effectively to replace conventional materials and supported by Russian patents.
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.