仿真与响应曲面法的结合及其在综合生产计划中的应用

 论述响应曲面法与仿真相结合的优化结构,着重讨论了一阶和二阶响应曲面的仿真拟合原理和寻优过程,从而可在仿真环境下给出最优决策参数。利用所开发的GASPRSM仿真优化软件,对飞机工厂生产计划安排进行了仿真运行,证明可以取得显著的经济效果。     

铸造SiCp／ZL101复合材料的组织与性能

本文利用半固态搅拌铸造法制备了ＳｉＣｐ／ＺＬ１０１复合材料，对其组织和某些性能进行了研究，结果表明：ＳｉＣｐ在基体中分布均匀，无严重团聚现象，与基体结合良好，与基体合金相比，耐磨性，硬度有显著提高。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

三维有限元网格的自动划分

本文作者从研究结构的数学模型入手,讨论了建立三维结构有限元计算模型的方法。成功地获得了一些具有应用代表性的三维板壳和块体结构有限元计算网格的自动划分原理和算法。     

面内强磁场下铁磁板壳的自由振动

本文研究了面内强磁场环境下铁磁板壳的自由振动问题。基于Eringen-Maugin的关于磁弹性作用的理性力学模型,从理论上推导了一般壳体在磁场中的运动方程,进而求解了面内强磁场作用下的小磁化率悬臂铁磁薄板自由振动频率。数值计算结果表明,本文模型和已有的实验结果吻合很好。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

CARDC 2.4m引射式跨声速风洞设计与运行调试

中国空气动力研究与发展中心研制了可更换喷嘴的中压气体引射器 ,利用现有中压气源驱动 ,建成一座增压回流引射式跨声速风洞。试验段截面尺寸 2 .4m×2 .4m ,M =0 .3～ 1 .2。稳定段最高工作压力为 0 .45MPa ,最高模型试验雷诺数Rec=1 5× 1 0 6(M =0 .90 ,C =0 .2 4m) ,稳定吹风时间≥ 1 5s。风洞气动回路上分别配置有多喷管引射器、栅指扩散段、跨声速试验段驻室抽气系统及特殊的主排气系统等装置。采用智能自适应解耦控制技术 ,实现总压和M数独立、快速、精确地控制。该气动布局与部段配置及其功能设计 ,在国内跨声速风洞中均是首次采用。     

GPS定时校频应用技术的基础研究

针对利用GPS进行定时校频技术开展了一系列的应用基础研究,包括GPS定时校频的方法及其不确定度、定时校频数据的处理等。在给出实验结果的同时,对影响GPS定时精度的各种因素(包括SA影响)进行了讨论;同时对提高GPS定时精度的途径作了初步探讨。     

A survey of radio jets with Chandra and HST

Relativistic jets are a common property of radio-loud Active Galactic Nuclei (AGN). Understanding jet physical properties is an essential precursor to understanding the mechanisms of energy transport, and ultimately, how energy is extracted from the central black hole. In this paper, I highlight recent developments from Chandra and HST observations of kpc-scale jets in AGN, with particular emphasis on our survey of 17 radio jets in a sample of FRII radio galaxies. These observations show that (1) X-ray and optical emission is common from kpc-scale jets, (2) a large fraction of the bolometric luminosity is emitted at X-rays, and (3) in most sources, a candidate emission process for the X-rays is inverse Compton scattering of the Cosmic Microwave Background off the relativistic electrons in the jet. If the latter scenario holds, the implication is that jets are still relativistic on kpc scales.