jövő internet kutatása a pécsi tudomány- egyetemen · szemantikus technológiák alkalmazása...

Jövő Internet kutatása a

PécsiTudomány-egyetemen

Dr. Jenei Sándor

Jól‐lét az információs társadalomban TÁMOP‐4.2.2.C‐11/1/KONV‐2012

1.Egyetemi adatbányászati alkalmazások

Jól‐lét az információs társadalomban TÁMOP‐4.2.1.B‐10/2/KONV‐2010‐0002

Adatbányászati alkalmazások

CÉLOK:

•Az egyetemi versenyképesség erősítése

•ETR-es adatokat kutatható formátumra hozni

•A hallgatók tanulmányi pályaívéből releváns következtetések levonása:•Előzetes végzettség hatása•Intézményi hatás•Kari különbségek•Képzési forma szerinti különbségek•Tagozat szerinti különbségek

•Tanulmányi átlagok előrejelzése •46,8%-os pontossággal meg tudjuk becsülni a Bayes-módszer segítségével egy, a felsőoktatásba belépő hallgató 1. féléves tanulmányi átlagát (10 kategória)

Publikációk:Brachmann Ferenc, László István: A weben elérhető szöveges tartalmak vizsgálata címkeresési algoritmusokkal (performancia és hatékonyság), OGIK'2011 Országos Gazdaságinformatikai Konferencia ‐ ISBIS'2011, International Symposium on Business Information Science 2011 November, 11‐12; Helyszín/Venue: Győr, Egyetem tér 1. Széchenyi Egyetem/University, Conference Center (VIP Room)

Di Blasio Barbara – Paku Áron – Marton Melinda: A mentor mint kapuőr a tanári professzió kialakításában. In: Új Pedagógiai Szemle 19/11‐12. 183‐194.

Di Blasio Barbara – Paku Áron – Marton Melinda: A mentorálás missziója a tanárképzésben. "Megújuló pedagógusszerepek és pedagógusképzés a Kárpát‐medencében" című neveléstudományi konferencia. Pécs, 2011. december 6.

Di Blasio Barbara – Paku Áron – Marton Melinda: Adatbányászat alkalmazása a felsőoktatás‐kutatásban. A Pécsi Tudományegyetem hallgatóinak tanulmányi előmenetele. Megjelenés alatt: Új Kutatások a Neveléstudományokban. Budapest: MTA Neveléstudományi Bizottság 2012

Di Blasio Barbara (2011): Új kutatási paradigmák térhódítása a 21. század elejére ‐ Adatbányászati kutatások a neveléstudományban. In: Kozma Tamás ‐ Perjés István (szerk.) (2011): Új kutatások a neveléstudományokban. Törekvések és lehetőségek a 21. század elején. ELTE Eötvös Kiadó, Bp. p. 96‐104.

Di Blasio Barbara and Sándor Jenei, On the Role of Narrativity in Teacher Training, Abstracts of the Hermeneutics at the Critical Edge and Narrative Pedagogy Research Conference, Auckland, New Zealand, 6‐9 December, 2011

Di Blasio Barbara– Marton Melinda – Paku Áron – Pótó Zsuzsanna: Neveléstudományi területen tanulók teljesítményének longitudinális elemzése. Megjelenés alatt: Educatio

Di Blasio Barbara: Adatbányászati módszerek az oktatáskutatásban című szimpózium. XII. Országos Neveléstudományi Konferencia. Budapest, 2012. november 8‐10.

Di Blasio Barbara: Élettötrénetek a pszichopedagógiában. Tudás és tanulás, neveléstudományi konferencia (2012. március 30 ‐ április 1.), Románia, Kolozsvár

Marton Melinda – Pótó Zsuzsanna: A neveléstudományi területen tanulók eredményessége a számok tükrében XII. Országos Neveléstudományi Konferencia. Budapest, 2012. november 8‐10.

Marton Melinda: Hallgatói eredményességet befolyásoló tényezők. XII. Országos Neveléstudományi Konferencia. Budapest. Budapest, 2012. november 8‐10.

Paku Áron: Tanulmányi pályamodellek a pécsi hallgatók körében – az adatbányászat módszerének felsőoktatás‐kutatási alkalmazhatóságának vizsgálata. XII. Országos Neveléstudományi Konferencia. Budapest, 2012. november 8‐10.


2. Szemantikus technológiákalkalmazása


