排序方式: 共有1045条查询结果,搜索用时 0 毫秒
1.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性. 相似文献
2.
3.
提出了一种可用于维修保障系统建模与分析的面向方面的Petri网模型(APON),给出了该模型形式化描述,该模型引入了方面、方面库所、方面变迁、消息颜色以及对象与方面间的消息传递函数等新的概念,体现了面向方面的思想,具有很好的模块性、继承性和可维护性,能够反映维修保障系统的动态柔性特点,最后给出了一个应用实例. 相似文献
4.
对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势. 相似文献
5.
郭振峰 《装甲兵工程学院学报》2002,16(1):1-5
分析了现代战场条件下坦克生存面临的重要威胁,强调了加强坦克主动式防护系统研究的重要性,并提出了加强我军坦克主动式防护系统的研究应遵循的原则和技术途径。 相似文献
6.
7.
管道主动消声的次级声源设计 总被引:2,自引:1,他引:2
针对柴油机排气的特点,结合有源噪声控制工程应用,提出了两种次级声源的设计方案,经过分析计算,给出了实验用次级声源. 相似文献
8.
针对柴油机低频排气噪声的频率与强度很难准确地用理论计算等困难 ,试验研究了柴油机排气管内低频排气噪声信号与排气管壁上振动信号的相互关系 .结果表明 ,低频范围内 ,振动信号与噪声信号几乎呈现周期性的完全相干 ,在相干频率处振动信号能反映排气噪声的类周期性 . 相似文献
9.
一种捷联惯导系统姿态测量新算法的应用研究 总被引:3,自引:0,他引:3
为改进捷联惯导系统姿态矩阵的解算、实时计算等问题,本文引入四元数三阶泰勒展开递推式作为捷联惯导系统的姿态更新算法,着重解决了使用三阶泰勒展开递推式进行姿态计算的方法,并对某陆地捷联惯导系统的量测数据,用C语言进行了相应的仿真.本文的工作为改进捷联惯导系统算法提供了参考依据. 相似文献
10.
海上方向是强敌对我实施战略围堵和遏制的主要方向。随着美国国防战略重回大国竞争,其遏制中国的手段推陈出新,尤其是在海空方向对我施压强度频度与日俱增。文章运用SWOT方法对我国海上方向空中安全形势进行了全面分析,认为优势体现在联合作战指挥体制、国防动员能力、列装新型防空武器等方面,劣势体现在战场建设滞后、预警探测拦截打击能力不足等方面,机遇体现在中美共识与相对稳定的周边环境,威胁体现在强敌对我的侦察威慑、空天打击、海空封锁。通过构建我国海上方向空中安全的SWOT分析矩阵,提出要进一步深化改革,加强军队与地方、平时与战时、作战力量和作战环节的“三个统筹”,发展新型防空、预警装备,以及加强沿海防空战场建设等。 相似文献