Hierarchikus jelölt pontfolyamat modell
|
|
- Dániel Pásztor
- 8 évvel ezelőtt
- Látták:
Átírás
1 Hierarchikus jelölt pontfolyamat modell objektumpopulációk többszintű elemzéséhez Benedek Csaba Elosztott Események Elemzése Kutatólaboratórium, MTA SZTAKI 1111, Budapest, Kende utca Absztrakt. Cikkünkben bemutatunk egy új valószínűségi eljárást összetett hierarchikus objektum struktúrák kinyerésére nagyfelbontású digitális képekről. A javasolt keretrendszer beágyazott jelölt pontfolyamat modellt valósít meg, ami két területen is kiterjeszti a hagyományos pontfolyamat módszereket: (i) objektumrészobjektum kapcsolatok modellezését teszi lehetővé (ii) statiszikai alapon modellezi az összetartozó objektumok csoportjait. A módszert három különböző alkalmazási területen demonstráljuk: beépített területek vizsgálata távérzékelt képeken, járműforgalom felügyelete légi Lidar adatokon és optikai áramkörelemzés. 1. Bevezetés Napjainkban számos képalkotó eljárással nagy felbontású vizuális mérésekhez juthatunk, amiket különböző alkalmazásokban hasznosíthatunk a távérzékelés területétől a mikroszkópos fényképezésig. A létrejövő digitális képek több értelmezési szinten is tartalmazhatnak hasznos információt a megfigyelt helyszínről, lehetővé téve hogy egy adott mérési szeleten egyaránt vizsgáljuk makró szinten az entitások populációit, és az egyes önálló egyedek apró részleteit. A jelölt pontfolyamat modellek (Marked Point Process, MPP) [6, 8, 9] hatékony matematikai eszközök objektumpopulációk analízisére, azonban többnyire egyszintű helyszínelemzésre alkalmasak, hasonló geometriai megjelenésű alakzatok konfigurációinak modellezésén keresztül. Kézenfekfő MPP alkalmazási pédák a szakirodalomban madarak [7], vagy épületek [3] számlálása légi fotókon. Egyszerű interakciós kölcsönhatások megjelenhetnek a modellek prior kényszerei között, például az objektumok közötti átlapolódások büntetése, vagy az alakzatok párhuzamos elrendeződésének előírása, ezen az úton azonban csak korlátozott mértékű magas szintű struktúrális információ vehető figyelembe a globális helyszínről. A korábbi eljárások képek több szintű tartalmi elemzésére régió alapú [11], objektum alapú [4, 5] vagy hibrid [10] megközelítéseket követtek. Ugyanakkor a fenti modelleket specifikus alkalmazási környezetbe, és meghatározott bemeneti adatmodalitásokhoz tervezték, például távérzékelt optikai képek [10, 11] és Lidar pontfelhők [5] elemzéséhez, vagy nyomtatott áramkörök automatikus optikai vizsgálatára µm felbontású képeken [4]. A gyakorlati tapasztalatok ugyanakkor azt mutatják, hogy bonyolult és fáradságos ezeket az összetett, doménfüggő modelleket egy-egy másik alkalmazási A bemutatott módszer eredetileg az International Conference on Acoustics, Speech and Signal Processing 2014 nemzetközi konferencián, angol nyelven került közlésre [2]
2 2 Benedek Csaba környezethez igazítani, ami többnyire jelentős modellezői és implementációs munkát is igényel. Ezért cikkünkben egy korábbiaktól eltérő irányt követünk: bevezetünk egy általános háromrétegű MPP keretrendszert, amely konkrét alkalmazások széles körét képes kezelni. A modell strukturális elemeit és az energiaoptimalizációs algoritmust absztrakt szinten definiáljuk és implementáljuk, míg a különböző alkalmazások felé egyszerű interfészeket biztosítunk, lehetővé téve a rugalmas domén-adaptációt. Az új pontfolyamat modellünk két fő újdonságot vezet be: (i) Az objektumok és objektumrészek hierarchikus kapcsolatát az MPP keretrendszerbe beágyazott szülő-gyermek relációval írjuk le. A gyermek megjelenését közvetlenül befolyásolja a szülő entitás geometriai és spektrális kényszereken keresztül. (ii) A (szülő) objektumok populációját partícionáljuk, léterhozva objektum csoportokat vagy más néven konfiguráció szegmenseket. A szekvenciális megközelítésekkel szemben modellünkben az objektumokat párhuzamosan nyerjük ki az optimális szegmensekkel egy közös energiaminimalizációs módszer segítségével. A szegmensenkét különbözőképpen definiálható interakciók megengedésével adaptív objektum szomszédosságot hozunk létre. Cikkünkben bevezetünk egy összetett háromrétegű beágyazott jelölt pontfolyamat modellt (Embedded MPP, EMPP), és a hozzá tartozó energiafüggvény optimalizációjára bemutatjuk a többszörös születés és halál relaxációs eljárás [7, 8] egy új háromszintű változatát. A modellhez ezután három különböző alkalmazási példát is mutatunk a távérzékelés és az optikai minőségvizsgálat területeiről. A kiértékelés során demonstráljuk, hogy a javasolt eljárás megnövekedett dimenziójú populációterekben is hatékony kimeneti konfigurációkat talál. 2. Problémadefiníció és jelölések 1. ábra: EMPP minta populáció három objektumcsoporttal, és különböző geometriájú objektumokkal a szülő, illetve gyermek rétegekben. A hierarchikus helyszínelemzés megvalósítására javasolt beágyazott jelölt pontfolyamat modell (Embedded Marked Point Process, EMPP) az 1. ábrán látható többré-
3 Hierarchikus jelölt pontfolyamat modell 3 tegű struktúrával rendelkezik. A felső szinten a populáció (vagy konfiguráció) található, ami a leképezett színtér magas szintű modelljének tekinthető. A populáció tetszőleges számú objetumcsoportot tartalmazhat, ahol egy adott csoport egy vagy több szuper (vagy szülő) objektum halmaza. A szuper objektumok - maximálisan adott számú - részobjektumokat (vagy gyermeket) foglalhatnak magukba. Az EMPP modell bemenete az S pixelrácson értelmezett digitális kép. Legyen u egy szülő objektum jelölt, amelyet egy előzetesen rögzített alakzatkönyvtárból választott síkidommal modellezünk, például ellipszisek és téglalapok halmazából. Minden objektum esetén definiáljuk a referenciapontjukat, az orientációjukat és további geometriai paramétereiket, például a tengely- vagy oldalhosszokat. Valamennyi u szülőobjektum tartalmazhat egy vagy több gyermekobjektumot, melyek halmazát Q u -val jelöljük. Itt Q u = {qu...q 1 u m(u) } ahol m(u) m max, és minden gyermek objektum is a korábban definiált geometriai alakzatkönyvtár egy-egy példánya. Q u = jelöli, ha u szülőnek nincs gyermeke. Az objektumcsoportosítás általunk javasolt modellje szerint egy adott ω populáció k objektumcsoport (vagy konfigurációszegmens) halmaza,ω = {ψ 1,...,ψ k }, ahol egy adott csoportψ i (i = 1...k)n i objektum konfigurácója:ψ i = {u i 1,...,u i n i }. Előírjuk, hogy ψ i ψ j = i j, míg a k halmazszám és n i halmaz számosság paraméterek teszőleges egész értéket vehetnek fel. Jelölésünk szerint u ω ha u bármelyik ψ-hez tartozik ω-ban, és legyen N u (ω) u ω szomszédjainak a halmaza, egy adott u v szomszédossági relációt használva. Végül Ω-val jelöljük valamennyi lehetséges populáció (azaz globális konfiguráció) halmazát, megengedve, hogy egy adott populáció ω Ω tartalmazhat tetszőleges számú objektumcsoportot, amelyek magukban foglalhatnak bármennyi szülő illetve gyermek objektumot. 3. EMPP energiamodell Az EMPP keretrendszer azω Ω konfigurációk kiértékelésére egyφ(ω) energiafüggvényt használ, amely figyelembe vesz megfigyelt képi jellemzőket, és a helyszínről rendelkezésre álló prior ismereteket. Így az energiafüggvény egy szingleton (Y ) és egy interakciós tagból (I) áll: Φ(ω) = Φ Y (ω)+φ I (ω). Az optimális ω konfigurációhoz a Φ(ω) függvény Ω feletti minimalizációjával jutunk Szingleton energiatagok Az ϕ Y (u) energiatagot az u objektum lokális adatfüggő leírásához használjuk, ami független a populáció többi objektumának helyzetétől. ϕ Y (u) felírható a szülő szintű tagϕ p Y (u) és aq u gyermekekhez tartozóϕ c Y (u,q u) gyermek szintű tagok összegeként. A gyermek tag függhet a képi méréstől és a szülő geometriájától is, példaként tekintsünk egy intenzitáshisztogram jellemzőt a szülő által lefedett képrészleten. Szülő szinten definiálunk különböző f(u) fitnesz függvényeket (vagy jellemzőket), amik egy adott u objektumhipotézist értékelnek ki a képen. Ezután ϕ p Y,f (u) adatfüggő energiatagokat származtatunk mindenf jellemzőhöz, úgy, hogy a jellemző értelmezési
4 4 Benedek Csaba tartományát a [ 1,1] intervallumba vetítjük egy M(f,d f 0 ) monoton csökkenő nemlineáris függvénnyel: ϕ f (u) = M(f(u),d f 0 ) ahol M(.) = 1 1/f(u) ha f(u) < d f 0, egyébként: M(.) = exp( f(u) + df 0 ) 1. df 0 az f jellemzőhöz tartozó objektumelfogadási küszöb, amit manuálisan annotált tanító adathalmazon statisztikai becslő eljárásokkal határozunk meg. Azuobjektumϕ p Y (u) szülő szintű energiáját aϕp Y,f (u) tagokból számoljuk. Először objektum prototípusokat készítünk, előírva egy vagy több jellemzőkényszer teljesülését, melyek ϕ f -energiatagjait a maximum operátorral kapcsoljuk össze a prototípus energiafüggvényében. Ez a művelet ekvivalens a logikai ÉS-sel a negatív likelihood tartományban. Egy adott képen több objektum prototípust is felismerhetünk párhuzamosan, amennyiben a prototípus energiákat a minimum operátorral (logikai VAGY) kapcsoljuk össze. Így az összesített ϕ p Y (u) szülő szintű adattaghoz logikai függvényeken keresztül juthatunk, melyek alkalmazásfüggő ismereteink alapján megvalósításonként különbözőképpen választhatók meg. A ϕ c Y (u,q u) gyermek szintű szingleton tagok konstrukciója a fentiekhez hasonló módon történik, különböző képi jellemzők M-leképzésével. Az u objektum teljes szingleton energiája a szülő és gyermek szintű tagok összegeként számítható: ϕ Y (u) = ϕ p Y (u)+ ϕ c Y(u,q u ). q u Q u A teljes konfiguráció adatfüggő energiatagja az egyes objektum-energiák összegeként kapható: Φ Y (ω) = u ωϕ Y (u) Interakciós energiatagok Az interakciós tagok geometriai vagy képi jellemző alapú kölcsönhatásokat modelleznek az ω konfiguráció elemei között: Φ I (ω) = I(u,v)+ J(u,Q u )+ A(u,ψ). u ω u,v ω u v u ω,ψ ω Az I(u, v) tagok klasszikus páros interakciós kényszereket definiálhatnak, erre a leggyakoribb példa (így a később bemutatott példáinkban is használni fogjuk) az átlapolódó objektumok böntetése azω populációban: I(u,v) = Area{u v} Area{u v}. A J(u,Q u ) tagok interakciókat modelleznek az összetartozó szülő és gyermek objektumok között, és kapcsolati kényszereket az azonos szülőhöz tartozó gyermekek között. Példaként előírhatjuk, hogy egy adott szülő különböző gyermekei (azaz a testvérek) ne lapolódjanak át, és síkidomaik ne lógjanak túl a szülőn. Kiköthetjük ezen felül, hogy a testvérek azonos alakzattípusból származzanak, hasonló alaki, szín, méret és orientációs paraméterekkel rendelkezzenek.
5 Hierarchikus jelölt pontfolyamat modell 5 Végül az A(u, ψ) energiatagokkal különböző kényszereket definiálhatunk az objektumcsoportok és a szülő objektumok szintje között. Az u objektum és a ψ konfigurációszegmens illeszkedésének méréséhez készítünk egy d ψ (u) [0,1] távolságmértéket, ahold ψ (u) = 0 tartozik a nagyon jó illeszkedéshez. Általánosságban előírjuk, h- ogy a szegmensek térben összefüggőek, ezért konstans nagy távolságértéket használunk, ha u-nak nincs szomszédja ψ-n belül a szomszédossági reláció alapján: d ψ (u) DEF = 1, ha v ψ\{u}:u v. A(u, ψ) definíciója szerint kis mértékben büntetjük azokat a konfigurációs szegmenseket, melyek csupán egy objektumot tartalmaznak: kis 0 < c konstanst használva A(u, ψ) = c akkor és csak akkor ha ψ = {u}. Több objektumot tartalmazó szegmensek esetén a nagy d ψ (u) távolságértékeket büntetjük egy adott csoporton belül, ugyanakkor favorizáljuk a csoportok között: ha u ψ: A(u,ψ) = d ψ (u); ha u / ψ: A(u,ψ) = 1 d ψ (u). 4. Optimalizáció Az optimális objektumkonfiguráció becsléséhez kifejlesztettük a többszörös születés és halál dinamika (MBD) algoritmus [7, 8] háromszintű módosított változatát Inicializálás: induljunk ki üres populációból ω =, állítsuk be a b 0 születési frekvenciát, az inverz hőmérséklet paramétertβ = β 0 és a diszkretizációs lépcsőtδ = δ 0. Főprogram: iteráljuk a következő három lépést: Születés: látogassuk meg sorban az S kép pixeleit. Valamennyi s pixelnél δb 0 valószínűséggel generáljunk egy új u objektumot s középponttal és véletlenszerűen választott geometriai paraméterekkel. Az újonnan generált u objektumhoz, vagy hozzunk létre egy új ψ üres konfigurációszegmenst, adjuk u-t ψ-hez és ψ-t ω-hoz; vagy adjuk u-t egy eddig is létező objektumcsoporthoz az objektum környezetét megvizsgálva [1]. Halál: tekintsük az aktuális ω objektum konfigurációt és rendezzük az objektumokat ϕ Y (u) + J(u,Q u ) + A(u,ψ) u ψ értékeik alapján, csökkenő irányban. Az objektumokat vizsgáljuk meg ebben a sorrendben, és minden egyes u-ra számítsuk ki az alábbi értéket Φ ω (u) = Φ D (ω/{u}) Φ D (ω), amely az u törlésével létrejövő potenciális energia változást határozza meg. A halálozási arány így: d ω (u) = Γ( Φ ω (u)) = δexp( β Φ ω(u)) 1+δexp( β Φ ω (u)) Ezután töröljüku-tω-bóld ω (u) valószínűséggel. Amennyiben valamelyikψ objektumcsoport kiürül, távolítsuk el a populációból. Csoportok újra-rendezése: Javasoljunk véletlenszerűen csoportegyesítés, csoportbontás és objektum átsorolás lépéseket. Valamennyi javasolt M lépéshez számoljuk ki a hozzátartozó energiaköltséget Φ M ω, majd hajtsuk végre a lépéstγ( Φ M ω ) valószínűséggel. Gyermekek rendezése: Valamennyi u ω objektum esetén: (i) adjunk véletlenszerűen új gyermekobjektumokat Q u -hoz (ii) rendezzük Q u -t ϕ c d (u,q u) alapján csökkenő sorrendben (iii) ebben a sorrendben mindegyik q u Q u -hoz számoljuk ki a d c u(q u )
6 6 Benedek Csaba eltávolítási valószínűséget hasonlóan a szülő rétegben alkalmazott stratégiához, azonban csupán a gyermek szintű szingleton és interakciós energiatagok figyelembevételével. (iv) távolítsuk el q u -tq u -bóld c u(q u ) valószínűséggel. Konvergencia teszt: amíg a folyamat nem konvergál, növeljük a β inverz hőmérsékletet, csökkentsük a diszkretizációs lépcsőt δ geometriai sémával, és lépjünk vissza a születés lépésre. 5. Alkalmazások Ebben a szakaszban a javasolt EMPP három különböző alkalmazását mutatjuk be. Mindegyik alkalmazás esetén definiálnunk kell a doménfüggő f jellemzőket és a jellemzőintegrálás szabályait a szülőϕ p Y (u) és a gyermek szintűϕc Y (u) adattagok kiszámításához (3.1.. szakasz). Ezen felül meg kell határoznunk a J(u,Q u ) gyermek-szülő interakciókat és az objektumcsoportokba tartozás szabályait a d ψ (u) objektum-konfigurációszegmens távolság definiálásán keresztül (3.2.. szakasz). 2. ábra: Beépített területek analízise három különböző szinten megjelenítve. Az épületcsoportokat különböző színek jelölik (lila: vörös háztetős régió, többi szín: orientáció alapú objektumcsoportok); piros markerek jelölik a detektált kéményeket Beépített területek analízise légi és műholdképeken Modell elemek: a szülő objektumok téglalap alakú épületek vagy épületrészek. A gyermek objektumok magas struktúraelemek a tetőn, főként kémények vagy antennák, melyeket szintén téglalapokkal modellezünk. A konfigurációszegmensek összetartozó épületcsoportok (példák a 2a ábrán láthatók).
7 Hierarchikus jelölt pontfolyamat modell 7 Szülő szintű szingletonok (ϕ p Y ): két objektumprototípust használunk: az első nagy gradiensértékeket ír elő a képen az épületjelölt téglalapok szélei alatt, valamint detektálható árnyékokat az épületek mellet; a második prototípus kiugró (tipikusan piros) tetőszíneket keres, amelyek a háttértől jól elkülönülnek [3]. Gyermek szintű szingletonok (ϕ c Y ): a kémények és antennák színben eltérnek a tetők többi részeitől, valamint árnyékot vetnek a tetőre (2c. ábra). Szülő-gyermek interakciókj(u,q u ): Átfedésmentes gyermekeket várunk el hasonló orientációval. A gyermek síkidomját a szülő téglalap magában foglalja (2c. ábra). Objektum-csoport távolság d ψ (u): a csoportok hasonló (kiugró) tetőszín vagy hasonló téglalap orientáció alapján jönnek létre [1]. d ψ (u) a normalizált szín/orientációkülönbség az u objektum és a ψ csoporton belül számított átlag között (2a,b ábrák). Alkalmazás: várostervezés, illegális vagy a környezetből kiugró megjelenésű beépítések, épületek észlelése. Engedély nélküli vagy szabálytalan kémények detekciója. 3. ábra: Városi forgalomfelügyelet Lidar pontfelhők alapján: a) járművek és forgalmi csoportok b) kiválasztott régió a felismert szélvédőkkel c) egy jármű intenzitástérképe, d) eredmény a c) példán 5.2. Városi forgalomfelügyelet légi Lidar pontfelhők alapján Előfeldolgozás: a Lidar ponthalmazt jármű és háttér osztályokba soroljuk, majd a pontok osztálycímkéit és intenzitásértékeit a talajsíkra vetítjük [5]. Modell elemek: a szülő objektumok járműveket, a gyermekek szélvédőket modelleznek (mindkét esetben téglalapok). Az egyes csoportokat a forgalmi szempontból összetartozó objektumok alkotják, például egy parkolóban álló autók, vagy egy közlekedési lámpánál sorban várakozó járművek (3a ábra).
8 8 Benedek Csaba Szülő szintű szingletonok (ϕ p Y ): a jellemzők egyrészt az u téglalapja által lefedett járműként szegmentált (projektált) pontok aránya a téglalap területéhez képest, illetve a befoglalt pontok átlagos intenzitása. Másrészt figyelembe vesszük a háttérpontok fedési arányát u közvetlen környezetében [5]. Gyermek szintű szingletonok (ϕ c Y ): a szélvédő üvegek elnyelik a lézersugarakat, ezáltal a pontfelhőben lyukakat, vagy alacsony intenzitású régiókat okoznak a jármű objektumon belül (3c,d ábra). Szülő-gyermek interakciókj(u,q u ): a szélvédő alakzatát befoglalja a szülő objektum, a szélvédő téglalap modelljének orientációja merőleges az autó főtengelyére (3b,d ábra). Objektum-csoport távolságd ψ (u): orientáció távolságués aψ(u) csoporton belüli átlag között. Kanyarodó utak esetén az orientáció relatívan számítható az út széléhez képest [5]. Alkalmazás: automatikus forgalomfigyelés és forgalomirányítás. A kinyert szélvédőkonfigurációk felhasználhatók járműtípusok osztályozására, vagy a járművek haladási/parkolási irányának a becslésére. (3b. árba) Nyomtatott áramkörök automatikus optikai hibaanalízise Cél: az áramköri elemek (ÁE) helyzetének és alakjának pontos kinyerése egyedileg készített nyomtatott áramköri lapokon (NYÁK), az üregesedés, mint speciális forrasztási hiba detekciója [4]. Modell elemek: a szülő objektumok különböző alakú ÁE-k, a gyermek objektumok az észlelendő üregek, koncentrikus ellipszisekkel modellezve [4]. A hasonló funkcionalitású, közeli ÁE-k tartoznak egy csoportba [1] (4a ábra). 4. ábra: NYÁK analízis eredménye. Az ÁE-eket azonos alak és orientáció alapján csoportosítottuk, az ÁE-eken belül detektáltuk az üregeket.
9 Hierarchikus jelölt pontfolyamat modell 9 Szülő szintű szingletonok (ϕ p Y ): Az ÁE-k világos objektumok sötét háttér előtt a NYÁK képeken. Az ÁE régiók és a körülvevő háttérterületek kontrasztjának a méréséhez az intenzitáshisztogramok Bhattacharya [8] távolságát számítottuk ki. Gyermek szintű szingletonok (ϕ c Y ): az üregek belső régióiban mérjük az intenzitáshisztogram csúcsát, valamint kiszámoljuk a belső régió és a középső körgyűrű kontrasztját, és a középső és a külső körgyűrűk közötti intenzitáskontrasztot (4c ábra) [4]. Szülő-gyermek interakciók J(u,Q u ): minden ÁE-hez maximum egy gyermek tartozhat, melynek síkidomát le kell hogy fedje a szülő ÁE. Objektum-csoport távolságd ψ (u): egy adott ÁE csoporton belül az objektumoknak azonos alakzatúnak kell lenniük és szigorú rács-rendeződési elveket kell követniük. Ezért d ψ (u) = 1 amennyiben u alakzatának a típusa nem egyezik meg a ψ csoportban található alakzatokéval, egyébként d ψ (u) az u ÁE orientációjának és a ψ csoportban megfigyelt átlagos ÁE-orientációnak a normalizált különbsége. Alkalmazás: egyedi NYÁK-ok automatizált funkcióanalízise és hibavizsgálata optikai módszerekkel. 6. Kiértékelés A módszerünket valós adathalmazon teszteltük mindhárom alkalmazáshoz köthetően, különböző példák láthatók az eredményekre a 2-4 ábrákon. A paramétereket minden esetben egy kisebb teszthalmazon állítottuk be [1]. A kiértékeléshez megszámoltuk a valós pozitív, hamis pozitív és hamis negatív (hiányzó) találatokat mind szülő mind gyermek szinten, és kiszámoltuk a detekció F-mértékét (a precizitás és a visszahívás harmonikus közepe). Szintén megszámoltuk a hibás objektumcsoporttal rendelkező találatokat, felhasználva operátorok által végzett mintacsoportosításokat. A beépített terület adathalmaz 69 épülete tartalmazott 66 kéménnyel vagy antennával. A detekció eredménye 95%-os volt szülő és 73%-os gyermek szinten, a Helyes Csoport (HCs) arány 91% volt. A forgalmi adatokon 92%-os objektumdetekciót és 93% HCs arányt mértünk 170 megfigyelt járművön, az észlelt szélvédőpozíciók 82%-ban bizonyultak helyesnek. Végül a NYÁK adathalmazon mind a 98 áramköri elemet helyesen detektáltuk és klasszifikáltuk, míg a gyermek szintű üregdetekciós eredmény 89%-os volt. 7. Konklúzió A bemutatott kísérleti eredmények megközelítés szinten igazolták, hogy a javasolt EMPP modell képes jelentősen különböző, valós életből származó problémákat egyaránt hatékonyan kezelni, egy rugalmasan kibővíthető Bayesi keretrendszert nyújtva a képi tartalom több szintű interpretációjára. További munkáink az eljárás robosztusságának az analízisére és a nagy mértékben automatizált paraméterbecslésre fognak irányulni.
10 10 Benedek Csaba Köszönetnyilvánítás A kutatómunkát részben az Európai Űrügynökség (ESA) PECS-HU program keretében hirdetett DUSIREF című projektje finanszírozta. A szerző munkáját az MTA Bolyai János Kutatási Ösztöndíja és az OTKA # posztdoktori projekt is támogatta. Irodalom 1. C. Benedek. A two-layer marked point process framework for multilevel object population analysis. In International Conference on Image Analysis and Recognition (ICIAR), volume 7950 of Lecture Notes in Computer Science, pages Póvoa de Varzim, Portugal, C. Benedek. Hierarchical image content analysis with an embedded marked point process framework. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages , May C. Benedek, X. Descombes, and J. Zerubia. Building development monitoring in multitemporal remotely sensed image pairs with stochastic birth-death dynamics. IEEE Trans. Pattern Anal. Mach. Intell., 34(1):33 50, C. Benedek, O. Krammer, M. Janóczki, and L. Jakab. Solder paste scooping detection by multi-level visual inspection of printed circuit boards. IEEE Trans. on Industrial Electronics, 60(6), A. Börcs and C. Benedek. Extraction of vehicle groups in airborne lidar point clouds with two-level point processes. IEEE Trans. on Geoscience and Remote Sensing, 53(3): , March F. Chatelain, X. Descombes, F. Lafarge, C. Lantuejoul, C. Mallet, R. Minlos, M. Schmitt, M. Sigelle, R. Stoica, and E. Zhizhina. Stochastic geometry for image analysis. Digital Signal and Image Processing. Wiley-ISTE, S. Descamps, X. Descombes, A. Bechet, and J. Zerubia. Flamingo detection using a multiple birth and death process. In IEEE International Conf. on Acoustics, Speech and Signal Processing, pages , Las Vegas, NV, X. Descombes, R. Minlos, and E. Zhizhina. Object extraction using a stochastic birth-anddeath dynamics in continuum. Journal of Mathematical Imaging and Vision, 33: , A. Gamal Eldin, X. Descombes, and J. Zerubia. A novel algorithm for occlusions and perspective effects using a 3D object process. In IEEE International Conf. on Acoustics, Speech and Signal Processing, pages , Prague, Czech Republic, J. Porway, Q. Wang, and S. C. Zhu. A hierarchical and contextual model for aerial image parsing. International Journal of Computer Vision, 88(2): , G. Scarpa, R. Gaetano, M. Haindl, and J. Zerubia. Hierarchical multiple Markov chain model for unsupervised texture segmentation. IEEE Trans. on Image Processing, 18(8): , 2009.
Városi forgalomfelügyelet kétszintű jelölt pontfolyamat modellel légi LiDAR felvételeken
Városi forgalomfelügyelet kétszintű jelölt pontfolyamat modellel légi LiDAR felvételeken Börcs Attila 1,2, Benedek Csaba 1 1 Elosztott Események Elemzése Kutatólaboratórium, Magyar Tudományos Akadémia,
EEE Kutatólaboratórium MTA-SZTAKI Magyar Tudományos Akadémia
DElosztott I S T R I B U T EEsemények D EV E N T S A NElemzé A L Y S I S se R E SKutatólaboratór E A R C H L A B O R A T Oium R Y L I D A R B a s e d S u r v e i l l a n c e Városi LIDAR adathalmaz szegmentációja
környezetben 1. Bevezetés Utasi Ákos, Benedek Csaba Személyek detektálása, valamint lokalizálása a legtöbb megfigyelő alkalmazásban kulcsprobléma,
Személyek lokalizálása és magasságuk becslése többszörös születés és halál dinamikával többkamerás környezetben Utasi Ákos, Benedek Csaba Magyar Tudományos Akadémia Számítástechnikai és Automatizálási
Élpont osztályozáson alapuló robusztus tekintetkövetés
KÉPFELDOLGOZÁS Élpont osztályozáson alapuló robusztus tekintetkövetés HELFENBEIN TAMÁS Ipari Kommunikációs Technológiai Intézet, Bay Zoltán Alkalmazott Kutatási Közalapítvány helfenbein@ikti.hu Lektorált
sztochasztikus módszerekkel
Épületek és változásaik detekciója sztochasztikus módszerekkel Benedek Csaba 12, Xavier Descombes 2, Josiane Zerubia 2 1 Elosztott Események Elemzése Kutatócsoport, MTA SZTAKI, 1111 Budapest, Kende utca
3D - geometriai modellezés, alakzatrekonstrukció, nyomtatás
3D - geometriai modellezés, alakzatrekonstrukció, nyomtatás 15. Digitális Alakzatrekonstrukció Méréstechnológia, Ponthalmazok regisztrációja http://cg.iit.bme.hu/portal/node/312 https://www.vik.bme.hu/kepzes/targyak/viiiav54
Számítástechnikai és Automatizálási Kutatóintézet (MTA SZTAKI), 1111, Budapest, Kende utca 13 17, email:{vezetéknév.keresztnév}@sztaki.mta.
Mozgó személyek követése és 4D vizualizációja Lidar-alapú járáselemzéssel Nagy Balázs 1, Benedek Csaba 1 és Jankó Zsolt 2 1 Elosztott Események Elemzése Kutatólaboratórium, Magyar Tudományos Akadémia,
Regresszió. Csorba János. Nagyméretű adathalmazok kezelése március 31.
Regresszió Csorba János Nagyméretű adathalmazok kezelése 2010. március 31. A feladat X magyarázó attribútumok halmaza Y magyarázandó attribútumok) Kérdés: f : X -> Y a kapcsolat pár tanítópontban ismert
Infobionika ROBOTIKA. X. Előadás. Robot manipulátorok II. Direkt és inverz kinematika. Készült a HEFOP P /1.0 projekt keretében
Infobionika ROBOTIKA X. Előadás Robot manipulátorok II. Direkt és inverz kinematika Készült a HEFOP-3.3.1-P.-2004-06-0018/1.0 projekt keretében Tartalom Direkt kinematikai probléma Denavit-Hartenberg konvenció
VI. Magyar Földrajzi Konferencia 524-529
Van Leeuwen Boudewijn Tobak Zalán Szatmári József 1 BELVÍZ OSZTÁLYOZÁS HAGYOMÁNYOS MÓDSZERREL ÉS MESTERSÉGES NEURÁLIS HÁLÓVAL BEVEZETÉS Magyarország, különösen pedig az Alföld váltakozva szenved aszályos
Pontműveletek. Sergyán Szabolcs Óbudai Egyetem Neumann János Informatikai Kar február 20.
Pontműveletek Sergyán Szabolcs sergyan.szabolcs@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar 2012. február 20. Sergyán (OE NIK) Pontműveletek 2012. február 20. 1 / 40 Felhasznált irodalom
Nagyságrendek. Kiegészítő anyag az Algoritmuselmélet tárgyhoz. Friedl Katalin BME SZIT február 1.
Nagyságrendek Kiegészítő anyag az Algoritmuselmélet tárgyhoz (a Rónyai Ivanyos Szabó: Algoritmusok könyv mellé) Friedl Katalin BME SZIT friedl@cs.bme.hu 018. február 1. Az O, Ω, Θ jelölések Az algoritmusok
A médiatechnológia alapjai
A médiatechnológia alapjai Úgy döntöttem, hogy a Szirányi oktatta előadások számonkérhetőnek tűnő lényegét kiemelem, az alapján, amit a ZH-ról mondott: rövid kérdések. A rész és az egész: összefüggések
Számítógépes képelemzés 7. előadás. Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék
Számítógépes képelemzés 7. előadás Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék Momentumok Momentum-alapú jellemzők Tömegközéppont Irányultáság 1 2 tan 2 1 2,0 1,1 0, 2 Befoglaló
Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
függvények RE 1 Relációk Függvények függvények RE 2 Definíció Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor
Automatikus épület-felismerés ortofotókon objektum-alapú eljárással
Automatikus épület-felismerés ortofotókon objektum-alapú eljárással Gera Dávid Ákos, Nádor Gizella, Surek György Földmérési és Távérzékelési Intézet Távérzékelési Igazgatóság 1. Bevezetés Napjainkban a
Dinamikus utcai környezet négydimenziós analízise földi és légi LiDAR adatokon
Dinamikus utcai környezet négydimenziós analízise földi és légi LiDAR adatokon Ph.D. disszertáció tézisei Börcs Attila okleveles mérnök-informatikus Tudományos vezet : Dr. Benedek Csaba, Ph.D. Budapesti
RE 1. Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
RE 1 Relációk Függvények RE 2 Definíció: Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor azt mondjuk, hogy
3D számítógépes geometria és alakzatrekonstrukció
3D számítógépes geometria és alakzatrekonstrukció 15. Digitális Alakzatrekonstrukció Méréstechnológia, Ponthalmazok regisztrációja http://cg.iit.bme.hu/portal/node/312 https://www.vik.bme.hu/kepzes/targyak/viiima01
A következő feladat célja az, hogy egyszerű módon konstruáljunk Poisson folyamatokat.
Poisson folyamatok, exponenciális eloszlások Azt mondjuk, hogy a ξ valószínűségi változó Poisson eloszlású λ, 0 < λ
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
Példák jellemzőkre: - minden pixelérték egy jellemző pl. neurális hálózat esetében csak kis képekre, nem invariáns sem a megvilágításra, sem a geom.
Lépések 1. tanító és teszt halmaz összeállítása / megszerzése 2. jellemzők kinyerése 3. tanító eljárás választása Sok vagy kevés adat áll-e rendelkezésünkre? Mennyi tanítási idő/memória áll rendelkezésre?
A digitális számítás elmélete
A digitális számítás elmélete 8. előadás ápr. 16. Turing gépek és nyelvtanok A nyelvosztályok áttekintése Turing gépek és a természetes számokon értelmezett függvények Áttekintés Dominó Bizonyítások: L
MATEMATIKA ÉRETTSÉGI május 8. EMELT SZINT
MATEMATIKA ÉRETTSÉGI 007. május 8. EMELT SZINT 1) Oldja meg a valós számok halmazán az alábbi egyenletet! x x 4 log 9 10 sin x x 6 I. (11 pont) sin 1 lg1 0 log 9 9 x x 4 Így az 10 10 egyenletet kell megoldani,
7. Régió alapú szegmentálás
Digitális képek szegmentálása 7. Régió alapú szegmentálás Kató Zoltán http://www.cab.u-szeged.hu/~kato/segmentation/ Szegmentálási kritériumok Particionáljuk a képet az alábbi kritériumokat kielégítő régiókba
Új típusú döntési fa építés és annak alkalmazása többtényezős döntés területén
Új típusú döntési fa építés és annak alkalmazása többtényezős döntés területén Dombi József Szegedi Tudományegyetem Bevezetés - ID3 (Iterative Dichotomiser 3) Az ID algoritmusok egy elemhalmaz felhasználásával
1. Egy lineáris hálózatot mikor nevezhetünk rezisztív hálózatnak és mikor dinamikus hálózatnak?
Ellenörző kérdések: 1. előadás 1/5 1. előadás 1. Egy lineáris hálózatot mikor nevezhetünk rezisztív hálózatnak és mikor dinamikus hálózatnak? 2. Mit jelent a föld csomópont, egy áramkörben hány lehet belőle,
Az optimális megoldást adó algoritmusok
Az optimális megoldást adó algoritmusok shop ütemezés esetén Ebben a fejezetben olyan modellekkel foglalkozunk, amelyekben a munkák több műveletből állnak. Speciálisan shop ütemezési problémákat vizsgálunk.
Statisztikai módszerek a skálafüggetlen hálózatok
Statisztikai módszerek a skálafüggetlen hálózatok vizsgálatára Gyenge Ádám1 1 Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Számítástudományi és Információelméleti
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
Keresés képi jellemzők alapján. Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék
Keresés képi jellemzők alapján Dr. Balázs Péter SZTE, Képfeldolgozás és Számítógépes Grafika Tanszék Lusta gépi tanulási algoritmusok Osztályozás: k=1: piros k=5: kék k-legközelebbi szomszéd (k=1,3,5,7)
Kétdimenziós mesterséges festési eljárások. Hatások és alkalmazások
Pannon Egyetem Informatikai Tudományok Doktori Iskola Tézisfüzet Kétdimenziós mesterséges festési eljárások. Hatások és alkalmazások Kovács Levente Képfeldolgozás és Neuroszámítógépek Tanszék Témavezet
Számítógépes döntéstámogatás. Genetikus algoritmusok
BLSZM-10 p. 1/18 Számítógépes döntéstámogatás Genetikus algoritmusok Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu BLSZM-10 p. 2/18 Bevezetés 1950-60-as
3D számítógépes geometria és alakzatrekonstrukció
3D számítógépes geometria és alakzatrekonstrukció 14. Digitális Alakzatrekonstrukció - Bevezetés http://cg.iit.bme.hu/portal/node/312 https://www.vik.bme.hu/kepzes/targyak/viiima01 Dr. Várady Tamás, Dr.
Gépi tanulás a gyakorlatban. Bevezetés
Gépi tanulás a gyakorlatban Bevezetés Motiváció Nagyon gyakran találkozunk gépi tanuló alkalmazásokkal Spam detekció Karakter felismerés Fotó címkézés Szociális háló elemzés Piaci szegmentáció analízis
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,
Kör alakú objektumok szegmentálása Markov mez segítségével
Kör alakú objektumok szegmentálása Markov mez segítségével Blaskovics Tamás 1, Kató Zoltán 1 és Ian Jermyn 1 Szegedi Tudományegyetem, Informatikai Tanszékcsoport, Szeged, Magyarország Ariana (joint INRIA/I3S
Követelmény a 7. évfolyamon félévkor matematikából
Követelmény a 7. évfolyamon félévkor matematikából Gondolkodási és megismerési módszerek Elemek halmazba rendezése több szempont alapján. Halmazok ábrázolása. A nyelv logikai elemeinek helyes használata.
Sorozatok I. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma)
Sorozatok I. DEFINÍCIÓ: (Számsorozat) A számsorozat olyan függvény, amelynek értelmezési tartománya a pozitív egész számok halmaza, értékkészlete a valós számok egy részhalmaza. Jelölés: (a n ), {a n }.
KOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
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
Probabilisztikus modellek V: Struktúra tanulás. Nagy Dávid
Probabilisztikus modellek V: Struktúra tanulás Nagy Dávid Statisztikai tanulás az idegrendszerben, 2015 volt szó a normatív megközelítésről ezen belül a probabilisztikus modellekről láttatok példákat az
OOP. Alapelvek Elek Tibor
OOP Alapelvek Elek Tibor OOP szemlélet Az OOP szemlélete szerint: a valóságot objektumok halmazaként tekintjük. Ezen objektumok egymással kapcsolatban vannak és együttműködnek. Program készítés: Absztrakciós
6. Függvények. Legyen függvény és nem üreshalmaz. A függvényt az f K-ra való kiterjesztésének
6. Függvények I. Elméleti összefoglaló A függvény fogalma, értelmezési tartomány, képhalmaz, értékkészlet Legyen az A és B halmaz egyike sem üreshalmaz. Ha az A halmaz minden egyes eleméhez hozzárendeljük
Új markovi változásdetekciós modellek a képfeldolgozásban
Új markovi változásdetekciós modellek a képfeldolgozásban Ph.D. disszertáció tézisei Benedek Csaba mérnök-informatikus Tudományos vezető: Dr. Szirányi Tamás az MTA doktora Pázmány Péter Katolikus Egyetem
f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva
6. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 6.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási
Számelméleti alapfogalmak
1 Számelméleti alapfogalmak 1 Definíció Az a IN szám osztója a b IN számnak ha létezik c IN melyre a c = b Jelölése: a b 2 Példa a 0 bármely a számra teljesül, mivel c = 0 univerzálisan megfelel: a 0 =
3. Szűrés képtérben. Kató Zoltán. Képfeldolgozás és Számítógépes Grafika tanszék SZTE (http://www.inf.u-szeged.hu/~kato/teaching/)
3. Szűrés képtérben Kató Zoltán Képfeldolgozás és Számítógépes Grafika tanszék SZTE http://www.inf.u-szeged.hu/~kato/teaching/ 2 Kép transzformációk típusai Kép értékkészletének radiometriai információ
3D-s számítógépes geometria és alakzatrekonstrukció
3D-s számítógépes geometria és alakzatrekonstrukció 14. Digitális Alakzatrekonstrukció - Bevezetés http://cg.iit.bme.hu/portal/node/312 https://www.vik.bme.hu/kepzes/targyak/viiiav08 Dr. Várady Tamás,
DRÓNOK HASZNÁLATA A MEZŐGAZDASÁGBAN
DRÓNOK HASZNÁLATA A MEZŐGAZDASÁGBAN KÖRÖSPARTI JÁNOS NAIK Öntözési és Vízgazdálkodási Önálló Kutatási Osztály (ÖVKI) Szaktanári továbbképzés Szarvas, 2017. december 7. A drónok használata egyre elterjedtebb
Oszcillátor tervezés kétkapu leírófüggvényekkel
Oszcillátor tervezés kétkapu leírófüggvényekkel (Oscillator design using two-port describing functions) Infokom 2016 Mészáros Gergely, Ladvánszky János, Berceli Tibor October 13, 2016 Szélessávú Hírközlés
NULLADIK MATEMATIKA ZÁRTHELYI
A NULLADIK MATEMATIKA ZÁRTHELYI 20-09-2 Terem: Munkaidő: 0 perc. A dolgozat megírásához íróeszközön kívül semmilyen segédeszköz nem használható! Csak és kizárólag tollal tölthető ki a feladatlap, a ceruzával
Intelligens Rendszerek Elmélete. Versengéses és önszervező tanulás neurális hálózatokban
Intelligens Rendszerek Elmélete : dr. Kutor László Versengéses és önszervező tanulás neurális hálózatokban http://mobil.nik.bmf.hu/tantargyak/ire.html Login név: ire jelszó: IRE07 IRE 9/1 Processzor Versengéses
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2015. ősz 1. Diszkrét matematika 2.C szakirány 3. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2015.
Funkcionális konnektivitás vizsgálata fmri adatok alapján
Funkcionális konnektivitás vizsgálata fmri adatok alapján Képalkotási technikák 4 Log Resolution (mm) 3 Brain EEG & MEG fmri TMS PET Lesions 2 Column 1 0 Lamina -1 Neuron -2 Dendrite -3 Synapse -4 Mikrolesions
Függvények Megoldások
Függvények Megoldások ) Az ábrán egy ; intervallumon értelmezett függvény grafikonja látható. Válassza ki a felsoroltakból a függvény hozzárendelési szabályát! a) x x b) x x + c) x ( x + ) b) Az x függvény
Függvény határérték összefoglalás
Függvény határérték összefoglalás Függvény határértéke: Def: Függvény: egyértékű reláció. (Vagyis minden értelmezési tartománybeli elemhez, egyértelműen rendelünk hozzá egy elemet az értékkészletből. Vagyis
Egészrészes feladatok
Kitűzött feladatok Egészrészes feladatok Győry Ákos Miskolc, Földes Ferenc Gimnázium 1. feladat. Oldjuk meg a valós számok halmazán a { } 3x 1 x+1 7 egyenletet!. feladat. Bizonyítsuk be, hogy tetszőleges
Kevert Markov modell alapú változásdetekció nagy
Kevert Markov modell alapú változásdetekció nagy időkülönbséggel készült légi fotókon Benedek Csaba 1,2 és Szirányi Tamás 1 1 Elosztott Események Elemzése Kutatócsoport, MTA Számítástechnikai és Automatizálási
A távérzékelt felvételek tematikus kiértékelésének lépései
A távérzékelt felvételek tematikus kiértékelésének lépései Csornai Gábor László István Földmérési és Távérzékelési Intézet Mezőgazdasági és Vidékfejlesztési Igazgatóság Az előadás 2011-es átdolgozott változata
Új objektum detekciós jellemzők a képfeldolgozásban. Ph.D. disszertáció tézisei. Manno -Kovács Andrea mérnök-informatikus
Új objektum detekciós jellemzők a képfeldolgozásban Ph.D. disszertáció tézisei Manno -Kovács Andrea mérnök-informatikus Tudományos vezetők: Dr. Szirányi Tamás az MTA doktora Dr. Vidnyánszky Zoltán az MTA
Minták automatikus osztályba sorolása a mintát leíró jellemzők alapján. Típusok: felügyelt és felügyelet nélküli tanuló eljárások
Minták automatikus osztályba sorolása a mintát leíró jellemzők alapján Típusok: felügyelt és felügyelet nélküli tanuló eljárások Különbség: előbbinél szükséges egy olyan tanulóhalmaz, ahol ismert a minták
Felügyelt önálló tanulás - Analízis III.
Felügyelt önálló tanulás - Analízis III Kormos Máté Differenciálható sokaságok Sokaságok Röviden, sokaságoknak nevezzük azokat az objektumokat, amelyek egy n dimenziós térben lokálisan k dimenziósak Definíció:
b) Ábrázolja ugyanabban a koordinátarendszerben a g függvényt! (2 pont) c) Oldja meg az ( x ) 2
1) Az ábrán egy ; intervallumon értelmezett függvény grafikonja látható. Válassza ki a felsoroltakból a függvény hozzárendelési szabályát! a) b) c) ( ) ) Határozza meg az 1. feladatban megadott, ; intervallumon
Markov-láncok stacionárius eloszlása
Markov-láncok stacionárius eloszlása Adatbányászat és Keresés Csoport, MTA SZTAKI dms.sztaki.hu Kiss Tamás 2013. április 11. Tartalom Markov láncok definíciója, jellemzése Visszatérési idők Stacionárius
Matematikai geodéziai számítások 10.
Matematikai geodéziai számítások 10. Hibaellipszis, talpponti görbe és közepes ponthiba Dr. Bácsatyai, László Matematikai geodéziai számítások 10.: Hibaellipszis, talpponti görbe és Dr. Bácsatyai, László
January 16, ψ( r, t) ψ( r, t) = 1 (1) ( ψ ( r,
Közelítő módszerek January 16, 27 1 A variációs módszer A variációs módszer szintén egy analitikus közelítő módszer. Olyan esetekben alkalmazzuk mikor ismert az analitikus alak amelyben keressük a sajátfüggvényt,
Segítség az outputok értelmezéséhez
Tanulni: 10.1-10.3, 10.5, 11.10. Hf: A honlapra feltett falco_exp.zip-ben lévő exploratív elemzések áttanulmányozása, érdekességek, észrevételek kigyűjtése. Segítség az outputok értelmezéséhez Leiro: Leíró
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
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 10. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.
HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak
I. BESZÁLLÍTÓI TELJESÍTMÉNYEK ÉRTÉKELÉSE
I. BESZÁLLÍTÓI TELJESÍTMÉNYEK ÉRTÉKELÉSE Komplex termékek gyártására jellemző, hogy egy-egy termékbe akár több ezer alkatrész is beépül. Ilyenkor az alkatrészek általában sok különböző beszállítótól érkeznek,
Sergyán Szabolcs szeptember 21.
Éldetektálás Sergyán Szabolcs Budapesti Műszaki Főiskola Neumann János Informatikai Kar 2009. szeptember 21. Sergyán Sz. (BMF NIK) Éldetektálás 2009. szeptember 21. 1 / 28 Mit nevezünk élnek? Intuitív
Logika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
Explicit hibabecslés Maxwell-egyenletek numerikus megoldásához
Explicit hibabecslés Maxwell-egyenletek numerikus megoldásához Izsák Ferenc 2007. szeptember 17. Explicit hibabecslés Maxwell-egyenletek numerikus megoldásához 1 Vázlat Bevezetés: a vizsgált egyenlet,
Kettőnél több csoport vizsgálata. Makara B. Gábor
Kettőnél több csoport vizsgálata Makara B. Gábor Három gyógytápszer elemzéséből az alábbi energia tartalom adatok származtak (kilokalória/adag egységben) Három gyógytápszer elemzésébô A B C 30 5 00 10
Populációbecslések és monitoring
Populációbecslések és monitoring A becslés szerepe az ökológiában és a vadgazdálkodásban. A becslési módszerek csoportosítása. Teljes számlálás. Statisztikai alapfogalmak. Fontos lehet tudnunk, hogy hány
Matematika alapjai; Feladatok
Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \
Intelligens beágyazott rendszer üvegházak irányításában
P5-T6: Algoritmustervezési környezet kidolgozása intelligens autonóm rendszerekhez Intelligens beágyazott rendszer üvegházak irányításában Eredics Péter, Dobrowiecki P. Tadeusz, BME-MIT 1 Üvegházak Az
minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.
Függvények határértéke és folytonossága Egy f: D R R függvényt korlátosnak nevezünk, ha a függvényértékek halmaza korlátos. Ha f(x) f(x 0 ) teljesül minden x D esetén, akkor x 0 -at a függvény maximumhelyének
8. Pontmegfeleltetések
8. Pontmegfeleltetések Kató Zoltán Képfeldolgozás és Számítógépes Grafika tanszék SZTE (http://www.inf.u-szeged.hu/~kato/teaching/) 2 Példa: panoráma kép készítés 1. Jellemzőpontok detektálása mindkét
Osztott jáva programok automatikus tesztelése. Matkó Imre BBTE, Kolozsvár Informatika szak, IV. Év 2007 január
Osztott jáva programok automatikus tesztelése Matkó Imre BBTE, Kolozsvár Informatika szak, IV. Év 2007 január Osztott alkalmazások Automatikus tesztelés Tesztelés heurisztikus zaj keltés Tesztelés genetikus
A félév során előkerülő témakörök
A félév során előkerülő témakörök rekurzív algoritmusok rendező algoritmusok alapvető adattípusok, adatszerkezetek, és kapcsolódó algoritmusok dinamikus programozás mohó algoritmusok gráf algoritmusok
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények ) Az ábrán egy ; intervallumon értelmezett függvény grafikonja látható. Válassza ki a felsoroltakból a függvény hozzárendelési szabályát! a) x
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 10 X. SZIMULÁCIÓ 1. VÉLETLEN számok A véletlen számok fontos szerepet játszanak a véletlen helyzetek generálásában (pénzérme, dobókocka,
Képfeldolgozás Szegmentálás Osztályozás Képfelismerés Térbeli rekonstrukció
Mesterséges látás Miről lesz szó? objektumok Bevezetés objektumok A mesterséges látás jelenlegi, technikai eszközökön alapuló világunkban gyakorlatilag azonos a számítógépes képfeldolgozással. Számítógépes
Számelmélet Megoldások
Számelmélet Megoldások 1) Egy számtani sorozat második tagja 17, harmadik tagja 1. a) Mekkora az első 150 tag összege? (5 pont) Kiszámoltuk ebben a sorozatban az első 111 tag összegét: 5 863. b) Igaz-e,
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek megoldásához!
Országos Középiskolai Tanulmányi Verseny 2009/2010 Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása
Oktatási Hivatal Országos Középiskolai Tanulmányi Verseny / Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása. Oldja meg a valós számok legbővebb részhalmazán a egyenlőtlenséget!
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
Hadházi Dániel.
Hadházi Dániel hadhazi@mit.bme.hu Orvosi képdiagnosztika: Szerepe napjaink orvoslásában Képszegmentálás orvosi kontextusban Elvárások az adekvát szegmentálásokkal szemben Verifikáció és validáció lehetséges
Helyi tanterv Német nyelvű matematika érettségi előkészítő. 11. évfolyam
Helyi tanterv Német nyelvű matematika érettségi előkészítő 11. évfolyam Tematikai egység címe órakeret 1. Gondolkodási és megismerési módszerek 10 óra 2. Geometria 30 óra 3. Számtan, algebra 32 óra Az
Alkalmazásokban. Dezsényi Csaba Ovitas Magyarország kft.
Tudásmodellezés Kereskedelmi Alkalmazásokban Dezsényi Csaba Ovitas Magyarország kft. Tudásmenedzsment Adat -> Információ -> Tudás Intézményi tudásvagyon hatékony kezelése az üzleti célok megvalósításának
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 4 IV. MINTA, ALAPsTATIsZTIKÁK 1. MATEMATIKAI statisztika A matematikai statisztika alapfeladatát nagy általánosságban a következőképpen
2014. szeptember 24. és 26. Dr. Vincze Szilvia
2014. szeptember 24. és 26. Dr. Vincze Szilvia Mind a hétköznapi, mind a tudományos életben gyakran előfordul, hogy bizonyos halmazok elemei között kapcsolat figyelhető meg. A kapcsolat fogalmának matematikai
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek
Egyváltozós függvények 1.
Egyváltozós függvények 1. Filip Ferdinánd filip.ferdinand@bgk.uni-obuda.hu siva.banki.hu/jegyzetek 015 szeptember 1. Filip Ferdinánd 015 szeptember 1. Egyváltozós függvények 1. 1 / 5 Az el adás vázlata
Megoldott feladatok november 30. n+3 szigorúan monoton csökken, 5. n+3. lim a n = lim. n+3 = 2n+3 n+4 2n+1
Megoldott feladatok 00. november 0.. Feladat: Vizsgáljuk az a n = n+ n+ sorozat monotonitását, korlátosságát és konvergenciáját. Konvergencia esetén számítsuk ki a határértéket! : a n = n+ n+ = n+ n+ =
Idő-multiplexelt biztonsági felvételek elemzése
Idő-multiplexelt biztonsági felvételek elemzése Utasi Ákos1 és Czúni László 2 1 MTA-SZTAKI 1111 Budapest Kende u. 13-17. http://www.sztaki.hu 2 Pannon Egyetem, Villamosmérnöki és Információs Rendszerek