Szemantikus technológiák alkalmazása

CÉLOK:

•Megragadni a hazugságok fokozatait az „ordas hazugságtól” a füllentésen és blöffön keresztül az igazság mondása révén történő hazugságig•Megragadni (rekurzívan épülő szerveződésben) a beszélői információállapot mentális struktúráját (biztosnak gondolt tudás, hiedelem, szándék, vágy.•Formális diskurzus- illetve elmereprezentációs modell a kommunikációs kapcsolatba lépő beszélő kérdéstípusairól és a hallgató választípusairól; megragadni az ezekben rejlő bizonytalanság kifejezésének számtalan fokozatát.•Formális diskurzus- illetve elmereprezentációs modell a deontikus és az episztemikus modalitás magyar nyelvi kifejezéséről (valószínűség, lehetőség, engedély, kényszer…).


CÉLOK:

•Az informális kognitív nyelvészet és a formális diskurzusreprezentációs elmélet egyesítésének programját kínáljuk.•Formális elmereprezentációs modell arról, hogy a magyar igék jelentésszerkezete hogyan terjed ki újabb és újabb leírási területekre.


CÉLOK:

•A eALIS (Reciprocal and Lifelong Interpretation System) diskurzus- és elmereprezentációs modell számítógépes implementációja: világmodell-és elmemodell- építés, majd mindebben extenzionális és intenzionális igazságértékelés


Publikációk:•Alberti, Gábor – Judit Kleiber – Noémi Vadász 2014: Ideal and Deviant Interlocutors in a Formal Interpretation System. In: Zuczkowski, Andrzej, Ramona Bongelli, Ilaria Riccioni and Carla Canestrari (eds.), Communicating Certainty and Uncertainty in Medical, Supportive and Scientific Contexts. pp. 59–78) Benjamins Dialogue Studies Series 25. Amsterdam: Benjamins.•Noémi Vadász, Gábor Alberti, Judit Kleiber 2013: The Matrix of Beliefs, Desires and Intentions. Alexander Gelbukh and Ajith Abraham (eds.). IJCLA (International Journal of Computational Linguistics & Applications), 4/1 (Jan.‐June 2013). ISSN 0976‐0962. New Delhi: Bahri Publ. 95–110. http://www.gelbukh.com/ijcla/2013‐1/IJCLA‐2013‐1‐pp‐095‐110‐05‐The‐matrix.pdf•Alberti, Gábor, Márton Károly 2012: Multiple Level of Referents in Information State. Alexander Gelbukh (ed.):Computational Linguistics and Intelligent Text Processing, CICLing2012, New Delhi, India. Lecture Notes in Computer Science LNCS7181. Springer Verlag, Berlin, Heidelberg. 349‐‐362.•Kleiber, Judit – Gábor Alberti 2014: Uncertainty in Polar Questions and Certainty in Answers? In Certainty‐uncertainty – and the attitudinal space in between (eds. Sibilla Cantarini, Werner Abraham, Elisabeth Leiss). Studies in Language Companion Series 165. Amsterdam: Benjamins. 135‐‐152.•Alberti, Gábor ‐‐ Judit Kleiber (2012): Where are Possible Worlds? (Arguments for eALIS). Acta Linguistica Hungarica 59 (1‐2) (ed. Katalin É. Kiss). 3‐26.•Alberti, Gábor, Mónika Dóla, Judit Kleiber: Mood and Modality in Hungarian – Discourse Representation Theory Meets Cognitive Linguistics. Argumentum 10. Debreceni Egyetemi Kiadó, Debrecen. 172–191.•Alberti (2013): Az argumentumok precedenciaelvű realizálódása. Szilágyi N. Sándor és Kádár Edit szerk.: Analógia és modern nyelvleírás. Erdélyi Múzeum‐Egyesület Kiadó. Kolozsvár, Románia. 9‐41.•Alberti Gábor (2014): A eALIS elmélete – A titkait feltáró emberi elme modellje. Élet és Tudomány. LXIX/5. (2014. január 31.) 137–139.•Eszter Varga; Zsuzsanna Schnell; Tamás Tényi; Nándor Németh; Mária Simon; R. Járai; András Hajnal; Réka Horváth; Edina Hamvas; Sándor Fekete; Róbert Herold (2014): Compensatory effect of general cognitive skills on non‐literal language processing in schizophrenia Journal of Neurolinguistics 29. pp. 1–16.•Alberti, Gábor, and László Nőthig (2014): ReALIS1.1: The Toolbox of Generalized Intensional Truth Evalation. In Jerzy Grzymala‐Busse and Ingo Schwab (eds.): INTELLI 2014, The Third International Conference on Intelligent Systems and Applications. 60–66.•Nőthig László – Alberti Gábor–Dóla Mónika (2014): eALIS1.1. X. MSzNy (2014. jan. 16‐17.), szerk. Tanács Attila–Varga Viktor–Vincze Veronika. SzTE Informatikai Tanszékcsoport. 364–372.•Kilián Imre – Alberti Gábor (2014): A eALKB tudástár metamodell‐vezérelt megvalósítása. X. MSzNy (2014. jan. 16‐17.), szerk. Tanács Attila–Varga Viktor–Vincze Veronika. SzTE Informatikai Tanszékcsoport. 91–98.•Kilián, Imre, Gábor Alberti: A Metamodel‐Driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions. In: ICSOFT 2013 Proceedings of the 8th Int. Joint Conf. on Software Technologies (Reykjavík, 29‐31 July 2013). Ed. José Cordeiro, David Marca and Marten van Sinderen. 74‐78.•Károly, Márton, Gábor Alberti (2013): The Implementation of a eALIS‐based Method of Static Intensional Interpretation. KEOD 2013, 5th International Conference on Knowledge Engineering and Ontology Development, Proceedings, Vilamoura, Portugal, 19‐22 September 2013 (ed. by Joaquim Filipe and Jan Dietz). 393–398.•Kilián Imre – Alberti Gábor – Szabó Veronika (2013): Metamodell vezérelt felépítmény modális világszerkezetek létrehozására, feltöltésére és lekérdezésére. SzámOkt 2013 (Nagyszeben, 2013. október 10‐13.). XXIII. Nemzetközi Számítástechnika és Oktatás Konferencia. Szerk. Bíró Károly Ágoston, Sebestyén‐Pál György. Erdélyi Magyar Műszaki Tudományos Társaság. 225–232.

