对象约束语言对武器系统效能评估指标体系的描述与验证

来源 :计算机应用 | 被引量 : 2次 | 上传用户:jcm917
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言(UML)规范的一部分对象约束语言(OCL)对其进行精确描述。最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据。
其他文献
提出了一种识别电网关键线路的新方法。该方法将电力系统等效为有向加权网络,根据最大流法求出线路传输能量并与位置参数一起建立关键性指标,不仅考虑到线路潮流的传输特性还将
视频目标检测中,光照变化、摄像机噪声和错误背景更新是目前的难题。提出一种带跟踪补偿的时空背景差彩色图像运动目标检测方法。首先,建立混合高斯背景模型,通过在彩色图像差分中加入影响因子消除光照变化;接着,通过帧间差分及邻域差分,加上运动跟踪种子补偿,获得真实运动目标的种子点;在背景差分粗前景基础上,根据连通区域运动种子点过滤法,检测出最终的真实而且完整的前景目标。通过多个实际视频监控的视频数据集的实验
为了实现医用电磁导航系统波形发生装置的小型化、便捷化,介绍了一种采用DDS芯片AD9833与数字电位器AD5252芯片来产生幅值、频率、相位均可调的正弦信号发生装置。系统利用C8
在位置相关查询(LDQ)中由于用户的移动性和数据的位置相关性,给缓存替换策略带来了新的挑战。在详细分析位置相关数据(LDD)的空间位置特性和几种典型的位置相关缓存替换策略的基础上,提出一种基于最小访问代价的缓存替换策略(PLAC),一些重要的缓存替换因素如访问概率、更新频率、数据距离和有效范围等都包含在代价函数里,PLAC根据代价函数值的大小来决定被替换的数据,由此来保证有限缓存的最大使用率。通过
一家不起眼的小公司,短短两年时间之内,成长为行业内的领先企业; 一个不到50人的团队,凭着金石为开的恒心,壮大为一支600多人的队伍; 一群富有朝气、充满活力的精英,以用户的
过去的2003年,曾被认为是"洋水务"大举进军中国水务业的一年。洋水务的身影频频出现在沈阳、天津、重庆、南昌、郑州、上海、北京等10多个城市。资源性缺水与水质性缺水是中
金铁林教授热爱学生的事迹广为人知。几十年的教学生涯,使他培养了三百多名弟子,多数是全国声乐骨干和业务尖子,李谷一、彭丽媛、阎维文、张也、宋祖英、祖海、张迈……都是