非自伴情形下时滞抛物方程的惯性流形

利用Lyapunov-Perron方法在适当的谱间隙条件和适当小的时滞假设下,证明了一类非自伴算子情形下半线性时滞抛物方程惯性流形的存在性。     

方差分量的Bayes二次无偏估计及可容许估计的非负性

对于有P 个方差分量的线性模型,本文导出了方差分量线性函数的Bayes 不变二次无偏估计的显示表达式,证明了Bayes 不变二次无偏估计类形成了可容许的不变二次无偏估计的完全类。在可容许的不变二次无偏估计类中,讨论了非负参数函数的非负估计问题,给出了可容许的非负定估计存在的充要条件。     

BDS三频非差观测数据周跳探测与修复方法

随着三频技术的出现,多频观测量及其丰富的线性组合特性为周跳的探测与修复提供了新的契机。因此提出三频非差观测量线性组合对载波相位观测数据中周跳进行实时探测及修复的方法。该方法构造无几何无电离层的码相组合,并通过对历元间的电离层延迟变化量进行实时估计与消除,构造出第三组线性无关的周跳探测量。用30 s采样间隔的北斗三频实测数据对算法性能进行验证,试验结果表明:该方法可以有效地对各频点的周跳实现探测与修复,即使在电离层活跃的应用场景中,该方法依然具有较好的性能。     

飞船再入舱三维化学非平衡流数值模拟

对飞船再入舱高超声速化学非平衡三维流场进行数值模拟。控制方程为含化学反应源项的全Ｎａｖｉｅｒ－ Ｓｔｏｋｅｓ 方程组, 化学模型为高温空气的七组元模型, 其组元成分为Ｎ２ 、Ｏ２、ＮＯ、Ｎ、Ｏ、ＮＯ＋ 、ｅ－ 。差分格式采用张涵信院士提出的ＮＮＤ激波捕捉格式并用全耦合方法处理流动方程及化学反应方程, 对化学反应源项采用全隐式处理, 运用时间预处理技术以加快收敛。同时, 也对完全气体模型进行计算, 以分析真实气体效应。与实验数据对比, 说明本文结果是可信的。     

化学非平衡尾迹流场的数值计算

高超音速化学非平衡尾迹流场的分析及计算是再入空气动力学的一个重要课题。本文采用轴线极限方程,成功地消除了控制方程在轴线上的奇性;采用二阶精度的中心差隐格式,求解了抛物化的Ｎ－Ｓ方程,得到了２０ｋｍ及６０ｋｍ再入时尾迹流场的数值解。计算结果表明,在远尾迹场,对电子数密度的主要影响是Ｏ_２的吸附反应。     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

气体化学反应速率的 DSMC 方法

为预报化学反应过程,应用ＤＳＭＣ方法研究了双原子分子的离解反应,讨论了高温情况下（Ｔ～Ｅａ／ｋ）采用由实验测定得到的反应速率与气体温度间Ａｒｒｈｅｎｉｕｓ经验关系式的可靠性问题,分析了振动热非平衡效应对于离解反应速率的影响,给出了由ＤＳＭＣ方法得到的离解反应速率与气体温度的关系曲线。     

模糊非单调推理系统的实现方法

本文首先分析了非单调推理系统的两个主要过程——正确性维持过程和面向从属关系的回溯过程,讨论了模糊非单调推理系统的独特性,然后对模糊非单调推理系统的实现方法进行了探讨,并给出了模糊非单调推理系统与问题求解程序一起工作的计算机程序。     

浅谈计算机辅助外语教学

本文从计算机辅助系统的概念入手,从辅助教学系统的运作即视听语言实验室的建设、教学软件库的建设、试题库的建设以及计算机在教学研究中的地位等诸方面,阐述了辅助教学系统应用于外语教学这一具有超前意识和现实意义的问题,使外语教学改革冲破了传统观念的束缚而增加了新的、现代化的含义.     

适应科技型后备力量发展趋势 大力加强非预备役人员动员

非预备役人员是国防后备力量建设的必要组成和人民武装动员的重要对象。应顺应科技型后备力量的发展趋势,大力加强非预备役人员动员,拓展动员体系,建立统计制度,加强教育引导,完善补偿机制,灵活组织管理,实施精确动员。