虚构解方法程序验证

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

UKF方法及其在方位跟踪问题中的应用

采用UKF(Unscented Kalman Filter)方法处理了平面内地面站对目标的方位跟踪的估计问题。目标的位置和速度由选定的高斯分布采样点来近似，在每个更新过程中，采样点随着状态方程传播并随着非线性测量方程变换，由此不但得到目标位置和速度的均值及较高的计算精度，而且避免了对非线性方程的线性化过程。仿真结果表明，UKF方法比传统的扩展卡尔曼滤波(EKF)算法有更高的估计精度，并能有效地克服非线性严重时，方位跟踪问题中很容易出现的滤波发散问题。     

可拓优度评价方法在创新项目选择中的应用

创新项目选择是否得当，直接关系着企业的生存和发展。针对创新项目选择的可行性问题，文章将可拓工程中的优度评价方法应用于创新项目的选择过程之中，运用定性与定量相结合的方法，对项目方案进行评价，为决策提供可靠依据。