Automaták , fixpontok, és logika = Automata, fixed points, and logic

Megmutattuk, hogy a véges automaták (faautomaták, súlyozott automaták, stb.) viselkedése végesen leírható a fixpont művelet általános tulajdonságainak felhasználásával. Teljes axiomatizálást adtunk a véges automaták viselkedését leíró racionális hatványsorokra és fasorokra, ill. a véges automaták biszimuláció alapú viselkedésére. Megmutattuk, hogy az automaták elméletének alapvető Kleene tétele és általánosításai a fixpont művelet azonosságainak következménye. Algebrai eszközökkel vizsgáltuk az elágazó idejű temporális logikák és a monadikus másodrendű logika frágmenseinek kifejező erejét fákon. Fő eredményünk egy olyan kölcsönösen egyértelmű kapcsolat kimutatása, amely ezen logikák kifejező erejének vizsgálatát visszavezeti véges algebrák és preklónok bizonyos pszeudovarietásainak vizsgálatára. Jellemeztük a reguláris és környezetfüggetlen nyelvek lexikografikus rendezéseit, végtelen szavakra általánosítottuk a környezetfüggetlen nyelv fogalmát, és tisztáztuk ezek számos algoritmikus tulajdonságát. | We have proved that the the bahavior of finite automata (tree automata, weighted automata, etc.) has a finite description with respect to the general properties of fixed point operations. We have obtained complete axiomatizations of rational power series and tree series, and the bisimulation based behavior of finite automata. As an intermediate step of the completeness proofs, we have shown that Kleene's fundamental theorem and its generalizations follow from the equational properties of fixed point operations. We have developed an algebraic framework for describing the expressive power of branching time temporal logics and fragments of monadic second-order logic on trees. Our main results establish a bijective correspondence between these logics and certain pseudo-varieties of finite algebras and/or finitary preclones. We have characterized the lexicographic orderings of the regular and context-free languages and generalized the notion of context-free languages to infinite words and established several of their algorithmic properties

Proxy beállítás a PTE Egyetemi Könyvtár és Tudásközpont elektronikus tartalmaihoz

Szerző: Ésik Szabolcs | Cím: Proxy beállítás a PTE Egyetemi Könyvtár és Tudásközpont elektronikus tartalmaihoz (DOI: 10.15170/EKTK-PKA-2021.07) | Megjelenés: Szerkesztő: Ambrus Attila József | Cím: A publikációs kultúra alakváltozatai | Alcím: Kutatástámogatási dimenziók a PTE EKTK gyakorlatában | Kiadó: Pécsi Tudományegyetem Egyetemi Könyvtár és Tudásközpont | Kiadási hely: Pécs | Kiadási év: 2021 | Oldalszám: 451-469. | ISBN (pdf) 978-963-429-675-1 | DOI: 10.15170/EKTK-PKA-2021 --- A szerző műve nagyon fontos, gyakorlati tartalmú részkérdéssel foglalkozik. Nevezetesen, hogy a sokféle, új típusú könyvtári szolgáltatás, hogyan érhető el a használók számára a lehető legkomfortosabban, és a nap 24 órájában; egy kényelmi szolgáltatás technikai részleteit ismerteti. A munka nem csupán a nemzetközi szakirodalmi adatbázisok használati lehetősége, hanem az intézmény által szolgáltatok egyéb e-tartalmak tér- és időbeli expanziója, távoli elérhetősége, kutathatósága szempontjából is hasznos segédlet. A szerző nem bíbelődik a napi rutinok, a kezelni tudás gyakorlati edukációján kívüli kérdésekkel. Az erősen gyakorlatias szemlélettel összeállított módszertani útmutatóból mindent megtudhatunk, ami a távoli elérhetőség technikai részéhez tartozik

Adatbázisok használatának és megtalálhatóságának elősegítése a PTE EKTK-ban

Szerző: Ésik Szabolcs | Cím: Adatbázisok használatának és megtalálhatóságának elősegítése a PTE EKTK-ban [DOI: 10.15170/EKTK-TELN-2021.01] | Megjelenés: Ambrus Attila József (szerk.): A tudományos eredmények láthatóságának növelése : Megoldások a PTE Egyetemi Könyvtár és Tudásközpont kutatás- és oktatástámogatási eszköztárából. Pécsi Tudományegyetem Egyetemi Könyvtár és Tudásközpont, Pécs, 2021, 5-45. o.| ISBN (pdf) 978-963-429-748-2 | DOI 10.15170/EKTK-TELN-2021 | Kötet URL: https://pea.lib.pte.hu/handle/pea/24131 --- Jelen tananyag célja, hogy bevezesse az olvasót a Pécsi Tudományegyetem Egyetemi Könyvtár és Tudásközponton (a továbbiakban: PTE EKTK) keresztül az egyetemi polgárság részére szolgáltatott tudományos adatbázisok világába. A tananyag bemutatja az elektronikus szakirodalmak elsődleges szolgáltatási felületeinek használatát és felhasználósegítő lehetőségeit, így bemutatásra kerülnek az adatbázisok és e-könyv csomagok felületei, továbbá az online információforrások távoli elérési lehetőségei is. Érintjük továbbá az összevont metakeresőn és az online könyvtári katalóguson keresztül a főbb keresési trükköket is, így átfogóan mutatjuk be a könyvtár által kínált lehetőségeket. | Tematika: Az adatbázisokról általában - (1) Az egyetemi könyvtár honlapján elérhető információforrások bemutatása (előfizetett és ingyenesen elérhető adatbázisok, e-könyvek); (2) Compass; (3) Távoli elérés; (4) Általános keresési stratégiák és módszerek bemutatása az online könyvtári katalóguson (WebPac) és az EDS rendszeren keresztül

