Sökning: "Logical Framework"
Visar resultat 16 - 20 av 77 avhandlingar innehållade orden Logical Framework.
16. Studies in the structure of the Stockholm economy : towards a framework for projecting metropolitan community development
Sammanfattning : The purpose of the present study is mainly exploratory. It is founded upon a belief that many tools and concepts developed in economic theory, and hitherto applied almost exclusively to the study of nationaleconomies, may be fruitfully applied also in the study of the economics of metropolitan areas and other large cities. LÄS MER
17. Extending psi-calculi and their formal proofs
Sammanfattning : Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parameterised logic. LÄS MER
18. Analyzing Substation Automation System Reliability using Probabilistic Relational Models and Enterprise Architecture
Sammanfattning : Modern society is unquestionably heavily reliant on supply of electricity. Hence, the power system is one of the important infrastructures for future growth. LÄS MER
19. Preparation and control of intelligent automation systems
Sammanfattning : In the automation systems of tomorrow, it is likely that the devices included have various degrees of autonomy, and include advanced algorithms for perception and control. Human operators will be expected to work together with collaborative robots as well as with roaming robots for material handling. LÄS MER
20. Semi-automatic Ontology Construction based on Patterns
Sammanfattning : This thesis aims to improve the ontology engineering process, by providing better semiautomatic support for constructing ontologies and introducing knowledge reuse through ontology patterns. The thesis introduces a typology of patterns, a general framework of pattern-based semi-automatic ontology construction called OntoCase, and provides a set of methods to solve some specific tasks within this framework. LÄS MER