采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

石嘴山二矿煤样程序升温自燃性测试研究

利用煤样程序升温自燃性测试实验装置，模拟煤自燃发火过程。通过考察煤样的煤温变化、氧气消耗量、一氧化碳产生量及其他气体的变化规律，并确定煤的临界温度、气体产生率、放热强度和极限参数，研究石嘴山二矿煤的自燃倾向性。为石嘴山二矿安全生产、自燃火灾的预测以及防灭火，提供依据。该实验数据精度在90%以上，能够很好的满足现场的要求。     

三相串联电能质量控制器及其补偿电压算法

为了抑制系统电压的跌落和消除电压谐波,提出了一种新型的三相串联电压质量控制器。利用向量图和几何方法对串联控制器的补偿极限进行了分析,提出了向三相三线制系统中注入零序电压以提高串联单元补偿极限的方法。新型的补偿电压控制算法可以快速得到三相交流补偿电压。利用对补偿极限的研究结果和补偿电压的控制算法,串联装置可以对稳态电压跌落和电压谐波进行治理,并且极大地提高了补偿极限。运用电力系统仿真软件PSCAD/EMTDC对该方法进行仿真,结果证明了理论分析和设计的有效性。     

水表计量误差校验检测的分析和评定

本文通过分析水表计量误差在车间校验台上校验检测时的系统误差和随机误差,提出了校验台系统误差的纠正方法和计量误差验收极限的确定方法.     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

奇非线性多调和方程的整体正解

证明了具有奇性的一类非线性多调和方程在R^n(n≥3)上的整体正解的存在性和多解性，用两个具体的例子说明定理的应用．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

有限群的某些数量关系

在有限单群分类过程中，其阶恰包含3个素因子的群，即所谓K3-群构成了一类需要单独进行处理的单群类．利用Sylow定理和G1auberman正规p-补定理分别对两类阶具有3个素因子的群：p^2qr和p^3qr阶群进行了讨论，在一定条件下证明了它们都是非可换单群，即K3-群，并且分别同构于A5和L(2，7)．     

一类平面三次多项式系统的赤道极限环分支

研究了一类平面三次多项式系统赤道极限环分支问题,给出了易于计算的系统赤道环量的代数递推公式.同时,计算了一类三次系统的前6个赤道环量,得到了系统在赤道邻域的可积性条件及在赤道附近存在5个极限环的系数条件,给出了一个平面三次系统在赤道附近分支出5个极限环的计算实例,并在不构造Poincare环域的情况下,指出了极限环存在的位置.     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．