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

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

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

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

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

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

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

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

碗扣式多功能脚手架CO2气体保护自动焊机

采用CO2气体保护焊工艺研制了碗扣式多功能脚手架CO2气体保护自动焊接设备，在零部件尺寸不规范的条件下，利用电、气动机构实现多个工件的同时准确自动装卡及自动焊接，焊缝成形好，质量稳定，提高了生产效率，节约了能源及4／5的劳动力。     

绿色理念在住宅装修中的应用

绿色理念应用于住宅装修中具有可持续发展性,有利于健康。本文通过阐述绿色理念的概念、提出绿色健康住宅的标准、列举各种劣质装修材料的危害、及在住宅装修中普及绿色理念、并倡导使用绿色建材,创建健康、绿色的居住环境。     

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

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

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

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

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

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

用VB来开发辅助教学软件

本文首先介绍了基于中文Ｗｉｎｄｏｗｓ９５平台的最新版ＶｉｓｕａＬ Ｂａｓｉｃ５．０的特点,然后以纵横码辅助教学软件开发为便,阐述了用ＶＢ开发多媒体辅助教学软件的方法、步骤,并给出了开发过程中的关键技术。