摘要:本文建立了一种用于分析三维钢筋混凝土结构的钢筋混凝土实体等参元。在这种单元中，钢筋是直接包含在混凝土中作为整体来考虑的，因此用这种单元作为有限元模型具有节点数少、离散化方便，而又具有精度高和能反映钢筋作用的优点。通过用本文编制的程序计算及与理论解和其它数值解的比较，证实了这种单元的有效性。

摘要:本文介绍了一种调压开关的微机检测方法，通过分析调压开关的结构及工作原理，寻找出一条通过微机检测调压开关简单实用的路径，为了保证精度在0.5度以上，作者在消除机械振动，电磁波干扰及解决齿轮传动中间隙角位移误差，从硬件软件上采用了一系列的措施。整个系统通过运行实践证明是正确和可靠的。

摘要:本文介绍了一种实用的微机加密系统，并且提出了一种便利于单个用户和多个用户管理的密钥产生技术。该系统具有操作简便、安全可靠、加密速度快等特点。

摘要:本文着重介绍了插齿刀CAD图形输出系统研制的基本原理。将树形结构及图形块组成理论应用于插齿刀工作图集成上，并研究了插齿刀图形接口文件的设计。

摘要:本文提出一种设备故障管理与设备管理关系的动态模型。基于此模型，对一种计算机动态故障管理信息系统进行了结构设计。同时，依据这一系统信息的设备管理决策方法在这里也作了详细的探讨。

摘要:本文从区分非方法性学科和方法性学科入手，一方面狭义地分析了数学化、公理化和形式化的基本功能和目标，从而得出结论：按上述顺序，这“三化”形成了由低到高的三个层次，对它们的逻辑要求依次提高，使用限制依次严格。另一方面，从广义上综合，“三化”又同属方法性学科范畴，它们语言相通，推理的逻辑基础相同，因而在应用中互相渗透，交融壁合。最后简述了“三化”产生和发展的历史，指出它们是一脉相承的，公理化和形式化实际上也是广义的数学化。

摘要:本文以实例叙述了大型复杂三维光弹性模型制造过程中的技术难点和工艺方法。

摘要:本文的主要结果是：S-闭空间对既开又闭的子空间遗传；遗传正规的S-闭空间对闭子空间遗传；S-闭空间的有限和是S-闭空间；给出S-闭空间和积非S-闭的一个例子；若T2空间的某一子集是S-闭的，则这一子集是闭的。

摘要:数学史上出现的三次数学危机，与其说是“数学的危机”，不如说是“数学哲学的危机”。解决的办法只有依靠哲学。三次数学危机的共性是在于数学家们研究数学的过程中执拗于恶无限性，也由于思维把一个对象的实际上联结在一起的各个环节彼此分隔开来考察。三次数学危机给我们的反思；自然科学家力图建立无所不包的庞大理论体系行不通；单靠形式逻辑不能解决危机；一直到现在，数学家们仍重犯恶无限性毛病，数学的演进始终是在离散与连续相互作用和相互补充的矛盾中。

摘要:本文针对复合函数导数数学中的难点，提出了两种新的求导方法。