王智学
- 作品数：117 被引量：295H指数：10
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术军事自然科学总论电子电信更多>>
- 需求模型中目标的关系及其发现方法
- KAOS方法在分析系统目标时只考虑了具有负面影响的冲突关系，没有提供支撑作用的判断方法。本文定义了一组类似于Tropos中使用的目标间的二元关系，扩展了KAOS的目标模型语义框架，使目标间的支撑和抑制作用明朗化。同时构造...
- 吴越王智学陈彬
- 关键词：系统模型语义框架
- 文献传递
- 一种基于Z规范的信息系统业务需求获取方法
- 需求获取是信息系统开发的关键问题之一,清晰的业务需求描述有助于准确地获取信息系统需求.文中为一种业务需求获取方法引入形式化的语义描述,提高了其语义的精确性、无二义性和一致性,以利于进行形式化推理和精化,从而更好地描述和规...
- 曾广军王智学
- 关键词：Z规范信息系统
- 文献传递
- 基于分形特征提取的调制信号识别被引量：3
- 2004年
- 研究了非平稳分形随机噪声背景下的信号调制识别问题。提取了盒维数、信息维数和高阶分形特征-缝隙尺度变化率构成分类特征向量空间,这些特征包含了信号幅度、频率和相位的变化规律,集中了各种调制方式之间的差异信息,通过理论分析和仿真表明,当 SNR>5dB 时,(1)分形特征对分形随机噪声不敏感,能充分保证分类特征在决策空间存在一个较清晰的边界;(2)在相同的 SNR 环境下,分形特征在分形噪声环境下比在高斯白噪声环境下有更好的稳定性,对5种调制样式的识别率均大于92.5%。
- 林俊熊刚王智学
- 关键词：特征提取调制识别
- 目标时序关系的形式定义和建模算法
- 2009年
- 多数目标建模方法关注于不同层次的目标关系。针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁。基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成。
- 陈彬王智学
- 关键词：面向目标
- 本体技术在军事电子信息系统的能力需求分析中的应用
- 基于能力的需求分析与获取方法为军事电子信息系统需求的正确分析与获取提供了比较好的解决方法.本体技术可以有效解决该方法中知识表示与分析的问题。本文将能力需求获取与分析划分为三个阶段,详细讨论了本体技术在使命和任务分析阶段和...
- 陈剑王智学罗运鹏戴剑锋
- 关键词：WEB服务传感器网络军事电子信息系统
- 文献传递
- C^4ISR系统能力需求行为建模及验证被引量：4
- 2012年
- 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
- 何红悦王智学董庆超徐景张兆巍
- 基于模型驱动的指挥信息系统服务设计方法
- 基于模型驱动方法,研究指挥信息系统服务设计的方法.从指挥信息系统多样性服务出发,获取我军面向服务的指挥信息系统体系结构框架,构建指挥信息系统特定领域的元模型.在此基础上,借助统一建模语言和描述逻辑的本体形式化建立相应的平...
- 牛彦杰王智学胡博
- 关键词：军事工程指挥信息系统架构设计
- 文献传递
- 面向领域知识复用的C^4ISR系统需求建模方法
- 2010年
- 为了准确地获取和复用C4ISR系统需求,提出基于多本体的需求获取与建模框架。详细介绍了在此框架下进行需求建模的过程,首先明确用户的目标模型,然后使用目标对已有的领域知识库进行查询,如果发现匹配的目标,则利用目标-任务的映射关系抽取相关知识,如果没有匹配的目标,则生成概念描述框架引导用户提出需求,最后将两部分需求合并形成最终的需求模型。需求建模过程一方面能够复用已有需求,另一方面能够在本体的引导下提出新的需求,保证了需求模型的质量和建模的效率。
- 朱卫星王智学李宗勇
- 关键词：C4ISR系统
- 基于领域知识的模型检验方法
- 本文对基于领域知识的模型检验方法进行了阐述。UML为开发人员的软件设计提供了丰富的建模元素，但是模型元素之间缺乏准确的语义约束，无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL...
- 张爱辉王智学李宗勇
- 关键词：软件开发程序语言
- 文献传递
- 可执行能力需求模型的动作语义研究被引量：1
- 2011年
- 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。
- 王智学张炜钟赵文姜志平
- 关键词：统一建模语言动作语义可执行模型
