露天矿山高陡岩石边坡失稳的三维离散元分析

通过对大冶露天矿边坡失稳的三维离散元分析，讨论了边坡失稳原因，不仅为滑坡防治提供了参考依据，对高陡岩岩边坡失稳机制的认识也提供了参考。     

近距离煤层开采相互作用的离散元模拟研究

近距离煤层开采后，上下层工作面之间将产生相互作用。上下层工作面的合理错距是一个重要工程参数，它直接关系到上下层间的作用。采用离散元法对一个实际条件进行了模拟，分析了互层作用，确定了合理的错距，为安全生产提供了依据。     

面向对象多数据库系统的模式集成

讨论了使用面向对象技术解决多数据库系统模式集成的问题，针对全局模式多数据库系统提出了一个五级模式集成结构：局部模式、成员映射模式、成员对象模式、全局对象模式和全局外模式，详细描述了每级模式的定义和构成．     

自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

关于半连续格范畴

构造了一类新的保持半连续格结构的映射，进而得到了意义更广泛的连续格格范畴。     

SOFM和HMM在矢量量化码本优化中的应用

在语音压缩编码中，矢量量化占有很大比重和计算量。码本的好坏与方法的选择有很大关系。将基于神经网络的ＳＯＦＭ（自组织特征映射算法）和ＨＭＭ（隐含马尔可夫过程）应用于矢量量化，从而产生更为优良的码本。     

一维非线性奇异抛物方程的有限元方法

本对一非线性奇异抛物方程的有限元方法作了讨论，运用非对称有限元方法，在加权Ｌ２范数意义下，证明了半离散全离散解的最佳阶估计。     

一类线性周期系统的稳定性准则

考虑一类含小参数的线性周期系统利用Ｐｏｉｎｃａｒｅ映射给出零解稳定性的判别方法。     

二次映射式K路合并排序算法

在映射式Ｋ路合并排序算法的基础上提出了一种二次映射式Ｋ路合并排序算法，解决了当记录总数较少、关键宇最大值较大时，映射式Ｋ路合并排序算法存在的存储开销浪费大的问题，并保持时间复杂性不变。     

一维奇异非稳态问题全离散解的误差估计

研究如下奇异非稳态问题｛ｕｔ（ｘ，ｔ）－ｐ＾－１（ｘ）（ｐ（ｘ）ｕ＇（ｘ，ｔ））＇＋ｑ（ｘ）ｕ（ｘ，ｔ）＝Ｈ（ｘ，ｔ）ｔ〉０ ｘ∈Ｉ≡（０，１） ｕ＇（０，ｔ）＝ｕ（１，ｔ）＝０ ｔ〉０ ｕ（ｘ，０）＝ψ（ｘ）的有限元方法。分别使用Ｅｕｌｅｒ－Ｇａｌｅｒｋｉｎ方法和Ｃｒａｎｋ－Ｎｉｃｏｌｓｏｎ－Ｇａｌｅｒｋｉｎ方法，给出全离散解的加权Ｌ２模误差估计。