虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

一种多目标随机决策方法及其应用

本文通过引进决策方案的可行度和决策者参考目标水平的满足度等概念,提出了一种不确定条件下的多目标随机决策方法——交互式参考目标满足度与可行度决策分析中,取得了较好的效果。     

电子产品振动环境试验中有关问题的探讨

振动环境试验是力学环境试验的一种,是保证产品质量的重要手段之一[1].目前在许多军用和民用标准中,都规定了通用的振动试验方法.     

高校教师教学质量评价体系及方法初探

教学质量是高校的生命线。但由于在考核制度中片面强调科研的重要性，缺乏科学的教学质量评价体系和方法。很多高校教师对教学投入的主动性和积极性不高，教学质量的监控已经是高校管理中一个很棘手的难题，教学质量的下滑已成为人们普遍关心的问题。根据当前高校教师教学质量评价体系和方法的现状，提出了高校教师教学质量评价体系的全面性和综合性，教学质量评价方法的多维性和动态性的观点。     

航空发动机防喘压力传感器的动态校准方法

航空发动机的喘振是比较普遍又十分严重的问题。现代的航空发动机大多配备了防喘系统，该系统的作用是在发动机即将产生喘振时，改变发动机的工作状态从而防止喘振的产生。通过安装在发动机不同部位的压力传感器将压力信号传输到计算机，计算机根据其参数计算判断出发动机所处的状态。当安装在发动机不同部位的压力传感器测到的脉动压力与稳态压力的比值超过一定数值时，表明发动机即将产生喘振，此时系统将给飞行员报警，同时由机载计算机控制产生一系列动作来防止喘振的产生。     

靶场测控通信系统可靠性分析

首先确定了测控通信系统可靠性分析框架，然后针对系统构型为串并联系统、试验信息为成败型数据／寿命型数据的情况，研究了可靠性信息融合的Bayes方法，最后讨论了系统可靠性的Bayes统计推断问题，包括点估计、置信估计和假设检验。     

线性有延迟的微分方程的解

在解决一些有关生物数学的问题时，经常会遇到求解具有延迟的微分方程。到目前为止，还没有非常有效的方法求解这类方程，只是对于一小部分具有特殊形式可以求解。介绍一种此类方程的解法，其主要思想是把微分方程转化为一般的代数方程求解，然后研究解的稳定性，技巧性很强。     

实施现代化航空器材管理的方法

国内民航企业,特别是航空公司,大多脱胎于旧有的计划经济管理体制,规模小,底子薄。其经济效益普遍呈下滑趋势,有的甚至亏损。因此,合理有效控制成本,增收节支,提高经济效益便成为了国内各航空公司抗衡国际列强,生存发展的必经之路。由于航空器材(简称航材)占用航空公司流动资产比重巨大,航空器材管理是航空公司能否做好成本控制,提高效益的关键所在。分别从经营理念、航材计划管理、航材订货管理、IT支持和人力资源等方面进行了论证。     

攻击活动目标的一种最优弹道估计

 为分析活动目标的随机飞行状态和减小导弹的脱靶量,提出了数学模拟打靶的一种新方法。其中包括卡尔曼滤波理论结合最大似然法的应用,以及建立相对运动的离散化模型和灵敏度矩阵。为改善飞行状态的估计精度,论述了确立飞行弹道修正协方差矩阵的概念。除此之外,还讨论了导引敏感器静态误差影响脱靶量的估计问题。     

航空发动机变结构控制

首先建立了发动机的线性模型，然后根据发动机的工作特点，利用变结构控制理论设计出了发动机变结构控制器，仿真结构证明这种控制系统具有较好的控制效果。