论文部分内容阅读
针对程序的行为等价性，提出多项式程序模型的互模拟等价，适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念，建立互模拟等价的符号计算方法，选取结构简单的模型，简化程序设计，缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．
多项式程序模型的互模拟等价
【摘 要】
：
针对程序的行为等价性，提出多项式程序模型的互模拟等价，适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念，建立互模拟等价的符号计算方法，选取
【机 构】
：
北京交通大学计算机与信息技术学院,广西民族大学
【出 处】
：
北京交通大学学报：自然科学版
【发表日期】
：
2011年5期
【基金项目】
：
基金项目：国家自然科学基金资助项目（60973147,60873118）,教育部博士点基金项目资助（20090009110006）
其他文献
2008年9月1日至30日,CNCERT/CC监测发现国内外共有115780个IP地址所对应的主机为僵尸网络的客户端(即被黑客利用僵尸网络所控制的计算机),其中位于我国大陆的有108271个。僵尸网络客户端在我国大陆的地区分布最多的地区分别是广东省(9.04%)、北京市(8.88%)和浙江省(8.19%)。在发现的僵尸网络中,规模大于5000的僵尸网络有6个,规模在1000以下的占98%。通过比较
电力工程在当前的社会市场建设中占有非常重要的地位，尤其是电力工程施工中的材料成本控制，是电力企业快速健康发展的基础。本文主要论述了电力工程成本控制过程中的材料精细化
城市作为人口集聚的主要地区，也同样是人类文明的直接体现。只有保证地质环境的良好性，才能够促进城市的可持续发展。而对城市地质环境所进行的风险性评价主要是评价城市地质环
党的十六届六中全会,站在新的时代高度,对构建社会主义和谐社会作出了全面部署。在此前闭幕的第八次全国文代会、第七次全国作代会上,胡锦涛总书记进一步指出:“要更好地构建和谐社会,就必须在社会主义先进文化引领下,大力建设和谐文化,广泛动员人民群众投身和谐社会建设。和谐文化既是和谐社会的重要特征,也是实现社会和谐的精神动力。建设和谐文化,是构建社会主义和谐社会的重要任务,也是构建社会主义和谐社会的重要条件
随着当下社会经济的飞速发展,我国的科学技术水平也得到了极大的提升。与此同时,政府也开始逐渐加大了对农业的扶持力度。农村也开始不断地涌现出各种小工业,小工业的运作,再
初中自然科学的梯度教学,有利于激发学生积极性.应全面理解教学梯度化,包括教学目标梯度化,教学过程梯度化,教学评价梯度化.