【摘 要】
：
本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系
【基金项目】
：
国家自然科学基金，广东省自然科学基金，广东省高校自然科学基金
论文部分内容阅读
本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n2)+O(n2)+O(2).第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n3),改进之后为O(n2).第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂
其他文献
1．概述清洁生产是实施节能降耗、可持续发展战略的重要部分，是实现经济和环境协调发展的一项重要措施。
综掘巷道现今的"串行"工艺流程中,机械智能化程度较低、采掘比例严重失衡,已成为制约煤矿高效生产的主要技术瓶颈。为此,首先基于一体化式掘锚机组自动化掘进方式与自移式支
最近几年，非洲移动电话用户飞速增长，年平均增长率超过其他洲。根据非洲银行的数据，移动电话用户每增加10％，非洲GDP就将增长1—1．5％。移动电话对于非洲大陆来说已经成为重要的经济因
对37%Al/Al2O3复合材料坯料进行高温压缩,研究其伪半固态压缩变形力学行为．结果表明,该材料在伪半固态温度下的高温压缩过程中,真实应力-真实应变曲线存在四个变化阶段：急剧上
以聚硅碳硅烷和乙酰丙酮铝为原料，在反应装置的裂解柱中加入填料，在常压下合成了聚铝碳硅烷．结果表明：添加填料使合成聚铝碳硅烷的时间缩短46％，聚铝碳硅烷的从1008增大到2436，分子量