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

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

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

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

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

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

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

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

大学英语教学低起点高目标的反思及应对策略

本文结合目前大学英语教学现状及社会对外语人才的要求，尝试着探讨大学英语教学低起点的缘由和高目标要求的应对策略。其意在为大学外语教学建立特殊的机制，充分发挥教育资源的整合效益，起到优化教学过程，达到最优化教学效果，最终最大限度地满足社会对各类外语人才的需要。     

论主导文化的艺术形态及其关于艺术的话语精神——以精神文明建设“五个一工程”评选中影视艺术获奖文本为例

文章把对主导文化艺术形态的分析和对精神文明建设“五个一工程”评选中电影艺术、电视剧艺术获奖文本的分析结合起来 ,梳理了主导文化在当代文化语境中关于艺术的几个主要方面的话语精神。     

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

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

中国经济持续发展中的生态环境问题与逆转战略

本文应用生态学、经济学、市场学、环境学、灾害学的观点，分析了中国经济发展中环境的面临的主要问题和退化症结，根据市场经济发展的要求，提出了生态环境上合理、经济效益上合算、整治技术上先进的对策，为综合整治中国生态环境提供基本思路。     

粉粒状物料透气性系数的测定

对经过分级的六种均齐粉粒状物料进行透气性系数测定。结果表明:球形小米颗粒((?)_p=1.70mm),透气性系数K=1.191×10~(-9)m~2,在整个固定床范围内都符合达西定律;石灰石粉((?)_P=0.900mm),K=5.831×10~(-10)m~2。文中还讨论了达西定律的适用依据和透气性系数的影响因素。     

转基因动物专利:历史和存在的问题

回顾了转基因动物专利的发展历史，对欧美在转基因动物可专利性之历史演变过程中的几个转折点的成因作了技术、法律、经济和伦理角度的分析．