Szoftvertechnológia előadás

Slides:



Advertisements
Hasonló előadás
Tamás Kincső, OSZK, Analitikus Feldolgozó Osztály, osztályvezető A részdokumentumok szolgáltatása az ELDORADO-ban ELDORADO konferencia a partnerkönyvtárakkal.
Advertisements

„Esélyteremtés és értékalakulás” Konferencia Megyeháza Kaposvár, 2009
Programozási feladatok
Összefoglalás Hardver,szoftver,perifériák Memóriák fajtái
Algoritmusok.
ADATBÁZISOK.
Erőállóképesség mérése Találjanak teszteket az irodalomban
Az előadásokon oldandók meg. (Szimulációs modell is tartozik hozzájuk)
Delphi programozás alapjai
Humánkineziológia szak
Az egyed-kapcsolat modell
1Objektumorientált elemzés és tervezés – Dinamikus modellezés Gyurkó György Objektumorientált elemzés és tervezés Dinamikus modellezés.
Kötelező alapkérdések
Utófeszített vasbeton lemez statikai számítása Részletes számítás
Programozási alapismeretek 8. előadás. ELTE 2/  További programozási tételek További programozási tételek 
Vizuális modellezés Uml és osztálydiagram UML eszközök
Kalmár László  Informatikai Tanszékcsoport, Főépület 2000-nél több informatikus hallgató.
Elektronikai Áramkörök Tervezése és Megvalósítása
Mérés és adatgyűjtés Kincses Zoltán, Mingesz Róbert, Vadai Gergely 10. Óra MA-DAQ – Műszer vezérlése November 12., 15. v
MI 2003/ Alakfelismerés - még egy megközelítés: még kevesebbet tudunk. Csak a mintánk adott, de címkék nélkül. Csoportosítás (klaszterezés, clustering).
Virtuális méréstechnika MA-DAQ műszer vezérlése 1 Mingesz Róbert V
2011. szeptember Az információtechnológia menedzselése Az információs rendszer fejlesztése Image of the slide: www2.raritanval.edu/departments/busadmin/.../Ch07-IntrotoBusiness.ppt.
Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.
A virtuális technológia alapjai Dr. Horv á th L á szl ó Budapesti Műszaki Főiskola Neumann János Informatikai Kar, Intelligens Mérnöki Rendszerek.
Modellezés és tervezés c. tantárgy Óbudai Egyetem Neumann János Informatikai Kar Alkalmazott Matematikai Intézet Mérnöki Informatikus MSc 9. Előadás és.
Gazdasági informatika II.
1. előadás. 1.) Szoftverfejlesztés, mint mérnöki tevékenység. Számítási eszközfejlődés. Számítási eszközfejlődés: hazai viszonyok. Mérföldkő: Simula 67.Klasszikus.
1. előadás. 1.) Szoftverfejlesztés, mint mérnöki tevékenység. Számítási eszközfejlődés. Számítási eszközfejlődés: hazai viszonyok. Mérföldkő: Simula 67.Klasszikus.
6. Előadás Merevítő rendszerek típusok, szerepük a tervezésben
Darupályák tervezésének alapjai
dr. Szalkai István Pannon Egyetem, Veszprém
szakmérnök hallgatók számára
Dr. Krauszné Dr. Princz Mária Adatbázis rendszerek I.
Logikai szita Pomothy Judit 9. B.
Logikai szita Izsó Tímea 9.B.
Készítette: Horváth Zoltán (2012)
Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT
Gépi tanulás Tanuló ágens, döntési fák, általános logikai leirások tanulása.
VÉGES AUTOMATA ALAPÚ TERVEZÉSI MODELL
Objektumorientált programozás
A pneumatika alapjai A pneumatikában alkalmazott építőelemek és működésük vezérlő elemek (szelepek)
11. tétel Adatbázis táblái közti kapcsolatok optimalizálása
A Dijkstra algoritmus.
QualcoDuna interkalibráció Talaj- és levegövizsgálati körmérések évi értékelése (2007.) Dr. Biliczkiné Gaál Piroska VITUKI Kht. Minőségbiztosítási és Ellenőrzési.
Adatbázis kezelés.
Adatbázis-kezelés.
Határozatlan integrál
Virtuális Méréstechnika Sub-VI és grafikonok 1 Makan Gergely, Vadai Gergely v
Adatbázis alapfogalmak
Mérés és adatgyűjtés laboratóriumi gyakorlat - levelező Sub-VI és grafikonok 1 Mingesz Róbert V
Objektumvezérelt rendszerek tervezése
Adamkó Attila UML2 Adamkó Attila
Nagy Szilvia 13. Konvolúciós kódolás
Business Mathematics A legrövidebb út.
Programozás, programtervezés
Adatbáziskezelés. Adat és információ Információ –Új ismeret Adat –Az információ formai oldala –Jelsorozat.
Programozási alapismeretek 8. előadás. ELTE Szlávi-Zsakó: Programozási alapismeretek 8.2/  További programozási.
előadások, konzultációk
Algoritmizálás, adatmodellezés
Gyurkó György. Az OO programozás és tervezés története 1960-as évek: SIMULA (véletlen folyamatokat szimuláló programok írása) az OO nyelvek őse 1970-es.
1Objektumorientált elemzés és tervezés – Dinamikus modellezés Gyurkó György Objektumorientált elemzés és tervezés Dinamikus modellezés.
PÁRHUZAMOS ARCHITEKTÚRÁK – 13 INFORMÁCIÓFELDOLGOZÓ HÁLÓZATOK TUDÁS ALAPÚ MODELLEZÉSE Németh Gábor.
Adatszerkezetek és algoritmusok 2008/ Algoritmus Az algoritmus szó eredete a középkori arab matematikáig nyúlik vissza, egy a i.sz. IX. században.
Adatbázisszintű adatmodellek
Adatstruktúrák Algoritmusok Objektumok
Programozási alapok.
Példa: Dinteger = {..., -1,0,1,...}; Dboolean = {true, false};
Mesterséges intelligencia
Adatbáziskezelés 12. alkalom.
Algoritmus készítés.
Előadás másolata:

