装备体系需求参考模型及形式化分析

来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户:hejizhou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对装备体系需求的内涵模糊的问题,提出了装备体系需求参考模型——强调装备体系与它能够解决的问题之间的关系。基于高阶逻辑分析,描述了装备体系军事需求及需求规格必须满足的关系,给出了充分性命题和必要性命题;讨论了装备体系需求和需求规格的命题一致性、合理性。装备体系需求必要性命题有助于正确评价需求、避免获取一些错误特性;装备体系需求规格必要性命题有助于人员在需求规格开发中正确分工。
其他文献
从总体上看,我国产业结构得到不断优化,人们生活水平不断提升;但是,与发达国家相比,我国依然存在人均收入水平低、技术创新能力差、第三产业发展滞后等诸多问题。加强对金融
目的:研究术中脑干听觉诱发电位(BAEP)及面肌旁路传导反应(1ateral spread response,LSR)在微血管减压治疗脑神经疾病中的应用价值和意义。方法:本院2005年8月至2007年1月收治三叉神
【正】 在资本主义市场上,中间商人有时先向国外进口商出售商品,成交后再向实际供货人购进,由实际供货人负责装运出口。该中间商人从买卖价格中赚取利润。在此情况下,中问商
针对仅具有少量雨洪配套资料(成灾或未成灾)的山丘区小流域,提出利用降雨~水位关系确定山洪灾害临界雨量预警指标的降雨~水位关系推估法,指标以区间形式表示。基于地区暴雨递
水电厂是我国国民经济稳定发展的重要保障,因此,其电气自动化设备的稳定性也关系着整个水电厂领域的发展与进步。本文简述了当前水电厂电气自动化控制设备稳定性存在的问题,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
在部分权重信息下的不确定语言环境中,提出一种交互式多属性决策方法。定义了不确定语言变量的相似度、不确定语言方案的期望水平、不确定语言负理想点、不确定语言的方案达成