咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 机械工程
    • 2 篇 控制科学与工程
    • 1 篇 兵器科学与技术
  • 2 篇 理学
    • 2 篇 系统科学

主题

  • 3 篇 形式化校核
  • 2 篇 vv&a
  • 1 篇 时-频分布
  • 1 篇 验证与确认
  • 1 篇 自导系统
  • 1 篇 校核
  • 1 篇 时态逻辑
  • 1 篇 二维互相关
  • 1 篇 仿真可信性
  • 1 篇 联邦
  • 1 篇 模糊层次分析法
  • 1 篇 联邦概念模型
  • 1 篇 建模与仿真
  • 1 篇 hla

机构

  • 3 篇 西北工业大学

作者

  • 2 篇 康凤举
  • 2 篇 杨惠珍
  • 1 篇 李家宽
  • 1 篇 yang hui-zhen
  • 1 篇 陶岩
  • 1 篇 li jia-kuan
  • 1 篇 kang feng-ju

语言

  • 3 篇 中文
检索条件"主题词=形式化校核"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
HLA联邦形式化校核方法初探
收藏
分享
引用
系统仿真学报 2008年 第22期20卷 6039-6041页
作者： 杨惠珍 康凤举 西北工业大学航海学院 西安710072
概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的... 详细信息
来源： 评论
联邦概念模型及其VV&A研究
收藏
分享
引用
计算机仿真 2009年 第7期26卷 109-112页
作者： 杨惠珍 李家宽 康凤举 西北工业大学航海学院 陕西西安710072
联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模... 详细信息
来源： 评论
鱼雷自导系统仿真的VV&A研究
鱼雷自导系统仿真的VV&A研究
收藏
分享
引用
作者： 陶岩 西北工业大学
学位级别：硕士
仿真可信性是仿真系统的永恒的生命线，随着系统仿真技术应用领域的不断扩展，仿真可信性／可用性／可接受性已经称为研究者关注的焦点。VV&A理论正是在这种背景下发展完善的，仿真系统VV&A技术的应用是保障仿真系统可信性的重... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件