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

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为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的关系表示和无损联接分解并给出了保持依赖分解的定义，     

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

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

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

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

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

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

面向对象数据库中的数据依赖和规范化

从分析面向对象数据库中的数据依赖着手，提出对象函数依赖概念，它反映了面向对象数据库中对象标识符，复杂对象及集合类型的特点，在对象函数依赖基础上，提出了分解为基础为模式规范化方法，并且特别引入语义相关集的概念，最后，给出类模式分解的形式化定义并证明了类模式的任一分解都是无损分解。     

利用模糊关系数据库方法管理模糊决策表知识

在关系数据库环境下表示决策表为利用已成熟的数据库技术和功能去操作决策表提供了一种机制。决策表的查询可以通过传统的数据库查询来实现。本文讨论了如何利用相关的方法去表示、存储和管理模糊决策表知识，进而可以利用扩展的SQL功能进行模糊决策。     

确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

Early scale effect and hemisphere superiority on the visual spatial attention: From the electrophysiological evidence of ERP

The visual attention mechanism in the brain was studied among 16 young subjects through the precue-target visual search paradigm using the event-related potentials (ERPs) technique, with the attentive ranges cued with different scales of Chinese words. The results showed that the response time was shortened as the cue scale was reduced, while the amplitudes of the P1 and N1 components of the ERPs increased. These results not only provided the electrophysiological evidence supporting the spotlight theory, but also indicated that the spotlight effect occurred during the early period of the selected attention. Two kinds of separation in the P2 effect were observed. One separation was between the P1 effect and P2 effect, which meant that additional computation was needed when the spatial scale of attention was enlarged; the other was between the left and right hemisphere of the P2 effect, which indicates that the attentive processing of the cue range mainly occurred in the left hemisphere.