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

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

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

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

大学英语教学低起点高目标的反思及应对策略

本文结合目前大学英语教学现状及社会对外语人才的要求，尝试着探讨大学英语教学低起点的缘由和高目标要求的应对策略。其意在为大学外语教学建立特殊的机制，充分发挥教育资源的整合效益，起到优化教学过程，达到最优化教学效果，最终最大限度地满足社会对各类外语人才的需要。     

对高校健美操课教学的探讨

健美操已经成为学校教学的重要组成部分．掌握健美操的基本技巧，技能，寓健美知识于课堂中．动作设计，音乐的选择，运动量合理安排，激发学生的学习积极性，提高课堂教学效果．     

物理实验课程建设和教学改革的系统构想

探析了实验课程达不到预期培养目标的症结与成因，提出了将实验教学改革推向深入，实现课程教育培养功能的基本思路和举措。     

计算机音乐技术及其教学实践构想

传统的音乐教学体系虽然已经形成耳传面授的基本教育途径,但在计算机音乐技术迅猛发展的冲击下已经受到了严重的威胁。计算机在音乐教学中的应用已成为顺应历史潮流、全面利用计算机技术进行现代化教学的先决条件,也是普通院校普及音乐教育、培养高素质人才的有力武器。     

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

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

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

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

体育培养学生创新和实践能力研究

本文通过对学生创新能力的研究，探讨学生创新能力的内涵，揭示目前培养学生创造力在体育教学中存在的问题，寻求培养学生创新能力的途径和方法，提出教学改革的设想。     

课堂教学应注重严密完整的数学语言

数学是一门语言精辟、逻辑严密的学科，课堂教学中注重严密、完整的数学语言，才能保证知识传授的准确性，使学生获得准确无误的知识。本文分析了造成数学语言不够严密完整的各种原因及改进方法，要求教师在课堂教学中做到数学语言准确规范，严密完整、形象生动。