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

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

铅溴络合物极谱吸附波的研究

本文研究了铅溴络合物在高氯酸－磷酸－草酸介质中的极谱行为。确定底液组成为５％ＮａＢｒ－１１％ＨＣｌＯ４－５％Ｈ３ＰＯ４－０．８％Ｈ２Ｃ２Ｏ４。工作曲线线性范围为０－１５０μｇ／５０ｍｌ检测下限达０．０１μｇ／ｍｌ体系选择性好，应用于实际样品的测定，获得满意结果。     

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

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

微波水相法合成外消旋1,1''''-联-2-萘酚

报道了以FeCl3·6H2O为氧化偶合剂,水为溶剂,利用微波辐射技术,快速合成了1,1′-联-2-萘酚.同时对影响收率诸因素进行考察,确定了最佳反应条件微波功率495 W,辐射时间40 s,n(β-萘酚)n(三氯化铁)=12,收率达91%.与常规方法相比,本实验方法具有产率高、反应时间短、产物易分离和反应条件温和等优点.     

关于马王堆汉墓T形帛画内容的疑点分析

西汉马王堆 T 形帛画的主题思想并非是引魂升天,汉代流行的是活着的人通过修炼达到成神成仙,没有死后成仙的观念。此图应该是死者进入祖地的路标,是死者在阴间生活环境的表现,具有巫术性质。由于巫术是古人通往灵魂的主要手段,所以 T 形帛画应该是用来行使巫术的一件工具,它的作用有两种:一、把灵魂引到新的住地——墓室;二、由于中国民间有人死后要到祖地去见祖先的观念,所以帛画又具有死者在阴间的路标的作用。     

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

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