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

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

关于深入学习贯彻中央新疆工作座谈会精神的决议

(2010年9月16日兵团党委六届五次全委(扩大)会议通过)兵团党委六届五次全委(扩大)会议于2010年9月15日至16日在乌鲁木齐举行。会议进一步学习贯彻中央新疆工作座谈会和自治区党委七届九次全委(扩大)会议精     

实施人才推进计划 推动科技事业发展

兵团创新型人才推进计划力求通过多层次、多渠道的培养方式,努力为兵团重点产业和新兴产业发展、生态环境建设、民生改善等提供科技人才支撑。     

90年代的新型步枪(上)

第二次世界大战以后,世界步枪经历了两次大换装,一次是50年代换装7.62毫米队径,一次是60年代开始换装5.56或5.45毫米小队径。到80年代末。世界上大约有100来个国家的军队换装了小(?)队径步枪。进人90年代以后,步枪的发展虽然大多未脱常规,但其总体性能比过去又有所改进。中国新5.8毫米自动步枪     

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

一种双工温控电路

本文提出了一种采用帕尔贴技术固态继电器技术制作的双工温控电路,该电路在实际应用中十分安全可靠。     

树立社会主义荣辱观 促进屯垦戍边新型团场建设

社会主义荣辱观是社会主义价值观的集中表现,是指导我们开展各项工作的道德标准,是社会全体公民的行为指南,在解决社会主义社会中存在的各种问题上,社会主义荣辱观也起到了积极的作用。     

新型团场建设中的困难及对策

屯垦戍边新型团场建设不能盲目照搬国外或国内发达省区“以工补农、以城带乡”的新农村建设的经验和模式,兵团必须根据自身特点和优势,充分发挥在农业机械化,规模经     

一六三团新型团场建设实现新跨越

在国家一级内陆口岸巴克图口岸与塔城之间,有一座楼房林立、环境如画的新建城镇格外引人注目。这就是荣获创建全国文明村镇工作先