虚构解方法程序验证

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

小功率单轴燃气轮机及其功热并供装置变工况典型解析特性

采用动力机械变工况特性解析分析方法［１,２］,分析总结了使用离心式压气机的小功率单轴恒速燃气轮机稳态变工况的典型特性及一些定量规律。所得燃气轮机装置典型效率曲线及统计公式得到了实际数据的验证。计算了该种燃气轮机功热并供装置用饱和蒸汽供热时的典型情况及其他一些变工况性能,如大气温度的影响等     

三阶幻方问题的代数解法

介绍了中国古代数学家甄鸾和杨辉关于三阶幻方的一个构造方法。用线性代数的方法构造三阶幻方约束方程组时,当自由未知量分别取1,2,3,…,9时,对应的方程组共有56组整数解,为了找出幻方的全部解,需要确定自由未知量取值的限制条件,由此对方程组中的自由未知量的取值进行了分类探讨,进而求出三阶幻方的全部解。利用线性代数的方法去探求三阶幻方的解法种数显然不是最简捷的,但却有完备的理论做保证。此外,提供了一个如何利用线性代数知识来解决实际问题的实例,并简介了三阶幻方所具有的奇妙的特性。     

Onboard orbit determination using GPS observations based on the unscented Kalman filter

Spaceborne GPS receivers are used for real-time navigation by most low Earth orbit (LEO) satellites. In general, the position and velocity accuracy of GPS navigation solutions without a dynamic filter are 25 m (1σ) and 0.5 m/s (1σ), respectively. However, GPS navigation solutions, which consist of position, velocity, and GPS receiver clock bias, have many abnormal excursions from the normal error range for space operation. These excursions lessen the accuracy of attitude control and onboard time synchronization. In this research, a new onboard orbit determination algorithm designed with the unscented Kalman filter (UKF) was developed to improve the performance. Because the UKF is able to obtain the posterior mean and covariance accurately by using the second-order Taylor series expansion through the sampled sigma points that are propagated by using the true nonlinear system, its performance can be better than that of the extended Kalman filter (EKF), which uses the linearized state transition matrix to predict the covariance. The dynamic models for orbit propagation applied perturbations due to the 40 × 40 geo-potential, the gravity of the Sun and Moon, solar radiation pressure, and atmospheric drag. The 7(8)th-order Runge–Kutta numerical integration was applied for orbit propagation. Two types of observations, navigation solutions and C/A code pseudorange, can be used at the user’s discretion. The performances of the onboard orbit determination were verified using real GPS data of the CHAMP and KOMPSAT-2 satellites. The results of the orbit determination were compared with the precision orbit ephemeris (POE) of the CHAMP and KOMPSAT-2 satellites.     

面向对象的航空发动机稳态建模研究

以一个面向对象发动机仿真平台为基础,研究影响航空发动机稳态模型精度的因素。在面向对象稳态模型中可灵活选取共同工作方程,宜封装多种仿真算法,以适应各种求解需求,首选拟牛顿法。     

非光滑Fuzzy多目标规划的Fuzzy有效解的Mond-weir型对偶定理

本文研究具有Fuzzy约束的非光滑Fuzzy多目标规划（FVP），利用分明多目标规划建立了（FVP）的Mond-Weir型对偶模型，得到了Fuzzy有效解的弱对偶、直接对偶和逆对偶定理。     

视觉导航信息可观性分析的Matlab Symbolic Computation方法

提出了视觉导航信息估计的Matlab Symbolic Computation方法，计算了视觉导航系统中6个自由度变量的最优估计的误差协方差阵的秩、特征值和特征向量，并得到了导航信息可估的条件及结论。通过仿真不仅进一步验证了文献[2]中理论推导及结论的正确性，而且简化了理论分析过程。本文提出的方法具有实际应用价值。     

空气龄的数值解法

提出了用ＣＦＤ法求解空气龄的具体方法，其步骤为先求解Ｎ－Ｓ方程，后求解空气龄。为求解Ｎ－Ｓ方程，采用了改进型ＨＳＭＡＣ法，并给出了压力和速度同时修正的方法。为求解空气龄，推出了空气龄输送方程式和给出了空气龄和速度成分的边界条件。计算机模拟验证了求解方法的有效性并由空气龄求出了通风效率。     

一类具有分布时滞和离散时滞中立型积分微分方程周期解

考虑了具有分布和离散时滞的方程tt dd t x(t)(-)B(t,s)x(s)ds =C(t,s)x(s)ds +i=l(t,x(t -(t)))+b(t) ∫-∞ A(t,x(t))x(t)+ ∫-∞ ∑giτi周期解的存在性问题。文章通过利用线性系统的指数二分性和 Krasnoselskii不动点定理得到了1上述方程周期解存在唯一的充分条件,结论推广和改进了已有文献的结果,并通过一个例子说明该结果的优越性。     

喷注壁面楔状流层流边界层速度与温度相似解

建立了壁面有喷注的楔状流层流边界层冷却数学模型,求解经相似变换得到的描述无量纲流函数和无量纲温度的常微分方程,获得了楔状流层流边界层无量纲速度和温度的相似解,给出了考虑壁面喷注边界条件的形式简洁、物理意义明确的无量纲流函数拟合式;用Runge-Kutta法求解无量纲速度与温度的常微分方程,获得了壁面有喷注的楔状流层流边界层无量纲速度和温度随楔形角、吹风参数、冷却介质温度的变化规律.通过计算0°,18°和36°楔形角的楔状流层流边界冷却速度与温度分布得到以下结论:楔状流速度边界层和温度边界层厚度都随楔形角的增大而变小,随着吹风参数的增大而增大;当冷却介质温度越低、吹风参数越小、楔形角越大时,靠近壁面处楔状流层流边界层内温度梯度越大.