何红悦
- 作品数：15 被引量：41H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事自然科学总论理学更多>>
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：可执行模型
- 文献传递
- 基于DL-Safe规则的UML状态图形式化和一致性验证被引量：3
- 2009年
- 为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.
- 何红悦宋自林周波
- 关键词：UML状态图描述逻辑一致性
- 基于本体的需求模型演变影响分析
- 2012年
- 为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方程来确定需求演变处理的优先级。这种基于本体的方法能够形成需求演变管理框架,实现对需求演变的自动管理以及对需求演变控制和需求追踪。
- 陈剑何红悦徐晓铁张炜钟
- 关键词：本体需求管理
- 智能通信业务的模型转换研究被引量：3
- 2015年
- 针对现有智能通信业务生成技术严重依赖平台环境,业务逻辑跨不同API,导致智能通信业务软件移植性差,难以适应业务需求变化快和开放的网络环境等问题,文中通过提出一种智能通信业务的模型转换方法,解决智能通信业务软件自动生成的问题。首先,从两个部分制定相应的模型转换规则,实现平台无关业务模型到JAIN SIP平台业务静态模型的转化定义,以及到JAIN SIP平台业务可执行语义模型的转化定义。然后,利用IBM RSA工具构建模型转换引擎。最后,以典型的呼叫业务为例,完成了模型转换的具体实现过程,说明了方法的有效性和可用性。
- 司旭光王智学何红悦
- 关键词：JAINSIP
- C^4ISR系统能力需求行为建模及验证被引量：4
- 2012年
- 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
- 何红悦王智学董庆超徐景张兆巍
- 基于模糊-云模型的C^4ISR系统效能需求建模与分析方法被引量：8
- 2016年
- 在C4ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C4ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C4ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。
- 王庆龙王智学何红悦朱卫星
- 关键词：云模型
- 文本数据主题挖掘与关联搜索研究被引量：6
- 2017年
- 文本数据是存储和交换信息最自然的方式,文本挖掘技术可以发现海量文本数据中隐藏的潜在知识模式。研究了文本数据主题挖掘与关联搜索技术,首先通过文本解析提取、分词预处理和索引等进行文本信息处理,然后利用基于潜在语义关系的主题发现模型挖掘大量文本数据中隐藏的主题信息,最后利用主题模型计算关键词间的关联程度进行查询扩展,从而实现关联搜索。实现了一个文本数据挖掘与关联搜索的原型系统,对Tancorp数据集进行主题发现和关联搜索,并以视化和网页同步显示关联搜索的过程。
- 朱卫星徐伟光何红悦李雯
- 关键词：文本挖掘主题发现
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：军事信息系统体系结构可执行模型
- 文献传递
- 一种支持能力需求概念一致性和合理性分析的方法被引量：11
- 2013年
- 针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术,给出了能力需求模型向模糊描述逻辑知识库的转换算法,最终采用一个模型验证案例说明了方法的可行性.
- 王智学董庆超朱卫星李雯何红悦王庆龙
- 关键词：模糊本体模糊描述逻辑
- 军事通信领域上下文本体建模及不确定性推理被引量：3
- 2014年
- 为支持军事通信业务的智能化,研究了军事通信业务上下文信息的表示和推理,提出了一种表示业务上下文信息的语法结构、语义以及上下文元信息的本体建模方法。并利用贝叶斯网络理论,提出了一种支持不确定性推理的业务上下文认知模型的构建方法,最后通过案例分析验证了模型和结论的合理性。
- 禹明刚王智学何红悦
- 关键词：上下文信息本体贝叶斯网络
