董庆超
- 作品数：37 被引量：78H指数：6
- 供职机构：中国人民解放军海军航空工程学院更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术军事自然科学总论文化科学更多>>
- 基于模糊推理的C^4ISR系统服务发现方法
- 2011年
- 针对领域模糊信息对C4ISR体系结构分析中服务建模和发现所带来的不利影响,提出了基于模糊推理的C4ISR系统服务发现方法。从体系结构服务相关概念出发,构建C4ISR特定领域的服务模糊本体,在模糊本体的引导下,获取现实系统面向服务的体系结构需求。在此基础上,借助模糊描述逻辑的本体形式化和推理技术发现满足用户要求的系统服务。分析结果表明,该方法不仅可以解决领域模糊信息的建模表示问题,而且能够在有效的时间内为用户提供准确的服务查询结果。
- 朱卫星王智学董庆超刘影张英
- 关键词：模糊推理模糊本体模糊描述逻辑
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：可执行模型
- 文献传递
- 基于UML模型的C^4ISR系统能力需求分析与验证被引量：18
- 2009年
- 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。
- 王智学董庆超陈彬陈剑
- 一种便携式物资出入库管理设备
- 本实用新型涉及一种便携式物资出入库管理设备，由笔记本式主机和外设箱组成。其中笔记本式主机的键盘区域旁内置射频采集设备和存放条码扫描设备的存储盒；显示屏的上方内置能够前后翻转的摄像头；外设箱的箱体中设置用于打印物资出入库信...
- 杨林刘奇陈青华董庆超
- 文献传递
- 基于描述逻辑的C^4ISR系统体系结构一致性验证方法被引量：2
- 2012年
- 综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。
- 王智学董庆超姜志平王庆龙
- 关键词：体系结构
- MEISRDL静态图模型向OWL DL本体转换方法与实现
- MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出...
- 董庆超王智学张婷婷
- 关键词：军事电子信息系统推理引擎
- 文献传递
- 面向目标的C4ISR系统效能概念建模与一致性分析方法
- 2013年
- 为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.
- 王智学董庆超张炜钟蒋鑫
- 关键词：一致性描述逻辑
- 一种智能锁的控制方法及系统
- 本发明公开一种智能锁的控制方法及系统。该方法包括：根据用户的身份证信息与指纹信息生成初始二维码，并进行存储；通过二维码扫描装置扫描开锁二维码，并将开锁二维码与预先存储的初始二维码进行比对，当比对成功时，电机驱动器控制电机...
- 陈青华石松桦董庆超杨林
- 文献传递
- 基于描述逻辑的能力需求模型验证方法被引量：9
- 2010年
- 针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
- 董庆超王智学陈剑张义
- 关键词：描述逻辑OWLDL
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：军事信息系统体系结构可执行模型
- 文献传递
