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

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

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

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

整体优化 提高高校学报质量

本文从学报形成的全过程入手,分析了影响学报质量的诸因素,提出了人与科学技术相结合;编者与作者相结合;编者与读者需要相结合;办刊与高校教育相结合来提高学报质量的观点,使学报在信息传播的全过程中实现整体优化。     

可见一斑品中医

中医还行么?或者说中医曾经行过么?答案一定是肯定的,中医与中华文明相得益彰,孕育了像神农氏、扁鹊、李时珍等医学巨人。因为传承困难等诸多因素,中医遭到的误解、曲解和歪解数不胜数。说中医不行的人不是被庸医所骗,就是对中医缺乏深入的了解。心口相传了数千年的成果经验,总不该被我们的一次经历就完全否定了吧?你对中医知道得越多,你就越觉得中医不简单,同时你也会对中医充满希望——还记得SARS肆虐中国的时候,北京的大小药店门前都排满了买中药的队伍。据说,喝中药可以增强抵抗力,减少被传染的风险。那浓浓的实在难以下咽的汤药就那…     

脉冲电磁场杀菌效应试验研究

利用自行研制的直流脉冲发生装置产生的脉冲电磁场分别对生活污水和纯种大肠埃希氏菌液进行电磁处理 ,研究其对细菌的杀菌效果及机理 .实验表明电磁脉冲对生活污水及纯种菌液中的细菌都有明显的致死作用 .实验结果表明 ,停留时间、水流速度、线圈绕组、输出功率、脉冲频率对脉冲磁场的杀菌效果具有影响作用 ,在停留时间 1 2h ,输出功率 4 6 8W ,脉冲频率 6 5kHz ,水流速度 0 .3m s时 ,生活污水的细菌总数从 3.9× 1 0 7个 mL下降到 1 .5× 1 0 2 个 mL ,存活率达 1 0 - 5;大肠杆菌数从 2 .4× 1 0 6 个 mL下降到 3.6× 1 0 2 个 mL ,存活率为 1 0 - 4.在此条件下 ,四种质量浓度的纯种大肠埃希氏菌液经电磁处理后 ,其细菌的存活率均在 1 0 - 3～ 1 0 - 5.细菌细胞的扫描电镜照片表明电磁作用使细胞表面产生凹陷 ,孔洞 ,细胞质溶出现象 ,从而证实了感应电流杀菌作用机制     

受约聚甲醛的热力学性质研究

采用旋转异构体模型，将受约束聚甲醛(POM)长链等效为约束在圆柱体内，用完全计算法研究受约的聚甲醛链的热力学性质，发现体系的配分函数Z与链长N存在关系：lnZ=aN b，其中N也代表键的数目，a和b仅与温度T和无限长圆柱体的直径D有关．这种方法为研究多链体系的热力学提供一种近似方法。