The state of Hungarian radiotherapy

BackgroundHungary suffers from one of the highest levels of cancer morbidity, with over 700 new cases per 100000 inhabitants per year. This situation necessitates, among others, investigation of the current state of radiotherapeutic care, and its infrastructural and staffing conditions.AimThe aim of this paper is to present the current state of Hungarian radiotherapy.ResultsAlthough the number of radiation treatments increased substantially between 1995 and 2003 (16544 vs. 26316), together with a considerable increase in the linear accelerator equivalent (LAE) value (15.9 vs 29.45), about one-third of the patients who would profit from radiotherapy do not receive this form of treatment. Radiotherapeutic care is provided at 13 centers in 7 geographical regions, with widely varying infrastructural and staffing conditions, characterized by a mean LAE value of 4.2 (range: 0–8.45), a 1 LAE value for a mean of 343500 inhabitants (range: 0–731500), and a mean annual workload of 353 patients per radiation oncologist (range: 255–424), 532 patients per physicist (range: 255–911) and 149 per radiation technologist (range: 71–300). These conditions result in a waiting list of between 0 and 42 days for non-emergency cases and a mean of 260 radiotherapy-treated patients per 100000 inhabitants (range: 111–434) in the different geographical regions, which is far below the expected Hungarian value of 403 radiotherapy-treated cases/year.ConclusionsAttainment of an adequate radiotherapeutic service with an acceptable waiting time throughout Hungary requires the creation of 2 additional centers and the reconstruction of 1 existing center, the provision of 9 new linacs, the replacement of 10 functioning telecobalt units with linacs, and increases of 54% in the number of radiation oncologists, 51% in the number of physicists and 65% in the number of radiation technologists

Földtani objektumok értékminősítése: módszertani értékelés a védelem, bemutatás, fenntarthatóság és a geoturisztikai fejlesztések tükrében

L

Identification of Geoheritage Elements in a Cultural Landscape: a Case Study from Tokaj Mts, Hungary

Cultural landscapes were developed as a result of continuous interaction between nature and human culture. During their evolution, the geodiversity was also considerably influenced by human activities. Recently, geoheritage studies have become more sensitive towards man-made cultural landmarks. In this paper, we explore a methodology to compile a regional inventory for a historic mountainous cultural landscape with remarkable geological, volcanological, and mining heritage in Tokaj Mts, (NE Hungary). The databases of the natural and cultural heritage contribute to the extension of regional inventories with a large number of geodiversity-related records. The specific selection procedure with a combination of GIS and fieldwork assessment resulted in the final list of potential sites. The applied three stage classification forms a basis for territorial analysis. The selected 60 geosites of 700 km2 represents well the geological history of the study area, while another 160 geodiversity and geocultural sites emphasize further enhancement of natural and cultural diversity. The functional classification referring to the physical nature of the sites was useful to define specific conservation management priorities. The thematic grouping of the sites defined new interpretation possibilities for geotourism and geoeducation taking into account volcanological, geomorphological, and mining heritage values

Anthropic Vulnerability of a Hydrothermal Mineral Deposit and Related Mining Heritage, a Case Study from a Medieval Gold-Silver Mining Area, Telkibánya, Hungary

The movable geoheritage elements (minerals, fossils, rocks) are important part of geodiversity. Their anthropic vulnerability includes collection by geo-amateurs and professionals which has become a very popular activity in the last decades. The in situ protection of such geoheritage elements preserves their authenticity and integrity, but needs detailed inventory and assessment providing recommendation for geoconservation. The aim of this study is to investigate a medieval mining site of the Carpathians (Telkibánya, Hungary) where recent anthropic vulnerability related to mineral collecting. Earlier works emphasized the scientific, aesthetic, and geo-educational potential of the mineral association and mining heritage of the study area. Our field survey gives a review of medieval mining works and the current state of the surviving infrastructure identifies the major areas of mineral collecting disturbances and the integrity of the main and additional geological elements. Based on the degradation risk assessment, further conservation management initiatives are proposed by open collecting outcrops (exposure sites) and declared protection with controlled collecting (finite sites)

A publikációs kultúra alakváltozatai : Kutatástámogatási dimenziók a PTE EKTK gyakorlatában

