|
|
Automatizace trati pro měření vodních ventilů
Lekeš, Pavel ; Havlíková, Marie (oponent) ; Šedivá, Soňa (vedoucí práce)
Diplomová práce se zabývá vylepšením stávajícího zařízení pro měření charakteristik vodovodních ventilů. Úvod je věnován teorii vodních regulačních ventilů, následuje popis současného stavu zařízení, definice žádaných změn, návrh řešení s definicí potřebných komponent, finální provedení. Závěr je věnován zhodnocení provedených prací.
|
|
|
Reprezentace znalostí pro expertní systémy
Lekeš, Pavel ; Sáblík, Václav (oponent) ; Polách, Petr (vedoucí práce)
Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů.
|
|
|
Automatizace trati pro měření vodních ventilů
Lekeš, Pavel ; Havránek, Zdeněk (oponent) ; Šedivá, Soňa (vedoucí práce)
Diplomová práce se zabývá vylepšením stávajícího zařízení pro měření charakteristik vodovodních ventilů. Úvod je věnován teorii vodních regulačních ventilů, následuje popis současného stavu zařízení, definice žádaných změn, návrh řešení s definicí potřebných komponent, finální provedení. Závěr je věnován zhodnocení provedených prací.
|
|
|
Reprezentace znalostí pro expertní systémy
Lekeš, Pavel ; Sáblík, Václav (oponent) ; Polách, Petr (vedoucí práce)
Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů.
|
|
|
Automatizace trati pro měření vodních ventilů
Lekeš, Pavel ; Havlíková, Marie (oponent) ; Šedivá, Soňa (vedoucí práce)
Diplomová práce se zabývá vylepšením stávajícího zařízení pro měření charakteristik vodovodních ventilů. Úvod je věnován teorii vodních regulačních ventilů, následuje popis současného stavu zařízení, definice žádaných změn, návrh řešení s definicí potřebných komponent, finální provedení. Závěr je věnován zhodnocení provedených prací.
|
|
|
Automatizace trati pro měření vodních ventilů
Lekeš, Pavel ; Havránek, Zdeněk (oponent) ; Šedivá, Soňa (vedoucí práce)
Diplomová práce se zabývá vylepšením stávajícího zařízení pro měření charakteristik vodovodních ventilů. Úvod je věnován teorii vodních regulačních ventilů, následuje popis současného stavu zařízení, definice žádaných změn, návrh řešení s definicí potřebných komponent, finální provedení. Závěr je věnován zhodnocení provedených prací.
|
host ::
RSS.