Sökning: "special order and logic"

Visar resultat 6 - 10 av 24 avhandlingar innehållade orden special order and logic.

1. 6. Partitioning and Control for Dynamical Systems Evolving on Manifolds

   Författare :Xiao Tan; Dimos V. Dimarogonas; James D. Biggs; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning and control; Transition system; Geometric control; Barrier functions; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : With the development and integration of cyber-physical and safety-critical systems, control systems are expected to achieve tasks that include logic rules, receptive decision-making, safety constraints, and so forth. For example, in a persistent surveillance application, an unmanned aerial vehicle might be required to "take photos of areas A and B infinitely often, always avoid unsafe region C, and return to the charging point when the battery level goes low. LÄS MER

3. 7. Calculi for Program Incorrectness and Arithmetic

   Författare :Philipp Rümmer; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. LÄS MER

4. 8. Den surrealistiska erfarenheten: Upplevelsen. En tolkning av surrealismens åskådning

   Författare :Jan-Gunnar Sjölin; Avdelningen för konsthistoria och visuella studier; []
   Nyckelord :HUMANIORA; HUMANITIES; the future; absence of direct communication. Experience of presence: surprise; transparency; derangement of the senses; unimpeded experience; Experience of absence: waiting and anticipation; being a stranger in front of one s own work; the unknown; the absurd; the new; incomprehensibility; le jamais vu ; absence of expression; special meaning. Experience of latent or hidden meaning: meaning as unknown; special order and logic; the unaccountable reactions; as latent; experience of fear; as unconscious; obstacles to the experience of manifest meaning; absence of latent or hidden meaning; as hidden; mystery versus mystification; nature of special meaning; symbolism. Experience of meaning as manifest: enigmas; the inaccessible and the inexpressible. True experience of meaning: the golden age; manifest nature of meaning; immaculate experience; privileged moments; preconditions of true experience; illumination; revelation;

   Sammanfattning : The purpose of the study is to offer an interpretation of surrealism as lived experience or, more exactly, an interpretation of the ways in which the Surrealists themselves respond to and conceive of this experience. Thus, emphasis is put on surrealism as event and process, not as a historically limited phenomenon. LÄS MER

5. 9. Uppbåd, uppgifter, undantag : Om genusarbetsdelning i Sverige under första världskriget

   Författare :Madelene Lidestad; Yvonne Hirdman; Kjell Östberg; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; national preparedness; gender and war; women and war; national service; gender division of labor; First World War; History subjects; Historieämnen;

   Sammanfattning : This dissertation examines how the paradoxical process takes place whereby women are both integrated and segregated within male-dominated sites of social action, here in the Swedish labor market, national economy and military during the First World War. The potential of the First World War to change the societal gender distribution of labor in Sweden is limited by the fact that Sweden was not a belligerent state, and that the mobilization of men thus was limited. LÄS MER

7. 10. Verification and Scheduling Techniques for Real-Time Embedded Systems

   Författare :Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer systems; Embedded computer systems; real-time systems; Computer science; Datavetenskap;

   Sammanfattning : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. LÄS MER