I. Országos kongresszus - Előadások I-II.

Tartalom

I. kötet
Andréka Hajnal - Németi István: (MTA Matematikai Kutatóintézet)
Néhány magyarországi kutatás a számítástudomány matematikai megalapozásában 5
Arató András - Burány Kálmán - Sarkadi Nagy István - Telbisz Ferenc: (KFKI)
A CÉDRUS interaktív terminálrendszer mérése és modellezése 13
Árva Péter - Bencze Tibor - Szeifert Ferenc: (Veszprémi Vegyipari Egyetem)
Vegyipari rendszerek szimulációja 18
Dr. Bacsó Jenő (IM) - Csáki Béla - Dr. Dajka Miklós - Harza Lajos: (SZÁMKI)
Az országos jogszabálynyilvántartás számítógépi megoldásának kérdései 25
Bagyinszkiné Orosz Anna: (ELTE)
A lineáris nyelvek és a Petri hálók kapcsolata 31
Balogh Kálmán (NIM IGÜSZI) - Sántáné Tóth Edit - Szeredi Péter: (SZKI)
Programtervezés logikai alapokon 36
Bedő Árpád: (SZÁMKI)
A struktúráit programozás eszközei 46
Benedek Szabolcs - Dr. Nagy Ferenc: (SZOTE)
A GIN-S számítógépes fekvőbeteg-nyilvántartó rendszer-modell felépítése, készültségi
foka és működésével szerzett tapasztalatok 49
Bernát Iván: (Kossuth Nyomda)
A nyomdaipari termelésirányítás számítógépes megoldási lehetősége 54
Bolyky János - Szabó András (KFKI) - Simonkay Sándor: (BME)
A TPA/I kisszámítógép software eszközei kardiológiai diagnosztikai célú fejlesztésének
áttekintése 62
Böszörményi László: (VEIKI)
A VEI KI R-40 számítógépéhez csatlakozó R-10 alapú front-end 67
Braun Péter - Csala István: (VEIKI)
Nagy információ rendszer kialakítása a NIM részére és az ennél alkalmazott
adatbáziskezelő rendszer 71
Dr. Broczkó Péter: (ÁNH)
Nagyvárosi általános iskolai beiskolázás számítógépes optimalizálása 79
Csirik János (JATE) - Csernai László (SZOTE) - Makai Árpád - Máté E.: (JATE)
Egy fa-struktúrájú on-line képkiértékelő rendszer (SEGAMS) 86
Darvas Ferenc - Szeredi János - Futó Iván - Rédei János: (SZKI)
Egy logikai alapú kémiai információkezelő rendszer: elméleti megfontolások
és gyakorlati tapasztalatok 92
Dávid Gábor: (MTA SZTAKI)
Egy számítógép-leírási módszer főbb vonásai 97
Domán András: (BME)
PARADOCS homogén párhuzamos számítógép és dataflow nyelve 103
Emődi Ervinné - Szász György: (Posta SZSZI)
Posta digitális térmodell 116
Ercsényi András: (MTA SZTAKI).
R- 10 alapú hálózati kommunikációs processzor 123
Fekete István - Pallinger Ferenc - Schubert Tamás: (Bánki Donát Gépipari Műszaki Főiskola)
Hőszolgáltatás és kapcsolt villamosenergiatermelés középtávú számítógépes termeléstervező rendszere 130
Dr. Forgó Ferenc (MKKE)
Nemkonvex programozási feladatok megoldási módszereiről 136
Futó Iván - Szeredi János - Rédei János: (SZKI)
Prophet újelvű nyelv és alkalmazása 146
Füle Károly: (SZÁMKI)
Az intuíció szerepe és eszközei a problémamegoldásban 155
Gáspár András: (MTA SZTAKI)
A SIMUL A 67 és a számítástudomány 163
Gáti Rudolf: (VT)
VIDEOTON RPT 80 folyamatterminál decentralizált folyamatirányító rendszerekben 171
Györki Ildikó: (KSH SZIG)
Statisztikai metaadatbázis 175
Dr. Halassy Béla: (SZÁMOK)
A koncepcionális adatmodell egy lehetséges megfogalmazása 181
Harmat László - Dr. Reszlet Ákos: (SZKI)
Operatív távvezérlő funkcionális és struktúrális jellemzőinek meghatározása
multiprocesszoros számítógépben 185
Hinsenkamp Alfréd - Dénes György - Váradi Tiborné - Csernó János: (SZKI)
A hardware tervezés és dokumentálás gépi segítése 193
Dr. Huhn Edit - Dr.Annus János - Dr. Boros Mihály: (SZOTE)
Járóbeteg adatainak nyilvántartása az R-10-en. Az AMSY rendszer alkalmazásai 202
Dr. Jándy Géza: (BME)
Rendszerelemzés, operációkutatás, irányítás 207
Jávor András - Körösztes Vince - Sülyi József: (Tolna megyei Kórház-Rendelőintézet
Számítóközpont, Szekszárd)
A számítástechnika szerepe az integrált intézeti betegellátásban 213
Kellermann Lászlóné - Szabó Józsefné: (KLTE Debrecen)
Geometriai problémák számítógépes megoldása 218
Kisfaludy Sándor - Póti Imréné: (PM Számítóközpont)
Lekérdező rendszer a pénzügyi információrendszer adatbankjához 226
Dr. Kocsis András: (SZÁMOK)
A számítástechnikai szakemberképzés eredményességének vizsgálata 231
Dr. Kondricz József: (KSH SZÜV)
A KSH-SZÜV helyzete és szolgáltatásainak fejlesztése 238
Krizsanits János: (FOK-GYEM)
Az RA rajzdigitalizáló berendezések és alkalmazásaik 244

