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

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

增强党委班子的创造力

创造力是人们创造性地认识和改造世界的能力。对一级党委班子来说,创造力就是创造性地贯彻落实上级决策指示、创造性地研究解决现实问题、创造性地总结新鲜经验、创造性地抓好工作落实的能力。创造力是党的先进性的重要组成部分,同凝聚力、战斗力一样,也是党委班子建设的本质要求,是党委核心领导作用的重要体现。     

军事法律关系研究

军事法律关系是军事法律体系逻辑起点的基本范畴 ,是主体、客体和内容的统一。本文就军事法律关系的概念、主体和客体作一回溯性的研究和评析 ,并以此来构筑我国军事法学的理论体系。     

通信网络拓扑抗毁性算法

探讨了计算机网络抗毁性评价,提出计算机网团和拓扑抗毁度的概念,给出拓扑抗毁度计算公式和计算实例,提出的拓扑抗毁度计算方法对评价计算机网络的抗毁性有参考价值.     

稳像式坦克火控系统的几个总体技术问题

从火控系统的总体角度出发,对稳像式坦克火控系统行进间射击的几个技术问题进行了分析,供火控系统总体设计时参考.     

复杂系统使用保障测试性设计方法初探--故障设备影响分析及其应用

分析了复杂系统使用保障测试性设计方法的技术背景,系统战备状态的含义、重要性和描述方法;重点探讨了系统设备级(初始约定层次)故障设备对系统分系统战备状态影响进行分析的有效方法。并以某防空导弹武器系统为例,介绍如何利用功能分析法具体解决复杂系统使用保障测试的可测性、可控制性和可观察性等工程化设计问题。推荐一组实用的系统/分系统战备状态(正常/降级/故障)判定逻辑运算数学模型和基层级综合保障(使用保障+维修保障)计划流程图。     

模糊偏序关系的一种信息集成方法

以模糊超过关系、模糊不协调关系为例,就模糊偏序关系给出了一种基于分组加权极大(极小)算子的信息集成方法,讨论了该方法的一致性、非独裁性等性质.     

γ辐射试验装置的设计

介绍了一套为γ射线监测仪表检定及核动力装置辐射防护与监测设备研制、屏蔽材料性能试验服务的γ辐射试验装置.同时给出了该试验装置γ辐射场的测试结果.     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。