【摘 要】
：
在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中
【基金项目】
：
航空科学基金(2007ZD53)资助
论文部分内容阅读
在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件
其他文献
目的:观察研究内科急诊性腹痛患者的临床症状以及诊断方法,为提高临床诊断准确率提供更多的帮助。方法随机选取2011年06月~2014年03月来我院就诊的急诊性腹痛患者126例,对其
目的观察单纯七氟醚吸入用于人工流产术的血压、心率和血浆肾素（Rn）、血管紧张素Ⅰ（A-Ⅰ）、血管紧张素Ⅱ（A-Ⅱ）、皮质醇（Cor）的变化。方法选择门诊人流术病人20例，用6％～8％七氟醚和5L／min氧
目的分析总结浏阳市2005~2013年流行性腮腺炎发病情况,为流行性腮腺炎防控措施的制定提供科学依据。方法运用流行病学描述研究方法着重分析总结了浏阳市2005~2013年流行性腮
讨论了蠕虫感染率的抗差估计法和最小二乘（LS）估计法，分别从极值原则、参数估计解、误差影响函数等方面进行了较全面的分析和比较。理论分析表明，2种估计法的计算过程十分接近，区
钱老2009年10月31日逝世。傅正阳教授提供给我的钱老文章中有一篇提到灵感,给我印象很深。我2002年12月根据回忆写了感想。现在把2002年12月写的感想摘录,只做了减少字数的修
目的探讨益心泰对慢性心力衰竭大鼠N-末端脑钠肽前体水平及其对心肌超微结构的影响。方法采用冠状动脉结扎法建立慢性心力衰竭(CHF)大鼠模型,将造模成功的Wistar雄性大鼠随机
目的探讨头孢菌素类抗生素的药理特性以及临床合理用药对策。方法收集2011年1月~2013年12月,我院收治的抗生素相关不良反应(ADR)患者204例,其中45例应用头孢菌素类抗生素ADR
罗哌卡因和左旋布比卡因具有较低的心脏和神经毒性，在体内分布广、清除快、毒性小，已成功用于硬膜外麻醉和外周神经阻滞。用于分娩妇女麻醉可减少心律失常和其他严重心脏疾患或
成功率=批准洪堡研究基金人数÷申请人数2002-2006年中国共有1002人申请，369人获得批准，故成功率为0．368。
目的:探讨胼胝体病变的临床表现特点及影像学特征。方法回顾性分析2009年3月~2013年3月北京市顺义区医院经 MRI确诊的16例胼胝体梗死患者的临床及影像学资料。结果16例患者中