|
|
Automation of track for measurement of water valves characteristics
Lekeš, Pavel ; Havlíková, Marie (referee) ; Šedivá, Soňa (advisor)
My diploma thesis describes upgrade of flowbench serving as test rig for regulation valves characteristic measurement. At the beggining, there is an introduction to the water regulation valves theory followed by current machine condition description. Next chapter defines needed improvements and at the end follows proposition of improvements and necessary component definition and final realization. Final chapter summarizes complete project.
|
|
|
Knowledge representation for expert systems
Lekeš, Pavel ; Sáblík, Václav (referee) ; Polách, Petr (advisor)
The objective of this work is to analyze using of the first order logic for reasoning in knowledge based systems. Merit of the predicate logic is its relative simplicity in matter of algorithm development, where it is possible to decide about validity of a sentence written in first order logic language, by using formal rules without any connection to real meanings of logical variables. In Expert systems, the first order logic is used to derivate new formulas from given axioms, where previously derived formulas are included to the axioms as well. Its process of derivation of implicit believes from explicitly given facts.
|
|
|
Automation of track for measurement of water valves characteristics
Lekeš, Pavel ; Havránek, Zdeněk (referee) ; Šedivá, Soňa (advisor)
My diploma thesis describes upgrade of flowbench serving as test rig for regulation valves characteristic measurement. At the beggining, there is an introduction to the water regulation valves theory followed by current machine condition description. Next chapter defines needed improvements and at the end follows proposition of improvements and necessary component definition and final realization. Final chapter summarizes complete project.
|
|
|
Knowledge representation for expert systems
Lekeš, Pavel ; Sáblík, Václav (referee) ; Polách, Petr (advisor)
The objective of this work is to analyze using of the first order logic for reasoning in knowledge based systems. Merit of the predicate logic is its relative simplicity in matter of algorithm development, where it is possible to decide about validity of a sentence written in first order logic language, by using formal rules without any connection to real meanings of logical variables. In Expert systems, the first order logic is used to derivate new formulas from given axioms, where previously derived formulas are included to the axioms as well. Its process of derivation of implicit believes from explicitly given facts.
|
|
|
Automation of track for measurement of water valves characteristics
Lekeš, Pavel ; Havlíková, Marie (referee) ; Šedivá, Soňa (advisor)
My diploma thesis describes upgrade of flowbench serving as test rig for regulation valves characteristic measurement. At the beggining, there is an introduction to the water regulation valves theory followed by current machine condition description. Next chapter defines needed improvements and at the end follows proposition of improvements and necessary component definition and final realization. Final chapter summarizes complete project.
|
|
|
Automation of track for measurement of water valves characteristics
Lekeš, Pavel ; Havránek, Zdeněk (referee) ; Šedivá, Soňa (advisor)
My diploma thesis describes upgrade of flowbench serving as test rig for regulation valves characteristic measurement. At the beggining, there is an introduction to the water regulation valves theory followed by current machine condition description. Next chapter defines needed improvements and at the end follows proposition of improvements and necessary component definition and final realization. Final chapter summarizes complete project.
|
guest ::
RSS feed.