13° C
Ma 2024. május 18., szombat, Erik és Alexandra napja van.
13° C
Ma 2024. május 18., szombat, Erik és Alexandra napja van.
Varga Mihály: intenzív fejlődés szakaszába lép a gazdaság

Varga Mihály: intenzív fejlődés szakaszába lép a gazdaság

Az extenzív korszakot lezárva a magyar gazdaság egyre inkább átkerül az intenzív fejlődés szakaszába, amikor jelentősen nő a hozzáadott érték – mondta a pénzügyminiszter Kaposváron, ahol támogatásáról biztosította a városban tervezett okosipari beruházást.  ...

Emberarcú közgazdaságtan

A gazdaságot a klasszikus közgazdaságtan megszületése óta egy automatizmusok mentén működő gépezethez hasonlítják. A piacpártiak szerint automatikusan a közjót szolgálja, de a kritikusok szerint a kapitalista rendszert az önérdek és a kapzsiság működteti. Azonban...

Biztonságra tervezés és biztonságigazolás

márc 10, 2021 | könyv

Az Akadémiai Kiadó gondozásában megjelent Biztonságra tervezés és biztonságigazolás formális módszerei című szakkönyv a Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Közlekedésmérnöki és Járműmérnöki Kara autonóm járműirányítási mérnök 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 ezzel összefüggésben a biztonságos működésükről olyan elvárások fogalmazódnak meg, hogy a könyvben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba.

A könyv szerzői a témakör elismert szakemberei: Bartha Tamás egyetemi docens (BME Közlekedés- és Járműirányítási Tanszék), a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézetének (SzTAKI) tudományos főmunkatársa, és Majzik István egyetemi docens, a BME Villamosmérnöki és Informatikai Kar Méréstechnika és Információs Rendszerek Tanszék helyettes vezetője. Kutatási területük a formális verifikáció, modellezés, biztonságkritikus rendszerek tesztelési és diagnosztikai eljárásai, valamint a számítógépes rendszerek szolgáltatásbiztonsága, szoftververifikáció és -validáció.

Képzési jegyzetük a formális módszerek mérnöki alkalmazása területén megalapozó tankönyvnek tekinthető: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében, elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit. Online elérhetőség: mersz.hu/

Varga Mihály: intenzív fejlődés szakaszába lép a gazdaság

Varga Mihály: intenzív fejlődés szakaszába lép a gazdaság

Az extenzív korszakot lezárva a magyar gazdaság egyre inkább átkerül az intenzív fejlődés szakaszába, amikor jelentősen nő a hozzáadott érték – mondta a pénzügyminiszter Kaposváron, ahol támogatásáról biztosította a városban tervezett okosipari beruházást.  ...

Emberarcú közgazdaságtan

A gazdaságot a klasszikus közgazdaságtan megszületése óta egy automatizmusok mentén működő gépezethez hasonlítják. A piacpártiak szerint automatikusan a közjót szolgálja, de a kritikusok szerint a kapitalista rendszert az önérdek és a kapzsiság működteti. Azonban...