,A quality requirements model and verification approach for system of systems based on description l

来源 :信息与电子工程前沿(英文版) | 被引量 : 0次 | 上传用户:weichungchen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
System of systems engineering (SoSE) involves the complex procedure of translating capability needs into the high-level requirements for system of systems (SoS) and evaluating how the SoS quality requirements meet their capability needs.One of the key issues is to model the SoS requirements and automate the verification procedure.To solve the problem of modeling and verification,meta-models are proposed to refine both functional and non-functional characteristics of the SoS requirements.A domain-specific modeling language is defined by extending Unified Modeling Language (UML) class and association with fuzzy constructs to model the vague and uncertain concepts of the SoS quality requirements.The efficiency evaluation function of the cloud model is introduced to evaluate the efficiency of the SoS quality requirements.Then a concise algorithm transforms the fuzzy UML models into the description logic (DL) ontology so that the verification can be automated with a DL reasoner.This method implements modeling and verification of high-level SoS quality requirements.A crisp case is used to facilitate and demonstrate the correctness and feasibility of this method.
其他文献
本研究选用6个小麦亲本材料,按照Griffing方法Ⅱ组配了一套双列杂交组合,研究了谷蛋白大聚合体(GMP)含量的配合力、杂种优势、遗传力及遗传模型,分析了其与农艺性状的相关关系;利用261份小麦种质资源,分析了GMP含量与烘烤品质的相关关系;选用5个来自4个地点的小麦品种材料,研究了GMP含量与环境的关系。结果表明: (1)GMP含量与蛋白质含量、沉淀值均呈极显著正相关关系。偏相...
该研究以河南大面积推广的小麦品种豫麦18-64、豫麦34、豫麦70、济麦1号四个品种的幼胚及其愈伤组织为受体材料,对其组织培养条件进行了优化;用基因枪法对携有报告基因(Bar基
Inferring query intent is significant in information retrieval tasks.Query subtopic mining aims to find possible subtopics for a given query to represent potent
王:作为一名东方人,抽象绘画和东方情节之间的关系一直都是我们思考的问题。实际上抽象艺术在十九世纪四十年代的美国已经开始兴起了,尤其是美国的抽象艺术,对西方现代艺术的
翠绿黄瓜是从荷兰引进的水果型黄瓜的品种,该品种属雌性,瓜码密,节节有瓜,主侧蔓均可结瓜,无刺,瓜长12-15 cm,果实脆绿,口感清香,风味浓郁,在长江流域适作春、秋两季保护地栽
为明确冬前灌溉和播后镇压对冬小麦抗寒性和产量形成的影响,2012-2014年在河北省高碑店市选用石新828和石麦12号2个冬小麦品种,研究了冬灌方式(分为冬灌和不冬灌)和镇压方式(分为
采用准平行光束仪对三角褐指藻等8种海洋微藻进行辐射,研究了UV-C对它们的灭活效果及特点,并确定剂量反应关系.结果表明,紫外线对三角褐指藻、中肋骨条藻、盐生杜氏藻、利玛
近年来,由于高温干旱引起的水稻减产正日益成为影响世界水稻安全发展的重要因素。通过外源调控物质缓解干旱胁迫对水稻造成的不利影响,是保证水稻抗逆栽培的有效途径之一。脱落酸(ABA)作为一种逆境激素,其抗旱功效越来越受到科研工作者重视。本文通过在水稻分蘖期进行干旱胁迫,系统比较了5种类型水稻品种间和长江下游亚区间水稻的耐旱性,在此基础上以2个抗旱性不同品种旱稻早玉香粳与常规粳稻南粳44为材料,研究了干旱
离子注入法是近年来作物育种学研究领域内正在发展的一项新兴技术.RAPD等分子标记技术用于其诱变效应的研究将有助于诱变育种的发展、遗传变异的检测及优良突变体的获得.该实