作者:黎忠文,熊光泽 单位:中国航天科工防御技术研究院;中国宇航学会;中国系统工程学会 出版:《系统工程与电子技术》2006年第03期 页数:6页  (PDF与DOC格式可能不同) PDF编号:PDFXTYD2006030190 DOC编号:DOCXTYD2006030199 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。