钢丝绳张力单片机检测系统

论述了以８０３１为控制核心的钢丝绳张力单片机检测系统的工作原理、数学模型和系统组成，重点介绍了钢丝绳张力检测的工作原理、主要硬件电路的设计特点及软件设计思想，提供了部分硬件电路图及控制软件的流程图。该系统具有置数、动态显示、数据处理、打印及人机对话等功能，并且使用方便，造价低廉。     

非线性生育率阶段结构的收获模型

建立并分析了一类非线性生育率阶段结构的单种群的收获模型，得到了正平衡点全局稳定的条件，给出了最优收获策略．     

单电极直流电弧炉电热特性理论研究

运用电磁理论与流体静压力原理,导出了电弧自身的电磁向心压缩力以及电弧对熔池冲力的解析式。又运用辐射传热原理,导出了单电极电弧对熔池与炉衬辐射传热的解析式。解析式揭示出电弧自身电磁向心压缩力、电弧对熔池冲力,单电极电弧对熔池以及对炉衬辐射传热的规律。     

狄拉克（Dirac）与当代物理学

从量子力学、真空、大数假说、磁单极子诸方面，阐述了坎拉克的治学思想和研究方法的特点及其对当代物理学所做出的重大贡献．     

钢管单芯棒圆周剪切法的实验研究

介绍钢管圆周剪切的另一种方法－单芯棒圆周剪切法。通过运动学分析阐述了剪切金属的变形原理；实验研究证明了该方法的可行性并对切口断面质量进行了分析。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

镀铜板镀铜量检测分析仪的研制

根据电解剥离原理，采用Cygnal F020单片机为智能部件，研制出的镀铜板镀铜量检测分析仪．本仪器采用微分电位法，使各层界面自动分层难题得到了解决，同时对双电层电容充电电流所引起的测量误差作了修正．该仪器通过USB接口与上位机配合使用，具有小型轻便、操作界面友好和检测数据精确等特点，并具有本机显示和打印测量结果的功能．     

半导体单晶硅的离子束蚀刻实验研究

离子束蚀刻是一种有超精细加工能力的微细加工技术,广泛应用于微电子、光子技术、表面科学等领域。硅及其化合物常用来制作大规模集成电路,在其表面蚀刻出具有一定几何布图尺寸的沟槽。其深度、宽度、边壁倾角及槽底形状等直接影响器件的性能。