Z-广义连续格

利用Ｚ－子集系统引入Ｚ－广义连续格的概念，并研究了这类格的映射及拓扑性质。     

大淋水泥化弱胶结软岩巷道分阶段闭合支护技术

大淋水条件下泥化弱胶结软岩巷道的变形及失稳机理比较复杂,淋水会造成岩体软化、泥化,使围岩承载力下降、支护体失效,最终导致巷道产生非线性大变形.通过现场围岩变形观测与FLAC 3D软件数值分析,充分了解了新上海一号煤矿软岩巷道的变形破坏特征.在大量软岩巷道支护实践经验的基础上,提出了以防治水为前提,一次支护卸压、二次支护定型、关键部位强化为原则,顶板注浆、底板钢筋混凝土反底、底角格栅、全断面喷浆为手段的综合性分阶段巷道围岩闭合支护方案.在113采区回风巷进行了70m现场应用试验,结果表明该方案有效控制了软岩巷道的围岩变形.     

微观条件下储层天然裂缝闭合特征研究

当前针对储层天然裂缝闭合的研究仍旧局限于在建立模型的基础上探讨模拟有效应力对裂缝闭合的影响,几乎没有涉及到微观条件对裂缝闭合的影响。为此,对单条天然裂缝在储层中的应力状态进行分析,在BS粗糙表面复合模型的基础上,依据赫兹弹性理论,从微观角度建立裂缝表面微凸体的力学模型,将单条裂缝的闭合问题转化为微凸体压缩的问题,根据微凸体的各类特性对天然裂缝的闭合进行探究。从裂缝岩石性质和微凸体分布特点出发,利用计算机模拟分析不同的泊松比、微凸体高度均方差、微凸体高度期望值对裂缝闭合过程的影响。通过不同情况下的模拟和分析,得出三种情况下的储层天然裂缝闭合量的变化规律。对于裂缝发育较强的油气藏开发具有一定的指导意义。     

用弱孤立算子或弱外孤立算子确定闭包系统

引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子的全体)上赋予适当的序关系≤,使得(WI(X),≤)和(WOI(X),≤)是与(CS(X),)同构的完备格,这里CS(X)是X上的闭包系统的全体.因此可以用弱孤立算子或弱外孤立算子确定闭包系统.     

刚构-连续组合体系梁桥边跨合龙方案

以东路高架桥边跨合龙段施工工程为背景,采用平面杆系程序对边跨合龙方案由落地支架施工更改为吊架施工的桥梁结构进行了对比分析.研究结果表明,采用不同的边跨合龙方案对主梁在施工阶段、成桥阶段的受力状态影响较小.并对当过渡墩较高或支架需搭设在水中时,采用吊架施工的可行性进行了探讨.     

基于视域剪裁的三维场景快速消隐算法

提出了一种基于视域剪裁的三维场景快速消隐算法。对于场景中每个物体,通过判断其最小闭包长方体是否和视域相交,以决定是否绘制此物体。在我们的算法中,视域被抽象成一个近似方锥。这种近似并不影响判断效果,而算法的逻辑得到了极大的简化,速度得到了很大提高。在每一次相交判断中,只需进行乘法和加法运算。因为此算法数据结构简单,可以和其他基于层次遮挡的消隐算法一起使用。由于算法逻辑简单,适合采用硬件实现。     

利用二元关系核排序

对二元关系核与二元关系闭包两种运算之间关系的性质进行研究，给出了二元关系核在排序方面的两点应用．     

数据库逻辑设计的图形工具系统

虽然有许多理论上和算法上的结果，但数据库的语义特性并没成功地用到实际生活中的数据库管理系统中．为了解决这一问题，我们建立了一个图形系统．本系统提出了一个用来表示数据库模式和语义特性的图形模型．     

关系数据模式中属性集闭包和FD集闭包的性质

本文主要给出了关系模式中两个重要概念——属性集闭包及ＦＤ集闭包的若干性质及其相互关系．     

Warshall算法之证明及若干应用

本文给出了 Warshall 算法的一个正确性证明,不仅简明,而且极有利于对 Warshall 算法本身的理解。对于自动编译程序构造中的基本问题之一,求非终极符所对应的终极符串的带头符(FIRST)和后继符(FOLLOW)集,本文还介绍了基于 Warshall 算法的计算办法。