Bartha Tamás, Majzik István

Biztonságra tervezés és biztonságigazolás formális módszerei

Súlyozott illeszkedési mátrix

Gráfok matematikai leképzésére a gráfelmélet többféle mátrixreprezentációt használ. Egy véges, irányított n csomópontú G gráf szomszédsági mátrixa (a nemzetközi szakirodalomban: adjacencia mátrix) egy n×n-es A(G) mátrix, amelynek egy nem főátlóban szereplő aij eleme az i csomópontból a j csomópontba vezető élek számát adja; míg a főátlóban található aii elemei (definíciótól és felhasználástól függően) vagy az i csomópontnál lévő hurkok számának kétszerese, vagy csak ezeknek a hurkoknak a száma. Irányítatlan páros gráfok esetén, ha a gráf partíciói r, illetve s csúcsból állnak, a szomszédsági mátrix a következő alakban írható fel:

Biztonságra tervezés és biztonságigazolás formális módszerei

Tartalomjegyzék

Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2019

ISBN: 978 963 454 291 9

Műszaki tudományok BME KJK könyvek

Jelen jegyzet a Budapesti Műszaki és Gazdaságtudományi Egyetem Közlekedésmérnöki és Járműmérnöki Kara Autonóm járműirányítási mérnök MSc mesterszak képzéséhez készült kiegészítő tananyagként. Az autonóm járművek a jövőben olyan mértékben alakítják át a közlekedéssel kapcsolatos társadalmi elvárásokat, és ennek kapcsán biztonságos működésükkel kapcsolatban olyan elvárások fogalmazódnak meg, hogy a jegyzetben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba. Jegyzetünk megalapozó tankönyvnek tekinthető a formális módszerek mérnöki alkalmazása területén: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében és elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit.

Hivatkozás: https://mersz.hu/bartha-majzik-biztonsagra-tervezes-es-biztonsagigazolas-formalis-modszerei//

BibTeX EndNote Mendeley Zotero