【摘 要】
：
并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大，使得验证的内容和目标之间的关系不明确。为解决该问题，提出一种基于隔离逻辑的并行程序可靠性验证方
【机 构】
：
中国人民大学信息学院,中国人民大学数据工程与知识工程教育部重点实验室,贵州大学计算机科学与技术学院
【基金项目】
：
贵州省自然科学基金资助项目(J[2011]2328);中央高校基本科研业务费专项基金资助项目(12XNLF06)
论文部分内容阅读
并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大，使得验证的内容和目标之间的关系不明确。为解决该问题，提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图，描述变量相关的语句及执行关系，将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式，使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式，基于并发隔离逻辑的公理系统对语句执行序列进行验证，并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法
其他文献
本文通过时常规无损检测方法选择的分析，探索无损检测控制的方法和手段，程序依据．过程系统，控制内容等，综合考虑无损检测方法互补的重要性。制定和采用技术先进，经济合理，安全可靠的
矿井工业场地选址需要考虑的因素较多,本文以榆神矿区三期规划区郭家滩矿井为例,详细分析了矿井工业场地选择的影响因素,并对每个因素进行了分析评价,最终选择出经济合理的场
边境口岸城市是新疆实施全面对外开放的窗口和平台。以新疆边境口岸城市克孜勒苏柯尔克孜自治州乌恰县为例,对乌恰县发展边境口岸城市的有利条件和制约因素进行分析,提出乌恰
农村公路网络是农村经济发展的命脉,是农民持续增收致富的桥梁,是实现农业现代化,促进城乡一体化,促进农业合作组织健康有序发展,农村同步全面建成小康社会的基础条件。永善
在小学数学教学过程中,教师应对学生的自主学习能力进行有意识的培养,在最大程度上激发他们的学习兴趣,引导他们通过正确的学习方法有效提高学习效率。本文笔者结合实际教学
[目的]对江苏省徐淮地区徐州农业科学研究所育成的大蒜（Allium sativum L.）新品种徐蒜815的栽培技术进行了探讨。[方法]主要从播期、播前蒜种处理、选地、整地施肥、播种、大田
本次研究采用访谈法,以长春市双阳区东山养老院作为个案,调查农村养老院老年人生活质量,分析影响农村养老院老年人生活质量的因素,探究提升农村养老院老年人生活质量的对策和
为从语音中获取包括字面含义和说话人情绪状态在内的全面意图信息,提出了一种基于多模态信息融合的语音意图理解方法,并对其中的关键词抽取、命令解析、基于文本/韵律特征的
随着经济全球化进程的不断加快和国际贸易的持续增长,运输船队结构发生了巨大变化,集装箱船现已取代传统的件杂货船和散货船成为海上运输的主力船型。为了有效利用集装箱船装
为给离子束诱变技术在小麦品质育种方面的应用提供理论依据,以N~＋（30Kev）注入诱导获得的小偃81突变系M_4代种子为材料,采用SDS-PAGE和A-PAGE技术对其高分子量麦谷蛋白亚基和醇溶