II. kötet
Kuba Attila - Csernay László: (SZOTE):
Számítógépes tomográfia szimulációja 5
Dr. Kunszt György: (Építéstudományi Intézet):
A tudományos kutatás irányításának számítógépes segítése. Egy logikai modellekre támaszkodó hazai törekvés tapasztalatai 16
Legendi Tamás: (MTA Automataelméleti Kutató Csoport):
Sejtprocesszorok tervezése és programozása 23
Dr. Lengyel György: (Pest megyei Állami Építőipari Vállalat):
Építőipari termelésprogramozás mini számítógép segítségével 29
Molnár László - Széphalmi Géza (ÉSZSZ) - Pauka Tibor: (Orvostovábbképző Intézet):
Az egészségi állapot országos felmérésének számítástechnikai megoldása 35
Molnár István: (KG ISZSZI):
Gépipari vállalat informatika rendszer tervezésének modellszintű megközelítése 43
Müller Márta - Szmrecsényi Klára: (SZÁMKI):
Az INES-2 általános célú információs rendszer 52
Németh Pál - Köves Péter - Mannhardt Endre: (SZKI):
Az R-15 számítógép alapvető műszaki-rendszertechnikai jellemzői 56
Németi Tibor: (SZKI):
Az SZKI TIME SHARING számítógépes rendszerének kialakítása, optimalizálása 66
Dr. Obádovics J. Gyula: (MüM SZÁMTI):
Programok hatékonyságának javításáról 75
Páldi Vince - Fóti György: (KSH SZIG):
Rendszer-információk felhasználása egy hatékony kétgépes üzem kialakítására
Rákóczi Ferenc: (Videoton Fejlesztési Intézet):
A számítógépes nyomtatás technológiája és annak hazai vonatkozásai
Reményi Péter: (FTV) - dr. Abaffy József - Lukács Márta: (SZTAKI):
Az Építési Geotechnikai Adattár, mint a számítógéppel segített mérnöki tervezés gépi
információs rendszere 97
Révész György: (MTA SZTAKI)
A típusmentes X-kalkulus alkalmazása programnyelvek szemantikájának leirására 102
Réti Tamás - Küllős József: (Gépipari Technológiai Intézet)
Síkbeli mikroszkópos részecskék alakjának morfológiai jellemzése képelemzési módszerrel, különös tekintettel a kvantitatív metallográfiai alkalmazásra 111
Simonfai László: (SZÁMKI):
Az adatbáziskezelő lehetőségei és problémái Magyarországon 120
Simor Gábor: (SZKI):
Nyelvorientált számítógépek utasítás-készletének tervezése 128
Somogyi József: (SZÁMKI):
Operációs rendszerek hordozhatóságáról 138
Szigetvári Miklós: (KSH SZIG):
Automatizált adathordozó előkészítő rendszer és két nagygép kapcsolatának szimulálása software eszközökkel 143
Dr. Tóth József: (Agrártudományi Egyetem, Debrecen):
A mezőgazdasági vállalatok automatizált tervezési rendszere és alkalmazásának
tapasztalatai
Dr. Treer Róbert - Wlassics Péter (ÁSZSZ):
Absztrakt gépre Alapozott rend szerprogramozási környezet létrehozása az ÁSZSZ
számítógépein 162
Tóth Béla: (ÉLGAV):
A felhasználók szükségleteivel összehangolt számítóközpont fejlesztése 170
Dr. Varga Gyula - Dr. Abaffy József (MTA SZTAKI) - Reményi Péter: (FTV):
Interpolációs eljárás, megbízhatósági vizsgálatok és rajzoló program geotechnikai
függvényekre 183
Vasas Sándorné dr. - Sarkadi Miklós: (ÉGSZI):
Termeléstervezési és erőforrásszükséglet számító programrendszer a DBOMP és az
LPS programcsomagok felhasználásával 187
Vámos Tibor - Báthor Miklós - Mérő László: (MTA SZTAKI):
Ismeretanyag alapján dolgozó interaktív robotszem-rendszer 194
Vinkovits László - Trencsényi István: (VIDEOTON Fejlesztési Intézet):
Az R-11 számítógép hardware és software jellemzői 201
Wildner Dénes: (ÉGSZI):
Műszaki felületillesztési feladatok megjelenítési problémái és a megvalósításhoz
szükséges két algoritmus bemutatása 205
Zámori Zoltán: (KFKI):
Personal Computerek 212
Dr. Zeley István: (ÉGSZI):
A rendszerelvű építést segítő számítógépes rendszer 220
Zsombok Zoltán: (KSH ÁSZSZ):
Egy új programozási szemléletmód, a dinamikusan struktúráit vezérlés 232

Témakörök