Szoftvertechnológia előadás Alapkoncepciók Szoftvertechnológia előadás

Témakörök Egyed-kapcsolat modellek Osztálydiagramok Interakciódiagramok Vezérlési struktúrák Döntési táblák és fák Állapotautomaták Petri hálók

Egyed-kapcsolat modell Az 1970-es évek közepén alkották meg Erős matematikai alapokra épült Adatbázisok modellezésére készült Az 1980-as évek közepén szabványosították (ANSI) Az 1980-as évek végén több CASE eszköz is integrálta

Alapfogalmak Egyed Létező objektum, amely megkülönböztethető a többi objektumtól Tulajdonság Egyedre vagy egyedek közötti kapcsolatra jellemző érték (rögzített értékhalmazból) Egyedhalmaz Hasonló egyedek halmaza Mindegyik egyed azonos tulajdonságokkal bír Megadható egy kulcs-tulajdonság (minden halmazbeli egyed esetén különböző értékű)

Alapfogalmak Kapcsolat Társítási reláció két vagy több egyed között Típusai: 1-1 kapcsolat 1-n kapcsolat n-1 kapcsolat n-n kapcsolat Kapcsolathalmaz Hasonló kapcsolatok halmaza

Egyed-kapcsolat diagram azonosító cégjegyzékszám Dolgozik Alkalmazott n n Cég név beosztás fizetés név cím

Speciális kapcsolatok Általánosítás (ISA kapcsolat) Aggregáció Relációhalmazok aggregálhatók egyedhalmazokká Relációk közötti relációk fejezhetők ki aggregáció segítségével Állat ISA Kutya

Vállalat név beosztás azonosító név cégjegyzékszám cím Dolgozik Alkalmazott n n Cég 1 Vezet ISA 1 Főnök n Felügyel Tulajdonos n

Osztálydiagram Az UML része De az UML-től független módszertanok is használják (Structure diagram) Objektum orientált modellezés egyik eszköze Korábbi tanulmányokból ismert

Példa

Interakció diagramok Kommunikációs diagram Szekvencia diagram Interakciót áttekintő diagram Időzítési diagram Korábbi tanulmányokból ismertek

Kommunikációs diagram

Szekvencia diagram

Interakciót áttekintő diagram

Időzítési diagram

Vezérlési struktúrák Bármilyen algoritmus leírható az alábbi vezérlési struktúrákkal (Dijkstra) Szekvencia utasítások egymás utáni végrehajtása Szelekció egy feltétel teljesülésétől függően más utasítások kerülnek végrehajtásra Iteráció meghatározott utasítások tetszőleges számú ismételt végrehajtása

Döntési fa Szabályok megállapítására szolgál Fa formájú reprezentációja egy függvénynek Általánosítás, csoportosítás eszköze Számos területen alkalmazzák Szoftver tervezés Operációkutatás Mesterséges intelligencia Adatbázisok

Döntési fa (definíció) A döntési fa egy olyan faszerkezet, amelyben minden belső csúcs egy értékre vonatkozó ellenőrzést jelöl, a csúcsból kivezető minden él pedig az ellenőrzés egy-egy kimenetének feleltethető meg. A fa levelei tartalmazzák a döntéseket.

Döntési fa készítése Rekurzív algoritmus Bemenet: objektumok halmaza (O) Tulajdonságlista (A) vizsgálandó tulajdonságok halmaza (V) Kimenet: A döntési fa DFK(O, A, V)

Döntési fa készítése N csúcs létrehozása Ha O minden eleme V-beli tulajdonságainak értéke azonos, akkor N legyen levélcsúcs, melynek címkéje ezen azonos értékek legyenek (VÉGE) Ha A üres, akkor N legyen levélcsúcs, melynek címkéje azonos a leggyakoribb V-beli tulajdonságértékekkel (VÉGE) E ellenőrzőtulajdonság legyn az A elemei közül a legnagyobb információnyereséggel rendelkező Legyen N címkéje E Minden ti E által felvehető értékre induljon ki egy él az E = ti címkével jelölje oi azon O-beli elemeket, amelyekre igaz az E=ti feltétel Ha oi üres, illeszünk be egy levélcsúcsot melynek címkéje azonos a leggyakoribb V-beli tulajdonságértékekkel; Különben illeszük be a DFK(oi, A, V) által készített döntési fát

