排序方式: 共有56条查询结果,搜索用时 15 毫秒
2.
3.
为改善金属基复合材料的加工质量,提高加工精度,对表面涂覆金刚石薄层的涂层刀具开展了钻削实验研究。结果表明,与未涂层刀具相比,涂层刀具轴向力小,磨损程度轻,钻孔几何轮廓规则且表面质量好,是钻削加工金属基复合材料的优先首选。 相似文献
4.
安全协议的扩展Horn逻辑模型及其验证方法 总被引:5,自引:1,他引:5
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例.在基于函数式编程语言Objective Carol开发的安全协议验证工具SPVT中,实现了上述算法,验证了算法的正确性. 相似文献
5.
6.
增强现实技术在虚拟演播室系统中的应用 总被引:4,自引:0,他引:4
虚拟演播室是虚拟现实技术和视频合成技术相结合的产物,其场景是计算机生成的三维场景,由于人们对虚拟场景和复杂度的无限要求,使得场景的实时显示十分困难,使用基于图像的绘制技术构造虚拟空间能够较好地解决这个问题。在虚拟演播室中,演员需要与三维运动虚拟物体进行交互,运用增强现实技术,可以将三维虚拟物体与基于图象绘制的虚拟场景融合在一起。 相似文献
7.
虚拟空间会议系统中视频合成技术的研究与实现 总被引:4,自引:1,他引:3
虚拟空间会议系统能够把所有与会者合成同一个虚拟会场中,从而构造一个能提供无缝的会场环境,眼神接触、凝视感知等普通多媒体会议系统不具备的虚拟协同工作环境。VST系统是我们刚刚完成的一个虚拟空间会议系统。视频合成技术是其实现的关键技术之一。本文介绍了VST系统中视频合成技术的研究与实现。 相似文献
8.
针对变分模态分解(VMD)中难以确定分解分量个数k和惩罚参数α的问题。提出一种改进的变分模态分解方法—基于萤火虫算法及主模态分析法的变分模态分解(FA-PMA-VMD)方法。该方法用主模态分析(PMA)对VMD分解的带限内禀模态函数(BIMF)分量进行排序;用萤火虫算法对变分模态分解的最佳影响参数[k,α]组合进行搜索,以新提出的正交低峰值作为萤火虫算法的优化目标,得到的最佳的惩罚参数α和分量个数k组合;根据预先设定的故障特征参数自适应地将信号分解为k个BIMF分量。通过对仿真信号和齿轮齿根裂纹实际故障信号进行分析,分析结果表明FA-PMA-VMD具有良好的分解效果。 相似文献
9.
10.
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件. 相似文献