3.Mobil adathálózatok vizsgálata


KÉSLELTETÉS OPTIMALIZÁLÁSAMOBIL ADATHÁLÓZATOKBAN

KÉSLELTETÉS HSDPA HÁLÓZATOKBAN

• VoIP kommunikáció- Maximálisan megengedett késleltetés: 150–250 ms.

- Főbb összetevők: mobil adathálózat késleltetése, gerinchálózat késleltetése, jelfeldolgozás,

A/D, D/A átalakítás, pufferelés (jitter csökkentése)

- Mobil adathálózat (HSDPA) késleltetése feltöltési irányban túl magas (~80–100 ms)

• Késleltetés és a keretméret kapcsolata- Összefüggés a keretméret és a mobil adathálózat késleltetése között

- A legkisebb késleltetést adó keretméretet az adott hálózat konfigurációja is befolyásolja

- Az optimális keretméret előre nem meghatározható


A KÉSLELTETÉS ÉS A KERETMÉRET KAPCSOLATA HSDPA HÁLÓZATOKBAN

AZ ADOTT HÍVÁS KÉSLELTETÉSÉNEK OPTIMALIZÁLÁSA

• Mindig a konkrét VoIP híváshoz szükséges keretméretet választani- Különböző kodekek használata eltérő késleltetést eredményez

- A hálózat konfigurációja nem ismert

- Nem szükséges a hálózati konfiguráció változásának követése

• Az optimális keretméret meghatározható lenne a késleltetés alapján- Az adó és a vevő órája azonban nem szinkronizálható

- A késleltetés pontos mértéke nem ismert

• Az optimális keretméret meghatározása szinkronizáció nélkül- Különböző keretméretek megfelelő algoritmus szerinti használatával a hívás elején


SZOFTVERFEJLESZTÉS

• Az optimalizálást végző algoritmusok tesztelésére- Különböző VoIP kodekek támogatása

- Eltérő keretméretek támogatása

- Keretméret változtatása híváson belül

- Automatizálható VoIP hívások

- Kötegelt feldolgozás lehetősége• További fejlesztések

- A kapcsolatra jellemző hálózati paramétereinek naplózása

- Energiafogyasztás naplózása


OKOSTELEFONOK SZÁMÍTÁSI KAPACITÁSÁNAK NÖVEKEDÉSE

