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.     

工业CT重建图像中边缘梯度效应引起的高频伪影

为研究伪影对大型工件内部密度锐变区域高对比度微小缺陷检测的影响,从一个简单的轴对称断层模型出发,计算了边缘梯度效应引起的通过物体内部不同材料交界面处的射束的投影偏差。并研究采样相位的影响,探讨了由此偏差引起的重建图像中的高频伪影的表现形式。计算结果表明,高频伪影具有相当的强度,且具有与缺陷相似的表现形式,从而影响工业CT的检测能力。结合点扩散过程,高频伪影强度的计算为评估工业CT边缘处的缺陷检测能力提供了理论依据。     

S桶空间的几个性质(Ⅱ)

讨论了S桶空间在归纳限和稠密子空间方面的一些基本性质．     

计算机基础课程的探究型教学模式

在计算机基础课程的教学中采用探究型教学模式，对培养学生应用信息技术的能力和创新能力是非常有利的．结合教学实践，对探究型教学模式的3个环节进行了详细的论述，并指出在具体实施过程中应注意的若干问题。     

体育专业体操"目标-主体-发展"教学模式的实验研究

针对体育专业体操教学的现状及教学模式存在的问题，在体操教学中进行“目标—主体—发展”教学模式的实验研究，通过对辽宁师范大学体育学院2000级两班进行的教学实验，研究“目标—主体—发展”教学模式的活动流程、教学特点和理论依据。     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

网络环境下构建新型英语教学模式

从CAI、多媒体到教育网络，网络英语教学，即基于Internet的网络英语教育，正冲击着传统的教学模式，并正成为主流的教学模式．阐述了基于网络环境下的外语教学的特点和形势，并对网络环境下的英语教学所应注意的问题提出了自己的建议．     

关于企业品牌与品牌文化的基本理论问题

通过借鉴国内外品牌及品牌文化发展和研究的成果,阐释了品牌及品牌文化的基本理论问题,包括品牌的内涵与特征,品牌与名牌、商标的区别及企业文化与品牌文化的区别。     

公开密钥体制与Euler-Fermat定理通俗证明

随着计算机的广泛使用，文件加密解密已成为相当频繁的工作．本文叙述了公开密钥体制中的一种方法，并对其使用的数学工具给出一个通俗证明，以使加密解密工作更加方便、有效．     

21世纪党校图书馆工作面临的挑战与对策

针对21世纪党校图书馆工作面临的挑战与目前的现状，提出了适应时代新要求的党校图书馆工作管理的对策。