Példa Objektumok: Tulajdonságok: Alma Aliz, 18-30, tanuló, jó, igen Barack Béla, 18-30, tanuló, rossz, igen Citrom Cecília, 31-40, nem tanuló, jó, igen Dió Demeter, 31-40, nem tanuló, rossz, igen Egres Egon, 41-80, nem tanuló, jó, igen Füge Ferenc, 41-80, nem tanuló, jó, nem Gránátalma Géza, 55, nem tanuló, jó, igen Gyümölcs Györgyi, 18-30, nem tanuló, rossz, nem Tulajdonságok: Név Életkor (18-30, 31-40, 41-80) Foglalkozás (tanuló, nem tanuló) Hitelképesség (rossz, jó) Vesz-e számítógépet (igen, nem) Vizsgálandó tulajdonság: vesz-e számítógépet

Példa Életkor 41 - 80 18 - 30 31 - 40 Hitelképesség Tanuló? igen jó rossz igen nem nem igen nem igen

Döntési táblák Bonyolult logikai szabályok egyszerű és tömör leírására használhatók A szabályok alakja: HA feltételek AKKOR tennivalók A tábla felépítése: Feltételek Alternatívák Tennivalók Teendő

Példa Szabályok Feltételek A nyomtató nem nyomtat I H A piros lámpa villog A nyomtató ismeretlen Tennivalók Ellenőrizni a tápkábelt X Ellenőrizni az adatkábelt Az illesztőprogram ellenőrzése Tinta ellenőrzése/cseréje Papírbeszorulás keresése

Állapot-automaták Az absztrakt állapot-automaták a specifikáció és a verifikáció eszközei Erős matematikai alapok Megkülönböztetünk véges és végtelen állapotú automatát A továbbiakban csak a véges állapotú automatákról lesz szó

Véges állapotú automata Állapotok és az állapotok közötti átmenetek rendszere Az automata működése során az input és az éppen aktuális állapot függvényében vált állapotot (állapotátmeneti szabályok) Speciális állapotok: Kezdőállapot Végállapot (elfogadó állapot) Az automata reprezentálható diagrammal vagy állapotátmenet táblával

Példa (osztható-e 3-mal egy szám) 3, 6, 9, 0 1, 4, 7 1 3, 6, 9, 0 2, 5, 8 1, 4, 7 2, 5, 8 2, 5, 8 1, 4, 7 2 3, 6, 9, 0

Petri-háló Olyan grafikus és matematikai reprezentáció, amely vezérlési szerkezetek és adatstruktúrák leírására egyaránt alkalmazható Főbb felhasználási területei Elosztott, konkurens és párhuzamos rendszerek Aszinkron rendszerek Nemdeterminisztikus rendszerek

Alapfogalmak Hely Átmenet Él Token Tüzelés A háló olyan csúcsa, amelyik tokeneket tartalmazhat (adatokat reprezentál) Átmenet A háló olyan csúcsa, amelyik nem tartalmazhat tokeneket (folyamatot reprezentál) Él Bemenő élek: helyekről vezetnek átmenetekbe Kimenő élek: átmenetekből vezetnek helyekre Token Olyan elemek, amelyek a háló valamely helyén találhatók Tüzelés A háló egy átmenete tüzelhet, ha valamennyi bemenő helyen található token. A tüzelés során az átmenet minden bemenő helyéről elvétetik egy-egy token, a kimenő helyekre pedig kerül egy-egy token

Példa

Példa (víz szintézise) H2 2 H2O 2 O2 Élsúly: azt határozza meg, hogy egy átmenet tüzeléséhez adott helyen hány token szükséges, vagy a tüzelés után hány token keletkezik

Példa (csoki automata) kis csoki 15 5 BE 10 BE 5 BE 5 BE 5 BE 5 BE 10 BE 10 10 20 nagy csoki

Irodalom Egyed-kapcsolat modellek Osztálydiagramok Interakciódiagramok Ian Sommerville: Szoftver rendszerek fejlesztése, 7.3. fejezet http://edu.bzlogi.hu/mdb/download/gyak_02.ppt http://www.wikipedia.org/ Osztálydiagramok Szoftver tervezés és technológia előadás anyaga Ian Sommerville: Szoftver rendszerek fejlesztése, 7.4. fejezet Interakciódiagramok Vezérlési struktúrák

Irodalom Döntési táblák és fák Állapotautomaták Petri hálók http://www.wikipedia.org/ Állapotautomaták http://hu.wikipedia.org (Ian Sommerville: Szoftver rendszerek fejlesztése, 7.2.2. fejezet) Petri hálók Informatikai algoritmusok (2. kötet), ELTE Eötvös Kiadó, 2005.