《防危核一致性保障技术的研究》PDF+DOC
作者:黎忠文,熊光泽
单位:中国航天科工防御技术研究院;中国宇航学会;中国系统工程学会
出版:《系统工程与电子技术》2006年第03期
页数:6页 (PDF与DOC格式可能不同)
PDF编号:PDFXTYD2006030190
DOC编号:DOCXTYD2006030199
下载格式:PDF + Word/doc 文字可复制、可编辑
《一种十字路口交通灯智能控制系统的设计》PDF+DOC2016年第22期 李娣娜,黄同,薛娓娓
《基于单片机的智能交通灯控制系统设计》PDF+DOC2020年第05期 石广召,李杰
《基于单片机的交通灯模糊控制器研究》PDF+DOC 郭爱云,虞益龙
《用PLC实现道路十字路口交通灯的模糊控制》PDF+DOC2001年第02期 邓宜阳
《十字路口交通灯模糊控制系统的设计》PDF+DOC 严瑞强,张元
《交通十字路口的PLC模糊控制》PDF+DOC 章喆
《十字路口交通灯PLC自适应控制系统》PDF+DOC2010年第08期 杨东红,王筱珍
《十字路口交通灯的模糊控制》PDF+DOC2009年第03期 张颖霄
《基于PLC控制的十字路口交通灯信号系统》PDF+DOC2009年第05期 金秀慧
《基于三菱PLC的城市十字路口交通灯控制系统》PDF+DOC2013年第26期 李斯婷
通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。