Szerkesztő: Ambrus Attila József | Szerzők: Sipos Anna Magdolna; Fekete Rita; Kéri Katalin; Lovász Dávid; Bedő Márta; Krizsán Ivett; Fölkerné Csernyik Rita; Ésik Szabolcs | Cím: A publikációs kultúra alakváltozatai | Alcím: Kutatástámogatási dimenziók a PTE EKTK gyakorlatában | Kiadó: Pécsi Tudományegyetem Egyetemi Könyvtár és Tudásközpont | Kiadási hely: Pécs | Kiadási év: 2021 | ISBN (pdf) 978-963-429-675-1 | DOI: 10.15170/EKTK-PKA-2021 | Licenc: CC-BY-NC-ND-4.0 --- A most megjelent kötet írásai nem csupán tematikájukban tartoznak össze, hanem összekapcsolja őket, hogy a szerzők mindannyian a Pécsi Tudományegyetemhez kötődnek, ezen belül a hét szerző közül hatan a Pécsi Tudományegyetem Egyetemi Könyvtár és Tudásközpontjának munkatársai, egy kolléganő pedig az egyetem professzora. Talán a témaválasztások is determinálták, hogy csaknem valamennyi szerző fiatal, többüknek ezek a nyilvánosság előtt megjelenő első publikációs szárnypróbálgatásai. Ám kezdő könyvtárosoknak nem mondhatók. Mindannyian elegendő ideje dolgoznak már ahhoz azokon a területeken, amelyek megismertetése és népszerűsítése érdekében klaviatúra mellé ültek, hogy az évek alatt megszerzett elsősorban gyakorlati és részben elméleti ismereteiket másokkal is megosszák. E célnak megfelelően a tomus írásai erősen gyakorlati jellegűek és az egyetemi oktatást szolgálják, de eredményesen használhatók az intézményes oktatáson kívüli edukációban, a felnőttképzésben, továbbképzésben is. A könyv fejezeteinek belső szerkezetét ennek megfelelően és a feldolgozott témák adottságaitól függően egységes struktúrájúvá alakították. A fejezetek – tartalmuktól függően – többféle segítő, bevezető részt tartalmaznak: bevezetés a tananyaghoz, a megszerezhető kompetenciák definiálása, a tananyag elsajátításához szükséges eszközök és egyéb feltételek felsorolása, a célközönség, az anyag elsajátításához szükséges időkeretet meghatározása, a tananyag témakörei, fogalommagyarázatok, a témával kapcsolatos legfontosabb publikációk felsorolása és még más olyan részeket, amelyek nélkül nem lehetne teljes az ismeretek átadása. Legalább ilyen hasznosnak tartjuk, hogy minden fejezetben találhatók ellenőrző kérdések is, amelyek megoldásával magunk kontrolálhatjuk tanulásunk hatékonyságát. A könyvben taglalt egyes témák tárgyalásának módja metodikailag olyan, hogy bármikor fellapozható, visszanézhető legyen, így folyamatosan mintegy „mankóként” is szolgálnak a szakirodalom új módszer- és eszköztára kutatásában még kevésbé járatos felhasználók számára. A fejezetek egységes szerkezete nem jelenti azok uniformizálását, hiszen az egyes részekben tárgyalt érdemi részek változatos tartalmakat hordoznak. Ennek megfelelően azok hosszabbak, emezek rövidebbek a másiknál; az egyik téma jobban kívánja az elméleti megalapozást, míg a másik az ilyenek hiányában is feldolgozható; az egyik szerző kevésbé bíbelődik a jelenség kauzális összefüggéseinek felderítésével, egyből a témába vág, a másik pedig messzebbről indít, a tárgyaltak társadalmi, környezeti változásait, okszerű kapcsolatait is bemutatja. Az ismeretanyag feldolgozottságának színvonalában is jelentősek a különbözőségek. Vannak közöttük tudományos mélységeket mutató írások, vannak benne kompilációs munkák és fellelhetők kvázi útmutató szintű művek. Mindezeken túl a klaviatúrák előtt ülő szerzők személyisége, habitusa, tudása, írói rutinja és talán belső késztetése az egyes fejezetek stílusát is meghatározza; ezen a téren is nagyok a különbségek. Ám ennek ellenére mégis van a kötetnek egy alapvető koherenciája. A tomust az új típusú, pontosabban szólva, a nem hagyományos eszközrendszert használó szakirodalmi tájékoztatásának és információszolgáltatásának, valamint rendelkezésre bocsátásának tematikája fogja össze. A felhasználó, az olvasó, a kutató, az információs igény felől közelítve: mindazoknak az ismerteknek az elsajátítását, rutinjainak kialakítását szolgálja, amelyek nélkül az egyetemi tanulmányok, a tudományos kutatómunka eredményes teljesítése lehetetlen. A most közzétett kötet tematikája – tekintettel a tárgykör nem teljes körű feldolgozására és a használók körében kevésbé ismert, ám a tanulás és a kutatás eredményesebbé tételében nélkülözhetetlen lehetőségeire – folytatásért kiált. Hasznos lenne, ha a szakirodalmi tájékoztatásban és információszerzésben mindinkább meghatározó további adatbázisok hasonló szempontú feldolgozására, közreadására is vállalkozna az intézmény