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

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

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

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

美印核协议风波的深层原因

美国的全球战略与印度的大国梦想从根本上是不相容的;美国要求印度将核合作与停止核试验挂钩根本不可能;印度国内强烈的反对呼声提醒美国:在核不扩散问题上的实用主义和双重标准根本行不通。     

美国要为印度操练舰载机飞行员

2005年6月28日,美国国防部长拉姆斯菲尔德与印度国防部长普拉纳布·穆克杰在华盛顿签署两国间为期10年的军事合作协议,协议要求加强美印在武器研制、导弹防御和人员交流方面的合作。印度媒体披露,在协议中,美方承诺为印方培训航母舰载机飞行员,印度海军正希望让下一代航母舰载机更多参与大兵团作战,如果得到经验丰富的美国海军支持,可谓是如虎添翼。培训以高级攻击为主据印度《Bharat R ak-shak》传媒集团称,印度国防部会同海军已草拟了一个初步培训方案。印度将先通过印美双方在“9.11”反恐战争中建立的“情报交换走廊”(Infor-m ation …     

基于RTP MPEG-4视频流传输的研究

视频传输是当前国内外研究的重要课题,尤其就对传输过程中Qos的控制,在当前网络质量不高的情况下进行视频传输具有重要的作用.研究了RTP、RTCP等多媒体实时传输技术的原理,具体阐述和讨论了RTP的实时传输MPEG-4技术以及RTCP的传输控制技术,探讨了RTP/RTCP在战术互联网中MPEG-4视频实时传输中的实现.     

美海军将组建世界第一支水下无人舰队

在美俄首脑会议举行期间,美国国务卿赖斯与俄罗斯国防部长伊万诺夫2月24日在斯洛伐克首都布拉迪斯拉发签署了《关于加强控制便携式防空武器系统合作协议》,以防止肩扛式导弹落入怖分子或犯罪分子手中,进而威胁国际航空安全。     

不签收民事调解书也能申请强制执行

2004年8月,何某与李某因运费发生纠纷诉至法院,经法院调解,双方达成调解协议：1．被告李某在2004年底前付清拖欠的运费2．6万元;2．诉讼费由被告李某承担。李某在调解协议上签字后离开法院。当法院向李某传送民事调解书时,李某屡次不告知法院其准确的送达地址,造成民事调解书未向其送达,到了给付时间也不履行民事调解书应给付的义务。原告何某遂向法院申请强制执行,     

中国兵器工业集团公司与内蒙古自治区政府签订战略合作框架协议

7月12日,中国兵器工业集团公司与内蒙古自治区政府签订战略合作框架协议。 内蒙古自治区党委书记、人大常委会主任胡春华,自治区党委副书记、自治区主席巴特尔,自治区党委常委、秘书长符太增,自治区副主席赵双连,自治区副主席、包头市委书记郭启俊,自治区政府秘书长常海,包头市委副书记、市长孙炜东等有关盟市、部门负责人出席。     

延时中断容忍网络(DTN)捆绑层协议研究

文章对延时中断容忍网络技术的基本概念进行了介绍,并对DTN捆绑层协议的框架及重点内容进行了分析,在此基础上,提出了捆绑层协议实现的基本思路,为DTN技术在军事通信领域的应用提供了参考。     

基于OPNET的进程建模方法研究

简要介绍了通信网络仿真的通用仿真流程,简述了OPNET通信网络仿真软件的通信仿真机制和三层建模架构,为使用OPNET Modeler进行网络仿真提供了参考.以停-等重传协议(SWaRe Protocol)为实例,重点研究了基于OPNET的进程建模方法,详细阐述了进程建模过程,最后对协议进行了仿真运行和结果分析,并简要阐述了使用该研究方法和模型的思路.为更复杂庞大的协议开发、网络仿真奠定基础,提供参考.