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

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

人事档案信息管理软件开发实例

人事档案管理系统软件其功能主要是完成对人事档案数据的录入、用户设置、统计、查询、维护及报表打印等，采用Visual FoxPro数据库管理系统设计完成。充分利用了VFP强大的数据库技术和可视化编程工具，制作了美观大方的界面，完整的用户菜单及相应的功能模块，重点介绍了如何设计数据查询功能并完成人事档案管理中的基本查询操作。     

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

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

非惯性系中变质量力学系统的变分原理及应用

利用附加惯性力的方法建立了非惯性系中变质量力学系统的Gauss变分原理,由此得到了非惯性系中变质量非完整系统运动方程的各种形式,最后提出了广义惯性力的广义非惯性势的概念并进一步给出上述方程的简化形式。     

利用分段求积法求梁的转角和挠度

依据弯矩、转角、挠度三者间的微分关系，采取先求各分段点转角、挠度值，再进行分段求积法直观、清晰地求解梁的转角和挠度的方法。     

带式行星─差动轮系无级变速器的研究

本文介绍了带式行星─差动轮系无级变速器的组成，详细地分析了其在调速和功率输出方面的特点，并提出了设计方法和步骤。     

关于Hayman问题的两个推广

推广了两类微分多项式的值分布，它们可以看作Hayman问题推广的相应结果的补充。     

苹果功能塑膜袋的研究与应用

在聚乙烯树脂中，加入光转换剂、抗氧化剂和紫外线吸收剂等塑料添加剂，吹塑成用于苹果套袋栽培的功能性塑膜袋．结果表明，该袋改善了普通塑膜袋的老化破裂问题。同时具有增产、增色、防病虫害和防农药污染的优点．     

关于矩阵方程AXB=CYD

应用矩阵的初等变换技巧，给出了任意域上矩阵方程AXB=CYD的通用表达式及解法。     

一类四阶方程边值问题正解的存在性

得到了一类四阶方程边值问题相应的Green函数。从而将该问题转化为相应的Hammerstein型积分方程，并利用锥拉伸与锥压缩不动点定理，证明了它在一定条件下，至少有一个正解。