数据报表的生成方法

报表作为一种重要的信息载体,在企业的信息管理、统计分析当中起着不可替代的作用。根据企业的具体业务需求,本文给出了数据报表的生成方案,并给出了相应的程序设计,本文使用XML作为从关系数据库中获取数据进行映射的中间媒介,以Java的可示化开发程序进行系统的开发,动态、高效地实现企业数据报表的生成。     

提高液压支架移架速度方法的研究

本文针对综采工作面上普遍存在的液压支架移架速度慢、影响劳动生产率的实际问题，从影响移架速度因素的分析入手，利用计算机数字模拟的方法，系统地研究了各参数和工作方式对移架工序中升柱、降柱、拉架和推溜动作的影响，探讨了提高液压支架移架速度的方法，为改进元件与系统的设进、合理地使用和操作液压支架提供了理论依据     

无粘结预应力悬臂箱形基础的设计和试验研究

将无粘结预应力钢筋混凝土悬臂箱形基础的基底反力和沉降测试结果与理论分析进行了对比，所得任意基底形状箱形基础的基底反力，沉降及倾斜均符合工程实际。     

一类不可微规划的Kuhn-Tucker充分条件及其对偶理论

对局部Lipschitz函数引进了广义凸性的概念,并在广义凸性下讨论了一类不可微规划的Kuhn- Tucker充分条件及其Mond- weir型对偶的各种对偶定理.     

A real-time transaction service for grid computing

A real-time transaction service aims at ensuring the consistency of real-time and transactional Grid applications. This paper proposes an efficient real-time transaction service (RTYS). It provides abilities to discover qualified services, i.e., participants, to execute specified sub-transactions, coordinate realtime Grid transactions, calculate deadline and assign priority for scheduling concurrent transactions. The service discovery adopts the two-level registry mechanism to adapt to transient Grid services. The coordination algorithm invokes multiple functional alternative services for each sub-transaction so that it remarkably improves the successful ratio of real-time transactions. The experiment result shows that the RTIS can well coordinate real-time transactions for Grid service environment and shield users from the complex process.     

水化学特征对砂加载混凝沉淀处理高悬浮矿井水效果的影响

砂加载技术被广泛应用于混凝沉淀高效处理高悬浮物矿井水。但对于原水水化学特征对石英砂加载混凝沉淀效果的影响则很少有系统的研究,影响机制也不清晰。为此,选用石英砂加载混凝处理高悬浮矿井水为研究对象,分析矿井水pH、Ca²⁺、溶解性总固体(total dissolved solids, TDS)和乳化油含量对石英砂加载混凝处理高悬浮物矿井水效率的影响。分析结果表明：矿井水过低和过高的pH均不利于加载混凝沉淀处理的效率,pH为9.00时,混凝沉淀速率和效率最高。Ca²⁺含量的增多和乳化油含量的降低能促进加载混凝沉淀效率的提升。而TDS含量的高低和水化学类型的差异并不是影响加载混凝沉淀处理高悬浮物矿井水的效率和沉降速率的主要因素。为进一步认知砂加载混凝处理工艺,提升其处理效率,实现中国煤矿矿井水资源保护和合理化利用具有重要的意义。     

急倾斜煤层采场围岩力学结构的探讨

根据急倾斜煤层赋存及开采特点,探讨了采场围岩的不同的力学结构形式、应力分布及变形破坏过程。     

特征3的域上保矩阵Moore—Penrose逆的可逆线性变换

设Ｆ是一个特征３的域,Ｍｎ（Ｆ）记Ｆ上所有ｎ阶方阵所形成的线性空间。刻划了Ｍｎ（Ｆ）上保矩阵Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ逆的可逆线性变换的结构。     

Hilbert空间中的Bellman问题

给出了迹类算子的若干不等式,并证明了 Hilbert 空间中的 Bellman 不等式 Tr(A~kB~k)≥Tr(AB)~k 对 k=2~n 及任二正的迹类算子 A 与 B 成立.同时还证明了当 k=2~n 时,对任一迹类算子 A,不等式 Tr(A~kA~(nk))≤Tr(AA~˙)~k也成立.针对这两个不等式的一般情况,引入了 k-可换性与 k-正规性,证明了有关算子类的闭性及其逼近性质.     

新疆某铜矿氧化铜矿石浸出小型试验研究

针对新疆某铜矿矿石性质特点,分别进行不同方案酸浸小型试验。推荐堆浸工艺进行可行性研究,堆浸铜浸出速度较快,同样粒度情况下铜浸出率较高、耗酸低、铁浸出率也较低,且细泥产生的干扰也小。