【摘 要】
：
随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语
【机 构】
：
南京航空航天大学信息科学与技术学院,徐州师范大学计算机科学与技术学院,苏州大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（60873047）, 江苏省自然科学基金资助项目（BK2008154）, 江苏省高校自然科学基金资助项目（08KJB520010）
论文部分内容阅读
随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。
其他文献
推进轮椅所带来的机械应力可能对手动轮椅使用者造成更加严重的伤害,因为过度使用关节的前端而不是后端肌肉会导致肌肉失衡。轮椅的驱动技术并不是很重要,也没有技术可以测量
为解决传统CAD系统不足以支持概念设计过程的问题,以分解重构原理和广义定位原理为理论基础,提出了支持计算机辅助概念设计的关键技术,包括设计知识转换模型,产品建模技术和知识库建模方法。基于ACIS几何建模平台开发了计算机辅助概念设计原型系统-CACDPS,并用实例验证了提出的关键技术的有效性。
为了提高智能雷对坦克目标的毁伤概率,在应用LS-DYNA有限元软件模拟智能雷多爆炸成型弹丸MEFP（multiple explosively formed penetrator）战斗部形成过程的基础上,分析了采用中
为了研究层状盐岩中天然气地下储存库在内压变化和覆岩压力作用下的地表沉降规律,提出了基于数值模拟的地表沉降预计方法,并对某层状盐岩天然气地下储存库在运营过程中的地表
准确度量目标与背景光谱曲线的相似程度对于目标伪装效果评价具有重要意义。基于灰色关联分析理论,定义了综合关联度量化光谱曲线间的相似程度;所建立的综合关联度整合了灰色
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,
针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它