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

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

在不同维数下用麦克斯韦分布律求平均速率、方均根速率和最概然速率

用麦克斯韦分布律讨论了气体分子分别作三维、二维和一维运动时的速率分布函数，并求出了这三种情况下气体分子的平均速率、方均根速率和最概然速率。     

关于亚纯函数的唯一性

本文研究了亚纯函数的唯一性问题，推广改进了Ｍ．ｏｚａｗａ及仪洪勋的有关定量，解决了仪洪勋和杨重骏提出的一个开问题。     

企业人力资源的内部开发机制

知识经济的时代，知识与创新在企业成长中存在着决定性的作用，而知识的载体是受过良好教育和培训的人，没有人力资源对知识的掌握和运用，知识本身是不能创造任何价值的。     

素质教育评价"建模"构想

构建素质教育评价模式，对素质教育的实施和评价有直接的推进和指导作用。构建素质教育评价模式，应当遵循导向性、科学性、系统性、有效性原则。在构建素质教育评价模式时，有多种方法可供我们选择；但在此过程中，要注意研究模式，防止“模式化”。     

优化模型的改进计算方法

最优化模型与方法是近几十年来发展和形成的一门新兴的应用科学,通过应用数学的方法与技术解决各种系统与实际问题.但许多求解方法是基于手工运算,计算工作量较大.而利用各种优化计算软件例如Lingo,Lindo等需要编制较为复杂的程序,解决起来不够直观.而利用Matlab软件中非常直观的优化工具箱中的函数linprog,quadprog对线性规划与二次规划进行快速求解.     

面近正则外平面地图的色计数函数

首先给出了不可分离面近正则(除根面外,其它每个面的次均是常数k,其中k≥3)外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程,并给出了它的显式表达式.然后,给出了可分离面近正则外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程.