【摘 要】
:
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力
【机 构】
:
解放军理工大学指挥自动化学院,中国人民解放军66165部队
论文部分内容阅读
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
其他文献
目的:观察地塞米松治疗因椎管内麻醉穿刺或置管时神经根损伤的效果。方法:选择椎管内麻醉穿刺或置管时发生神经根损伤120例,随机分为观察组和对照组各60例。观察组于发生神经
在经济全球化的现代市场时代,市场竞争,首先是品牌的竞争。拥有品牌,就掌握了在市场竞争中的主动权。而品牌建设离不开"诚信"这个核心。品牌是企业家诚信作为的结晶、是员工
寿胎丸出自《医学衷中参西录》,由菟丝子,桑寄生,川续断,阿胶组成。诸多医家用之治疗先兆流产、习惯性流产,积累了丰富的研究文献和临床经验,近年来其药物实验研究进展颇大。
为进一步了解麻阳河国家级自然保护区两栖爬行类的资源分布和物种多样性特征,于2013年5~6月对麻阳河国家级自然保护区两栖爬行动物资源进行了实地考察。调查结果显示,麻阳河
介绍自举式IR2110电路在驱动电机中的特殊应用,并就其典型电路进行了分析,尤其是自举电容的选择以及电路可能出现的问题进行了探讨。
汉语中的“了”字习得是韩国学生汉语学习者的难题之一。为解决该问题,迄今为止有一些学者与学生写了关于“了”的论文并取得一定成果。但是实际上还有很多韩国学生对“了”
好的客服是企业销售成功的关键。一个合格的电子商务客服,除了应该具备一些基本的素质,如待人热情、态度谦和、诚信耐心、熟悉计算机基本操作等,还应掌握一定的沟通技巧,这些
期权是一种重要的金融衍生工具,在风险管理中被广泛运用。鉴于当前煤炭价格波动对国家宏观经济及煤炭企业及其下游企业的负面影响所导致的宏观、中观和微观层面的风险,我国应
油田系统建设过程中,地面工程的建设成本是整个系统工程成本中最重要的部分,也是占有最大比重的部分,在系统设计阶段实现油田地面集输管网的优化设计能够有效降低工程成本,提
在分析交流伺服系统特点的基础上,设计了基于DSP+FPGA的多轴交流伺服电机同步运行控制系统,包括系统的硬件设计和软件设计,并实现了4个交流伺服电机同步运行的P ID控制算法。