关于Sb-S-H_2O系和Sb-Na-S-H_2O系碱性负电位区的热力学研究

本文根据同时平衡原理和电中性原理对Sb-S-H_2O系及Sb-Na-S-H_2O系的碱性负电位区进行了常温下的热力学分析,提出了一个计算和绘制这种体系的电位-pH图的新方法。这个方法所包括的基本观点和计算步骤,原则上适用于一切有多种络合物形成的复杂体系;而且,含有多核络合物和复杂配位(氧代配位体)络合物以及配位体变价和变体的极复杂体系的电位-pH值计算,目前还只能用这种方法完成。     

PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

关于合理爆破参数的探讨

本文从以下几个方面分析了合理确定爆破参数的问题.它包括掏槽方式、炸药品种、炮孔长度,炮孔直径和爆破成本;同时给出了实用爆破参数     

吉布斯自由能图在水溶液体系中的扩展

本文提出了一种用于水溶液热力学计算的图解法,并详细阐述了这种图解法的作图原理、用途和使用方法.这种图解法是对吉布斯图的一种发展.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

爆破卸压法维护巷道静光弹实验研究

针对目前地下深部煤炭资源开采中研究的热点之一——高地应力巷道维护问题，采用全息静光弹实验系统，对巷道侧帮爆破卸压巷道模型进行了不同围压条件下模型实验。实验结果显示，由于爆炸空腔与爆生裂隙形成的弱化带，巷道周围应力条纹由无卸压巷道波纹闭合状，改变为爆破卸压后的发散放射状．巷道周边的应力峰值向围岩深部转移，改善了巷道围岩应力状态。直观地揭示了爆破卸压力学机理。     

基于OWC和ASP的鸟类区系动态图表的构建与分析

以“海南大田国家级自然保护区鸟类分布名录”电子数据为数据范例基础,建立了在VFP中的相应鸟类关系数据表。笔者将使用SQL语言提取半结构化数据导入到MS SQL Server中,然后利用OWC和ASP技术生成了鸟类区系分析的动态GIF图表,并将其发布到互联网上取得动态分析结果。     

岩石爆破振动信号的EMD滤波与消噪

研究了采用经验模态分解（EMD）法对信号进行滤波、消噪的原理和过程，运用小波滤波和EMD滤波方法对仿真信号进行比较，并将EMD滤波、消噪法引入岩石爆破与冲击破碎信号处理领域中。结果表明：采用小波与EMD2种滤波、消噪的方法都能获得较好的效果，而基于EMD滤波、消噪法是依据信号分解结果的频谱特性进行选择性的滤波和消噪，更能充分保留信号本身所固有的非平稳特征，具有自适应强和灵活、有效的特点，是一种更好的爆破振动信号滤波、消噪法。     

基于小波变换的爆破地震信号去噪的应用

运用小波变换在不同的尺度下观察信号局部化特征。由于信号和噪声具有不同的奇异性，它们的二进小波变换模的极大值在不同尺度下的传播特性也不相同。在相邻模极小构成的待选通域中分析出噪声局部极大值所在的选通域进行平滑处理，从而得到局部信号的小波系数，将其反变换重建出去噪后的信号。将该方法用于爆破地震信号去噪声，结果表明：这种方法计算简单，且去噪效果较好。     

光面爆破技术研究

光面爆破也称密眼小炮爆破,是一种根据设计要求进行人为控制的爆破方法.实施时,通过合理选择各种参数,严格控制装药量,科学布置各种炮眼,并按照一定的顺序装药起爆.