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

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

不同结构拦截弹的毁伤能力研究

在电磁发射器发射拦截弹撞击来袭目标的过程中,拦截弹的结构材料参数是影响拦截弹加速性能及毁伤能力的一个重要因素。在实验中常用的铝合金材料拦截弹基础上,提出铝-钢、铜-钢2种复合拦截弹结构,以拦截弹与钨合金杆式穿甲弹的碰撞过程为例,对3种拦截弹对来袭目标的毁伤能力进行对比分析。     

编队协同防空作战中的火力兼容判断研究

火力兼容是影响编队协同防空作战能力发挥的一个关键问题。针对编队协同防空作战过程中,怎样判断各舰艇防空武器系统之间是否存在火力冲突的问题,通过对编队防空作战火力兼容原理的分析,建立了编队协同防空作战中的火力兼容判断模型。能够辅助编队指挥员在制定编队协同防空决策方案时,进行火力兼容检测,从而消除方案中可能存在的火力冲突,保证编队防空作战能力最大程度的发挥。     

仿生偏振光导航传感器量测模型研究

仿生偏振导航传感器仿照昆虫利用天空偏振光进行导航的原理,测量载体的姿态和方位,具有精度高、功耗低等优势,是一种新型的导航传感器．根据偏振导航的原理分析偏振导航传感器的测量参考矢量和导航能力,根据其参考矢量的数量及性质,对偏振导航传感器使用在不同性质载体上的测量进行建模,并提出其对载体进行定姿的条件．     

“沉默的螺旋”理论对军队思想政治教育的启示

“沉默的螺旋”理论启示我们：思想政治教育要通过“增强主旋律的影响力、发挥军人群体认同的渲染作用、发挥军人群体规范的制约作用、注重典型示范”来营造强大的“教育场”,以提高教育效果。     

基于最小维修策略的多阶段任务成功性仿真模型

基于最小维修策略,给出了一种新的多阶段任务成功性仿真模型.该模型可以对多阶段任务中部件的失效维修过程进行仿真,从而计算出多阶段任务的成功概率,并对任务成功率关于备件的敏感性进行分析.仿真结果表明了该模型的正确性和易用性.     

基于等值线约束的地磁匹配定位技术

地磁匹配定位是利用地磁图进行定位的方法,位置输出可用于限制惯导系统的误差积累.介绍了地磁辅助导航的原理和发展现状,并重点研究了地磁匹配定位技术.提出了一种基于等值线约束的改进的相关匹配算法,能有效消除导航系统的初始位置误差并能限制匹配过程中惯导系统的积累误差.仿真实验证明该算法能有效地提高相关匹配的实时性,并能把定位精度控制在地磁数据网格间距以内.算法对航向误差具有一定的适应性.     

GPS欺骗干扰原理研究与建模仿真

针对GPS欺骗干扰,分析了自主式与转发式干扰相关技术特点,重点研究了GPS转发式欺骗干扰的原理及实现方法,建立了GPS欺骗干扰对抗系统的主要数学模型,利用SYSTEMVIEW平台设计开发了GPS欺骗干扰仿真系统,通过仿真,验证了转发式欺骗干扰原理,给出了在一定干扰功率条件下转发误码率与干性比的关系,得到了各个转发信号的延迟量.所阐述的原理及仿真技术对于GPS欺骗干扰的分析与实现具有重要的参考作用.     

陶瓷基装甲抗枪弹机理研究现状

从陶瓷基装甲的特点出发,介绍了其抗弹性能的评定指标,讨论了弹靶撞击过程的划分,重点评述了抗弹机理的研究方法和陶瓷基装甲的耗能机制;并总结了影响陶瓷基装甲抗枪弹性能的4个主要因素:陶瓷厚度、约束条件、弹丸形状和撞击速度.     

基于PDA-UKF的杂波环境下单目标跟踪算法

提出将概率数据关联算法和不敏卡尔曼滤波相结合,用于杂波环境下的单目标跟踪。该算法同时解决了测量方程非线性情况下的滤波问题和杂波环境下的目标跟踪问题。给出了PDA-UKF算法的仿真过程,提供了一个基于距离、方位角、俯仰角的目标跟踪问题的仿真算例。理论分析与仿真结果均表明,该算法提高了滤波的稳定性和跟踪的精确性,具有较高的实用价值和广泛的应用前景。