并行离散事件仿真中的DDM机制实现

在并行离散事件仿真系统中实现仿真模型间的互操作机制需要引入类似HLA中定义的声明管理(DM)和数据分发管理(DDM)服务.我们开发的KD-PADSE高性能并行离散事件仿真环境采用谓词断言和对象代理方法在面向对象的并行离散事件仿真系统中实现了基于平行结构和事件调度机制的声明管理(DM)和数据分发管理(DDM)服务.在以千兆以太网互联的10节点Linux集群计算机上,采用DDM机制后仿真模型每秒(物理时间)可以进行1万次属性更新,是没有采用DDM机制时的20倍,在功能性和性能上验证了该DDM机制在并行离散事件仿真系统中的适用性.     

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

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

论军事人才外流成本的控制

文章运用经济学的方法,通过分析军事人才外流的产生机理和控制理论,阐述了在控制人才外流时制度的供给问题,并对军事人才外流的控制提出了可行性建议。     

基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

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

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

柔软物体力触觉形变模型验证系统

为了验证柔性物体力-形变模型的合理性,构建了基于CC2531芯片的无线数据收发平台、力传感器测量平台和FALCON手控器位移测量平台的力-形变模型验证系统。以新鲜猪肝脏为实验对象,研究了弹性形变实验和穿刺实验的作用力与位移之间的关系;以力-形变测量数据为基础,进行了参数验证校调。仿真实验结果表明:模型中力-形变特性与实际测量值保持一致。该系统能广泛应用于柔性物体力-形变模型验证,对于促进力触觉虚拟医学仿真系统的发展具有重要意义。     

强爆轰驱动超高速碎片发射装置设计因素分析

为了得到发射装置设计因素和超高速碎片性能间的关系,考虑了药型罩的材料、炸药种类、装药长径比、药型罩的锥角、药型罩的厚度、药型罩顶部靠近装药侧的曲率半径等设计因素,采用AUTODYNTM,结合正交试验,对超高速碎片的发射过程进行数值模拟。结果表明,3种发射装置结构分别可以提供质量为1. 533 g的紫铜碎片、速度为11. 649 km/s的铝碎片、动能为85. 6 k J的铝碎片; 2种发射装置结构均可以提供质量大于1 g、速度高于11 km/s的密实结构圆柱状碎片。验证了仿真方法的可信性,对影响碎片性能的设计因素进行了分析、排序,并得到了这些设计因素与碎片质量、速度、动能的关系。     

携带诱骗信息的多层网络隐写方法

为了提升网络隐写方法中秘密信息隐蔽传输的安全性,研究了携带诱骗信息的多层网络隐写方法。方法分为两层,高层方法用于携带诱骗信息欺骗检测者,低层方法利用网络协议栈纵向多协议之间的关系编码秘密信息,实现隐蔽通信。实验结果表明,该方法能够在保证隐写带宽的同时,确保了秘密信息传输的安全性。     

基于C~4ISR体系结构的防空导弹指挥系统设计

主要分析了C4ISR体系构架,阐述了C4ISR体系结构视图的概念、作用以及相互关系,对应框架中提出的三个视图从需求、设计、实现三个层面提出了以C4ISR体系结构为主导进行新一代防空导弹指挥系统设计的思想。     

美越核能协议暗指中国

讽刺的是。就像当年美国通过建立工业伙伴关系以及技术转让等将中国打造成制衡苏联的力量一样．现在美国也在对中国外围的国家做着同样的事情。不过，从长期来看，这种做法增加了世界朝多极而不是两极发展的可能性。