Sökning: "Higher-order logic"

Hittade 5 uppsatser innehållade orden Higher-order logic.

  1. 1. Control System Simulator for MIMO Tank Level using Self-tuning PID-Fuzzy Adaptive Controller

    Magister-uppsats, Högskolan i Gävle/Avdelningen för elektroteknik, matematik och naturvetenskap

    Författare :Sinan Ibrahim; [2022]
    Nyckelord :;

    Sammanfattning : According to Oxford dictionary, the word intelligence is derived fromintellect, which is the ability of knowing, reasoning and understanding.Intelligent behaviour is thus the ability to reason, plan and learn, which in turnrequires access to knowledge. LÄS MER

  3. 2. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

    Master-uppsats, KTH/Teoretisk datalogi, TCS

    Författare :Didrik Lundberg; [2018]
    Nyckelord :HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

    Sammanfattning : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. LÄS MER

  4. 3. Control of temperature using fuzzy system tehnique

    Kandidat-uppsats, Institutionen för datavetenskap, fysik och matematik, DFM

    Författare :Elif Ceylan Kolbasi; [2013]
    Nyckelord :;

    Sammanfattning : Fuzzy control is based on fuzzy logic. A logical system that is much closer in spirit to human thinking and natural language than traditional crisp logical systems. The fuzzy logic variables are not described as true or false values. Instead values range in degree between 0-1,true-false or yes-no. LÄS MER

  5. 4. Visual Compositional-Relational Programming

    Magister-uppsats, Data- och systemvetenskap

    Författare :Andreas Zetterström; [2010]
    Nyckelord :visual programming; compositional-relational programming; logic programming; declarative programming;

    Sammanfattning : In an ever faster changing environment, software developers not only need agile methods, but also agile programming paradigms and tools. A paradigm shift towards declarative programming has begun; a clear indication of this is Microsoft's substantial investment in functional programming. LÄS MER

  7. 5. Methods of Modelling Corrugators

    Master-uppsats, Lunds universitet/Förpackningslogistik

    Författare :Gunilla Nordström; [2001]
    Nyckelord :Corrugated board; Corrugator; ; Modelling; Parametric models; ; Non-parametric models; ; possibilities of studying loss of fibre strength; Technological sciences; Teknik; Technology and Engineering;

    Sammanfattning : Problem: The process of manufacturing corrugated board is a quite complicated process, when it comes to exactly understand what happens in the process. ln order to gain a better understanding and a tool for control of the corrugating process, the machine making the corrugated board, a method that possibly can describe the process is desirable. LÄS MER