全序时态模式中时态函数依赖的覆盖问题研究*

与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。     

全序时态模式下函数依赖集的成员籍问题研究

时态函数依赖(TFD)约束的全序时态模式下, 成员籍问题是设计有效模式分解算法的关键.定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础.     

汽轮机结垢的处理

介绍对我厂汽轮机清垢的处理，说明用低压饱和蒸煮和软水冲洗分别处理背压式汽轮机和凝汽式汽轮机的操作步骤、检测方法，实践表明该法简便易行，成效显著。     

隐爆角砾岩筒内矿体开采对断层安全影响研究

为研究隐爆角砾岩筒内的金铜矿体采动对F1断层的影响,建立三维数值模型,选择FLAC3D计算分析软件,拟定分段空场嗣后充填采矿法、上向水平分层充填采矿法和上向进路充填采矿法3种方案,根据不同方案提供的采场结构参数,模拟分析隐爆角砾岩筒内的金铜矿体开采后采场围岩的塑性区破坏响应。模拟分析结果表明,采用分段空场嗣后充填采矿法时,F1断层塑性区贯通,连成一片,单元破坏率高,易引发断层失稳破坏;采用上向水平分层充填采矿法和上向进路充填采矿法,对F1断层开采破坏较小,采场通过断层时稳定性较好,该2种采矿方法适合用于隐爆角砾岩筒内的金铜矿体开采。     

浅议O形密封圈动密封

Ｏ形密封圈按照国家标准可用于静密封也可用于动密封。经过生产试验 ,在配合间隙较小时Ｏ形密封圈动密封性能良好 ,反之其密封性能就很差。Ｏ形密封圈应用在阀杆的密封 ,配合间隙为0 0 1～ 0 0 16ｍｍ ,其密封效果很好。我们在设计液压缸时 ,把Ｏ形密封圈应用到活塞杆密封 ,Ｏ形密封圈选用 2 8× 3 5(ＧＢ 12 35— 76 ) ,沟槽为 2 8 0 .0 5　 0 × 4 5 0 .15　 0 ,配合公差为 2 2 Ｈ9ｆ8,2道Ｏ形密封圈 ,组装后在 5ＭＰａ压力下进行试验 ,仅仅往复试验了 4 0～ 50次 (往复次数) ,已外渗漏成滴。我们又改用 2 2 4× 3 55(ＧＢ3452 1—…     

夹具设计中常见的问题

在夹具设计过程中，对于被加工零件的定位、夹紧等主要问题，设计人员一般都会考虑的比较周全，但是，夹具设计还经常会遇到一些小问题，这些小问题如果处理不好，也会给夹具的使用造成许多不便，甚至会影响到工件的加工精度。我们把多年来在夹具设计中遇到的一些小问题，归纳如下：     

有载调压开关防爆膜破裂故障分析

长春超高压局合心变电站500kV1号主变是乌克兰扎布罗什制造厂生产的单相有载调压自耦变压器,于1988-05-01出厂,1992-07-16投入运行。2001-06-03T14:30,合心变电站值班员巡视时发现,B相主变油箱上部储油柜侧冒油,沿油箱下侧储油池地面有大片油迹(有载调压开关重瓦斯保护没有动作