级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

氢燃料双模态冲压模型发动机M6的试验研究

笔者研究了一个有突扩台阶的氢燃料高超声速冲压发动机模型的气体动力学特性和推力特性。氢气从位于燃烧室突扩台阶后的支板逆来流喷注,测量了氢气燃烧状态下模型发动机壁面的压力分布和推力收益数据。实验结果表明,在氢气的当量油气比为0.35～0.8的范围,在本模型流道构型条件下,氢气自燃,并随当量油气比的增加,燃烧室内压力增加,获得的推力收益增大,最大推力收益达到500N。实验在CARDC的脉冲燃烧风洞中进行,实验马赫数为6,总温1850K,总压5.5MPa。     

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

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

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

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

生物组织光学参数：优化散射系数（μ’s）的实时在位测定

利用了一套特殊设计光纤探头组成的稳定态光纤光谱仪测试生物组织的光学参数，从悬乳液(Intralpid)与模拟胶(Phantom)实验推导出优化散射系数(Reduced scattering coeffcient：μ’s)近红外谱测量经验公式。测量反射系数就可以计算出优化散射系数谱。计算结果用模拟胶作了验证，并对大鼠脑组织μ’s进行了实时在位测量，从而得到了一种μ’s在位测量的有效方法。     

高分散高稳定ZrO2水悬浮液的分散性研究

本文选用纳米粉ZrO2,分别采用单一静电稳定机制、加入PEG的空间位阻稳定机制和加入PMAA-NH4的电空间稳定机制制备成2vol%的ZrO2水悬浮液,通过Zeta电位、沉降实验等手段,最终得到了碱性条件下的高分散、高稳定的ZrO2水悬浮液。实验证明:当pH=8.3时,PMAA-NH4的分散效果最好。     

双语、多语家庭语用环境及对中文教学的影响

分析双语、多语家庭语言运用的特点,并根据这些特点,提出在中文教学中,应重视普通话教学,尽可能创造普通话使用环境,重视普通话与方言的比较,同时又不能忽视方言在师生交流中的地位和作用。     

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。     

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

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