关于传递闭包和函数依赖完备公理系统存在问题研究

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．     

真空设备环板的塑性极限荷载计算

本文应用奇异函数计算真空设备环板在线性荷载和环形集中力作用下的塑性极限荷载。     

混凝土受拉断裂的破坏机理

本文从试验现象出发,建立了以数理统计为基础的混凝土受拉全过程曲线方程。研究表明,混凝土受拉应力应变全曲线是混凝土试件内部的粘结界面与水泥胶合物在外拉力作用下逐步断裂造成的。文章所建立的方法不仅可以解释许多试验现象,模拟混凝土受拉全曲线,而且还可以得出试验中难以测出的结果。     

LvP－16绘图仪基本软件包及其开发方法

论述了开发Ｌｖｐ－１６绘图仪基本软件包（ＬＢＳＰ）的必要性和实用性。它的开发思想和方法可为其它类型的绘图仪二次开发时采用，具有一定的普遍意义。文章着重介绍了ＬＢＳＰ的绘图功能和开发过程，以及使用方法。     

烧结微孔材料粒径分布形态分析

本文运用定量金相法测量烧结微孔材料之颗粒粒径。根据统计分析原理，验证其粒径分布服从瑞利（Ｒａｙｌｅｉｇｈ）分布律。     

风窗自动监测与调节系统预估控制的实现

针对风窗自动监测与调节系统过程通道的时滞性，提出了Ｓｍｉｔｈ预估控制及自适应Ｓｍｉｔｈ预估控制方案，并对ＰＩＤ参数进行了优化整定。     

关于Gibbs函数变关系式引出的探讨

本文推荐陈林根编著的《工程化学》对化学热力学基本公式△G=△H-T△S的引出方法,试探基础教学的改革。     

Voigt线型及其精确快速算法

通过把上半复平面分为４个区，并在每一区利用不同近似，建立了一种精确快速计算Ｖｏｉｇｔ函数、修正的Ｖｏｉｇｔ函数和Ｖｏｉｇｔ函数偏导数的算法，其最大相对误差小于５×１０－４．该算法是Ｌｉｎｅ－ｂｙ－Ｌｉｎｅ大气透过率／辐射强度计算及其相关应用的有效算法．     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．