咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 电气工程
    • 1 篇 电子科学与技术（可...
    • 1 篇 航空宇航科学与技...
    • 1 篇 兵器科学与技术

主题

  • 2 篇 任务安全性
  • 1 篇 仿真验证
  • 1 篇 时间自动机
  • 1 篇 航电系统
  • 1 篇 防暴弹药
  • 1 篇 形式化建模
  • 1 篇 发展趋势
  • 1 篇 发展现状

机构

  • 1 篇 武警工程大学
  • 1 篇 中国电子科技集团...
  • 1 篇 西北工业大学

作者

  • 1 篇 崔晓萍
  • 1 篇 韩佩
  • 1 篇 衣健民
  • 1 篇 马存宝
  • 1 篇 牛浩田
  • 1 篇 翟浩龙

语言

  • 2 篇 中文
检索条件"主题词=任务安全性"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
防暴弹药任务安全性研究综述
收藏
分享
引用
兵器装备工程学报 2021年 第4期42卷 12-17页
作者： 翟浩龙 崔晓萍 武警工程大学装备管理与保障学院 西安710086
为充分发挥防暴弹药的战术性能,提升应变能力,需要加强其非致命性能的研究,尤其需要研究任务中的安全性,确保在使用过程中弹药打击能量的有效控制和终端效应的精准把握。通过综述防暴弹药任务安全性的研究现状,基于理论研究、试验测试... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向航电系统任务安全性的形式化建模与验证
收藏
分享
引用
系统工程与电子技术 2023年 第5期45卷 1553-1569页
作者： 牛浩田 马存宝 韩佩 衣健民 西北工业大学民航学院 陕西西安710068 中国电子科技集团公司第20研究所 陕西西安710068
针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型。随后,将危险致因和安全约束分别... 详细信息
来源： 维普期刊数据库 维普期刊数据库 博看期刊 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件