全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于陆基导航系统的航空器定位三维约束平差算法及其仿真计算
- 作者： 宋韬 来源： 兵器装备工程学报 年份： 2019 文献类型 ： 期刊 关键词： 三维约束平差 精度评定 陆基导航 区域导航 仿真计算
- 描述： 计算的定位点坐标求解算法。该算法将已知点坐标作为约束条件,以各测量值间的立体几何关系为基础开列误差方程,可实现定位点的高精度三维坐标求解。通过理论推导和飞行模拟仿真计算,验证了三维约束平差算法在充分利用
- 基于ANSYS Workbench自控飞机回转机构驱动功率的计算及电机选型
- 作者： 赵九峰 来源： 机械 年份： 2019 文献类型 ： 期刊 关键词： 游乐设施 动力学分析 电机功率 起动时间 自控飞机
- 描述： 介绍了自控飞机回转机构各阻力的计算方法,给出了一些参数和计算公式的确定方法,并通过实例进行计算,完成自控飞机回转机构驱动功率的计算及电机选型,并对起动时间进行了校核计算。进一步通过ANSYS
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。