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

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

以虚词为主的语法研究传统探究

虚词研究是我国古代语法研究的主要方面。从语言外部和内部两个方面解释语法研究传统形成的原因,外部原因主要是经学的引导,内部原因即汉语自身的特点,主要借鉴近年来语言学界出现的一些对汉语本质的认识,并且内部原因是形成以虚词为主的语法研究传统的根本原因。     

系统功能语法与语篇分析

本文首先讨论了系统功能语法语篇分析的基本理论,包括语言的三大纯理功能及其各自实现的子系统、语篇分析的两个层次以及"语境→语篇→评价("联系语境变量)的分析步骤,并用该模式分析了一个完整的语篇。分析表明用系统功能语法框架对语篇进行分析可以揭示语篇深层含义,可以解释语篇的语义和文体特点。     

小议两种语境观的互补性--系统功能语言学与关联理论的语境观

本文通过对语境的简单回顾和总结以及对实例的对比分析,证明了系统功能语言学与关联理论的语境观结合起来对各种语言现象更具解释力,从而说明了跨学科研究的可能性和必要性.     

Zinc antagonizes the effect of botulinum type A toxin at the mouse neuromuscular junction

Summary Zn²⁺ (10–100 M) elevated the frequency of miniature end-plate potentials (MEPPs) in the mouse diaphragm. The effect did not depend on external Ca²⁺. Botulinum type A toxin (BTX_A, 50 ng/ml) abolished MEPPs almost completely within 30 min. Zn²⁺ (100 M) restored MEPPs and increased their frequency after they had been abolished by BTX_A in Ca²⁺-free solutions. The antagonistic effect of Zn²⁺ in the Ca²⁺-free solution was reduced by exposing the diaphragm to the toxin in the Ca²⁺-free solutions containing high K⁺. Thus, the action of BTX_A is probably enhanced by depolarization of the motor nerve terminals.     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

交际教学理论与语法学习

80年代以来，英语教学理论的研究逐渐由语法一翻译理论向交际教学理论转变，然而交际教学理论在实施应用过程中仍有英语教师为了避免以往传统教学的不当之处，往往采取“矫枉过正”的方法忽略了本身属于交际教学理论内容之一的语法这一重要部分，并认为交际教学理论就是排斥语法学习。基于交际教学理论，探讨如何在交际教学法中进行有效的语法学习，以提高学生的语言能力，进而发展他们的语言交际能力。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

基于粗集知识推理的IDSS中的知识表示

 探讨在智能决策支持系统中的知识表达,讨论了属性在知识表达系统中的作用,决策表格形式的知识表达系统的性质、作用以及根据粗集理论(其基本观点是:人类的知识表现为对对象的分类能力)分析处理海量信息中信息的有用特征,通过分析、推理产生最小决策规则.