PLC程序组合检测理论与方法 集不同的检测验证方法之所长,应用到安全攸关工业控制领域,是一种很好的技术途径。在许多关键理论技术或成果之处提供了较多的参考文献标注,以便于读者深入研究。
工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是国家安全的重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂性及规模也愈加庞大,PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作,体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信性、安全与正确属性检测验证等问题。
¥109.80定价:¥139.00 (7.9折)
带一本书去广州 肖楠 科学技术文献出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
城市在你眼中是副什么模样?是繁华的街道,林立的高楼,拥挤的人群?是表面的印象,模糊的想象,迫切的期待?抑或是一段绯色传奇,几个亮丽故事?其实,每个城市都有不同的表情不同性格,在那些高楼广厦下流淌的是她深入骨髓的风情,这些往往被匆忙或走马观花所掩盖了……那么,现在就让我们带着这本书,去感受一个城市——广州!
¥9.00定价:¥25.37 (3.55折)