安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

由理性到经验--现代数学哲学研究的历史走向

数学基础的研究，形成了逻辑主义、形式主义和直觉主义三大学派，其运用理性主义构造数学，认为数学是一个欧几里得系统。拉卡托斯通过对三大学派所做工作分析之后，认为数学是一个拟经验系统，数学的真理性是被“说明”，而不是被“证明”的，它的发展模式是：问题——猜测——反驳，数学理论具有可证伪性。由理性主义到经验主义是现代数学哲学研究的历史走向，这种走向表明数学在不断追求完美与和谐。     

过程强化的若干新进展

本文从现代过程工业发展的需求出发，介绍了过程强化的历史和现状，分析了近年来过程强化的特点。本文还结合实例对化工过程强化的作用和存在的问题等进行了讨论。     

从数学教育看素质教育与创新教育之关系

结合数学教育近20年改革发展情况,分析了素质教育与创新教育在提出背景、思想认识、物质基础方面的不同点和在培养目标上的共同点———培养学生的创新意识和创新能力,揭示二者的辩证与发展关系.     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

数学课堂教学中创新教育的培养

通过对数学创新教育的内涵、创新素质的培养模式等问题的探讨 ,试图倡导在数学教学中有意识地提高和完善学生的创新意识、创新能力和创新人格     

人体形态学参数的回归方程

在汉纳范模型的基础上，增加了３个有关躯干的围度指标。通过代表人体主要特征的形态学参数，利用逐步回归分析法，建立回归方程。用以预测那些不易测准或需专门测量仪器检测的参数，简化了模型的个体化过程。     

谈化工原理课如何进行德育渗透

结合化工原理课程内容及教学方法，在讲授专业知识的同时，注重培养学生的职业创造能力，并使他们掌握科学的学习方法、养成良好的行为习惯，能适应快速发展的化工行业新需要。     

一种新型的数字编码轨道电路

基于现有UM71无绝缘轨道电路的传输通道,讨论了各种传输方案,提出了一种采用模拟调频方式的32位数字编码轨道电路,选用TMS320C32作为CPU,设计了发送和接收子系统,最后给出了室内仿真试验及其结果.     

Maple在高等数学教学中的应用

在传统的高等数学教学中，由于缺乏现代化教学手段，图形演示和数值计算难以实现，本文利用Maple的数值与符号计算功能、图形功能，将Maple软件引入到高等数学教学中，弥补传统教学的不足。