Sökning: "Formal modeling and Analysis"

Visar resultat 21 - 25 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

1. 21. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

   Författare :Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

   Sammanfattning : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. LÄS MER

3. 22. Learning physics with Controllable Worlds : Perspectives for examining and augmenting physics students' engagement with digital learning environments

   Författare :Elias Euler; Bor Gregorcic; Cedric Linder; Michael C. Wittmann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Controllable Worlds; digital learning environments; modeling; semi-formalisms; microworlds; social semiotics; conversation analysis; embodied cognition; disciplinary-relevant aspects; responsive teaching; variation theory; contrast; dimensions of variation; relevance structure; creativity; grounded theory; activity types; exploration; testing; engineering; Physics with specialization in Physics Education; Fysik med inriktning mot fysikens didaktik;

   Sammanfattning : In this thesis I present a collection of case studies involving small groups of participants using ‘Controllable Worlds’—i.e., a particular class of physics digital learning environment (DLE) including simulations, ‘microworlds,’ and educational games that provides users with control over manipulable virtual environments. LÄS MER

4. 23. On Privacy and Security in Smart Connected Homes

   Författare :Joseph Bugeja; Andreas Jacobsson; Paul Davidsson; Marc Langheinrich; Malmö universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; smart connected homes; Internet of Things; smart homes devices; smart home data; threat identification; risk analysis; privacy; security; vulnerability assessment; mitigations; threat agents;

   Sammanfattning : The growth and presence of heterogeneous sensor-equipped Internet-connected devices inside the home can increase efficiency and quality of life for the residents. Simultaneously, these devices continuously collect, process, and transmit data about the residents and their daily lifestyle activities to unknown parties outside the home. LÄS MER

5. 24. Modeling and analysis of restart, transport, and resource allocation in manufacturing systems using sequences of operations

   Författare :Patrik Bergagård; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; Extended finite automata; Error recovery; Manufacturing systems; Restart; Supervisory control theory; Resource allocation;

   Sammanfattning : Highly automated and flexible manufacturing systems have gained industrial popularity for their ability to combine high product volumes with high product quality. However, the process planning, the process to design and plan thetasks and actions, the operations, that constitute the manufacturing process, is a complex and time consuming process. LÄS MER

7. 25. Propeller-Hull Interaction Effects in Calm Water and Regular Head Waves

   Författare :Mohsen Irannezhad; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; RANS; Resistance; Thrust Deduction Factor; Self-Propulsion Point of Model; CFD; Regular Head Waves; Nominal Wake; Ship Motions; Taylor Wake Fraction; Propeller Open Water Characteristics; EFD; FNPF;

   Sammanfattning : In order to design fuel-efficient ships and install compatible propulsion systems, ship and propeller designers need to know the potential effects of the interactions between different ship components, e.g., hull, propeller, appendages and machinery, on the ship performance at sea. LÄS MER