王智学
- 作品数：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系统能力需求模型综合效能分析与评估方法
- 2011年
- 系统综合效能是判断C4ISR系统体系结构设计优劣的一个重要依据。对C4ISR系统能力需求模型的综合效能评估进行了研究,在定量分析系统信息优势能力和决策优势能力的基础上,提出了基于信息优势的系统综合效能分析方法和基于决策优势的系统综合效能分析方法。利用这两种分析方法可以寻找到C4ISR系统中对系统信息优势能力和决策优势能力影响最大的节点或节点集合,为网络中心系统体系设计提供指导。最后通过案例验证了方法的有效性。
- 蒋鑫王智学朱宗科连慰宗
- 关键词：信息优势
- 基于DEVS的突发事件应急响应建模研究被引量：1
- 2015年
- 现在,各类突发事件时有发生,会给人们造成很大的损失,我国正处于社会转型期,导致社会矛盾加剧,社会稳定性有待提高,我国的政府也都在采取措施加强预防,防止各类突发事件的发生影响社会的稳定。本文主要通过DEVS,通过对突发事件处理的决策,从而建立系统的仿真,开放实验室和相关的平台,从而能够模拟突发事件的环境,提高我国突发事件处理的能力。
- 刘一洲王智学王庆龙
- 关键词：应急响应DEVS仿真
- 伪码—载频体制侦察信号的谱相关函数研究被引量：3
- 2006年
- 研究了伪码—载波调频信号的谱相关函数,具体针对伪随机二相编码信号及其与正弦调频和线性调频复合信号进行了研究。从谱相关函数(SCF)和模糊函数(AF)的关系出发,利用平稳随机过程的线性周期时变变换定理,详细推导了3种复合信号的谱相关函数表达式,为进一步通过谱相关方法对伪码—载波调频信号的调制分类和参数识别奠定了理论基础。
- 林俊熊刚王智学
- 关键词：谱相关伪码调相正弦调频
