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

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

水电工程规划设计方案的自动生成及评价

本文介绍了在水电工程规划设计时，如何利用三次自然样条插值函数在有限个方案的基础上自动生成无限多个方案，然后采用多目标综合决策模型在其中选择最优方案的一种方法．文中还给出了程序流程，并以某水电站正常蓄水位选择作为实例，对方法进行了验证，结果与专家决策完全吻合．     

马房沟提水工程首部引水枢纽优化设计

为使工程布置和建筑物设计更趋经济实用、安全合理，文章从引水工程布局、运行调度、工程投资、管理维护等方面对马房沟提水工程首部引水枢纽的设计方案进行了优化比选。     

投产采区片盒斜井开准方式应用分析

本文以资兴满春岭井为例，运用方案比较法系统分析了笔者提出的“投产采区片盘斜井开拓准备方式”，指出该法简化了开拓部署，改革了采区布置，具有明显的社会经济效益，尤其适合在南方小井推广。图２，表１，参４。     

后湾水库除险加固方案分析

探讨了后湾水库除险加固工程的原枢纽方案和原枢纽加泄洪洞方案,通过对工程地质、施工条件、运行管理、工程投资等多方面综合分析,最终选用了原枢纽方案。     

求解线性方程组的超几何球法

由解析几何观点知道,线性方程组解的几何意义是方程组中各个方程所代表的超平面的交点.根据直径对应的圆周角是直角以及直角三角形中短边对小角的原理进一步知道,当将初始点向线性方程组中各个方程所代表的超平面上投影得到投影点时,初始点和其任何一个投影点及方程组的解点都将位于一个相应的超球面上,其中必定存在一个投影点离问题解点的距离最短,即把该点作为下一次迭代的初始点,从而可将线性方程组求解的问题变成球面上逼近解点的迭代问题.利用此方法通过计算几个良(病)态线性方程组算例,说明该方法不仅具有一定的抗病态性,而且简单实用.     

Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

Iterative Method for Constructing Complete Complementary Sequences with Lengths of 2^mN

Complete complementary sequences are widely used in spectrum spread communications because of their ideal correlation functions. A previous method generates complete complementary sequences with lengths of N^nN （n,N ∈ Z^＋）. This paper presents a new iterative method to construct complete complementary sequences with lengths of 2^mN （m,N ∈ Z^＋）. The analysis proves that this method can produce many sequence sets that do not appear in sequence sets generated by the former method, especially shorter sequence sets. The result will certainly increase the application of complete complementary sequences in communication engineering and related fields.     

Banach空间积-微分方程整体解的存在性

利用上下解的单调迭代方法,采用适当的迭代程序,在较弱的条件下,获得了Banach空间积-微分方程初值问题整体解的存在性结果.     

R.C.曲线交叉粱系双目标优化设计的研究

本文对R.C正交直线-曲线粱系进行双目标优化设计,取结构造价和钢筋用量两类指标构造目标函数,建立了此类结构的基于Pareto最优性准则的数学模型,并对“线性加权和算法”进行改进,由此求得的综合最优解与一般算法的解答基本重合,而迭代计算的工作量却显著减少。对数值计算结果进行分析、讨论,得出一些比单目标优化设计更有理论和实际意义的结论。