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

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

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

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

关于亚纯函数的唯一性

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

优化模型的改进计算方法

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

大熊猫胚泡延缓着床的物理推论

对大熊猫的妊娠期为83－181天这种奇特的生理现象，生物学家们普遍认为是大熊猫胚泡延缓着床而产生的，是什么原因引起大熊猫泡延缓着床呢？至今，还涮有一个令人信服的理论来解释它，本文试从物理学能量的角度，提出大熊猫产生胚泡延缓着床的诸多因素之一的精子在输卵管内获能的不同情况的物理理论。     

二层底框混合结构抗震设计概述

在《建筑抗震设计规范（GBJ11－89）》中与底层框架砖房有关的条文规定和大量实际工程设计的基础上，对底部2层框架砖房的抗震设计问题进行探讨。     

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

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

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

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