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

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

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

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

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

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

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

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

芦岭矿采空区煤炭自燃发火与开采技术关系的试验研究

采用了包括多点热电偶测定采空区遗煤温度、应用六氟化硫气体示踪和测定漏风压差等综合技术手段研究分析了漏风分布规律。结果发现,遗煤温度变化受漏风温度和漏风强度影响较大;停采线漏风的量及漏风时间受主要进、回风道的布置以及采掘接替安排的影响。由于采用无煤柱开采技术,三个相邻阶段的采空区之间连通,存在漏风,最后又从开采技术上提出了防火措施。     

高原鼠兔体重生长动态数学模型之再探讨

本文用麦夸算法构造高原鼠兔体重生长的Logistic和Compertz曲线模型,其结果表明:Logistic曲线比Gompertz曲线更优化,Logistic模型比逻辑斯谛-指要饱和模型的精确度更高.     

指纹识别技术在暂住人口身份证管理系统中的应用

随着计算机技术应用的普及和指纹识别技术的日益完善,现行的暂住人口身份证管理系统已逐步呈现出许多缺点和弊端.为解决近年来出现的诸多问题,使用本文提出的指纹IC卡暂住人口身份证管理系统,可以使被查者与本人身份完全一致,能够强化暂住人口的管理.     

分块三级及矢量量化图像编码

本文提出了一种新的称为分块三级及矢量量化图像压缩编码方法。该方法是以分块截断编码技术和矢量量化技术为基础的编码方法。对两幅512×512×8静态测试图像进行的计算机模拟实验表明:平均编码率低于0.91比特/像素,即图像数据压缩比大于8.8倍,而信噪比不低于37dB,复原图像的主观质量较好。     

利福平菌丝体厌氧生化处理的研究

制药厂生产利福平过程中产生大量的利福平菌丝体,可严重污染环境。用厌氧消化法处理利福平菌丝体,消化温度40℃,反应器容积负荷2KgCOD/m~3·d,液料滞留期(SRT)14～20天,取得了良好的处理效果。COD去除率稳定在90％左右,BOD_5去除率达到95％以上,产气率达到0.49m~3/去除KgCOD。     

中国南海海绵化学成份研究Ⅱ—B·C

从中国南海西沙群岛永胜岛附近海域采集到的一种海绵(种属未定)分离到两种新的三羟基长链酰胺类化合物S—Ⅱ(C_(49)H_(99)NO_4,M=765,m.p.138-140℃)和S—Ⅲ(C_(45)H_(93)NO_4,M=723,m.p.92—93℃),通过对它们的IR,MS,~1HNMR,~(13)CNMR及~(13)CNMR DEPT等波谱数据分析,S—Ⅱ和S—Ⅲ的结构分别确定为N-(1-乙基-3,22-二羟基)二十二烷基-2-甲基-4-羟基二十四脂肪酸酰胺和N-(1-羟甲基-2-乙基-4-甲基-3,18-二羟基)十九烷基—二十三脂肪酸酰胺。