• Fejlődés- Apple termékek vizsgálata

- Szűk termékpaletta, közel állandó technikai színvonal

- Az iPhone 6 ~34x gyorsabb az eredeti iPhone-nál (7 év)• Összehasonlítás

- Nem elegendő csak a CPU teljesítményét vizsgálni

- Okostelefonok, asztali és hordozható számítógépek összehasonlítása

- Eltérő platform, operációs rendszer, stb.

- Egységes eredményt adó teszt szükséges (Geekbench)

- A felsőkategóriás okostelefonok teljesítménye hasonló az alsókategóriás notebookokéhoz

OKOSTELEFONOK ERŐFORRÁSAINAK FELHASZNÁLÁSI LEHETŐSÉGEI


AZ IPHONE TERMÉKCSALÁD TELJESÍTMÉNYÉNEK NÖVEKEDÉSE


APPLE TERMÉKEK TELJESÍTMÉNYÉNEK ÖSSZEVETÉSE

FELHASZNÁLÁS ELOSZTOTT SZÁMÍTÁSOKBAN

• Lehetséges kliens eszközök- Az általánosan használt klienseknél alacsonyabb teljesítmény

- Limitált akkumulátor kapacitás

- Felhasználás csak töltőre csatlakoztatva (pl.: éjszaka) képzelhető el

- Hatalmas számban állnak rendelkezésre

- Erőforrások önkéntes felajánlása

- Kiemelten fontos a tulajdonosok motiválása

- Létező kezdeményezések (pl.: NativeBOINC!)Elismerések

- Rébay Viktor: Possibility of using Smartphones in Distributed Computing Networks

- Best Paper Award – ACET 2014 (Hongkong)


4.Robotika és humán mozgás-szabályozás

Robotika-mozgásszabályozás

•MOZGÁS-KOORDINÁCIÓ (Kinematikai adatok mérése mozgásanalízáló rendszerekkel)

•IZOMAKTÍVITÁSOK ÉRTÉKELÉSE (Biolelektromos jelek, elektromyogramok feldolgozása )

•MOZGÁSMINTÁK ÁTLAGOLÁSA (Ismételten végrehajtott mozgások kinematikai és izomaktívitási adatainak átlagolása és ennek alapján mesterséges mozgásminta definiálása, orosi rehabiltációs célra.)

Az emberi mozgás-szabályozás vizsgálata és Modellezése


varia

nce

(mm

2 )Va

rianc

e(m

m2 )

0200400600800

10001200

0 200 400 600 800 10000

200400600800

10001200

0 200 400 600 800 1000

0

500

1000

1500

2000

0 200 400 600 800 10000

500

1000

1500

2000

0 200 400 600 800 1000

Varia

nce

(mm

2 )Va

rianc

e(m

m2 )

Normalised time

Circle

Square

Non dominant arm Dominant arm

Normalised timeNormalised time

Normalised time

Parkinson DiseaseControl

A kar végpontjának (kézben tartott toll) varianciája a normalizált idő függvényébenkör rajzolás és négyzetrajzolás esetén


A mozgás varianciájának struktúrája

• Az ízületi hajlásszögek változása és a végtag végpontjának változása közötti kacsolat a Jacobi mátrix (a végpont koordinátáknak az ízületi hajlásszögek szerinti parciális deriváltjai).

• A Jacobi mátrix Nullteréből származnak azok a varianciák amelyek nem befolyásoljáka sikeres feladat végrehajtást ( pl. kör vagy négyzetrajzolást).

• Egészséges mozgás‐szabályozásnál a variancia döntő része a Nulltérből (uncontrolled manifold) származik.

Robotika-mozgásszabályozás

Ember‐gép kapcsolat

Eredmények:

•Neuroprotézisek szabályozása: Gerincvelősérült vagy stroke‐on átesett, bénult végtagúszemélyek aktív végtag‐mozgatásának szabályozása funkcionális elektromos izomingerlés és mesterséges, előre kiszámított izomingerlési algoritmus alkalmazásával. Az Országos Orvosi Rehabilitációs Intézet páciensei alkalmazzák a módszert.

Tervek:

•Külső tárgyak, (pl. számítógép képernyőn a mouse pointer) mozgatása a bénult végtagú paciensek megmaradt mozgási funkcióinak mérésével és a mért jelek szabályozási utasítássá transzformálásával.

•Robotkarok irányítása


Néhány publikáció:

•Laczko J, Jaric S, Tihanyi J, VM. Zatsiorsky & Mark L. Latash (2000) “Components of the End-Effector Jerk during Voluntary Arm Movements”. Journal of Applied Biomechanics V.16. pp 14-26, (IF: 0.508)•Tibold R, Laczko J. (2012): The effect of load on torques in point-to-point arm movements: a 3D model. Journal of Motor Behavior. Vol. 44 No.5. pp. 341-350. IF.: 1.64•Tibold R, Fazekas G, Laczko J (2011): Three-dimensional model to predict muscle forces and their relation to motor variances in reaching arm movements. Journal of Applied Biomechanics, 27, pp. 362-374. IF: 1:239•Keresztényi, Z., Cesari, P., Fazekas, G., Laczkó, J. (2009). The relation of hand and arm configuration variances while tracking geometric figures in Parkinson's disease –"aspects for rehabilitation". International Journal of Rehabilitation Research, Vol 32(1): 53-63. •Simo L, Piovesan D, Laczko J, Ghez C, Scheidt RA (2014): Submovements during Reaching Movements after Stroke. Accepted at the36th Annual International IEEE EMBS Conference• Mravcsik M., Laczkó J. (2014): Muscle co-activation during arm cycling against altering crank resistances. Accepted at the 7th World Congress of Biomechanics, Control Number 3864,• Laczko J, Mravcsik M, Gyorffi Z. (2013): Controlling cyclic arm movements while cycling under altering external conditions. Program No. 651.13 2013 Neuroscience Meeting Planner. Soc. for Neuroscience• Laczko J. (2013): Biorobotics: Neuro-mechanical Modeling and Control of Human Movements. Abstracts of the 10th Janos Szentagothai Transdisciplinary Conference. p.18. • Valy A. and Laczko J. (2013): The use of an ultrasound movement analyser: aspects of medical information technology. Abstracts of the 10th Janos Szentagothai Transdisciplinary Conference and Student Competition. p.21. (ISBN 978-963-642-567-8)•Katona P, Pilissy T, Laczko J. (2013): Speed and crank resistance affects coactivation of knee muscles during cycling movements. San Juan, Puerto Rico, Society for the neural control of movement, 23rd Annual Meeting Abstracts. p.1.• Tibold R, Laczko J. (2012): The effect of load on torques in point-to-point arm movements: a 3D model. Journal of Motor Behavior. Vol. 44 No.5. pp. 341-350. IF.: 1.64• Laczko J. Katona P, Waszlavik E, Klauber A. (2012): Dependence of cycling performance on training time and stimulation frequency during FES driven cycling. IFESS 2012, 17th Annual Meeting – Intnl. Functional Electrical Stimulation Society. pp. 448-451.•Laczkó J (2011): Modeling of Human movements, Neuroprostheses. Clinical Neuroscience/Ideggyogy Szle. 64(7-8) pp. 162-167. IF: 0.488•Laczko J, Walton K, Llinas R (2006): A neuro - mechanical transducer model for controlling joint rotations and limb movements. Clinical Neuroscience/Ideggy Szle, 59.(1-2):32-43. •Laczkó J., Jaric S., Domkin D., Johansson H., Latash, ML (2001): Stabilization of Kinematic Variables in the Control of Bimanual Pointing Movements. Intnl. Joint Conference on Neural Networks., ISBN: 0-7803-7044-9/ ©2001 IEEE, pp. 1256-1260.•Domkin D, Laczko J, Jaric S, Johansson H, Latash ML. (2002): Structure of joint variability in bimanual pointing tasks. Experimental Brain Research V.143. pp.11-23, •Domkin D, Laczko J, Djupsjöbacka M, Jaric S and Latash ML (2005) : Joint angle variability in 3D bimanual pointing: uncontrolled manifold analysis. Experimental Brain Research, V.163. pp.44-57.•Laczkó J., Jaric S., Domkin D., Johansson H., Latash, ML (2001): Stabilization of Kinematic Variables in the Control of Bimanual Pointing Movements. Intnl. Joint Conference on Neural Networks., ISBN: 0-7803-7044-9/ ©2001 IEEE, pp. 1256-1260.•Domkin D, Laczko J, Jaric S, Johansson H, Latash ML. (2002): Structure of joint variability in bimanual pointing tasks. Experimental Brain Research V.143. pp.11-23, •Domkin D, Laczko J, Djupsjöbacka M, Jaric S and Latash ML (2005) : Joint angle variability in 3D bimanual pointing: uncontrolled manifold analysis. Experimental Brain Research, V.163. pp.44-57.

