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

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

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

煤矿井下主排水设备的计算机辅助设计

本文阐述了煤矿井下排水设备的计算机辅助设计中选型程序的编制及绘图,介绍了程序的功能,若干技术问题的处理和绘图方法与要点.     

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

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

典型结构减速箱轴结构设计CAD

本文提出了一种轴结构设计的知识表示方法，实现了轴的结构设计，并绘制出轴的结构图     

中国南海海绵化学成份研究Ⅱ—B·C

从中国南海西沙群岛永胜岛附近海域采集到的一种海绵(种属未定)分离到两种新的三羟基长链酰胺类化合物S—Ⅱ(C_(49)H_(99)NO_4,M=765,m.p.138-140℃)和S—Ⅲ(C_(45)H_(93)NO_4,M=723,m.p.92—93℃),通过对它们的IR,MS,~1HNMR,~(13)CNMR及~(13)CNMR DEPT等波谱数据分析,S—Ⅱ和S—Ⅲ的结构分别确定为N-(1-乙基-3,22-二羟基)二十二烷基-2-甲基-4-羟基二十四脂肪酸酰胺和N-(1-羟甲基-2-乙基-4-甲基-3,18-二羟基)十九烷基—二十三脂肪酸酰胺。     

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

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

新型连续装载机工作机构的图解设计法

本文介绍了新型连续装载机工作机构图解设计的一般规律,对某些技术参数的确定作了初步探讨。     

高压电机起动的饱和电抗器设计

介绍高压电机起动用饱和电抗器参数的选择及设计方法，并给出了具体例子。     

红色旅游发展模式探讨

美国、法国、德国等发达国家将历史传统教育置于亲身参与背景下,收到了很好的效果,积累了丰富的经验,提供了很好的借鉴。以革命纪念地、纪念物为载体的“红色旅游”是爱国主义教育、历史教育的重要组成部分,注重参与、体验的构建,“寓教于乐”,很可能是目前红色旅游的一个具有很大潜力的发展模式。