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

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

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

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

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

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

信息价值的战场网络战攻击威胁评估方法

通过构建信息价值综合评估模型,对C4ISR网络信息价值程度进行定量评估.然后对战场网络战攻击行为进行分析,将其攻击威胁量化到信息价值评估模型,通过被攻击网络信息价值的变化来衡量网络战攻击的威胁程度,从而提供了一种网络战攻击威胁的评估方法.     

天基支援下区域反导组网作战链路规划

天基信息支援下区域反导组网作战各系统实现互连、互通、互操作的关键是战术信息分发系统,而该系统中存在着多种类型的数据链路,这些链路之间又存在着各种约束条件,因此科学合理的对这些链路进行规划是系统实现的重要工作之一.建立并提出了天基信息支援下区域反导组网作战战术信息分发系统数据链路的规划模型和一种新的解算方法,为该系统数据链路的规划提供了理论依据.     

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

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

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

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

基于随机冲击的相关竞争失效可靠性评估

针对电子产品在工程实践中受随机冲击应力的影响及多失效模式的问题,以累积冲击和极限冲击来描述产品的冲击过程,考虑失效模式相关性并建立了随机冲击下产品竞争失效模型。以具有自然耗损和突发耗损特点金属化膜脉冲电容器为对象,进行了可靠性对比分析,验证了模型的合理性和有效性,为遭受复合应力影响的电子产品的可靠性评估提供了一种新方法。     

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

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

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

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