排序方式: 共有1121条查询结果,搜索用时 156 毫秒
101.
102.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性. 相似文献
103.
目标定位是雷达需要完成的主要功能之一,提出了机载探测时的地下目标定位方法-多点测量方法.在建立电磁信号从机载雷达到地下目标传播路径模型的基础上,该方法利用合成孔径技术中多点测量的特点,利用机载探地雷达在不同位置的回波时间,建立并求解包含目标信息的方程组,实现机载条件下探地雷达对地下目标的定位.同时得到了地层媒质的相对介电常数,为地层研究提供了有力条件. 相似文献
104.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
105.
对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势. 相似文献
106.
107.
108.
提出了一种预测非磁性建筑物空间磁场分布的新技术.基于等效宏观磁导率和磁化率的概念,利用静磁场积分方程法的正演计算和反演计算技术,找出了试验模块磁场测量值与非磁性建筑物空间整体磁场之间的关系.通过试验模块测量和数学模型仿真相结合的手段,达到了预测低磁钢筋混凝土结构非磁性建筑物空间磁场分布的目的. 相似文献
109.
发展了可用于模拟包含运动边界的非定常流动的数值方法。该方法采用非结构动网格技术并构造了一种MUSCL类型有限体积格式,求解考虑了动网格效应的三维非定常Euler方程。非结构网格的变形运动由弹簧近似技术实现。用上述方法计算了作正弦振动的矩形机翼非线性绕流,计算结果与实验结果吻合,得到了流体运动与固体运动耦合的非线性流动特性。计算表明,该数值方法具有较好的精度和可靠性,完全可用于气动弹性或其他流固耦合问题的数值模拟。 相似文献
110.
分布式仿真系统的体系架构对于整个系统的功能实现和运行性能起着决定性的影响,为能充分利用仿真系统测试和评估军事信息系统网的性能,该文首先介绍了军事信息系统网(Military Information System Network:MISN)的组成和特点,并在分析基于数据库的仿真系统和基于HLA(高层体系架构)单联邦仿真系统局限性的基础上,得到了基于HLA的军事信息系统网分布式仿真多联邦体系框架,实现了联邦间功能转换所需的桥接联邦.该体系框架较好地完成了多通信网系的分布式交互仿真. 相似文献