关于正则分离性和正规分离性的几个一般性定理

针对拓扑中正则分离性和正规分离性问题，给出了几个一般性结论。首先给出了文[1]一些常见集族的某些共同性质，然后，统一处理和改进了T-分离性、S-分离性的、T^*-分离性的一些结果。最后，在文[1]基础上，进一步统一和改进了各种正则和正规空间关于拓扑性质、可积性等方面的一些结果，并给出了几个一般性定理。     

一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性

我们在文[1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文[1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。     

完备度量空间上的不动点定理

1922年,Banach证明了压缩映射的不动点的存在性。不动点理论对于解决一些实际问题诸如代数方程、微分方程、积分方程中都有应用。B ranc iari[1]提出了完备度量空间上的边值压缩,并证明了边值压缩映射的不动点定理。本文给出了完备度量空间上的三个不动点定理,推广了B ranc iari[1]中的结果,并且举例说明本文的结果是对Banach压缩定理的推广。     

包含初值或终值条件为驻值条件的非线性弹性动力学的变分原理

历史上为使初始条件为驻值条件的哈氏型原理曾在文献[1～2]中研究过。但文献[1]中仍要求末时刻位移变分为零;而文献[2]中的形式实为虚功原理。对于线性情形,文献[3]中给出了包括初始条件为驻值条件的哈氏型原理。本文给出非线性情形的结果,并推广其可用于终值问题。     

Stanvagon猜想的一个推广

本文推广了Stanvagon在文[1]中所提出的猜想。并给出了新的证明方法。     

关于结构重量特性的一个推广定理及其应用

 本文对文献[1]的定理作了推广并给出严格证明,提出了一种直接获得最轻静定满应力子结构解的线性规划方法。     

实线性赋范空间中算子的Fermat定理

本文给出并证明了文中的定理１，该定理是经典分析中的Ｆｅｒｍａｔ定理在现代分析学中的合理推广。据此又给出了一个中值公式在抽象分析中成立的充分条件。最后，指出了经典分析中的中值定理在抽象分析中不成立。文中各项内容相结合，较深刻地说明了中值定理在抽象分析学中不成立的原因。     

非正则形式变换方法在卫星轨道理论中的应用

文[1]和[2]针对具有小参数的非线性常微分方程组给出了一种非正则形式的变换方法,将仅适用于正则共轭变量的正则变换方法推广到一般变量情况,从而使变换方法的应用更加广泛。对于求人造地球卫星轨道的摄动解而言,它完全可以取代平均根数法;本文针对地球引力场位函数展开式的主要带谐项(J_2,J_3,J_4)的特点,采用变换的隐形式,给出相应的卫星轨道摄动的二阶解,完全克服了平均根数法和正则变换方法(von Zeipel变换和Lie变换)在积分上所遇到的几个困难。     

k组合数通连α、β变比热解

文献[1]导出了以比热比k表示的变比热气动函数式,并根据焓值拟合式给出了解析解。文献[2]用以求解内外函混合。文献[3]给出以三个系数图解曲线为基础的仍是以速度系数为自变量的变比热气动函数式。文献[4]开展了以两个系数为基础的以马赫数Ma为自变量的变比热气动函数式,并都给了算例。本文试图以几个k组合数!来通连、系数于变比热气动函数式及其解析解,使实际应用更为方便。      

离散广义线性系统的若干结论

本文将常义离散线性系统中的部分结论推广到了广义系统的情形，给出了广义系统的正则性定理，稳定性定理、能稳性定理和输出调节定理。     

一类高阶有理差分动力系统

讨论了高阶有理差分方程xn 1=(αxn-k 1)/(-1 xnxn-1…xn-k 1),for n=0,1,…,其中α<0,k∈{1,2,…},x-k 1,…,x0都是实数,并且使得x-k 1…x0≠1。给出了这类方程解的明确表达式,并对其解的稳定性和收敛性也做了进一步讨论。     

Gao-Yong理性湍流方程

对近十年来Gao-Yong理性湍流方程的研究进行综述,给出矢量形式的可压湍流封闭方程组的推导过程。侧偏统计平均保留了湍流脉动量的一阶统计信息,在引入加权漂移速度对称性及正交各向异性后,导出了漂移流的连续方程、动量方程及机械能方程,最后依据湍流物理的唯象论,使用动量传输链概念模化封闭了整个方程组。方程组不含任何经验系数,不使用壁面函数,保留了NS方程的均化的非线性特性。其级数形式的能量方程与非线性现象多尺度层次现象相对应,具备了描述湍流统计平均流动及拟序结构流动的双重功能。已进行了大量算例验证,验证结果证明了Gao-Yong湍流方程对广泛范围的复杂湍流问题的适定性。     

The effect of inlet conditions on the flow and heat transfer in multiple rotating cavity with axial throughflow

This paper discusses experimental results from two different build configurations of a heated multiple rotating cavity test rig.Measurements of heat transfer from the discs and tangential velocities are presented.The test rig is a 70% full scale version of a high pressure compressor stack of an axial gas turbine engine.Of particular interest are the internal cylindrical cavities formed by adjacent discs and the interaction of these with a central axial throughflow of cooling air.Tests were carried out for a range of non-dimensional parameters representative of high pressure compressor internal air system flows(Re up to 5×106 and Rez up to 2×105).Two different builds have been tested.The most significant difference between these two build configurations is the size of the annular gap between the(non-rotating) drive shaft and the bores of the discs.The heat transfer data were obtained from thermocouple measurements of surface temperature and a conduction solution method.The velocity measurements were made using a two component,LDA system.The heat transfer results from the discs show differences between the two builds.This is attributed to the wider annular gap allowing more of the throughflow to penetrate into the cavity.There are also significant differences between the radial distributions of tangential velocity in the two builds of the test rig.For the narrow annular gap,there is an increase of non-dimensional tangential velocity V/Ωr with radial location to solid body rotation V/Ωr=1.For the wider annular gap,the non-dimensional velocities show a decrease with radial location to solid body rotation.      

Research on Auto-detection for Remainder Particles of Aerospace Relay Based on Wavelet Analysis

Aerospace relay is one kind of electronic components which is used widely in national defense system and aerospace system. The existence of remainder particles induces the reliability declining, which has become a severe problem in the development of aerospace relay. Traditional particle impact noise detection (PIND) method for remainder detection is ineffective for small particles, due to its low precision and involvement of subjective factors. An auto-detection method for PIND output signals is proposed in this paper, which is based on direct wavelet de-noising (DWD), cross-correlation analysis (CCA) and homo-filtering (HF), the method enhances the affectiv-ity of PIND test about the small particles. In the end, some practical PIND output signals are analysed, and the validity of this new method is proved.     

Preparation of Highly Dispersed Antimony-doped Tin Oxide Nano-powder via Ion-exchange Hydrolysis of SnCl4 and SbCl3 and Azeotropic Drying

Antimony-doped tin hydroxide colloid precipitates have been synthesized by hydrolysis of SnCl4 and SbCl3 using: (1) an ion-exchange hydrolysis to remove chlorine ions, and (2) isoamyl acetate as an azeotropic solvent to obviate water. The obtained dried powder is of high dispersivity without any need for further grinding. The size and dispersivity of the final particles are investigated with the aid of TG-DTA, BET, XRD and TEM. After having calcined, the antimony-doped tin oxide nanopowder possesses a tetragonal rutile structure with high dispersivity, uniform particles and low hard agglomeration.     

Effects of Mo on the Microstructure and Hydrogen Sorption Properties of Ti-Mo Getters

The effects of Mo on the microstructure evolution, porosity and hydrogen sorption properties of Ti-Mo getters are investigated in this work. The results show that the addition of Mo prolongs the densification process of Ti-Mo getters and results in a significant amount of sintered pores. With the Mo content increasing, the porosity of getters firstly increases reaching the maximum value as it at- tains about 7.5wt.%, and then drops. At the room temperature, the hydrogen sorption property of getters increases progressively with the Mo content increasing, but the tendency is not very clear before its content lies below 2.5wt.%. When the Mo content achieves about 7.5wt.%, the hydrogen sorption property proves to be the best. The discussion is made about the above mentioned phenomena inclusive of hydrogen sorption properties of getters under different activation conditions (from 500-750 ℃).     

超声速燃烧数值模拟中的湍流与化学反应相互作用模型

高精度数值模拟有助于理解超声速湍流燃烧中湍流与化学反应的相互作用,可为发动机燃烧室等工程应用设计提供可靠的预测模型。除直接数值模拟外,目前在湍流燃烧应用中使用的大涡模拟和雷诺平均Navier-Stokes模拟均需要借助模型模化发生在湍流小尺度上的流动与化学反应过程对湍流大尺度运动的影响。现有的湍流与化学反应相互作用模型大致可分为:火焰面类模型和概率密度函数类模型,2类模型在不同的应用中各自具有优势和局限性。此外,现有模型大都基于低马赫数燃烧,而超声速燃烧中通常会伴随快速混合、局部熄火和再着火以及激波等复杂过程,这为发展其中的湍流与化学反应相互作用模型提出了更多的挑战。     

适于低轨卫星IP网络的单核共享树组播算法(英文)

为了解决低轨卫星IP网络中现有典型源组播算法的信道资源浪费问题,本文提出了一套单核共享树组播算法,即核心群合并共享树(CCST)和加权核心群合并共享树(w-CCST)算法。CCST 算法包括动态近似中心(DAC)选核方法和核心群合并组播路径构建方法。DAC方法专为周期、规律运动的低轨卫星网络提出,不需要复杂的星上计算。在核心群合并方法中,以核节点作为初始核心群,通过核心群和剩余组成员的最短路径方法逐步扩展直至整棵组播树构建完成,从而使得组播树的树代价最小,大大提高了网络的带宽利用率和组播传输效率。w-CCST 算法中所提出的加权因子可以调整树代价和端到端传播时延之间的折衷程度,因此,可以通过调整加权因子来适度增大树代价、降低端到端传播时延以支持某些端到端时延要求苛刻的实时组播业务。最后,与低轨卫星 IP 网络中典型算法进行了性能比较,仿真结果说明,CCST 算法的平均树代价比其它算法显著降低,w-CCST 算法的平均端到端传播时延小于 CCST 算法。