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

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

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

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

有感于枪声与“鸟”

小时候 ,伙伴们经常会出一些“脑筋急转弯”型的问题互相考 ,其中常听的有这样一道题 :树上有 10只鸟 ,猎人开了一枪打掉了一只 ,此时树上还有几只鸟 ?同学们有说还剩九只的 ,有的则说一只也没有了。正确答案应为后者 ,因为其余九只鸟被枪声吓飞了。现在仔细琢磨起来 ,我对这个答案产生了“疑问”。我们假设剩下的九只鸟中 ,有的胆子特别大 ,面对枪口“镇定自若”呢 ?有的鸟知道“枪打出头鸟”的道理 ,分析到枪手放过第一枪而不会再放第二枪呢 ?那么 ,树上就绝对不可能一只鸟也没有。我的假设并不是无稽之谈 ,现实生活中就存在着“杀鸡给猴…     

河南省太康县加大优抚政策执法监察力度

日前,河南省太康县纪委、监察局在县人武部的密切配合下,对全县所有乡(镇)民政部门执行国家优抚政策情况进行了执法监察,有效地保证了全县军烈属、伤残退伍军人和其他优抚对象按时足额领取优抚金。 针对近几年部分乡(镇)不能按时足额发放优抚金的问题,太康县人武部积极协调配合县纪委、监察局,利用了3个月时间,对全县23个乡(镇)民政所执行国家优抚政策情况进行了一次全     

触摸知识化军人

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

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

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

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

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

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

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

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

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

谈如何加强边防检查业务规范化建设

根据边防检查业务建设的现状及要求,分析程序在边防检查行政执法中的地位,探讨加强边防检查业务规范化建设的途径.