Sökning: "extensibility"

Visar resultat 11 - 15 av 28 avhandlingar innehållade ordet extensibility.

1. 11. 3-D Forming of Paper Materials

   Författare :Eric Linvill; Sören Östlund; Artem Kulachenko; Leif A. Carlsson; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 3-D forming; finite element method; constitutive model; moisture; temperature; biaxial; hydroforming; deep drawing; 3D formning; finita elementmetoden; konstitutiv modell; fukt; temperatur; biaxiell; hydroformning; djupdragning; Hållfasthetslära; Solid Mechanics;

   Sammanfattning : Paper materials have a long history of use as a packaging material, although traditional paper-based packaging is limited in its shape, complexity, and design. In order to better understand the deformation and failure mechanisms during 3-D forming, two experimental studies of paper materials have been conducted. LÄS MER

3. 12. Languages and Tools for Optimization of Large-Scale Systems

   Författare :Johan Åkesson; Institutionen för reglerteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Paper Machine Modeling; Plate Reactor; Languages for Physical Modeling; Compiler Construction; Dynamic Optimization; Modelica; Optimica; Manual Control; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

   Sammanfattning : Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. LÄS MER

4. 13. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search

   Författare :Jun He; Pierre Flener; Justin Pearson; Yves Deville; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; constraint programming; regular constraint; automaton constraint; context-free grammar constraint; solution neighbourhood; counter automaton; Datavetenskap; Computer Science;

   Sammanfattning : This thesis focuses on constraints for membership in formal languages under both the systematic search and stochastic local search approaches to constraint programming (CP). Such constraints are very useful in CP for the following three reasons: They provide a powerful tool for user-level extensibility of CP languages. LÄS MER

5. 14. Information Centric Development of Component-Based Embedded Real-Time Systems

   Författare :Andreas Hjertström; Mikael Sjödin; Dag Nyström; Luis Almeida; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Database; Real-Time; RTDBMS; Component; CBSE; Database proxy; Data entity; data management; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : This thesis presents new techniques for data management of run-time data objectsin component-based embedded real-time systems. These techniques enabledata to be modeled, analyzed and structured to achieve data managementduring development, maintenance and execution. LÄS MER

7. 15. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

   Författare :Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

   Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER