Kogníció, koncepciók, modellek
|
|
- Orsolya Péterné
- 7 évvel ezelőtt
- Látták:
Átírás
1 Kogníció, koncepciók, modellek A szoftver-technológia koncepcionális alapjai Irodalom Pléh Csaba: Bevezetés a megismeréstudományba, Typotex, 1998 Kognitív tudomány, Szerk.: Pléh Csaba, Osiris, 1996 M. Imaz, D. Benyon: Designing with blends, MIT Press,
2 Leírások, reprezentációk A küls! valóság rögzítése valamilyen, az elme számára kezelhet! formában küls! reprezentáció bels! (mentális) reprezentáció analóg propozícionális Gondolatok, koncepciók leírása Gondolkodási alapkeret Modellek Entitások, jelenségek, folyamatok reprezentációja (komplex valóság) egyszer"sített, absztrakt nézet fizikai matematikai logikai 4
3 Cél: Tudományos modellezés megértés (kvalitatív) érvelés, következtetés predikció (kvantitatív) paraméter-szenzibilitás vizsgálat gondolkodási folyamat támogatása Formalizált interpretáció 5 Metamodellek Modellezési rendszerek modelljei keretek, szabályok, kényszerek modell transzformációk szemantika rögzítése 6
4 Formális modellek Modell reprezentáció formális (modellezési) nyelven konzisztens szabályoknak megfelel! leírás, értelmezés rögzített szintaxis és szemantika el!nyök: (formális, automatikus) modell validálás modell operacionalizálás (szimuláció) grafikus reprezentációk 7 Mérés Mennyiségek meghatározása leképezés Min!ségi jellemz!k mérése mérték (metrika) m: A! R mérési skála típusa mértékegység m(x, y) = 0 for x = y m(x, y) = m(y, x) for all x, y m(x, z) " m(x, y) + m(y, z) for all x, y, z 8
5 Mérési skálák Skálatípusok Nominális skála Ordinális skála Intervallum skála Arány skála Abszolút skála Relációs rendszer: (S, rel1,..., reln, op1,..., opm) Mérték: m:sa #SB Skála: (A, B, m ) ha relai (ai1,..., aik)! relbi (m(ai1),..., m(aik)) és m (a op!j b) = m(a) op"j m(b) 9 Mentális modellek (Koncepcionális, kognitív modell) Analóg mentális reprezentció nem teljes korlátozott m"ködtetés nem stabilak nincsenek éles határai takarékosak Idealizált kognitív modellek (ICM) mentális terek keretei elemek, tulajdonságok, relációk 10
6 Egyéb kognitív struktúrák minták -> jelentés Kognitív sémák (schema) Keretek (frame) adatszerkezetek sztereotipizált helyzetekre Scenáriók kiindulási állapot, esemény szekvencia, végállapot 11 Egyéb kognitív struktúrák (folyt.) Koncepciók definíciók (szükséges és elégséges feltételek) Kategóriák hasonlósági családok Kialakítás Absztrahálás Generalizálás Taxomómiák kategóriák kapcsolatai 12
7 Képzetek, kép-sémák nem propozícionális képzet prekoncepcionális koncepciók és konkrét képek között élmények és tapasztalatok néhány kép-séma forrás-út-cél séma konténer séma kapcsolat séma B A A X B A B 13 Metaforák Hasonlat (analógia) Mentális terek domének konnektorok struktúra ICM-ek által Domének közötti leképezés átvitel "A" mentális tér a b "B" mentális tér a' b' 14
8 Érintkezések leképezés, projekció Metonímia Integrációs hálózat Koncepcionális integráció topológikus vonatkoztatási kör egyszeres, dupla Inp. 1. Inp. 2. Inp. 1. Inp. 2. Input 1 Input 2 Generikus Integrációs hálózat Érintkezés 15 Összetett érintkezések Metafora kiterjesztése - szintézis hierarchikus konstrukciók alap metaforák SE példák desktop metafora magas szint" programozási nyelvek fekete doboz 16
9 Példa: Desktop metafora 17 Formális rendszerek és nem formális leírások Formális nyelv, logikai levezetési szabályok rögzített szintaxis és szemantika Leírások literális és figuratív nyelv fokozatos átmenet diagrammatikus jelölés -> vizuális probléma megoldás érvelés (eszköz), belátás (magyarázat) 18
10 Metafora használat Kulcs jellemz!k kifejez!, tömör, él! (fenomenológia,tapasztalatok) percepciós és szemantikus gondolkodási szintek összekötése agyféltekék m"ködésének integrációja Heurisztikus eszköz Comenius-funkció oktatás, szemléltetés Vélekedések, folk theory 19 Alap SE metaforák Kiindulási (mentális) hátterek szerkezetépítés architektúra, platform, frontend gyártás pipeline, toolkit, package üzleti élet kliens, bróker, export-import iroda fájl, mappa, csatolmány biológia öröklés, fa, vírus 20
11 Érintkezések használatban Rendszerelemzés kimenetei érintkezések Tervezési minták nevei HCI, mint közvetlen alkalmazási terület szocio-technológiai rendszerek szervezeti munkahelyi individuális szint" metaforák => szükségletek, követelmények 21 Vizuális problémamegoldás Externalizálás kognitív költségek (információfogyasztási modell) vizuális csatorna jellemz!i munkamemória, figyelem, hoszútávú memória aktiválása vizuális lekérdezés mintázat-keres! ciklus 22
12 Vizuális reprezentációk 23 Szoftver-technológia és modellek Módszerek -> leírások (jelölés rendszerek, notation) tervezés elemzés programozás Tervezési megközelítés Jelölések alkalmazása A modellezési keretek érintkezések való világ (szakterületek) a kiindulási vonatkozatatási terület az érintkezések SE ontológiát (episztemológia) képeznek 24
A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-folyamat Szoftver
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben Ráth István rath@mit.bme.hu A grafikus nyelvek... mindenhol ott vannak: Grafikus felületek (Visual Studio) Relációs sémák (dbdesign)
Szoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben
Szoftver tervezés és design
Szoftver tervezés és design Irodalom Frederick Brooks: Design of design, Addison-Wesley, 2010 M. Imaz, D. Benyon: Designing with blends, MIT Press, 2007 2 A mérnöki folyamat iterációk követelmények analízis
Fogalom- és tárgymutató
Fogalom- és tárgymutató A, Á ábra, 78 ábrázolás kép~ 32 verbális~ 66 általános, 309, 310, 315, 316 analógia közvetlen~ 226 személyes~ 226 szimbolikus~ 226 aspektus, 91, 92 ~látás autokinésis, 60 azonosítás,
Méréselmélet MI BSc 1
Mérés és s modellezés 2008.02.15. 1 Méréselmélet - bevezetés a mérnöki problémamegoldás menete 1. A probléma kitűzése 2. A hipotézis felállítása 3. Kísérlettervezés 4. Megfigyelések elvégzése 5. Adatok
A szoftverfejlesztés eszközei
A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Történet (hw) Lyukkártya válogató
Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom
Szoftver újrafelhasználás (Software reuse) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 18. Roger S. Pressman: Software Engineering, 5th e. chapter 27. 2 Szoftver újrafelhasználás Szoftver
Az emberi információfeldolgozás modellje. Az emberi információfeldolgozás modellje. Alakészlelés. Más emberek észlelése.
Az emberi információfeldolgozás modellje (továbbgondolás) Az emberi információfeldolgozás modellje Látási bemenet Hallási bemenet Feldolgozás Érzékszervi tár Alakfelismerés Probléma megoldás Következtetés
Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK
Modellinformációk szabványos cseréje Papp Ágnes, agi@delfin.unideb.hu Debreceni Egyetem EFK Tartalom MOF, UML, XMI Az UML és az XML séma MDA - Model Driven Architecture Networkshop 2004 2 Az OMG metamodell
Steps Towards an Ontology Based Learning Environment. Anita Pintér Corvinno Technologia Transzfer Kft apinter@corvinno.hu
Steps Towards an Ontology Based Learning Environment Anita Pintér Corvinno Technologia Transzfer Kft apinter@corvinno.hu Ontológia alapú elektronikus tanulási környezet megteremtése Anita Pintér Corvinno
Szoftver követelmények meghatározása
Szoftver meghatározása Requirements engineering (analysis) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 6-7. Roger S. Pressman: Software Engineering, 5th e. chapter 11. 2 Követelménymeghatározás
Szoftver újrafelhasználás
Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással
Mérés és modellezés 1
Mérés és modellezés 1 Mérés és modellezés A mérnöki tevékenység alapeleme a mérés. A mérés célja valamely jelenség megismerése, vizsgálata. A mérés tervszerűen végzett tevékenység: azaz rögzíteni kell
Typotex Kiadó. Glosszárium
Glosszárium Alap. Lásd: tapasztalati alap. Általános szintű metaforák. Ezek a metaforák az általánossági skála tetején helyezkednek el, általános szintű forrás- és céltartományokból épülnek fel. Az általános
Rendszer-modellezés, modellezési technikák
Rendszer-modellezés, modellezési technikák System engineering and modelling Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 8. Roger S. Pressman: Software Engineering, 5th e. chapter 10,
Szoftver követelmények meghatározása
Szoftver meghatározása Requirements engineering (analysis) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 6-7. Roger S. Pressman: Software Engineering, 5th e. chapter 11. 2 Követelménymeghatározás
S0-02 Típusmodellek (Programozás elmélet)
S0-02 Típusmodellek (Programozás elmélet) Tartalom 1. Absztrakt adattípus 2. Adattípus specifikációja 3. Adattípus osztály 4. Paraméterátadás 5. Reprezentációs függvény 6. Öröklődés és polimorfizmus 7.
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs rendszerek fejlesztését az elosztott információs környezetben.
A mérés problémája a pedagógiában. Dr. Nyéki Lajos 2015
A mérés problémája a pedagógiában Dr. Nyéki Lajos 2015 A mérés fogalma Mérésen olyan tevékenységet értünk, amelynek eredményeként a vizsgált jelenség számszerűen jellemezhetővé, más hasonló jelenségekkel
Rendszer-modellezés, modellezési technikák
Rendszer-modellezés, modellezési technikák System engineering and modelling Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 8. Roger S. Pressman: Software Engineering, 5th e. chapter 10,
Modellező eszközök, kódgenerálás
Modellező eszközök, kódgenerálás Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
Mérés és modellezés Méréstechnika VM, GM, MM 1
Mérés és modellezés 2008.02.04. 1 Mérés és modellezés A mérnöki tevékenység alapeleme a mérés. A mérés célja valamely jelenség megismerése, vizsgálata. A mérés tervszerűen végzett tevékenység: azaz rögzíteni
Témaválasztás, kutatási kérdések, kutatásmódszertan
Témaválasztás, kutatási kérdések, kutatásmódszertan Dr. Dernóczy-Polyák Adrienn PhD egyetemi adjunktus, MMT dernoczy@sze.hu A projekt címe: Széchenyi István Egyetem minőségi kutatói utánpótlás nevelésének
Formális módszerek GM_IN003_1 Bevezetés
Formális módszerek GM_IN003_1 Formális módszerek Formális módszer! formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben nincs olyan formális eljárás, ami egy komplex rendszer minden
Modellkiválasztás és struktúrák tanulása
Modellkiválasztás és struktúrák tanulása Szervezőelvek keresése Az unsupervised learning egyik fő célja Optimális reprezentációk Magyarázatok Predikciók Az emberi tanulás alapja Általános strukturális
Részletes szoftver tervek ellenőrzése
Részletes szoftver tervek ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Tartalomjegyzék A részletes
Logika es sz am ıt aselm elet I. r esz Logika 1/36
1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika
Bevezetés az SPSS program használatába
Bevezetés az SPSS program használatába Statisztikai szoftver alkalmazás Géczi-Papp Renáta SPSS alapok Statistical Package for Social Sciences SPSS nézetek: Data View Variable View Output Viewer Sintax
Operációs rendszerek. Az X Window rendszer
Operációs rendszerek X Windows rendszer Az X Window rendszer Grafikus felhasználói felületet biztosító alkalmazás és a kapcsolódó protokoll 1983-84: a Massachusetts Institute of Technology-n (MIT, USA).
Szoftver-technológia II. Modulok és OOP. Irodalom
Modulok és OOP Irodalom Steven R. Schach: Object Oriented & Classical Software Engineering, McGRAW-HILL, 6th edition, 2005, chapter 7. 2 Modulok és objektumok Modulok Lexikálisan folytonos utasítás sorozatok,
Formális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar
Formális szemantika Kifejezések szemantikája Horpácsi Dániel ELTE Informatikai Kar 2016-2017-2 Az előadás témája Egyszerű kifejezések formális szemantikája Az első lépés a programozási nyelvek szemantikájának
Név: Neptun kód: április
Név: Neptun kód:.. 2019. április 2. 8.15-9.15 Integrációs és ellenőrzési technikák zárthelyi Rendelkezésre álló idő: 60 perc ZH maximális pontszám: 40 + 8 IMSC pont Megfelelt szint: 16 pont Teszt kérdések
Emerald: Integrált jogi modellező keretrendszer
Emerald: Integrált jogi modellező keretrendszer Förhécz András Szőke Ákos Kőrösi Gábor Strausz György Budapesti Műszaki és Gazdaságtudományi Egyetem Multilogic Kft, Budapest Networkshop 2011 2011. április
Parametrikus tervezés
2012.03.31. Statikus modell Dinamikus modell Parametrikus tervezés Módosítások a tervezés folyamán Konstrukciós variánsok (termékcsaládok) Parametrikus Modell Parametrikus tervezés Paraméterek (változók
Adatbázis rendszerek. dr. Siki Zoltán
Adatbázis rendszerek I. dr. Siki Zoltán Adatbázis fogalma adatok valamely célszerűen rendezett, szisztéma szerinti tárolása Az informatika elterjedése előtt is számos adatbázis létezett pl. Vállalati személyzeti
A statisztika alapjai - Bevezetés az SPSS-be -
A statisztika alapjai - Bevezetés az SPSS-be - Kvantitatív statisztikai módszerek Petrovics Petra, Géczi-Papp Renáta SPSS alapok Statistical Package for Social Sciences SPSS nézetek: Data View Variable
Kvantitatív módszerek
Kvantitatív módszerek szimuláció Kovács Zoltán Szervezési és Vezetési Tanszék E-mail: kovacsz@gtk.uni-pannon.hu URL: http://almos/~kovacsz Mennyiségi problémák megoldása analitikus numerikus szimuláció
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány
Programozási alapismeretek 1. előadás
Programozási alapismeretek 1. előadás Tartalom A problémamegoldás lépései programkészítés folyamata A specifikáció Az algoritmus Algoritmikus nyelvek struktogram A kódolás a fejlesztői környezet 2/33 A
CAD Rendszerek I. Sajátosság alapú tervezés - Szinkron modellezés
CAD Rendszerek I. Sajátosság alapú tervezés - Szinkron modellezés Farkas Zsolt Budapesti Műszaki és Gazdaságtudományi Egyetem, Gép- és Terméktervezés Tanszék 1/ 14 Tartalom -Sajátosság alapú tervezés:
Kognitív megközelítés
Kognitív megközelítés Kognitív megközelítés Tanulóképe: A gyerekek magas szintű képességekkel rendelkeznek. A gyerekek hogyan : manipulálják, monitorálják az információt, és milyen stratégiákat alkalmaznak.
Szemantikus világháló a BME-n
Szemantikus világháló a BME-n Lukácsy Gergely Szeredi Péter Budapesti Mûszaki és Gazdaságtudományi Egyetem ßÐÙ Ý Þ Ö Ð º Ñ º Ù Számítástudományi és Információelméleti Tanszék ➀ Szemantikus technológiák
Térinformatikai algoritmusok Elemi algoritmusok
Cserép Máté Analóg programozásnak nevezzük azt, amikor egy feladat megoldásához egy már ismert és megoldott feladat megoldását használjuk fel. Általában nem pontosan ugyanazt a feladatot oldottuk meg korábban,
Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból
ÜTEMTERV Programozás-elmélet c. tárgyhoz (GEMAK233B, GEMAK233-B) BSc gazdaságinformatikus, programtervező informatikus alapszakok számára Óraszám: heti 2+0, (aláírás+kollokvium, 3 kredit) 2019/20-es tanév
Magas szintű adatmodellek Egyed/kapcsolat modell I.
Magas szintű adatmodellek Egyed/kapcsolat modell I. Ullman-Widom: Adatbázisrendszerek. Alapvetés. 4.fejezet Magas szintű adatmodellek (4.1-4.3.fej.) (köv.héten folyt.köv. 4.4-4.6.fej.) Az adatbázis modellezés
Komponens alapú fejlesztés
Komponens alapú fejlesztés Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással
Alapszintű formalizmusok
Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények
Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok
Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok Program verifikálás Konkurens programozási megoldások terjedése -> verifikálás szükséges, (nehéz) logika Legszélesebb körben alkalmazott
A szemantikus világháló oktatása
A szemantikus világháló oktatása Szeredi Péter Lukácsy Gergely Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi és Információelméleti Tanszék ➀ A szemantikus világháló... c. tárgy ➁ A tananyag
Térinformatikai algoritmusok Elemi algoritmusok
Cserép Máté 2016. szeptember 14. Analóg programozásnak nevezzük azt, amikor egy feladat megoldásához egy már ismert és megoldott feladat megoldását használjuk fel. Általában nem pontosan ugyanazt a feladatot
Programozás. Bevezetés. Fodor Attila. Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék
Programozás Fodor Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék foa@almos.vein.hu 2010. február 11. Tantárgy célja, szükséges ismeretek Tantárgy célja,
Web-fejlesztés NGM_IN002_1
Web-fejlesztés NGM_IN002_1 Rich Internet Applications RIA Vékony-kliens generált (statikus) HTML megjelenítése szerver oldali feldolgozással szinkron oldal megjelenítéssel RIA desktop alkalmazások funkcionalitása
matematikus-informatikus szemével
Ontológiák egy matematikus-informatikus szemével Szeredi Péter Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi és Információelméleti Tanszék ➀ Mi az ontológia, mire jó, hogyan csináljuk?
Ungváry Rudolf: Tezauruszok mint kisvilágok. Kapcsoltság a fogalmak között
Ungváry Rudolf: Tezauruszok mint kisvilágok. Kapcsoltság a fogalmak között A tezaurusz (IKNY-i szótár) fogalmak hálózataként is vizsgálható - nem véletlenszerű, hanem skálafüggetlen hálózatok (Barabási)
Autóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei
Autóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei Aradi Szilárd PhD témavezető: Dr. Gyenes Károly Közlekedés és járműirányítás workshop BME 2011 ISBN 978-963-420-975-1 Bevezetés
Objektumorientált paradigma és a programfejlesztés
Objektumorientált paradigma és a programfejlesztés Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján Objektumorientált
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs rendszerek fejlesztését az elosztott információs környezetben.
Kiterjesztések sek szemantikája
Kiterjesztések sek szemantikája Példa D Integer = {..., -1,0,1,... }; D Boolean = { true, false } D T1... T n T = D T 1... D Tn D T Az összes függvf ggvény halmaza, amelyek a D T1,..., D Tn halmazokból
Tudásalapú információ integráció
Tudásalapú információ integráció (A Szemantikus Web megközelítés és a másik irány) Tanszéki értekezlet, 2008. május 14. 1 Miért van szükségünk ilyesmire? WWW: (Alkalmazások) Keresés a weben (pl. összehasonlítás
A társadalomkutatás módszerei I. Outline. Most járunk, vagy nem járunk? Már úgy szeretném megtudnííí, hogy most já-runk-e, vagy nem já-runk?
A társadalomkutatás módszerei I. 3. hét Daróczi Gergely Budapesti Corvinus Egyetem 2011. IX. 29. Outline 1 Bevezetés 2 A fogalom 3 4 Operacionalizálás 5 Változók és mérési szintek Daróczi Gergely (BCE)
stratégiai kutatási terve
A NESSI-Hungary stratégiai kutatási terve Dr. Kondorosi osi Károly BME IIT 2 Vázlat Bevezető Alakulás, motivációk Mit csinál a NESSI az EU-s anya Mit csinál a NESSI-Hungary A Stratégiai kutatási terv (SKT)
A társadalomkutatás módszerei I.
A társadalomkutatás módszerei I. 3. hét Daróczi Gergely Budapesti Corvinus Egyetem 2011. IX. 29. Outline 1 Bevezetés 2 A fogalom 3 Konceptualizálás 4 Operacionalizálás 5 Változók és mérési szintek Daróczi
GONDOLKODÁS ÉS NYELV
GONDOLKODÁS ÉS NYELV GONDOLKODÁS A. Propozicionális B. Képzeleti Propozicionális gondolkodás Propozíció kijelentés, amely egy tényállásra vonatkozik, meghatározott viszonyban összekombinált fogalmakból
Szoftver architektúra, Architektúrális tervezés
Szoftver architektúra, Architektúrális tervezés Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 11. Roger S. Pressman: Software Engineering, 5th e. chapter 14. Bass, Clements, Kazman: Software
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi
IDENTIVISION ICR-E41/81/161 H.264 DVR
IDENTIVISION ICR-E41/81/161 H.264 DVR Az LDSZ Kft. által forgalmazott IDENTIVISION DVR palettája egy új, gazdaságos, de mégis nagy tudású sorozattal bővül. A 4/8/16 csatornás pénztárcabarát digitális rögzítő
ADATBÁZIS-KEZELÉS. Adatbázis-kezelő rendszerek
ADATBÁZIS-KEZELÉS Adatbázis-kezelő rendszerek Adat (Data) Észlelhető, felfogható ismeret Jelsorozat Tény, közlés Valakinek vagy valaminek a jellemzője Adatbázis (Data Base, DB) Hosszú ideig évekig meglévő
Metamodellezés. Simon Balázs BME IIT, 2011.
Metamodellezés Simon Balázs BME IIT, 2011. Bevezetés Metamodellezés EMF & ecore Tartalom (C) Simon Balázs, BME IIT, 2011. 2 Hétfő: Simon Balázs Bevezetés hetente felváltva: előadás és gyakorlat metamodellezés
Név: Neptun kód: május 23. Komplex MI alkalmazások vizsga Rendelkezésre álló idő: 75 perc 1. Vizsgálja meg a következő RDF leírást:
1. Vizsgálja meg a következő RDF leírást:
Szoftver-mérés. Szoftver metrikák. Szoftver mérés
Szoftver-mérés Szoftver metrikák Szoftver mérés Szoftver jellemz! megadása numerikus értékkel Technikák, termékek, folyamatok objektív összehasonlítása Mér! szoftverek, programok CASE eszközök Kevés szabványos
Szoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (3) Szoftverminőségbiztosítás A szoftverminőségbiztosítási rendszer (folyt.) Eljárások, munkautasítások Eljárás: egy adott módja valami elvégzésének részletezett tevékenységek,
Intelligens adatelemzés
Antal Péter, Antos András, Horváth Gábor, Hullám Gábor, Kocsis Imre, Marx Péter, Millinghoffer András, Pataricza András, Salánki Ágnes Intelligens adatelemzés Szerkesztette: Antal Péter A jegyzetben az
Tuesday, 22 November 11
Hogyan befolyásolta az írás a társadalmakat? Humánetológiai perspektívák Csányi Vilmos MTA A Humán viselkedési komplexum három dimenziója I. Szociális viselkedésformák II. Szinkronizációs viselkedési mechanizmusok
pszichológiai háttere
Matematikai módszertani műhely az Eszterházy Károly Egyetem Matematikai és Informatikai Intézetében 3. Dienes-nap - Dienes módszer megjelenése a Komplex Alapprogramban 2017. Szeptember 29. Eger A Dienesmódszer
Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
Modellezési alapismeretek
Modellezési alapismeretek Rendszermodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
Adatszerkezetek 1. előadás
Adatszerkezetek 1. előadás Irodalom: Lipschutz: Adatszerkezetek Morvay, Sebők: Számítógépes adatkezelés Cormen, Leiserson, Rives, Stein: Új algoritmusok http://it.inf.unideb.hu/~halasz http://it.inf.unideb.hu/adatszerk
Modellezési alapismeretek
Modellezési alapismeretek Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
STATISZTIKA. András hármas. Éva ötös. Nóri négyes. 5 4,5 4 3,5 3 2,5 2 1,5 ANNA BÉLA CILI 0,5 MAGY. MAT. TÖRT. KÉM.
STATISZTIKA 5 4,5 4 3,5 3 2,5 2 1,5 1 0,5 0 MAGY. MAT. TÖRT. KÉM. ANNA BÉLA CILI András hármas. Béla Az átlag 3,5! kettes. Éva ötös. Nóri négyes. 1 mérés: dolgokhoz valamely szabály alapján szám rendelése
Elosztott rendszer architektúrák
Elosztott rendszer architektúrák Distributed systems architectures Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 12. Andrew S. Tanenbaum, aarten van Steen: Distributed Systems: rinciples
Miskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék
Miskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék 2016/17 2. félév 1-2. Előadás Dr. Kulcsár Gyula egyetemi docens A tantárgy tematikája 1.
Utolsó módosítás:
Utolsó módosítás: 2011. 09. 08. 1 A tantárggyal kapcsolatos adminisztratív kérdésekkel Micskei Zoltánt keressétek. 2 3 4 5 6 7 8 9 10 11 12 13 14 Erősen buzzword-fertőzött terület, manapság mindent szeretnek
A genetikus algoritmus, mint a részletes modell többszempontú és többérdekű "optimálásának" általános és robosztus módszere
A genetikus algoritmus, mint a részletes modell többszempontú és többérdekű "optimálásának" általános és robosztus módszere Kaposvári Egyetem, Informatika Tanszék I. Kaposvári Gazdaságtudományi Konferencia
- Adat, információ, tudás definíciói, összefüggéseik reprezentációtípusok Részletesebben a téma az AI alapjai című tárgyban
I. Intelligens tervezőrendszerek - Adat, információ, tudás definíciói, összefüggéseik reprezentációtípusok Részletesebben a téma az AI alapjai című tárgyban Adat = struktúrálatlan tények, amelyek tárolhatók,
12.3. Az automatizált technológiai tervezés módszerei A variáns módszer
12.3. Az automatizált technológiai tervezés módszerei A technológiai tudás és a tervezési feladat egymáshoz rendeltetését, a feladatok típusait, a tervezési műveleteket, a megoldások környezetfüggőségét
Több valószínűségi változó együttes eloszlása, korreláció
Tartalomjegzék Előszó... 6 I. Valószínűségelméleti és matematikai statisztikai alapok... 8 1. A szükséges valószínűségelméleti és matematikai statisztikai alapismeretek összefoglalása... 8 1.1. Alapfogalmak...
A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-technológia aspektusai
DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
BEVEZETÉS A PSZICHOLÓGIÁBA
BEVEZETÉS A PSZICHOLÓGIÁBA BEVEZETÉS A PSZICHOLÓGIÁBA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TátK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi
ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ
ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ Szıts Miklós Alkalmazott Logikai Laboratórium szots@all.hu ONTOLÓGIA mi az? a formal specification of a shared conceptualization a logical theory which gives an explicit,
Mi legyen az informatika tantárgyban?
Mi legyen az informatika tantárgyban? oktatás fő területei: digitális írástudás; számítástudomány; információs technológiák. Digitális írástudás szövegszerkesztés, adat vizualizáció, prezentáció, zeneszerkesztés,
Széchenyi István Szakképző Iskola
A SZAKKÖZÉPISKOLAI SZAKMACSOPORTOS ALAPOZÓ OKTATÁS EMELT SZINTŰ ISKOLAI PROGRAMJA 11-12. évolyam Érvényes a 2003-2004-es tanévtől felmenő rendszerben Átdolgozva, utolsó módosítás: 2004. április 26. Az
3D tervezés az orvosi gyakorlatban
3D tervezés az orvosi gyakorlatban Dr. Barabás J. Imre, Dr. Rényi-Vámos Ferenc, Dr. Hartyánszky István, Prof. Dr. Rosivall László, Prof. Dr. Merkely Béla Every difficult problem is an opportunity for a
Teljesítménymodellezés
Üzleti IT rendszerek modellezése Teljesítménymodellezés Gönczy László gonczy@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Erőforrás szintű kapacitástervezés
INFORMATIKA - VIZSGAKÖVETELMÉNYEK. - négy osztályos képzés. nyelvi és matematika speciális osztályok
INFORMATIKA - VIZSGAKÖVETELMÉNYEK - négy osztályos képzés nyelvi és matematika speciális osztályok A vizsgák lebonyolítása A tanuló előre elkészített feladatkombinációkból húz véletlenszerűen. OSZTÁLYOZÓ
Vállalati modellek. Előadásvázlat. dr. Kovács László
Vállalati modellek Előadásvázlat dr. Kovács László Vállalati modell fogalom értelmezés Strukturált szervezet gazdasági tevékenység elvégzésére, nyereség optimalizálási céllal Jellemzői: gazdasági egység
Software Engineering
Software Engineering Software Engineering Software Engineering értelmezése Az a folyamat, mely eredményekénk létrehozunk egy adott feladatot megvalósító szoftver rendszert. Tevékenységek, technológia,
A ÉVESEK TÉRSZEMLÉLETÉNEK VIZSGÁLATA ONLINE TESZTKÖRNYEZETBEN
A 10-13 ÉVESEK TÉRSZEMLÉLETÉNEK VIZSGÁLATA ONLINE TESZTKÖRNYEZETBEN BABÁLY BERNADETT SZIE YBL MIKLÓS ÉPÍTÉSTUDOMÁNYI KAR, ELTE PPK NDI Országos Neveléstudományi Konferencia Debrecen, 2014. november 6-8.
Programok értelmezése
Programok értelmezése Kód visszafejtés. Izsó Tamás 2016. szeptember 22. Izsó Tamás Programok értelmezése/ 1 Section 1 Programok értelmezése Izsó Tamás Programok értelmezése/ 2 programok szemantika értelmezése