Capability requirements modeling and verification based on fuzzy ontology

来源 :系统工程与电子技术(英文版) | 被引量 : 0次 | 上传用户:jonathanwu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The capability requirements of the command,control,communication,computing,intelligence,surveillance,reconnaissance (C4ISR) systems are full of uncertain and vague information,which makes it difficult to model the C4ISR architecture.The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language (UML) and building domain ontologies with fuzzy description logic (DL).The UML modeling constructs are extended according to the meta model of Department of Defense Architecture Framework to improve their domain applicability,the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities,and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system.Finally,a case study of C4ISR capability requirements model checking is provided to demonstrate the availability and applicability of the method.
其他文献
The effect of deep cryogenic treatment on the mechanical properties of 80CrMol2 5 tool steel was investigated.Moreover,the effects of stabilization (holding at
A novel kind of waterborne epoxy coating pigmented by nano-sized aluminium powders on high strength steel was formulated.Several coatings with different pigment
An implementation of adaptive filtering,composed of an unsupervised adaptive filter (UAF),a multi-step forward linear predictor (FLP),and an unsupervised multi-
The leaching kinetics of low-grade copper ore with high-alkality gangues was studied in ammonia-ammonium sulphate solution.The main parameters,such as ammonia a
In order to present a new method for analyzing the reliability of a two-link flexible robot manipulator,Lagrange dynamics differential equations of the two-link
In order to reveal the formation mechanism of cubic carbide free layers (CCFL),graded cemented carbides with CCFL in the surface zone were fabricated by a one-s
考虑合作对策中联盟结构受到拟阵限制的情形,探讨准拟阵合作分配的理性和公平原则的公理化.利用经典合作对策τ值思想,构造了准拟阵合作对策τ值,并证明其满足理性和公平原则.最后
To improve the productivity of cluster tools in semiconductor fabrications,on the basis of stating scheduling problems,a try and error-based scheduling algorith
Mg-6%Al-5%Pb (mass fraction) anodes with different contents of zinc were prepared by melting and casting.The electrochemical discharge behavior of these anodes in
针对很多约束优化问题的最优解位于可行域的边界上或其附近的特点,提出了一种新的遗传算法.算法将种群中的可行解和不可行解分别存贮在两个容器中,新设计的交叉算子(内外交叉