国防科技技术预先研究基金(9140A06020206JB8101)
- 作品数：8 被引量：16H指数：2
- 相关作者：王智学陈彬李宗勇吴越杨莹莹更多>>
- 相关机构：解放军理工大学北京军区总医院更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 一种基于元模型和多视图的企业目标建模方法被引量：2
- 2009年
- 信息系统的成功研发很大程度上依赖于高质量的系统需求。企业建模可以析出目标模型,为系统需求提供依据。给出了反映企业本质属性的,具有严格语义的企业元模型。在元模型驱动下,用组织视图和业务视图对企业的组织结构和动态行为进行建模,并通过组织和业务视图建模间接地构建目标模型。这种方法使分析人员在实际建模时,能够有效地理解企业,构建目标模型。
- 陈彬王智学吴越
- 关键词：元模型
- 任务时序关系的形式化和传递闭包建模算法
- 2009年
- 建立正确、有效的任务模型是正确引导出军事需求的关键步骤。针对任务间时序关系,给出与任务建模相关的若干形式定义和命题;并根据时序关系的传递性质,给出一种建模算法。该算法通过构建时序关系上的传递闭包,帮助分析人员直观地判断任务间可能存在的时序关系,以及可能产生的并发和死锁;在传递闭包图上科学、合理地标记各个任务的时序等级属性,明确各个任务在执行序列中所处的相对位置,以及在执行序列的每个阶段需要同时展开哪些任务。
- 陈彬王智学吴越
- 关键词：军事需求
- 时态认知逻辑CTL*K的符号化模型检查算法
- 2009年
- 时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力有限。并且已知的一些模型检查算法存在内存不足和状态爆炸等问题。讨论了基于CTL*的时态认知逻辑CTL*K的语法、语义和模型,它能够在表达力很强的时态逻辑CTL*基础上描述智能体的知识、目标等意向特征。并给出了CTL*K的模型检查算法,其核心思想就是将CTL*K公式的检查问题转化为CTL*公式的模型检查问题,可以使检查的系统规模得以大幅度提高。并且将算法编码后容易集成到NuSMV模型检查器。
- 陈彬王智学
- 关键词：符号模型检测多主体系统时态认知逻辑
- 目标时序关系的形式定义和建模算法
- 2009年
- 多数目标建模方法关注于不同层次的目标关系。针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁。基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成。
- 陈彬王智学
- 关键词：面向目标
- MEISRDL静态图模型的一致性检查方法
- 2011年
- 复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEI-SRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEI-SRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。
- 郝斐蒋鑫董庆超张杰
- 关键词：描述逻辑
- 基于目标的C^4ISR系统需求行为建模被引量：8
- 2007年
- 获取C4ISR系统需求非常困难,为了准确获取系统需求,尤其是动态行为需求,需要对系统行为进行建模。为此借鉴面向目标的需求分析方法,在C4ISR系统需求描述语言MEISRDL的基础上,提出了基于目标的行为建模方法。首先分析作战任务以识别作战目标,通过精化目标构造目标模型,然后将目标作为职责分配于作战实体,最后重点分析作战实体要实现作战目标应具备的内部和外部行为。状态模型、交互模型和行为关系模型提供了多种行为描述和分析方法。通过一个实例介绍了建模的过程,验证了该方法的可行性。
- 李宗勇王智学陈彬杨莹莹
- 关键词：C^4ISR系统
- 基于图形化的本体一致性检查
- 本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在丈中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的 OWL 的本体表达方式转化为基...
- 许勇王智学李宗勇
- 关键词：本体OWLUML
- 基于三维目标建模的需求分析方法被引量：1
- 2008年
- 面向目标的需求分析方法是需求工程领域研究的热点问题之一。在深入研究目前有代表性的目标分类方法基础上,提出一种不依赖于具体应用领域的、较为系统和完整的目标分类框架和建模方法。该框架从三个角度对目标进行划分,分别将其归类为操作性或非操作性目标,硬目标或软目标以及实现型或维持型目标。这三种分类虽然相互独立,但在实际建模时可以相互补充,形成一个完整的体系,为目标建模提供不同的帮助。在此基础上,还提供了一种目标建模的具体算法,可以较好地完成目标建模任务。
- 陈彬王智学李宗勇陈国友
- 关键词：面向目标
- 基于领域知识的模型检验方法被引量：5
- 2008年
- 提出了一种基于领域知识的模型检验方法。该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础。领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求。
- 张爱辉王智学李宗勇
- 关键词：规则库领域知识潜规则本体