5.Kvantuminformatikai kutatások


Kvantuminformatikai kutatások

A kvantuminformatikaa kvantummechanikával leírható rendszereksajátosságainak felhasználásainformáció feldolgozási feladatokra.

Intenzív kutatása néhány évtizede kezdődött.Az európai kutatás finanszírozás jelentősen támogatta és támogatja.Mára kialakult tudományterület, fő irányai, kérdései tisztázottak.Jelentős kriptográfia és a számítástudományi potenciál

Kutatásaink ezen széles terület egyes kérdéseire terjednek ki:

Kvantum dinamikák információelméleteOptimális kvantuminformáció feldolgozás


Kvantum dinamikák információelmélete

Egy klasszikus diszkrét rendszer leírása: sztochasztikus folyamatA pillanatnyi állapotok valószínűségi változók

Az információelmélet jól leírja: Entrópiák, csatornakapacitásokPontos műveleti jelentéssel

A kvantum rendszer állapota sűrűségoperátor(Pozitív szemidefinit hermitikus operátor egy Hilbert‐téren)

Az állapotok halmaza konvex, de nem egy szimplex.A kvantumállapot sokféleképp alakítható klasszikus információváA klasszikusnál gazdagabb, általánosabb megközelítésEgyre több megvalósítássalDe sok még a nyitott kérdés


Kvantum dinamikák információelmélete

Legutóbbi eredményünk:

Kvantumos bolyongás alapú információforrások leírásaentrópia ráta segítségével

Kollár B., Koniorczyk M. Entropy rate of message sources driven by quantum walksPhys. Rev. A 89, 022338 (2014)

További cél:

Konkrét esetek tanulmányozásán keresztül megérteni a kvantum dinamikus entrópia műveleti jelentését.


Optimális kvantuminformáció feldolgozás

A kvantumosan kódolt információval csak bizonyos műveletek végezhetők, fizikai korlátok miatt:Teljesen pozitív leképezések (műveletek, kvantum csatornák)Általánosított (POVM Positive Operator Valued Measure) mérések

Konkrét feladatok esetén szükség lehetNem megvalósítató műveletek konkrét megvalósításáraA kívánt információ megszerzésére optimalizált POVM‐re

Ezek konvex optimalizálással, szemidefinit programozással tervezhetők.


Optimális kvantuminformáció feldolgozás

Legutóbbi eredmény:

Folyamat tervezési esettanulmány:

Process optimized quantum cloners via semidefinite programmingM. Koniorczyk, L. Dani, V. Bužek, arXiv:1304.1326 [quant‐ph]

Cél:

Különféle folyamat, csatorna és mérés problémák vizsgálata szemidefinit programozással. Kriptográfiai alkalmazások elemzése.

6.Nem-klasszikus logikák vizsgálata és alkalmazásaik


Nem-klasszikus logikák vizsgálata és alkalmazásaik

ALKALMAZÁSOK:

•MI ALKALMAZÁSOK (Beltéri pozícionálás)•KÓDELMÉLET (Adaptív kódok)•JÁTÉKELMÉLET (Rényi-Ulam játék, játék-szemantikák)•NEM-KLASSZIKUS LOGIKÁK (szubstrukturális logikák)•ALGEBRAI LOGIKA (teljességi tételek és egyéb ”bridge” tételek)•ALGEBRA (reziduált félcsoportok)•GEOMETRIA (szimmetriák alkalmazása)

Nem-klasszikus logikák vizsgálata és alkalmazásaik

EREDMÉNYEK:

•A Rényi-Ulam játék egy variánsának kapcsolata a szorzat logikával•Teljességi tételek reziduált hálók és szubstrukturális logikák között•Reziduált félcsoportok konstrukciói•Reziduált félcsoportok alosztályainak algebrai jellemzése és osztályozása

Legújabb közlemények

