共查询到20条相似文献,搜索用时 31 毫秒
1.
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 相似文献
2.
Jerk模型是Singer模型的改进模型,它提高了对机动目标的跟踪精度,但延长了从起始跟踪到稳定跟踪所需时间.提出一种对Jerk模型的改进,选取一个合适的分段点,初始段采用四维扩充的Singer模型,分段点后采用Jerk模型,通过调入不同的参数就可以实现跟踪模型的转换,仿真结果表明改进的Jerk模型到达稳定跟踪的时间缩短,并且跟踪精度不受影响. 相似文献
3.
如何改进装备审计风险模型并用以识别和评估装备审计风险,从而提高装备审计的质量和效率,推进装备审计的可持续发展,是当前的一个重要问题。从审计实践看,可将原有审计风险模型改进为:审计风险=(舞弊风险+错报风险)×检查风险。改进后的模型更加符合装备审计风险的内涵和特征。 相似文献
4.
5.
6.
7.
潜艇战术软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,它直接关系到潜艇战术软件的各项性能指标。对潜艇战术软件的建模问题进行了探讨和研究。 相似文献
8.
水面舰艇战术应用软件研制中的建模研究 总被引:1,自引:0,他引:1
水面舰艇战术应用软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,直接关系到水面舰艇战术应用软件的各项性能指标。本文针对水面舰艇作战的特点,对其战术应用软件研制中的建模问题进行了研究。 相似文献
9.
感兴趣区域ROI(Region of Interesting)模型和层次细节LOD(Level of detail)模型是静止图像压缩及网络传输技术中两个重要模型.采用基于认知心理学的图像感兴趣区域提取模型,通过显著图法自动地得到与人眼视觉较吻合的ROI区域,并使ROI区域获得比背景区域更好的图像效果.同时通过将图像网格化,并在图像网格上进行B样条细分小波变换,实现了图像在不同分辨率下LOD压缩算法. 相似文献
10.
11.
分析了小采样周期条件下“当前”统计模型、基于速度估计的自适应模型及自适应常加速度模型,对3种模型的稳态性能和动态性能进行了分析比较,并对3种模型的机动目标跟踪效果进行了仿真。仿真结果表明:小采样周期条件下,3种模型的稳态跟踪性能一致,而在动态跟踪条件下自适应加速度模型性能更优。 相似文献
12.
13.
针对目标回波小尺度幅度起伏特性模型进行了介绍。对雷达线性接收机和对数接收机的特性和模型进行了对比。对雷达信号级仿真中,由于雷达采用非线性对数接收机造成的目标回波小尺度幅度起伏特性模型与接收机模型相互耦合的原因和所产生的影响进行了分析。提出对这样的模型耦合问题必须解决,以保证仿真研究结果的有效性。 相似文献
14.
15.
故障检查间隔期的简化计算方法 总被引:3,自引:0,他引:3
建立了定期故障检查策略下系统的可用度模型,在满足系统可用度要求的条件下,可以使用该模型确定故障检查工作的间隔期。为了简化故障检查间隔期的计算,给出了故障时间服从指数分布时,故障检查间隔期的上、下限计算公式及应用示例。 相似文献
16.
机动目标模型的研究进展 总被引:3,自引:0,他引:3
回顾了近年来机动目标模型的研究与发展;重点分析讨论了Singer模型、"当前"统计模型、自适应当前输入统计模型、Jerk模型及坐标转弯模型的优缺点,指出了各个模型的局限性,并得出有意义的结论;最后指出了机动目标模型研究的难点及未来的研究方向. 相似文献
17.
HLA作为IEEE认定的分布式仿真标准,随着在军事、民用等仿真领域的广泛运用,其自身的模型重用性、互操作性等不强的弱点逐渐暴露出来,越来越不能满足大型复杂仿真系统的需要。将MDA方法引入HLA仿真系统设计中,尝试用MDA的模型思想对HLA系统进行开发,提升HLA的模型重用性和互操作性。对MDA在HLA系统中各种模型的设计和表述方式进行了分析研究,提出了一个基于MDA开发HLA仿真系统的开发流程,建立了一个基本开发框架,从软件开发的角度提高了系统的开发效率。 相似文献
18.
19.
给出一种基于模型故障诊断的实现方案——MCIES,着重介绍MCTES所采用的建模方法和推理策略,最后介绍该系统各组成模块的功能。 相似文献
20.
基于RANS方程,结合不同湍流模型与空化模型对粘性流中二维NACA66012模型水翼附近流场进行数值计算与模拟.计算得到固定攻角、固定来流速度时升力系数和阻力系数随空化数的变化规律以及固定空化数时升力系数随攻角的变化规律,并对相应流场进行分析.在二维水翼空化流动的准稳态模拟中,重点对比分析了不同湍流模型、空化模型对空化流动模拟结果的影响,并将计算结果与实验数据进行比较.研究结果表明,在二维水翼附近空化流动的数值模拟中,采用k-ω湍流模型和均相流空化模型计算得到的结果与实验数据吻合较好.最后,采用分离涡模型对不稳定的空化流动进行了瞬态模拟,并得到空化流动的变化规律. 相似文献