排序方式: 共有320条查询结果,搜索用时 15 毫秒
71.
72.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
73.
74.
针对大规模三维视景仿真中同时对场景全局和各目标模型细节观察的需求,设计了一种基于OpenGL的主辅式多视口场景渲染结构。通过对OpenGL视口定义、深度检测及投影变换等技术的灵活应用,该多视口结构在“导弹突防三维视景仿真系统”中得到了实现,有效地解决了多观察点同时兼顾的问题。 相似文献
75.
阐述了系统仿真中涉及的新技术,介绍了仿真新技术在国内外舰船作战系统中的应用情况,分析了我国舰船仿真技术的发展现状及与国外的主要差距,提出了舰船作战系统仿真应用的建议。 相似文献
76.
建立标准信息管理系统的难点在于为内容广泛的标准确定统一的描述形式,建立公开高效的标准发布方式和满足用户个性化检索需求.从标准信息的表现形式出发,建立了标准统一描述形式;通过关键词检索服务和命令检索服务建立了高效的标准发布方式;通过身份认证服务和用户订阅服务满足了用户个性化检索需求. 相似文献
77.
基于Virtual.Lab的某型减速器建模及仿真 总被引:1,自引:0,他引:1
为了预测某型自行火炮减速器的寿命,基于Pro/E实体模型,用Virtual.Lab建立了其虚拟样机模型,提出并简述了动态关联的模型校核验证方法,并利用动态关联法,对所建立的虚拟样机模型进行了验证,确认所建立的减速器虚拟样机符合实际情况,同时该虚拟样机模型通过加载得到了二档速度B级路面下太阳齿轮受到的扭矩,为下一步齿轮的校核打下了基础。 相似文献
78.
毫米波因其分辨力强、穿透性强、光子能量低的独特优势,在无损检测领域具有极大的潜力.针对毫米波无损检测应用,结合距离徙动算法和非均匀快速傅里叶变换的思想,提出一种适用于非均匀平面阵列的三维成像算法.该算法利用非均匀快速傅里叶变换在波数域重构信号频谱,克服了非均匀空间采样对传统基于傅里叶变换的成像算法的限制;该算法应用非均... 相似文献
79.
为解决单通道条件下异步非平稳干扰抑制问题,提出基于数据驱动的稀疏分量分析干扰抑制方法,旨在从接收到的混叠信号中恢复期望信号。该方法利用深度卷积神经网络对输入/输出端数据间的复杂映射关系的强大建模能力,实现了目标信号稀疏域的自适应选择、稀疏域中目标信号稀疏表示的自适应学习以及目标信号的自动恢复。与以往干扰抑制算法不同,所提方法在时域上完成了“端到端”的信号波形恢复,且对混叠观测无先验要求,相比现有方法更具普适性。仿真实验验证了所提干扰抑制方法在不同环境噪声和干扰信号强度及泛化测试条件下的有效性,对干扰的抑制性能显著优于现有算法。 相似文献
80.
针对云平台上有向无环图科学应用执行容易产生虚拟机资源过剩、资源使用率低及费用虚高的问题,给出一种基于关键路径截取的有向无环图应用调度算法。该算法采取关键路径截取技术,循环找出最晚完成的未分配任务,从该任务出发,在所有未分配任务构成的图中找出最大连通子图,并计算该子图的关键路径,然后将关键路径上的任务集调度到性能匹配的虚拟机上执行;同时通过任务回填技术充分利用虚拟机的空闲时间槽,提高资源使用率。实验结果表明,在云计算平台上,该算法不仅能够在截止时间内完成有向无环图科学应用,而且可以提高资源使用率,有效减少完成该应用所需整体费用。 相似文献