真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

引射式射流风机结构参数的研究

根据地下通风工程以较小的能耗获得较大风量的需要，运用流体力学的基本理论和模型试验研究方法，系统研究了引射式射流风的通风原理和结构参数，为引射式射流风机的设计提供依据。     

蠕动式步行机器人研究

提出了一种可在复杂地面环境下行走的需蠕动式步行机器人本体结构。该结构采用一种地面被动态适应技术，使得腿部可根据地面情况自动调整伸缩长度，以获得较为稳定的支撑。机器人依靠本体变形及被动适应地面的方法产生步行，在很大程度上简化了步行过程中复杂的动作协调控制问题。根据机器人的结构特点，给出了两种步态规划方式。仿真试验表明，该机器人控制简单，运动灵活，具有较广的应用前景。     

对数学分析教科书中一些例题和练习的商榷

对数学分析教科书中的一些周期函数、极限的证明、近似式的应用提出商榷的意见,补充、修正了其中不完善之处。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

基于Pro/E 的机翼型风机叶片的建模及平面展开

基于先进的3D设计软件Pro/Engineer，模拟离心式风机叶片的成形理论及构形特点，将风机叶片的建模、运算、绘图、下料全部由计算机完成，直接输出精确的下料图纸，大大简化了设计过程，并且提高了设计精度。     

Co@SiO2核壳式纳米磁性粒子的合成、性质表征及在细胞分离和细胞芯片上的应用

合成了Co@SiO2核壳式纳米粒子,并采用透射电镜(TEM)、X射线衍射(XRD)、扫描电镜(SEM)和振动样品磁强计(VSM)对其形状、尺寸、荧光及磁特性进行了表征,探讨了其在细胞分离和细胞芯片上的应用和原理.