Sökning: "regular system"

Visar resultat 1 - 5 av 331 avhandlingar innehållade orden regular system.

1. 1. Regular Model Checking

   Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER

3. 2. Modeling Complex Engines as Dynamic Powertrain Members

   Författare :Sixten Berglund; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vehicle; diesel engine; simulation; supercharging; drivability; toolbox; fuel economy; transient; modeling; turbocharging; control system; powertrain; emissions; performance; dynamic; system;

   Sammanfattning : Engine modeling and simulation have been necessary tools for efficient product development in the automotive industry for some time. The scope of this work is novel engine models, tools, and methods for powertrain research and development. LÄS MER

4. 3. System-Level Analysis and Design under Uncertainty

   Författare :Ivan Ukhov; Zebo Peng; Petru Ion Eles; Jian-Jia Chen; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : One major problem for the designer of electronic systems is the presence of uncertainty, which is due to phenomena such as process and workload variation. Very often, uncertainty is inherent and inevitable. If ignored, it can lead to degradation of the quality of service in the best case and to severe faults or burnt silicon in the worst case. LÄS MER

5. 4. Sensors and Algorithms in Industry 4.0 : Security and Health Preservation Applications

   Författare :Dawid Gradolewski; Wlodek Kulesza; Sven Johansson; Alberto Rodriguez-Martinez; Blekinge Tekniska Högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Acoustic Sensor; Artificial Intelligence; Autonomisation; Classification; Detection; Feature Extraction; Health Preservation; Identification; Internet of Things; Machine Learning; Multi-Sensor System; Safety System; Vision System; Systemteknik; Systems Engineering;

   Sammanfattning : Globalisation and technological digitisation have triggered an Industry 4.0. revolution.  The core of this revolution is autonomisation of complex processes, which require expert knowledge. LÄS MER

7. 5. A New Paradigm for Large Brushless Hydrogenerators : Advantages Beyond the Static System

   Författare :Jonas Kristiansen Nøland; Urban Lundin; Phil Mellor; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Brushless exciters; Rotating exciters; Permanent Magnet Machines; Synchronous Generator Excitation; Thyristor Rectifiers; Chopper Rectifiers; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

   Sammanfattning : The grid code, FIKS, from the Norwegian transmission system operator (TSO), Statnett, states that synchronous generators > 25MVA, must have a static excitation system. However, an improved brushless excitation system is in operation on some commercial power plants (36MVA, 93.75rpm & 52MVA, 166. LÄS MER