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

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

军事装备建筑中的地面车炮库分析

近年来,我军加快新军事变革步伐,大力引进新技术开发新装备,全军各类军事装备得以进一步更新和优化.按照新时期军事斗争准备的要求,为保证军事装备的正常工作就必须对此领域进行全面建设,军事装备建筑的出现正是为了满足各种装备的需求而产生的.针对车炮库的分析和探讨研究,从理论角度出发,结合部队建设实际,深入分析地面车炮库的现状情况,并论述了地面车炮库规划与建设的指导原则,对车炮库区的规划与建筑设计进行了细致的阐述.     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

舰艇嵌入式模拟训练技术的应用及发展

本文介绍了舰艇嵌入式模拟训练技术基本概念和原理、国内外舰艇嵌入式模拟训练技术的发展概况,分析了舰艇嵌入式模拟训练技术特点和发展动态.     

特大灾害事故现场后勤保障探析

面对特大灾害事故大量增多 ,如何有效处置特大灾害事故 ,不仅使消防部队的灭火救援工作面临着新的考验 ,而且也给部队的后勤保障工作提出了新的要求。通过分析特大灾害事故的特点 ,探讨建立和完善特大灾害事故现场后勤保障新机制的必要性及其对策措施。     

关于我院教学保障的几点思考

随着经济和社会的发展 ,教学保障在教学工作中的地位和作用在发生深刻的变化。教学保障如何适应新形势下教学工作的需要 ,一是应改变保障观念 ,二是探索保障的新思路和新方法 ,为教学和科研工作提供强有力的物质技术条件、优质高效的服务     

以指挥车为中心的火灾现场图像传输系统

火灾事故现场指挥不畅 ,已成为制约消防部队完成灭火救援任务的重要因素之一 ,火灾现场图像传输系统的运用是一个重要的解决方案。论述微波火场图像传输系统的组成、原理 ,并用典型事例说明图像传输的作用。     

论图书馆员服务的真善美价值

图书馆员服务需要真、善、美,服务价值是真、善、美的统一,也是图书馆员服务的升华。     

微小卫星编队飞行轨道动力学及相对位置保持控制方法

微小卫星编队飞行是20世纪90年代中、后期出现的航天新概念,它是通过一组群聚卫星的协同工作完成相应的空间任务,具有广阔的应用前景。对微小卫星编队飞行的轨道动力学建模进行了详细研究,并应用势函数方法推导了用于卫星编队飞行相对位置保持的连续控制律及离散控制律。     

导弹批量测试仿真研究

针对现存导弹批量测试中存在的问题,采用离散仿真方法,论证了在不改变现有测试规程,而适当增加测试工位,优化测试流程,可显著缩短批量导弹测试时间,提高快速反应能力和生存能力.仿真系统可对多个不同方案论证,生成的横道图可直接用于测试组织指挥.