基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

面向战术互联网子网路由协议与网络业务的仿真分析

战术互联网是美军的新一代通信系统,它实现了美军三大传统通信系统的互联互通,在战场信息的传递与交互上至关重要。移动Ad hoc网络技术是战术互联网中的关键技术,再加上战场中的节点移动性强,高效稳定的路由算法是Ad hoc网络技术的重点和难点。战术互联网末端网络的主要业务是战场态势信息的交互以及话音通信,主要分析战场环境下不同射频功率和不同路由协议对战术互联网末端Ad hoc网络数据和话音业务性能的影响。     

新型聚合物水泥砂浆的研制

为解决地下坑道、海港码头及建筑工程的防腐、防水、防盐碱等防护问题，通过对成品乳液进行改性，使乳液在水泥中极易分散，能有效地使聚合物与水泥水化产物及砂、石形成有机整体。以此保证聚合物水泥砂浆具有较高的抗渗性及粘结强度。其结果证明了这种方法的有效性和实用性。     

中国国家原子能机构与国际原子能机构签署协议 进一步加强在核安保领域的合作

<正>8月16日-17日,应中国国家原子能机构(以下简称CAEA)的邀请,国际原子能机构(以下简称IAEA)总干事天野之弥一行来华访问。这是天野之弥就任IAEA总干事以来首次访华。8月16日,工业和信息化部副部长、中国国家原子能机构主任陈求发会见了天野之弥一行。陈求发高度评价了IAEA在促进和平利用核能、防止核武     

关于军事通信系统顽存性及最低限度通信能力若干问题的研究

本文根据现代高技术战争信息动广泛的特点和规律，阐述了军事通信系统关键性系统特性的概念，重点探讨了系统顽存在，最低通信能力和最低限度通信能力的基本含义，在此基础上，围绕“打赢”和“三打三防”，分析了对军事通信系统生存能力的需求，最后提出了最低限度通信能力的评估方法。     

目标通视性检测建模与仿真

在战斗机对地攻击选择武器投放位置以及巡航导弹选择地标点时,必须验证其选择位置的合理性,因此通视性检测是战斗机对地攻击规划的关键技术之一。提出了一种目标通视性检测的建模方法,分析了地形遮蔽盲区构成因素,给出了数字地图处理方法,建立了地形遮蔽盲区计算模型及发现目标概率模型,实现了目标的通视性检测,并进行了仿真验证。该模型为战斗机对地攻击选择武器投放位置和验证导弹地标点选择合理性提高了方法。     

日光温室葡萄连续丰产性的研究

随着农业产业结构调整工作的不断深入,葡萄设施栽培作为一个高效项目迅速发展,到2000年初,全国葡萄设施栽培面积已达11.25万亩,但由于日光温室的生长条件与露地栽培条件截然不同,常常造成葡萄在日光温室内不能连续丰产,一般栽后第二年丰产性很好,而下一年开始结果枝率明显下降,表现是升温越早,下年果实越小,有些品种不能满足生产要求的产量,不少地区利用一年一裁制来解决这个问题,但苗木投资大,管理费工。为此,我们通过以下试验,力求找出解决办法.1 试验材料与方法1.1 试验材料 试验地点:在沈阳农业大学园艺系葡萄试验园的日光温室内。温室长75米,宽8米,脊高3米,定植沟垂直后墙,沟内定植双行,沟距（大行距）3米,沟     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

航空材料技术彰显奥运之美——中航一集团材料研究院研制开幕式演出道具“奥运纸”纪实

北京奥运会开幕式总导演张艺谋说：我认为在所有的创意中，最值得骄傲和自豪的是那张纸。在全世界运动员的参与下，形成了伟大的作品。没有任何可能性使全世界204个国家和地区的最优秀的年轻人集合起来帮你做这件事情，哪怕帮你踩脚印。