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

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

关于Banach-值函数Henstock积分的一个注记

若函数f是定义在[a,b]上的抽象函数,{Ei}是[a,b]中互不相交的闭集列,如果这些Ei的并是[a,b],并且f在每个Ei上McShane可积,则在一定条件下,f在[a,b]上Henstock可积.     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

浅析债务重组中的利息处理

现行制度、准则有关重组债务之利息的处理规范，与权责发生制等会计核算原则相违背，在债务重组日不确认任何利息，重组后债务的利息在重组日后再行处理，重组后债务在重组日的入帐金额仅为该新债务的本金，并增设“待转利息”科目以完善利息核算。     

济源凹陷油源追踪及烃类垂直运移作用

济源凹陷为一中、新生代复合型断陷．下第三系原油为轻质、低硫原油，与下伏中生界（Ｔｔ－Ｊ２）湖沼相生油岩抽提物具有同源性，而与下第三系泥岩抽提物回然相异。后邓断裂是烃类垂直运移的良好通道，中生界生成的烃类沿断裂经过了约３０００－４０００ｍ的垂直运移而聚集成芷。长距离的垂直运移造成了原油中ｒ－蜡烷的富集，作为运移通道的断裂发育时间、规模等控制了浅层油芷的分布．     

Study on the Elasticity-Plasticity-Stickiness of the Railway Crushed Stone Ballast

This paper is mainly aimed at the mechanics characteristic elas of ticity-plasticitystickiness existed in the CWR (continuously welded rails) track plane of the railway crushed stone ballast. As an important mechanics parameter of the CWR track plane, the ballast resistance is mainly influenced by this mechanics characteristic. Through the systematic experimental research and the theoretical analysis, this mechanics characteristic of the ballast resistance is revealed and a reasonable theoretical model is built for it. This study set a sound foundation for further studying the CWR track deformation property. It will be beneficial to the development of high-speed railway in China.     

轧制法生产高复基比不锈复合钢板和钢带的开发应用

不锈钢复合板既具有不锈钢的耐腐蚀性、耐磨性、抗磁性、豪华性和装饰性;又具碳钢良好的可焊性、成型性、拉延性和导热性,还可节约镍铬合金、降低成本,因而具有广阔的发展前景,值得大力推广应用.     

以4,4''''-二(咪唑基亚甲基)联苯为客体的环糊精类轮烷的合成与表征

以4,4'-二(咪唑基亚甲基)联苯(bibp)为客体,通过自组装合成了4,4'-二(咪唑基亚甲基)联苯和环糊精的[3]类轮烷,并通过元素分析,1HNMR,ESI-MS,IR,TG-DSC进行了表征和固体热稳定性等研究,结果表明:由于bibp客体分子链较长,含有两个苯环,所以可穿入两个β-环糊精分子,形成[3]类轮烷.     

现浇混凝土的质量控制与质量检测

对建筑工程中如何控制与检测现浇混凝土质量的方法做了简单介绍。     

Molecular dynamics study on the structure I helium hydrate

A 368- water molecule structure I gas hydrate, encased by the number of helium (He) molecules ranging from two to twenty-two, are calculated by molecular dynamical simulations. The potential TIP4P (transferable intermolecular potentical with four sites) is used for water interactions and Lennard-Jones for He-He and He-water interactions. He molecules do not affect the water lattice and can stabilize the hydrate when their concentration is small. A trough signature of He encased is found at 80～90 meV in the phonon density of states. He molecules prefer to be more off-center in 51262 cages. Heavier isotope He are energetically favorable to be filled in cages.