约束数据库中的索引

本文研究了约束数据库中的索引技术，提出了存储区间常数刺穿集的数据结构S树和S^*树．在刺穿集的最大长度受到限制的条件下，S^*树存储效率是最优的．与M树相比，S树和S^*树有一个明显的改进：可以支持删除操作．     

服务机器人

在工业机器人问世30年后的今天,它已被世人看作是一种生产工具。在制造、装配领域以及最近在服务行业,机器人的应用取得了明显的进展,从而使科幻小说中的下述古老梦想比过去任何时候都更有可能加以实现,那就是: 让自主机器人作为“人的助手”,用以提高人们的生活质量。图1示出了工业机器人与服务机器人可能发展趋势的比较。     

125～300MW火电机组热控系统改造

该文针对国内在役火电机组热控系统存在的问题，结合国际、国内热控仪表的进步和上海发电设备成套设计研究所在１２５～３００ＭＷ火电机组热控系统所做的改造工作，介绍了在热控系统设计、功能设置、设备选用、控制策略等方面的改造经验及其效益，并探讨了火电机组热控系统改造和采用的设备仪表的可行方案。     

800kV升压变压器工程设计研究

由发电机出线直接升压到800 kV的变压器将在西北地区首次采用。该文将结合拉西瓦工程设计的要求,对一系列的技术问题加以研究与分析。根据工程设计和研究结果,变压器将采用三相组单相变压器,铁心采用三柱式,电压调压范围为800/!3-3×2.5%kV。由于GIS的断路器和隔离开关均设置分合闸电阻,使GIS产生的快速暂态过电压(VFTO)对变压器绝缘影响较小,以及我国800 kV系统过电压的限制水平,确定它的绝缘耐受能力。     

IncLOF:动态环境下局部异常的增量挖掘算法

异常检测是数据挖掘领域研究的最基本的问题之一，它在欺诈甄别、贷款审批、气象预报、客户分类等方面有广泛的应用，以前的异常检测算法只适应于静态环境，在数据更新时需要进行重新计算，在基于密度的局部异常检测算法LOF的基础上，提出一种在动态环境下局部异常挖掘的增量算法IncLOF，当数据库中的数据更新时，只对受到影响的点进行重新计算，这样可以大大提高异常的挖掘速度,实验表明，在动态环境下IncLOF的运行时间远远小于LOF的运行时间，并且用户定义的邻域中的最小对象个数与记录数之比越小，效果越明显.     

DTD的规范化

一个设计良好的DTD对于XML应用来说是必须的，从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分，将它引入到XML的领域中。给出的函数依赖可以是绝对的，也可以是相对的，键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则，并证明了推理规则集的正确性和完备性。基于函数依赖，提出了规范化的DTD概念，并给出了一个将DTD转化为规范化形式的算法。     

聚乙烯醇复合膜的制备

以亲水性的聚乙烯醇为原料，采用机械涂敷法制备复合纳滤膜．考查了基膜、聚乙烯醇的浓度、交联剂的浓度及配比、涂层厚度、交联时间以及热处理等对膜分离性能的影响，确定了最终制备条件．在一定的温度和湿度条件下，在截留相对分子质量为100000的基膜上，通过5％的聚乙烯醇溶液与1％的戊二醛的交联反应，研制了截留相对分子质量为600的PVA复合纳滤膜。     

磁浮式计数器摩擦力矩测试仪标定装置的研制

本文介绍一种用于磁浮式计数器摩擦力矩测试仪的标定装置 ,探讨了对垂直工作轴系微力矩标定的方法 ,讨论了标定测量软件的功能 ,并进行了测量结果不确定度分析。     

黑体空腔式中间包钢水连续测温系统与应用

描述了黑体空腔式钢水连续测温系统的理论基础、结构原理、校验方法、测试结果分析和现场应用情况。该测温系统的测温偏差≤±3℃,测温管寿命可达15～25h(取决于钢种和工艺等),测温成本比现行的快速热电偶实际消耗略低,系统运行稳定可靠,并取得显著的综合效益。