基于启发式搜索策略的测试选择问题研究

测试选择是测试性设计的最基本步骤之一，本文通过对其数学模型的研究，构造了衡量测试集优劣程度的启发式函数，并由此实现了一种用于测试选择的遗传搜索算法。实例验证表明了该启发式函数的有效性，为测试性设计提供了一个简单有效的方法。     

基于综合型模糊支持向量机的故障诊断方法及应用

设备信息和故障的不确定性、模糊性及故障样本的缺乏给故障诊断带来了较大的困难.针对该问题,分析了现有模糊支持向量机的原理和优缺点,提出了一种综合型模糊支持向量机.该模糊支持向量机既可以处理样本含有模糊信息的情况,又可以解决支持向量机分类中存在的不可分问题.然后,提出了基于综合型模糊支持向量机的故障诊断方法,并在某电路系统故障诊断中开展了应用研究.应用结果表明,该诊断方法在设备状态存在模糊性和故障样本较少的情况下,与现有模糊支持向量机诊断方法相比,实现了较准确的故障诊断.     

国内外石材加工设备市场需求及未来市场预测

<正>中国石材加工设备市场需求与未来走势,业内一直以来没有人说的清楚。本文依据前几年的资料,结合个人的认识,谈一些这方面的理解,不妥之处欢迎批评。1、我国石材消费的繁荣推动了石材加工设备需求的持续上升据中国石材协会统计,2012年我国石材进出口累计3772万吨,同比增长1.4%;进出口额累计80.6亿美元,     

金川二矿区16行垂直矿柱的开采风险分析与预测

叙述了金川二矿区16行垂直矿柱开采前的状况,介绍了16行垂直矿柱开采的依据及回采实践,从开采安全性、矿山地压活动、矿山整体稳定性3个方面对16行垂直矿柱开采的风险进行了分析与预测,相应提出了16行垂直矿柱安全回采的合理建议。     

低品位矿石微生物浸出作用机理研究

微生物种类及其作用机理是浸出低品位矿石的关键所在。将浸矿细菌分为中温菌、中等嗜热菌和高温菌三类,分别对其生长环境、外部形态特征和浸矿特性进行了系统、深入的研究,为浸矿菌种的选择提供依据。微生物作用机理至今还存在很大争议,普遍的观点认为主要有三种作用机理:直接作用、间接作用和直接———间接复合作用,本文将浸出体系中的细菌分为游离细菌和吸附细菌,提出了间接———接触间接———直接复合作用机理,并分析了各种情况下的主要作用机理。     

Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets

Testability design is an effective way to realize the fault detection and isolation. Its important step is to determine testability figures of merits （TFOM）. Firstly, some influence factors for TFOMs are analyzed, such as the processes of system operation, maintenance and support, fault detection and isolation and so on. Secondly, a testability requirement analysis model is built based on generalized stochastic Petri net （GSPN）. Then, the system＇s reachable states are analyzed based on the model, a Markov chain isomorphic with Petri net is constructed, a state transition matrix is created and the system＇ s steady state probability is obtained. The relationship between the steady state availability and testability parameters can be revealed and reasoned. Finally, an example shows that the proposed method can determine TFOM, such as fault detection rate and fault isolation rate, effectively and reasonably.     

基于UML的复杂装备测试性需求建模

提出了一种基于UML的复杂装备测试性需求分析模型。首先分析了测试性需求分析过程;然后描述了统一建模语言（UML）测试性需求建模思想;最后构建了以用例模型、静态模型和动态模型为主的测试性需求分析模型,该模型详细描述了测试性需求分析过程中的系统信息管理和确定测试性指标要求的用例、对象信息以及交互行为,保证了信息的完备性和模型的有效性。通过开发测试性需求分析软件系统,并对某导弹进行测试性需求分析和指标确定,验证了结果的可信性和方法的有效性,为开展装备测试性需求分析和指标确定奠定了基础。     

Experimental study on preferential solution flow during dump leaching of low-grade ores

The phenomenon of preferential solution flow during dump leaching of low-grade ores was studied.The formative mechanism of preferential solution flow was investigated through analyzing the relationship between permeability and ore diameter,and the relationship between surface tension and ore diameter.The preferential solution flow happened within the fine ore area when the dump was unsaturated.And it could happen within the coarse ore area when the dump became saturated.The results of experiment show that the outflow of coarse ore area increases sharply with higher applied rate.The outflow of fine ore area is greater than that of coarse ore area when the applied rate is below 3.2 L/min,and the preferential solution flow happens in fine ore area.But the preferential solution flow happens in coarse ore area when the applied rate is higher than 3.2 L/min.The result of the experiment is consistent with the mechanism analyzing.     

堆浸过程中堆场地质灾害发生机制探讨

堆浸过程中,存在着滑坡和泥石流两种地质灾害。分析了灾害产生的原因及其可能造成的危害,探讨了堆浸场地质灾害发生机制的宏观表象与微观反应之间的内在联系;重点分析了微观机理中溶浸液在堆场中的赋存状态以及矿石颗粒内部的反应过程。以铜浸出为例,分析了铜浸出过程中的化学反应机理。     

谦比西铜矿岩石力学性质分析

介绍了谦比西铜矿的矿岩物理力学性质、岩体应力状态、岩体结构及其稳定性评价情况,并结合该矿实际,提出了今后开展岩石力学工作的建议,有望对同类矿山有一定的借鉴作用。