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

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

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

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

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

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

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

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

油气资源勘探与开发的不确定性分析及最优策略

基于油气资源勘探与开发的特点,建立了油气藏勘探发现率及储量模型,并在油气价格服从几何布朗运动条件下,以油气开采收益最大化为目标,建立了油气资源勘探与开发的随机最优控制模型,然后运用动态规划方法推导了在状态方程有几何布朗运动、带随机泊松跳过程条件下,值函数所满足的HJB方程,并对最优策略的求解进行了一些讨论.     

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.     

服装衣身合体性评价中的模糊数学方法

探讨了进行服装衣身合体性评价的模糊数学方法，建立了其理论隶属函数，对于进一步探讨衣身、衣袖合体配伍性评价提供了理论基础。     

芝麻素类型木脂素的合成研究Ⅳ2－苯基呋喃3，4－二羧酸二甲脂与格氏试剂反应的研究

研究了２－苯基呋喃－３，４－二羧酸二甲酯（２）与格氏试剂苯基溴化镁等（３）反应，生成酮基酸酯２－苯基－４－苯甲酰基呋喃－３－羧酸甲酯（１）的条件和方法。     

基于推广卡尔曼滤波的多站被动式融合跟踪

将推广卡尔曼滤波(EKF)算法与集中式融合跟踪算法相结合，用于被动式多站跟踪，给出了基于EKF的被动式多站集中式融合跟踪算法。该算法可解决被动式跟踪系统的可观测性及非线性问题。以三个站进行跟踪为例，进行了仿真研究，结果表明该算法具有满意的跟踪性能。     

湖北网湖湿地自然保护区两栖爬行动物资源调查

2004年对湖北省阳新县网湖湿地自然保护区的两栖类和爬行类进行了系统调查，分别记录到两栖类27种、爬行类38种．对它们的物种组成、地理区系特点和保护等级进行了研究，并提出了保护建议．