您的位置： 专家智库 > >

中国博士后科学基金(201150M1551)

作品数：4 被引量：21H指数：3
相关作者：张鹏张建业刘博宁王占磊马秋芝更多>>
相关机构：空军工程大学西安科技大学更多>>
发文基金：中国博士后科学基金陕西省自然科学基金中国人民解放军总装备部预研基金更多>>
相关领域：自动化与计算机技术环境科学与工程航空宇航科学技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇航空宇航科学...
  • 1篇环境科学与工...

主题

  • 1篇时间序列
  • 1篇时间序列相似...
  • 1篇搜索
  • 1篇搜索方法
  • 1篇曲率
  • 1篇作战
  • 1篇无人机
  • 1篇无人机作战
  • 1篇相似性搜索
  • 1篇模糊故障树
  • 1篇可靠度
  • 1篇故障树
  • 1篇仿真
  • 1篇STAGE
  • 1篇SYSML
  • 1篇B/C
  • 1篇DO-178

机构

  • 4篇空军工程大学
  • 1篇西安科技大学

作者

  • 4篇张鹏
  • 2篇刘博宁
  • 2篇张建业
  • 1篇张登成
  • 1篇徐浩军
  • 1篇朱和铨
  • 1篇马秋芝
  • 1篇谢文俊
  • 1篇申舟
  • 1篇王占磊

传媒

  • 1篇电子与信息学...
  • 1篇计算机应用与...
  • 1篇计算机应用研...
  • 1篇航空学报

年份

  • 1篇2015
  • 1篇2013
  • 2篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
软件可靠度的模糊故障树评定方法被引量：6
2012年
软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并给出了软件可靠度算式。选择某型航空装备软件进行了测试实例分析,实验结果表明了该方法评价结构的合理性与评价算法的有效性,适用于软件质量及开发过程控制的工程实践。
刘博宁张鹏张建业马秋芝
关键词：可靠度故障树
模型驱动的软件构件研制保证水平验证方法被引量：2
2015年
在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。
朱和铨徐浩军张鹏张登成孙曦
关键词：SYSML
基于曲率距离的时间序列相似性搜索方法被引量：10
2012年
针对几种时间序列相似性度量方法存在的序列元素值依赖性,对序列信息挖掘不充分等问题,该文提出一种新的时间序列分段、近似表示和相似性度量方法。在对序列信息和规律充分挖掘的基础上,对时间序列进行分段并建立了各分段的精确拟合模型,用分段的拟合曲线在各时刻处曲率组成的曲率序列对原时间序列进行近似表示,给出了时间序列的曲率距离定义。最后,提出了基于曲率距离的时间序列相似性搜索算法。该方法充分挖掘了序列信息,对时间序列的主要形态特征进行了有效保留和识别,经实验验证了该方法的有效性、稳定性和准确性。
刘博宁张建业张鹏王占磊
关键词：时间序列相似性搜索
基于STAGE的无人机作战仿真研究被引量：3
2013年
在对无人机作战特点及使用样式深入研究的基础上,综合运用STAGE(scenario toolkit and generation environment)仿真软件,给出以HLA为核心的无人机作战仿真系统框架,构建无人机和导弹等关键实体扩展模型,开发了战场仿真环境。结合无人机典型作战想定,设计了仿真流程,并进行仿真推演。结果表明此战法打击效果较好,具有一定实用意义,为无人机作战研究提供了一种新的可行研究思路。
申舟谢文俊张鹏
关键词：无人机作战仿真STAGE
全选 清除 导出
共1页<1>
聚类工具0