MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

多孔介质隔热材料中的辐射热传递分析

新型的多孔材料以其重量轻、强度高备受航天工程设计人员的亲睐,尤其是作为隔热材料使用,可以说是航天工程热防护系统的热门材料.多孔介质在辐射热传递方面具有吸收发射和散射的功能,这些功能在其接受外来热流的作用下,于内部达到热能量平衡,求解这一平衡方程就可以求出辐射热流在材料中的分布.由于求解这一方程的困难,许多学者对材料特性...     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

高真空低重力环境下液态工质排放地面模拟试验研究

针对航天器在空间高真空低重力环境下的流体回路液态工质排放有关问题,以月球环境为例,搭建了月球重力等效地面试验系统,开展地面真空排放试验,获取了工质排放过程中的管路压力和温度变化规律,分析了影响工质排放速率的因素。试验结果表明：工质排放过程中管路的温度基本不变,回路初始压力、工质沿程温度以及排放口温度对于排放速率的影响较小。     

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

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

加入增益介质的F-P干涉仪和衍射光栅光谱仪的光谱特性对比

对加入增益介质的F—P干涉仪的光谱特性与衍射光栅光谱仪的光谱特性作了定量对比。结果表明，加入增益介质的F—P干涉仪的光谱特性要明显优于衍射光栅光谱仪的光谱特性。这为光谱精细结构分析提供了更为理想的选择。     

Global Response of Martian Plasma Environment to an Interplanetary Structure: From Ena and Plasma Observations at Mars

As a part of the global plasma environment study of Mars and its response to the solar wind, we have analyzed a peculiar case of the subsolar energetic neutral atom (ENA) jet observed on June 7, 2004 by the Neutral Particle Detector (NPD) on board the Mars Express satellite. The “subsolar ENA jet” is generated by the interaction between the solar wind and the Martian exosphere, and is one of the most intense sources of ENA flux observed in the vicinity of Mars. On June 7, 2004 (orbit 485 of Mars Express), the NPD observed a very intense subsolar ENA jet, which then abruptly decreased within ∼10 sec followed by quasi-periodic (∼1 min) flux variations. Simultaneously, the plasma sensors detected a solar wind structure, which was most likely an interplanetary shock surface. The abrupt decrease of the ENA flux and the quasi-periodic flux variations can be understood in the framework of the global response of the Martian plasma obstacle to the interplanetary shock. The generation region of the subsolar ENA jet was pushed towards the planet by the interplanetary shock; and therefore, Mars Express went out of the ENA jet region. Associated global vibrations of the Martian plasma obstacle may have been the cause of the quasi-periodic flux variations of the ENA flux at the spacecraft location.     

电火花多次切割提高硬质合金表面质量的研究

阐述了硬质合金材料的电火花线切割加工特点.通过采用限位棒、恒张力装置提高电极丝的空间稳定性,并在前两次切割采用复合工作液最后精修采用煤油作为工作介质对硬质合金YG8进行了多次切割.试验结果表明,多次切割的加工表面粗糙度达到1μm以下;与采用复合工作液精修后的加工表面相比,煤油精修后的加工表面微裂纹和微孔洞均明显减少,获得较好的加工表面质量.     

低能耗非热等离子体NO还原特性

分别建立了新型低能耗N2-NO系统的单电极尖端放电和介质阻挡放电非热等离子体NO还原实验系统,通过实验研究了电极极问电压V和尖端距离lg以及Al2O3,CaO,MgO,玻璃等不同介质阻挡对活性N原子产生及NO还原率的影响规律。结果表明,NO还原率随尖端距离lg的增大而先增后减,随极间电压Vm和气体停留时间t的增大而增大,尖端距离lg是决定电极之间的电场强度Eg和气流停留时间t的关键几何变量。利用活性N原子的产生条件解释了放电外轮廓直径及电场强度随尖端距离lg变化的消长规律。不同阻挡介质所形成的气体放电的电场强度不同,提供给活性粒子的能量也不同,从而对NO还原效果具有不同的影响。单电极尖端放电NO还原特性的研究结果对介质阻挡放电NO还原有指导作用。     

W33A的羟基分子脉泽辐射

本文给出了Ｗ３３Ａ在两个跃迁频率上的左右图偏振ＯＨ脉泽辐射谱线，采用细管和球模型，获得脉泽活动区的氢分子数密度近似１０７ｃｍ３．为了获得１０４６ｓ１量级脉泽光子发射率，两种模型一致要求抽运率为１（ＯＨ）ｃｍ３ｓ１，但球型脉泽活动区要求较高的抽运效率．