PLC程序组合检测理论与方法 集不同的检测验证方法之所长,应用到安全攸关工业控制领域,是一种很好的技术途径。在许多关键理论技术或成果之处提供了较多的参考文献标注,以便于读者深入研究。
工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是国家安全的重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂性及规模也愈加庞大,PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作,体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信性、安全与正确属性检测验证等问题。
¥69.50定价:¥139.00 (5折)
中文版Illustrator CS4新手到高手之路 卓文华迅,王楠,霍治权,肖楠 编著 电子工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥17.00定价:¥41.37 (4.11折)
中国航天空间信息技术系列:PLC程序组合检测理论与方法 (精装)
¥125.00定价:¥139.00 (9折)
R数据可视化手册 全彩印刷!用R做数据可视化的实用手册,精选快速绘制高质量图形的150多个技巧 精美彩色印刷
作者基于自己的RCookbook网站的内容写成本书,有很好的实用性。 书提供了快速绘制高质量图形的150多个精选的技巧,读者不需要了解R绘图系统的全部细节便可以掌握这些技巧。 书中的大多数方法使用的是以强大、灵活制图而著称的ggplot2包。
¥61.40定价:¥89.00 (6.9折) 电子书:¥56.96
随着数码影像技术的飞速发展,数码摄影以其突出的优越性使其在当今社会已经取代了传统的摄影。而数码单反相机的逐渐大众化,也使得摄影真正地走入了我们的日常生活。一台单反相机再加上摄影的灵感,人人都可以成为摄影大师。Photoshop作为数码照片后期处理的主要软件,其技术的发展也是日新月异。使用Photoshop处理各种类型的数码照片,也早已不再局限于专业人士。一张高质量的数码照片,除了前期拍摄,照片的后期处理必不可少的。 本书针对人像摄影这一领域,详细讲解了各类型人像照片的常用处理技巧,同时结合实用性极强的拍摄技巧,向读者生动地展示了各种精美的人像照片后期处理的全过程。本书在具体照片的特定效果的表现中,使读者充分理解在面对同类型的照片时,要有针对性地进行后期处理。 1.充分地结合摄影知识,通过
¥62.80定价:¥79.50 (7.9折)
中文版Illustrator CS4新手到高手之路(含DVD光盘1张)
¥51.70定价:¥69.00 (7.5折)