Výpočtové stredisko SAV - Ústredný archív SAV
Fond ÚTK SAV - databáza dokumentov
| Číslo škatule |
Rok | Rok | Rok | Roky | Obsah | Téma | 1 | ||
| V145 | 1986 | 0000 | 0000 | 0000 - 0000 | Funkcionálny programovací systém - správy. Záverečná oponentúra úloh III-8 V145/1986/1 Samostatný fascikel č. 242 Funkcionálny programovací systém Správy za rok 1986 1. Inferenčné mechanizmy v prostredí relačnej databázy RNDr. R. Fiby 2. Databázový počítač využívajúci PPS SIMD RNDr. J. Vyskoč 3. Návrh znalostného systému ZSDR na riešenie systémov diofantických rovníc RNDr. I. Korec, CSc. 4. Funkcionálny programovací systém FPS RNDr. R. Fiby Ing. J. Hulman RNDr. S. Molnár I. Weigl 5. FPS.PRO 6. FPS.C 7. Správa zodpovedného riešiteľa o riešení čiastkovej úlohy III-8-1/02 "Algoritmické a programovacie prostriedky znalostných systémov" za rok 1986 Zodp. riešiteľ: RNDr. J. Gruska, CSc. 8. Výskumná správa o riešení témy KVP 1.2 "Základné prostriedky na spracovanie znalostí" za rok 1986 Zodp. riešiteľ: RNDr. J. Gruska, CSc. 9. Realizácia databázového počítača pomocou procesoru typu SIMD RNDr. J. Šturc, VÚSEIAR 10. Databázové počítače (Prehľadová štúdia) Pracovný materiál č. 3/1986 RNDr. J. Šturc, VÚSEIAR 11. Hlavná úloha III-8-1 Čiastková úloha III-8-1/02 III-8 "Algoritmické a programovacie prostriedky znalostných systémov" Riešitelia: RNDr. R. Fiby RNDr. S. Molnár I. Weigl RNDr. F. Gliviak, CSc. RNDr. A. Mičovský RNDr. Ľ. Šešera M. Veisháb RNDr. J. Vyskoč Ing. B. Breznen doc. RNDr. I. Korec, CSc. 1986 V145/1986/2 Samostatný fascikel č. 345 Záverečné správy základného výskumu za rok 1985 III-8 "Technická kybernetika" 1. Zpráva o kontrole plnění státního plánu základního výzkumu za rok 1985 ve stěžejní směru III-8 "Technická kybernetika" 2. Záverečná správa o priebehu riešenia hlavnej úlohy III-8-1 Teoretické problémy robotiky a umelej inteligencie za obdobie 1/1981 – 12/1985 Správu vypracoval: RNDr. J. Mikloško, CSc., koordinátor hlavnej úlohy III-8-1 3. Záverečná správa o priebehu riešenia a výsledkoch hlavnej úlohy III-8-2 Riadenie inteligentných robotických systémov a diskrétnych procesov za obdobie 1981 – 1985 Správu vypracoval: Ing. M. Varga, CSc., koordinátor hlavnej úlohy III-8-2 4. Záverečná správa o priebehu riešenia hlavnej úlohy III-8-3 Paralelné a špecializované problémovo-orientované počítačové systémy za 7. 5RP Koord. hlavnej úlohy III-8-2: Ing. K. Richter, CSc. 5. Ústav teorie informace a automatizace ČSAV Závěrečná zpráva o řešení hlavního úkolu III-8-5 Teorie a algoritmy adaptivního řízení v letech 1981 – 1985 Koord.: Ing. V. Peterka, DrSc. 6. Ústav teorie informace a automatizace ČSAV Závěrečná zpráva o řešení hlavního úkolu III-8-6 Optimalizace složitých kybernetických systémů v letech 1981 – 1985 Koord.: RNDr. A. Tuzar, CSc. 7. Ústav teorie informace a automatizace ČSAV Souhrnná zpráva o průběhu řešení hlavního úkolu III-8-7 Pravdepodobnostní a matematicko-logické problémy kybernetiky Koord.: RNDr. M. Ullrich, CSc. 8. Fakulta elektrotechnická ČVUT, Praha Souhrnná zpráva o průběhu řešení hlavního úkolu III-8-4 Rozpoznávání a diagnostika pro řízení a rozhodování za období 1981 – 1985 Koord.: prof. Inž. Z. Kotek, DrSc., člen kor. ČSAV 9. Oponentské posudky 1986 V145/1986/3 Samostatný fascikel č. 377 31. zasadanie SS-4 SMEP Sofia, august 1986 V145/1986/4 Samostatný fascikel č. 378 32. zasadanie SS-4 SMEP MĽR, jún 1986 | ROB, SMEP | |||