Publikációk:•Jenei Sándor, Investigation of Residuated Monoids, MTA doktora disszertáció, 182 p. Benyújtás éve: 2011. Védés éve: 2013.•Jenei Sándor, Franco Montagna, A classification of certain group‐like FLe‐chains, SYNTHESE 2014: p. &. 27 p. (2014)•Jenei Sándor, Co‐rotation constructions of residuated semigroups, FUZZY SETS AND SYSTEMS 252: pp. 25‐34. (2014•Jenei Sándor, Four new construction methods on residuated monoids, In: IEEE (szerk.) Abstracts of the 2014 IEEE 44th International Symposium on Multiple‐Valued Logic (ISMVL 2014). Konferencia helye, ideje: Bréma, Németország, 2014.05.19‐2014.05.21. Bréma: IEEE Computer Society, 2014. pp. 128‐131. (Proceedings of The International Symposium on Multiple‐Valued Logic) (ISBN:978‐147993534‐5)•Jenei Sándor, Recent advances in the structural description of involutive FLe‐ chains. In: Logic, Algebra, and Truth Degree 2014 (LATD 2014) in Vienna Summer of Logic 2014. Konferencia helye, ideje: Bécs, Ausztria, 2014.07.16‐2014.07.19. Bécs: Paper 108B.•Sándor Jenei, Five new constructions of involutive FLe‐algebras, In: E P Klement, R. Mesiar, P. Struk (szerk.), Abstracs of the 12th International Conference of Fuzzy Set Theory and Applications (FSTA 2014). Konferencia helye, ideje: Liptovsky Jan, Szlovákia, 2014.01.27‐2014.01.31. Bratislava: pp. 61‐62.•Jenei Sándor, Franco Montagna, Strongly Involutive Uninorm Algebras, JOURNAL OF LOGIC AND COMPUTATION 23:(3) pp. 707‐726. (2013)•Jenei Sándor, Classification results on residuated lattices – a survey with new results, In: R Mesiar, E. Pap, E. P. Klement (szerk.), 34th Linz Seminar on Fuzzy Set Theory: Non‐Classical Measures and Integrals. Konferencia helye, ideje: Linz, Ausztria, 2013.02.26‐2013.03.02. Linz: p. 85.•Jenei Sándor, New involutive FLe‐algebra constructions, In: J Y Beziau, A. Buchsbaum, A. Costa‐Leite, A. Altair (szerk.), 4th World Congress and School on Universal Logic: Handbook. Konferencia helye, ideje: Rio de Janeiro, Brazília, 2013.04.03‐2013.04.07. Rio de Janeiro: p. 360.•Jenei Sándor, On the geometry of associativity, In: The 15th International Conference on Functional Equations and Inequalities. Konferencia helye, ideje: Ustron, Lengyelország, 2013.05.20‐2013.05.25. Paper 54.•Jenei Sándor, New involutive FLe‐algebra constructions, In: Tomáš Kroupa (szerk.), Volume of Abstracts MANYVAL 2013: Games, decisions and rationality. Konferencia helye, ideje: Prague, Csehország, 2013.09.04‐2013.09.06. Prague: p. 33.•Jenei Sándor, Co‐rotation, co‐rotation‐annihilation, and involutive ordinal sum constructions of residuated semigroups, In: Abstracts of the 19th Logic for the Programming Artificial Intelligence and Reasoning Conference. Konferencia, helye, ideje: Stellenbosch, Dél‐Afrika, 2013.12.14‐2013.12.19. Paper 73.•Jenei Sándor, Investigation of Residuated Monoids, 182 p., Benyújtás éve: 2011. Védés éve: 2013., 2013., Disszertáció/MTA Doktora•Sándor Jenei, László Kóródi, Pseudo Equality Algebras, ARCHIVE FOR MATHEMATICAL LOGIC 52:(5‐6) pp. 469‐481. (2013)

HELYZETALAPÚ SZOLGÁLTATÁSOK

•A helyzetalapú szolgáltatások (LBS) olyan szoftveralkalmazások, melyek IP-képes mobil eszközök számára nyújtanak helyfüggő szolgáltatásokat. Pl.: autós navigáció, social networking (FourSquare Facebook, stb...), helyi keresés (pl.: Google Maps, Waze, Yelp)•A geolokációs technológiák további fejlődése szükséges ezen alkalmazások funkcionális kiterjesztéséhez (pl.: teljes beltéri pozicionálás, jobb teljesítmény, csökkenő energiaigény, stb...)

Helyzetalapú szolgáltatások – beltéri pozícionálás


BELTÉRI POZICIONÁLÁS

•A consumer-szintű geolokációs technológiák funkcionális és teljesítményparamétereinek vizsgálata.•Csak okostelefonok és tabletek•Hardver-alapú ipari felhasználásra szánt megoldások figyelmen kívül vétele•Platform fragmentáció fontos vizsgálati terület a szoftver-alapú megoldások esetében

MÉRÉSADATGYÜJTŐ SZOFTVER

•iOS•Android•Windows Phone


VIZSGÁLT PARAMÉTEREK

•A fókuszban az alapvető szenzortechnológiák, melyek a legtöbb eszközben rendelkezésre állnak

•WiFi jelerősség•BlueTooth jelerősség•Magnetometer•Gyorsulásmérő•(GPS)•(GSM/UMTS háromszögelés)


MÉRÉSADATGYÜJTŐ SZOFTVER

•iOS•Android•Windows Phone


MÉRÉSEK

•5 eszközön, • HTC Windows Phone 8X (Windows

Phone 8.0.10501.127)• Google Nexus 5 (Android 4.4.4)• Apple iPad mini with retina display

(16GB, WiFi, iOS 7.1.2)• HTC One Max (Android 4.3)• Nokia 1020 (Windows Phone

8.10328.78))•4 pozicióban: A, B, C, D•Magnetometer adatok vizsgálata, normalizálása


