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

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

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

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

关于亚纯函数的唯一性

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

优化模型的改进计算方法

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

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

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

控制工程中常用拉普拉斯变换对的准确表达

研究了在控制工程中常用拉普拉斯变换式的特点,对常用控制工程教材所附拉普拉斯变换表中的一些不完善之处进行了分析和订正。给出了检验原函数准确表达的方法,对MATLAB软件的某些符号运算结果提出了质疑。     

用矩阵讨论多元函数的极值问题

利用矩阵给出了多元函数在稳定点取极值的充分条件，提出了解决两类极值问题的代数方法。