全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 基于需求转移的航空公司座位分配博弈模型
- 作者： 秦瑛 霍佳震 陈军 王伟迪 日期：2016-12-22 来源 ：统计与决策 文献类型 ：期刊 关键词：收益管理 座位分配 重复博弈 纳什均衡 触发策略
- 描述：竞争环境下座位分配要考虑旅客需求在不同航空公司和不同产品间的转移,而且非零和博弈的纳什均衡因计算复杂很难找到。文章建立了一个动态模型来描述座位分配的重复竞争博弈,博弈方在每一轮博弈时决定是否停止销售低价票,即低价票的停止点。得到了在绝不宽恕的触发策略下子博弈完美纳什均衡路径,分析结果和数值算例表明在考虑需求多向转移情况下,要有更多的座位保留给高价票;算例分析还揭示了最佳停止点随转移概率的变化规律。最后讨论了总期望收益的变化趋势并为航空公司实施座位分配策略提出了一些建议。
- 基于需求的航空发动机研制过程分析
- 作者： 史妍妍 王桂华 刘庆东 姜永强 汪大海 韩秋冰 日期：2017-06-13 来源 ：航空科学技术 文献类型 ：期刊 关键词：产品符合性 技术状态项 产品分解结构 研制过程 设计活动
- 描述：根据系统工程的V形生命周期模型,以产品分解结构为基础,构建基于需求的航空发动机研制过程模型。根据需求的分解、分配关系,构建基于需求的航空发动机层级结构,明确各层级技术状态项所承接需求的来源,保证驱动设计活动的需求完整性。以需求为驱动因素阐明各技术状态项的研发过程,为技术状态项的具体研制工作提供理论指导。该方法在产品符合性、成本、进度等方面,有力保障了航空发动机产品的成功研制。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 日期：2019-11-18 来源 ：计算机技术与发展 文献类型 ：期刊 关键词：模型检测 E RSML Nu SMV 形式化方法
- 描述：软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 日期：2017-11-22 来源 ：计算机技术与发展 文献类型 ：期刊 关键词：模型检测 E RSML Nu SMV 形式化方法
- 描述：软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 基于需求的军用飞机规范体系研究
- 作者： 张巧 韩祎 日期：2017-12-05 来源 ：航空标准化与质量 文献类型 ：期刊 关键词：需求 规范体系 军用飞机
- 描述：分析现有军用飞机规范体系的现状及目前规范编制存在的问题,结合基于需求工程传递及分解活动,提出了建立基于需求的军用飞机规范体系的方法,并给出了基于需求的军用飞机规范体系的内容及需考虑因素,可为后续军用飞机型号规范体系建立提供有效参考。
- 基于需求导向的地方高校航空特色专业培养机制构建研究——以滨州学院为例
- 作者： 石向阳 日期：2023-09-04 来源 ：海峡科技与产业 文献类型 ：期刊 关键词：地方高校 培养机制 航空特色专业 多元化
- 描述：地方高校的办学层次和所处地域不同以及社会对人才的需求差异,导致地方高校培养机制改革方式存在多样性、复杂性的特点。以滨州学院作为地方高校研究对象,通过实地调研分析地方高校航空特色专业存在的问题,围绕航空产业发展新要求,积极优化航空相关专业布局,提出了“专业建设融合行业标准、学历教育对接岗位技能”的航空特色培养机制,构建了“一条主线、两个融入、三个平台、四个阶段”的实践教学体系,以期培养更多满足行业需求的航空人才。
- 基于雾计算的随机并行计算方法在缩比飞机发动机数学建模中的应用
- 作者： 白文荣 日期：2018-01-03 来源 ：内蒙古工业大学学报(自然科学版) 文献类型 ：期刊 关键词：并行化预处理 雾计算 并行计算 随机选取 并行优化
- 描述：现代高性能计算机为了克服大规模集成电路和计算机制造工艺水平的限制,满足用户不断增强的计算需求,采用既能降低数据中心负载又能提高速率的并行体系结构来提供高速运算能力,符合去中心化理念的雾计算思想。本文以缩比飞机发动机数学建模作为应用背景,介绍了基于雾计算的随机并行计算方法的基本原理和实现思想,并通过实例提出创新型的随机并行计算思想。实验证明,该方法提高了企业网络共享资源利用率,推动企业大规模集成信息控制的发展和实现。
- 基于雷达航迹的航空器质量估算
- 作者： 葛腾腾 张军峰 朱海波 日期：2016-12-22 来源 ：航空计算技术 文献类型 ：期刊 关键词：航空运输 质量估算 最小二乘法 航迹预测 雷达轨迹
- 描述：为保障基于轨迹运行的顺利实施,必须提高四维航迹预测的精度,而四维航迹的精准预测依赖于航空器质量准确估算。鉴于此,构建并分析了航空器能量模型;基于雷达航迹与航空器基础资料(BADA),提出了新型的航空器质量估算方法与步骤;利用最小二乘算法求解了航空器质量的估计值;分别基于预测航迹、雷达轨迹与QAR数据,采用相对误差作为评价指标,实施验证与分析。验证结果表明,提出的方法可将航空器质量估算误差控制在5%以内,从而能够有效地提高航迹预测精度。
- 基于雷达探测概率的飞机隐身性能评估
- 作者： 刘占强 梁路江 胡祺勇 王春阳 日期：2018-01-10 来源 ：哈尔滨工业大学学报 文献类型 ：期刊 关键词：移动平滑算法 隐身性能 非相参积累检测 单脉冲检测 雷达散射截面 探测概率
- 描述：针对利用不同极化方式的雷达散射截面数据难以准确衡量飞机各个角域的隐身性能问题,提出了一种基于移动平滑算法和探测概率模型相结合的评估方法.首先设置平滑窗口对HH极化和VV极化的周向RCS数据进行了平滑处理减小了RCS极化相对误差.然后基于单脉冲检测和非相参积累检测求取了平滑数据的雷达探测概率及其探测概率误差,结合两种误差条件,并按照最佳移动平滑处理使RCS极化相对误差最小而不使原始数据信息失真,最优非相参积累检测效果尽可能反映各个角域探测概率误差信息的原则,定义了以滑动窗口尺寸和非相参积累脉冲构成的最优组合解.最后采用遍历比较法求解了隐身飞机RCS数据移动平滑及其探测概率的最优处理结果,进而对飞机重点角域的隐身特性进行了量化分析和有效评估.仿真结果表明:经过平滑处理的RCS数据,在求取非相参积累探测概率后,能够有效评估飞机重点角域的可探测性能,且组合解为(10,10)时,评估效果最佳.