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

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

一体化联合作战与系统化建设

从一体化思想的发展、信息化条件下战争形态的发展及信息化条件下技术和装备的发展等三个方面,论述了一体化联合作战的必然性;从体系对抗性、高度复杂性、整体关联性和信息主导性等四个方面,分析了一体化联合作战需要系统化建设的必要性;提出了军队系统化建设需要协调的六大关系.     

通信网节点重要性的多指标评价方法

提出了一种评价通信网节点重要性的多指标评价方法。分析论证了现有评价方法中各单指标的优缺点,提出将"不连通节点对数"、"剩余节点对最短距离和增量"和"生成树数减少值"三个单指标进行归一化的综合方法。该方法能对令现有多种方法失效的网络进行节点重要性评价,克服了现有各种方法的缺陷。试验分析表明:该方法简单有效、鲁棒性强。     

舰船横向消磁技术初步研究

针对消磁站沿地磁东西方向建设时地磁场的补偿问题,研究了横向地磁补偿线圈的布置方案及优化问题,提出了补偿线圈部分交叠放置的布置方法,并采用Powell法对补偿线圈中的补偿电流进行了优化。实验结果表明:线圈交叠放置确实能改善横向地磁的补偿情况,而如果将交叠线圈中的电流作为独立变量分别进行优化时,横向地磁的补偿效果将得到明显的改善。     

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

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

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

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

一种天波雷达探测威力评估方法

研究了天波雷达探测威力的评估方法.基于天波雷达探测威力的3类17种指标,采用层次分析法(AHP)建立了一种三级层次结构的探测威力定量评估模型,讨论了各级权重的定量计算方法,并对模型的有效性进行了检验.结果表明,运用该方法对天波雷达进行探测威力评估是有效可行的.     

分布式防空C3I系统面向对象建模方法

采用面向对象的建模思想,把分布式防空C3I系统的各个组成部分抽象成对象,从时间、空间和功能的角度对分布式防空C3I系统进行了描述.通过确定对象类、类的属性、操作及类之间的关系而建立了分布式防空C3I系统的对象模型;通过对系统状态转换的分析,建立了分布式防空C3I系统动态模型;通过对系统功能模型的分布,利用层次数据流图建立了分布式防空C3I系统功能模型.     

登步岛渡海登陆作战经过与思考

1949年10月下旬至11月上旬,中国人民解放军在华东闽、浙沿海有两次激烈的渡海攻占敌岛的战斗,这就是金门岛战斗和登步岛战斗.金门岛进攻作战,系第三野战军第10兵团第28军和第29军各一部登陆金门岛,与国民党军3万余人激战两昼夜,两批登岛部队3个半团9086人,因后援不继,全部覆没.     

舰艇系统损伤等级模糊神经网络评估模型

在对舰艇系统损伤等级评估体系分析的基础上,建立了舰艇系统损伤等级的模糊神经网络评估模型框架.设计了框架项层模糊神经网络评估模型的模糊集合和训练样本,并对此模糊神经网络模型进行了训练.通过测试样本仿真,发现此模糊神经网络模型具有较好的评估精度.基于模糊神经网络模型的舰艇系统损伤等级评估方法克服了以往简单加权评估模型的不合理性,为舰艇系统损伤等级评估提出了一个新的评估理念.