XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

模糊聚类分析的一个改进算法及其应用

对传统模糊聚类分析方法进行研究,指出其不足之处,给出一个改进的模糊聚类分析算法,即对传递闭包进行逐行逐列改造,得到较优模糊等价矩阵,用它进行聚类比直接用传递闭包进行聚类更为合理,同时应用该方法对大学生综合素质进行评定.     

煤岩孔隙结构特征及其对储层损害的影响

煤岩特殊的孔隙结构及甲烷赋存和产出方式决定了其损害机理与常规储层存在明显差异。在此以六盘水地区亦资孔盆地二叠系煤岩气藏为对象,应用压汞和扫描电镜等手段,研究煤岩储层孔隙类型和孔隙结构特征,结合煤岩学、敏感性及工作液损害评价实验,探讨了煤岩气层损害机理。研究表明,煤岩中常见植物组织孔和气孔,裂缝发育,属双重孔隙介质,表现出很强的应力敏感性。工作液易通过天然裂缝系统侵入煤层中,导致裂缝内的固相沉积、水相圈闭和高分子处理剂吸附滞留损害。     

〖AKL～〗-Haar子空间的性质

引进1个新的L～-Haar子空间,证明了当L为单位算子时,L～-Haar子空间与通常的Haar子空间等价,给出了L～-Haar子空间的1个性质定理.最佳逼近;Haar子空间;L～-Haar子空间     

Herz型Triebel-Lizorkin 空间的一些等价拟范数

利用Littlewood-Paley极大函数和Lusin极大函数得到了Herz型Triebel-Lizorkin空间的一些特征。     

应力张量不变量和强度理论

现有强度理论有其合理的内核,并在实践中卓有成效。作者从应力张量不变量出发,提出一些现有强度理论的缺点或不足之处,根据应力张量不变量理论和归纳方法提出了可能的统一的强度理论。随着人类与自然斗争深入,可以预见统一强度理论的必要性日益紧迫。论文最后给出这一理论的实际应用,以及与现有强度理论的比较。     

广义强补问题的Wiener—Hopf方程的变换方法

利用变量替换的技巧,建立了广义强补问题与Wiener-Hopf方程之间的等价性,这个等价性被用于建议和分析若干求广义强补问题近似解的迭代算法。     

凸数列的一个等价条件及其应用

利用控制不等式理论建立了凸数列的一个等价条件,并应用基推广了一类加权对称平均不等式。     

一类5—桥图的色唯一性

设P(G;λ）是图G关于变量λ的色多项式。如果对任意图H,P（H;λ）＝P（G;λ）,都有H和G同构,则称图G是色唯一的,由连接两个顶点的s条内部不交的路组成的图叫s-桥图,本文给出了一类5-桥图F（2,2,2,a,b)(a≥b≥3)是色唯一的充分必要条件,推广了关于5－ 图色唯一性的已有结论。λ     

CIQ-163问题的解决

通过构造相关函数，借助求导方法和基本不等式理论，从新的视角对不等式研究通讯2009年第三期 CIQ-163问题进行全面探究，利用函数的增减性获得两个引理，并运用它分步建立起 CIQ-163问题的一个等价形式，从而给出该问题的人工证明。