基于Statemate的C~4ISR系统体系结构仿真

首先简要介绍了C4ISR系统体系结构,然后在基于Statemate的系统体系结构分析的基础上,结合防空系统实例给出了它的详细开发过程,为C4ISR系统体系结构的应用提供了初始原型。该项研究对C4ISR领域的系统仿真具有重要意义,值得进一步探讨。     

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

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

基于动态交互的作战信息交换仿真方法

针对当前大型新型作战平台信息化建设存在的作战流程不清晰、作战信息不合理、互操作性差等严重影响新质战斗力生成问题,在详细分析作战信息体系需求和作战信息交换仿真需求的前提下,充分考虑作战使用人员对系统的影响,提出了基于人在回路的动态交互作战信息交换仿真方法,并研制了仿真平台,分析了作战信息交换仿真效果,指出了仿真方法和平台改进发展方向,为大型新型作战平台信息化建设以及作战训练提供了论证方法和手段支撑。     

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

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

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

航母C^3I系统演示验证初探

本文首先探讨了演示验证的概念,接着介绍了演示验证技术的发展,重点讨论了演示论证的目的、要求与条件,并以航母C~3I系统的演示验证系统为对象,构想了其内容和系统组成,最后讨论了演示验证与系统仿真、原理样机的关系。     

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

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

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

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日在斯洛伐克首都布拉迪斯拉发签署了《关于加强控制便携式防空武器系统合作协议》,以防止肩扛式导弹落入怖分子或犯罪分子手中,进而威胁国际航空安全。