On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

截断情况下线性回归模型响应变量均值的经验似然

本文讨论了在带有截断情况的线性回归模型中 ,响应变量均值的估计问题 .将经验似然的方法应用到带有截断情况的回归模型中 ,在估计响应变量的均值时构造了调整的经验似然统计量 ,证明了在一定的条件下 ,该统计量渐近服从 χ2 分布 ,给出了均值的置信区间 ,并与正态下得到的结果进行了比较 ,模拟的结果说明了经验似然的优良性 .     

加热炉热过程动态操作数学模型

根据加热炉生产特点,建立了钢坯加热过程的动态操作数学模型,分析了待轧时间变化时炉内钢坯温度分布情况。并针对加热炉待轧的灰色性,采用多目标灰色局势决策方法,得出了相应合理的待轧优化控制策略。模拟结果表明:该方法具有良好的动态性能,适合于在线控制。     

测定汞原子塞曼谱线相对强度

在原塞曼效应实验基础上，测定了塞曼分裂各谱线的相对强度，以作为原实验的补充．     

不锈钢丝网上薄膜TiO2光催化剂的Raman光谱研究

用Raman光谱方法来研究用Sol Gel法负载于金属丝网的薄膜TiO2 光催化剂的物相结构、厚度以及粒径大小。研究结果显示 ,薄膜达到一定厚度能够阻止基底Fe元素向薄膜表层的扩散 ;在 4 0 0℃下灼烧制得的薄膜TiO2 光催化剂具有锐钛矿晶型 ,而高于 4 0 0℃时 ,将出现金红石相TiO2 ;锐钛矿晶型TiO2 的Raman特征峰产生偏移 ,表明薄膜粒径的变化 ,通过计算表明 ,薄膜TiO2 的粒径为 10nm左右 ,TEM的分析结果也与之一致。     

单位球上不同Privalov空间之间的复合算子

利用η-Carleson测度给出了单位球上不同Privalov以及不同加权Bergman-Privalov空间之间的复合算子是度量有界或度量紧的充要条件,并给出了一些函数理论方面的刻画．     

等厚双层涂层材料受集中力作用的平面问题理论解

界面应力的正确评价是分析薄膜涂层材料力学特性的难题之一。利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。该显式理论解是以固定在各镜像点上的局部坐标系下的Goursat应力函数的形式给出的。对应于高阶镜像点的应力函数，可通过递推的方法，从对应于低阶镜像点的应力函数求得，而且也易于计算机编程。随着镜像点阶数的增大，它与界面的距离也越来越大，因而相对应的应力函数对界面应力的影响越来越小。最后的算例表明，只需考虑前面有限个镜像点，便可获得足够精度的解。该理论解可作为格林函数，以求解复杂问题的理论解，也可用作边界元法的基本解，提高数值计算的精度和效率。     

校准电表的一种方法

利用电位差计的高精度，设计出合理的实验电路对C31型电表进行校准，使得电表的准确度等级得以提高。     

Generation of large fifth-order nonlinear phase shifts by use of lossless χ(2) cascaded nonlinear processes

It is shown that the cascaded fifth-order nonlinear phase shifts will increase with energy loss in the cascaded processes. Essentially different from the multi-photon absorption accompanied with inherent material nonlinearities, the loss of fundamental wave in a cascaded process is controllable and suppressible. By introducing difference frequencies generated from the reaction between the fundamental and its second harmonic after the cascaded processes, the fundamental wave can be free of energy loss, while the large cascaded fifth-order nonlinear phase shift is maintained.     

铁磁/ 反铁磁双层膜中交换偏置

铁磁/反铁磁交换偏置在巨磁电阻器件中具有重要的应用。引起了物理学及材料学等领域内广大科学家的浓厚兴趣，本文首先阐述了交换偏置的基本性质。然后简述了交换偏置的实验研究方法；最后，着重介绍了几种主要的理论模型。