检索结果-维普期刊中文期刊服务平台

混合系统的形式化验证被引量：1: 1; 作者高建平陈宗基《北京航空航天大学学报》 EI CAS CSCD 北大核心 1999年第2期146-150,共5页; 结合混合系统的研究对余度管理系统进行了形式化的分析和验证．采用的手段是时段演算技术及其扩展．首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取．在验证过程中，首先应用程序逻辑验证算... 展开更多; 关键词混合控制形式语言飞行控制系统时段演算; 在线阅读下载PDF 职称材料

ATP控车模式的DC模型与可靠性分析: 2; 作者承向军杜鹏 +1 位作者张春悦孟令云《铁道通信信号》 2008年第1期39-41,共3页; 列车控制是保障高速列车安全运行的关键技术。对国际上广泛应用的ATP控车模式建立了基于时段演算的模型,并通过对模型的推演,对ATP控车模式进行了初步的可靠性分析,为设计安全、可靠的ATP系统提供新的理论分析手段。; 关键词列控列车超速防护时段演算可靠性分析; 在线阅读下载PDF 职称材料

分布式实时系统的一种转化设计方法被引量：2: 3; 作者屠梅红虞慧群《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期463-467,492,共6页; 介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算 DC( Duration Calculus)描述 ,系统的设计用规范语言 SL( Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统... 展开更多; 关键词分布式实时系统时段演算 SL规范语言转化设计方法转换规则需求规范设计规范; 在线阅读下载PDF 职称材料