DIS的多武器模拟器训练系统

现有的武器系统模拟器大多是对单个武器系统平台的性能仿真,利用DIS可以将它们联结成多武器平台的作战环境下的对抗仿真。在分析基于DIS的多武器系统模拟器训练系统的基础上,确定了系统的仿真框架,介绍了系统中通信的实现方法,并介绍了系统的工作过程。     

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

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

老牛顶伤女工 责任该由谁担

[案例]为节约人力,同住一个农业连队的廖某、陈某、蔺某、李某等人口头协议,把几家的牛都集中起来,由大家轮流放牧。2007年2月6日,轮到蔺某与李某放牛。当天早上,蔺某与李某一起将牛群赶到渠边上吃草。当天中午,廖某将留在家中的一头怀孕母牛也赶到渠边来放。当廖某靠近蔺某所放牛群时,被牛群中冲出的陈某家的一头老牛项倒,导致腰椎骨折。为此,廖某住院治疗,并支付医疗等费用合计32724元。廖某伤愈后,曾就自己的医疗费等经济损失,找陈某及当日放牧的蔺某与李某协商赔偿。     

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

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

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

军事科学院军队建设研究部与中国兵器科学研究院签署战略合作协议

为认真贯彻落实胡锦涛主席关于军民融合式发展的重大战略思想,建立军队建设与兵器工业技术创新发展的直通式高端交流平台,经过充分论证与精心准备,2011年8月24日,军事科学院军队建设研究部与中国兵器科学研究院在京共同签署了战略合作协议。双方商定,     

外商投资特许权中政府保证的法律问题研究

外商投资特许权项目(BOT)是近年来被世界各国普遍采用的国际新型投资、融资方式。而BOT投资方式的实施在很大程度上取决于是否能够获得政府保证。这是因为,尽管外国投资者以BOT方式投资于东道国的基础设施建设既开拓了市场又可以赚取利润,但它与一般投资方式相比存在更大的商业风险和政治风险。正是由于BOT投资方式存在着巨大的风险,才使得政府保证有其存在的必要性。     

ATM协议识别方法及其受系统误码分布的影响分析

分析了协议识别的概念,提出了用于ATM协议识别的策略及其状态机模型,建立了系统误码的分布模型,通过理论公式推导与仿真,重点对δ、α的取值及其对ATM协议识别概率的影响进行了分析。     

协会搭平台——推进核技术应用交流与合作

本刊讯:促进核技术在更广领域的应用是中国和平利用军工技术协会2007年的中心工作之一。为此,协会在前期调研的基础上,于2007年5月20日邀请中国原子能科学研究院和有关单位就核技术应用进行座谈和交流,通过沟通签署了合作协议。     

基于链路质量评估的飞行自组网抗干扰多路径路由协议

随着通信网络不断向各领域延伸,飞行自组网作为一种新型移动自组织网络,以飞行器作为空中无线通信节点建立网络,实现网络层高效通信.首先,通过考虑链路质量、流量负载和空间距离构建多路径路由模型,并设计抗干扰的多路径路由算法;其次,构建基于源节点路由回复包接收速率的解析模型;然后,对模型进行分析与评价;最后,通过仿真实验验证所...