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

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

论高技术武器装备的作用与局限

1．高技术武器装备使空战的作用突出,并可能作为一个单独的战役为尔后的地面作战奠定胜利的基础     

触摸知识化军人

俄罗斯军事学家苏沃洛夫曾经说过：“无知比敌人还坏,它可能葬送整个军队。”迎接知识军事的挑战,首要的是催生知识化军人,包括人掌握知识的水平、人的创新意识与能力以及所需的物质、技术和人文条件。     

日光温室葡萄连续丰产性的研究

随着农业产业结构调整工作的不断深入,葡萄设施栽培作为一个高效项目迅速发展,到2000年初,全国葡萄设施栽培面积已达11.25万亩,但由于日光温室的生长条件与露地栽培条件截然不同,常常造成葡萄在日光温室内不能连续丰产,一般栽后第二年丰产性很好,而下一年开始结果枝率明显下降,表现是升温越早,下年果实越小,有些品种不能满足生产要求的产量,不少地区利用一年一裁制来解决这个问题,但苗木投资大,管理费工。为此,我们通过以下试验,力求找出解决办法.1 试验材料与方法1.1 试验材料 试验地点:在沈阳农业大学园艺系葡萄试验园的日光温室内。温室长75米,宽8米,脊高3米,定植沟垂直后墙,沟内定植双行,沟距（大行距）3米,沟     

“军事经济人”假设与军事经济学基础

文章从军事经济活动的微观主体对象出发,运用“军事经济人”假设,对军事经济研究提出了新的观点。运用效用最大化理论,从物质和非物质两个方面来分析军事经济微观主体的行为,指出“军事经济人”与一般“经济人”的异同点,界定了“军事经济人”的特性,并概要地论述了“军事经济人”与军事经济学基础理论的内在逻辑关系。     

反馈系统强镇定的区间算法

反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 .     

矩阵论在研究微波元器件中的应用

采用酉矩阵的性质 ,证明微波无耗器件S参数的一个重要性质———幺正性。     

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

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

通信网络拓扑抗毁性算法

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

增强党委班子的创造力

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