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

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

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

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

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

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

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

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

公开密钥体制与Euler-Fermat定理通俗证明

随着计算机的广泛使用，文件加密解密已成为相当频繁的工作．本文叙述了公开密钥体制中的一种方法，并对其使用的数学工具给出一个通俗证明，以使加密解密工作更加方便、有效．     

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

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

粘性／非粘性方程有限元和谱方法混合逼近

讨论有粘性和无粘性Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程有限元和谱方法混合逼近问题，弱交面匹配关系被应用。收敛估计显示有限元精度和谱精度可在各自的子区域中得到。     

Mindlin层合圆柱壳理论的Hamiltonian结构与辛解析解

通过引进状态变量及其对偶变量。建立Ｍｉｎｄｌｉｎ层合圆柱壳的Ｈａｍｉｌｔｏｎ正则方程．在辛几何数学框架下，采用共轭辛正交归一关系给出各种复杂边界条件下的精确解．     

耦合Gross-Pitaevskii方程的高效保质量守恒格式

该文为耦合Gross-Pitaevskii方程提出了一个新的保质量守恒格式.首先对空间导数利用高阶紧致格式离散得到半离散格式;然后在时间方向上利用基于外推的Crank-Nicolson格式离散,得到一个半显式的数值格式,然而此格式不能保持GP方程固有的质量守恒,因此,对格式得到的数值解利用投影方法进行修正,使其满足离散质量守恒;最后通过数值实验验证了该格式具有高精度以及保持质量守恒.     

利用时域间断伽辽金算法 求解Tellegen介质中的电磁波

目前,利用时域间断伽辽金方法（DGTD）求解各类介质中的电磁传播问题时,通常考虑求解普通介质本构关系的麦克斯韦方程组。 然而,具有非互易性本构关系的Tellegen介质中的电磁传播非常复杂,且少有研究。基于Tellegen介质的本构关系,推导出了一种适用于该介质的时域间断伽辽金系统矩阵离散方案,准确模拟了平面波在Tellegen介质中的时域传播特性。利用所提出的算法,计算了空气与Tellegen介质的分层空间模型,分析了Tellegen介质对电磁波极化偏转角度的影响;同时,针对不同电磁参数的Tellegen介质,计算了反射波与透射波的电场偏转角度,并将时域间断伽辽金方案计算的结果与文献［1］以及解析解进行了对比,验证了该方法的有效性与可行性。