Domain-specific modeling and verification for C4ISR capability requirements

来源 :中南大学学报(英文版) | 被引量 : 0次 | 上传用户:ivy2357
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.
其他文献
Swelling and shrinkage due to moisture-change is one of the characteristics of the expansive soil,which is similar to the behavior of most materials under therm
Hypothesis testing analysis and unknown parameter estimation of both the intermediate frequency (IF) and baseband GPS signal detection are given by using the ge
A lifetime prediction method for high-reliability tantalum (Ta) capacitors was proposed,based on multiple degradation measures and grey model (GM).For analyzing
To accurately evaluate the degradation process of prestressed concrete continuous bridges exposed to aggressive environments in life-cycle,a finite element-base
A series of rare earth complexes Tb1-xEux(MAA)3phen (x=0.00,0.01,0,03,0.05,0.07,0.09,0.10,0.30,and 0.50) were synthesized with MAA as the first ligand and phen
A district heating and hot water supply system is presented which synthetically utilizes geothermal energy,solar thermal energy and natural gas thermal energy.T
To improve the accuracy of strapdown inertial navigation system (SINS) for long term applications,the rotation technique is employed to modulate the errors of t
A novel method for the preparation of single-phase ammonium dimolybdate with industrial ammonium molybdate was studied.Various influential factors were evaluate
Carbon nanotubes (CNTs) were coated by tungsten using metal organic chemical vapor deposition.Magnetic stirring was employed to disperse the W-coated CNTs (W-CN
To deal with fault detection and diagnosis with incomplete model for dead reckoning system of mobile robot,an integrative framework of particle filter detection