Eredmények

Első vizsgált megközelítés•3 tengelyen vett magnetometer adatok egységvektorba foglalása

•“hagyományos” normalizálás

Második vizsgált megközelítés•Normalizálás utáni egységvektorba foglalás

M Mx2 My2 Mz2

i m: zi,d ri,d d

d

i m:qi,d si,d d

d

N Nx2 Ny2 Nz2


Eredmények

Saját javaslat•Jellemző-skálázás alkalmazása normalizálás helyett

i m: zi,d ri,d rdmin

rdmax rdmin


Eredmények

•Jelentős különbséget mutatnak a vizsgált mobil eszközök mért magnetometer értékei, így azok egységes keretek közt, azonos eljárásokkal történő feldolgozása – beltéri pozicionálási feladat megoldásának érdekében – kihívást jelent•A választott skálázási módszer jobb eredményeket produkál a vizsgált magnetometer mérésadatokon•Ez megmutatkozik a kedvezőbb statisztikai desktroptív értékeken, illetve az ábrázolás alapján értelmezett módon is


Összehasonlítás


Nem-klasszikus logikák és geolokalizáció

SZTE


• Távolsággal csökken (karakterisztikája ismert)

• A sugárzást akadályozó tényezők torzítják a terjedést

• A jel intenzitása nem ad választ a jeladótól mért távolságra


A lokalizáció feltétele:

•Több adótorony sugárzása•A jelekből az adótorony azonosítása•Az akadályok miatt a jelerősség alapján a potenciális felület közelítése

Tanuló adatbázis•X, Y adott koordináta pontokban jelerősség mérése•Az adatbázisba lévő pontok száma és elhelyezkedése meghatározza a felület közelítés pontosságát.


Felület approximáció és Voronoi diagram

•Az x,y mérési pontok meghatároznak egy Voronoi diagramot (N)

•A pontok oldalfelező merőlegesei határoznak meg egy cellát


A Voronoi cella felfújása


Kráter képzés

Jeladó azonosítása és jelszint mérése

A pozíció lehetséges helye a G parciális felület x magasságú szintvonala

Olyan függvényt készítünk amelyek maximum értékei a szintvonalon vannak.


Kapcsolódó pulikációk

•F. Brachmann, A Multi-Platform Software Framework for the Analysis of Multiple Sensor Techniques in Hybrid Positioning Systems, in Proc. 5th International Conference on Indoor Positioning and Indoor Navigation (IPIN), Busan, Dél-Korea, 2014.10.27-30.•F. Brachmann, Z. Horváth, S. Jenei, The effects of hardware and software-based signal distortion in multi-platform indoor positioning systems, Lecture Notes in Geoinformation and Cartography. Springer Heidelberg, 2014.•J. Dombi, Orsolya Csiszár: The general nilpotent operator system, Fuzzy Sets and System, 2014•J. Dombi, O. Csiszár: Implications in Bounded Systems, Information Sciences, p 229-240., 2014•J. Dombi: The characterization and properties of a certain class of uninorms called aggregative operators, Springer 2013

Köszönöm!

jövő internet kutatása a pécsi tudomány- egyetemen · szemantikus technológiák alkalmazása...

Documents