超前瓦斯排放钻孔有效排放半径的测定

介绍了煤层超前钻孔的防突机理,比较和分析了超前瓦斯排放钻孔有效排放半径的3种测定方法,选择钻屑量与钻屑瓦斯解吸指标法进行了现场应用。应用结果表明,使用钻屑量与钻屑瓦斯解吸指标法测定排放钻孔的有效排放半径简便易行,准确可靠。     

差压测漏仪微泄漏的建模与仿真

为研究密封件的微泄漏量大小与检测时间之间的关系,实现检测时间与检测可靠性的优化,通过分析密封件微小泄漏的理论,建立了微小泄漏的等效模型。基于此模型,采用AMESim仿真软件对差压测漏仪检测微小泄漏的动态特征进行仿真分析,得出了被测件微小泄漏时的动态P-T关系曲线。结果表明,此仿真试验能反映出密封件微泄漏时压力与时间的动态关系,为制定最优的检测时间提供了依据。     

Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.     

A new homotopy perturbation method for solving systems of partial differential equations

In this paper, a new homotopy perturbation method (NHPM) is introduced for obtaining solutions of systems of non-linear partial differential equations. Theoretical considerations are discussed. To illustrate the capability and reliability of the method three examples are provided. Comparison of the results of applying NHPM with those of applying HPM reveal the effectiveness and convenience of the new technique.     

Proofs of randomized algorithms in Coq

Randomized algorithms are widely used for finding efficiently approximated solutions to complex problems, for instance primality testing and for obtaining good average behavior. Proving properties of such algorithms requires subtle reasoning both on algorithmic and probabilistic aspects of programs. Thus, providing tools for the mechanization of reasoning is an important issue. This paper presents a new method for proving properties of randomized algorithms in a proof assistant based on higher-order logic. It is based on the monadic interpretation of randomized programs as probabilistic distributions (Giry, Ramsey and Pfeffer). It does not require the definition of an operational semantics for the language nor the development of a complex formalization of measure theory. Instead it uses functional and algebraic properties of unit interval. Using this model, we show the validity of general rules for estimating the probability for a randomized algorithm to satisfy specified properties. This approach addresses only discrete distributions and gives rules for analyzing general recursive functions.We apply this theory to the formal proof of a program implementing a Bernoulli distribution from a coin flip and to the (partial) termination of several programs. All the theories and results presented in this paper have been fully formalized and proved in the Coq proof assistant.     

Partial 3D Shape Retrieval by Reeb Pattern Unfolding

This paper presents a novel approach for fast and efficient partial shape retrieval on a collection of 3D shapes. Each shape is represented by a Reeb graph associated with geometrical signatures. Partial similarity between two shapes is evaluated by computing a variant of their maximum common sub-graph.
By investigating Reeb graph theory, we take advantage of its intrinsic properties at two levels. First, we show that the segmentation of a shape by a Reeb graph provides charts with disk or annulus topology only. This topology control enables the computation of concise and efficient sub-part geometrical signatures based on parameterisation techniques. Secondly, we introduce the notion of Reeb pattern on a Reeb graph along with its structural signature. We show this information discards Reeb graph structural distortion and still depicts the topology of the related sub-parts. The number of combinations to evaluate in the matching process is then dramatically reduced by only considering the combinations of topology equivalent Reeb patterns.
The proposed framework is invariant against rigid transformations and robust against non-rigid transformations and surface noise. It queries the collection in interactive time (from 4 to 30 seconds for the largest queries). It outperforms the competing methods of the SHREC 2007 contest in term of NDCG vector and provides, respectively, a gain of 14.1% and 40.9% on the approaches by Biasotti et al. [ BMSF06 ] and Cornea et al. [ CDS*05 ].
As an application, we present an intelligent modelling-by-example system which enables a novice user to rapidly create new 3D shapes by composing shapes of a collection having similar sub-parts.     

基于ARM9的恒压恒速双缸泵控制系统

介绍基于ARM9的嵌入式恒压恒速双缸泵控制系统。以S3C2410嵌入式处理器为核心,扩展其外部硬件设备包括高精度AD, DA转换器和LCD等,以Windows CE为操作系统,应用PB和EVC++4.0开发应用软件。该控制系统成本低,界面友好,可实现对恒压恒速双缸泵的高精度高稳定性控制。     

反馈线性化在液压型风力发电机组功率追踪中的应用

以液压型风力发电机组为研究对象,为使功率追踪的过程平稳,研究机组的最佳功率追踪控制方法.本文利用反馈线性化方法解决系统非线性问题,以液压系统压力为控制输出,设计最佳功率追踪控制器,并提出一种反馈线性化方法的工程应用解决方案,即结合传统PID控制解决反馈线性化工程应用中依赖模型参数精度的问题.依托30 k VA液压型风力发电机组半物理仿真实验台进行仿真和实验研究,验证了该方法的可行性,为机组进一步研究奠定理论与实验基础.     

基于近红外与高光谱技术的小麦种子多指标检测方法

采集47份小麦样本的高光谱图像,提取感兴趣区内的平均光谱,结合反映小麦品质的水分、蛋白质和湿面筋三个指标基础数据,通过OPUS软件搜寻最佳的光谱预处理和波段组合,分别建立了三个指标的偏最小二乘法(PLS)定量分析模型.同时与采用近红外(.NIR)光谱技术建立的三个指标的近红外模型进行比较,发现高光谱模型的各性能指标均明显优于近红外模型.结果表明:当被测样品为颗粒状且内部化学成分分布不均匀时,近红外模型的准确性和稳定性会受其测量条件的限制,而高光谱采样面积大,获取信息更全面,展现出强大的分析检测潜质,为小麦品质评价提供了新方法.