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

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

增强党委班子的创造力

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

通信网络拓扑抗毁性算法

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

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

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

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

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

γ辐射试验装置的设计

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

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

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

新型聚合物水泥砂浆的研制

为解决地下坑道、海港码头及建筑工程的防腐、防水、防盐碱等防护问题,通过对成品乳液进行改性,使乳液在水泥中极易分散,能有效地使聚合物与水泥水化产物及砂、石形成有机整体。以此保证聚合物水泥砂浆具有较高的抗渗性及粘结强度。其结果证明了这种方法的有效性和实用性。     

在把握“四项教育”特点中改进方式方法

一、把握“四项教育”的系统性特点,把抓住根本与分项落实结合起来。“四项教育”抓住了新形势下加强军队思想政治建设的根本性问题。我们必须深刻认识和把握“四项教育”之间,以及“四项教育”与其他教育的内在关系,用联系的观点和统筹的办法,推动教育深入。破除走过场的思怨、重复的思想和急功近利的思想,树立长期抓、反复抓、点滴抓的思想。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.