16° C
Ma 2025. április 18., péntek, Andrea és Ilma napja van.
16° C
Ma 2025. április 18., péntek, Andrea és Ilma napja van.
[the_ad id="33201"]
Év háza – az építészeti pályázat

Év háza – az építészeti pályázat

Május 19-ig családi ház, középület és társasház kategóriában ajánlhatják műveiket építészek a legismertebb és elismertebb, független építészeti pályázat neves zsűrijének figyelmébe. Az Év háza pályázat célja, hogy számba vegye és mind a szakmával, mind a...

Konzultáció a villamosenergia-ellátási készültségi tervről

Konzultáció a villamosenergia-ellátási készültségi tervről

A Magyar Energetikai és Közmű-szabályozási Hivatal (MEKH) a négyévente esedékes felülvizsgálati eljárás keretében iparági konzultációra bocsátja a magyar villamosenergia-ellátási kockázati készültségi tervét. A MEKH 2025. május 14-ig várja az érintettek észrevételeit...

Együttműködés energetikai tanúsítványok készítésében

Együttműködés energetikai tanúsítványok készítésében

Az Országos Tanúsító Központ egy mérnöki hálózat, amely energetikai tanúsítványok készítésével foglalkozó mérnököket köt össze. Fő feladata, hogy tanúsító szakembereknek szerezzen megbízásokat, és segítse a szolgáltatás gyors és zökkenőmentes lebonyolítását. Az...

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/

Év háza – az építészeti pályázat

Év háza – az építészeti pályázat

Május 19-ig családi ház, középület és társasház kategóriában ajánlhatják műveiket építészek a legismertebb és elismertebb, független építészeti pályázat neves zsűrijének figyelmébe. Az Év háza pályázat célja, hogy számba vegye és mind a szakmával, mind a...

Konzultáció a villamosenergia-ellátási készültségi tervről

Konzultáció a villamosenergia-ellátási készültségi tervről

A Magyar Energetikai és Közmű-szabályozási Hivatal (MEKH) a négyévente esedékes felülvizsgálati eljárás keretében iparági konzultációra bocsátja a magyar villamosenergia-ellátási kockázati készültségi tervét. A MEKH 2025. május 14-ig várja az érintettek észrevételeit...

Együttműködés energetikai tanúsítványok készítésében

Együttműködés energetikai tanúsítványok készítésében

Az Országos Tanúsító Központ egy mérnöki hálózat, amely energetikai tanúsítványok készítésével foglalkozó mérnököket köt össze. Fő feladata, hogy tanúsító szakembereknek szerezzen megbízásokat, és segítse a szolgáltatás gyors és zökkenőmentes lebonyolítását. Az...