电容式水分仪的研制

介绍了基于单片式电容传感器的电容式水分仪,可实现对被测对象的无损检测。主要用于地暖供热管道渗漏和建筑物渗漏的检测。描述了水分测量系统的测量原理、硬件结构,以及软件设计结构。实践表明,该水分仪具有较高的准确性和应用推广价值。     

一种附加直流电源漏电保护器的研制

分析了煤矿井下中性点不接地供电系统对地绝缘电阻的基本要求,给出了附加直流电源检测对地绝缘电阻的原理与保护方法;在此基础上介绍了一种附加直流电源漏电保护器的软、硬件设计方案。实验和实际运行结果表明,该附加直流电源漏电保护器误差较小,能够满足煤矿井下电网的漏电保护要求。     

基于ARM-Linux的钢丝绳损伤检测系统设计

针对现有钢丝绳检测系统实时性与适应性差、自动化程度低的问题,提出了一种基于ARM-Linux的高性能钢丝绳损伤检测系统的设计方案,详细介绍了该系统的硬件组成、工作原理、软件实现方法及实时采样曲线绘制的设计与实现。该系统结合嵌入式Linux技术和漏磁无损检测技术,可独立完成检测任务,实时显示检测波形,提高了检测效率。     

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

为研究密封件的微泄漏量大小与检测时间之间的关系,实现检测时间与检测可靠性的优化,通过分析密封件微小泄漏的理论,建立了微小泄漏的等效模型。基于此模型,采用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.     

变压器漏磁热损的光纤Bragg光栅检测与温升特性分析

变压器的漏磁场强度随着变压器容量的增大而增大,漏磁场强度越大在变压器各结构中引起的漏磁损耗越大,导致变压器运行效率低下,进而影响变压器的正常运行。对35 kV变压器进行试验,将漏磁产生最大处的温度与油箱产生顶端处的温度进行了对比,试验得出当开风机时该处与油箱顶端处的最高温度差为8.7℃、当负荷降至1倍功率时温差为2.9℃,它们的实时温度曲线图与变压器的运行一致,产生了局部温升的现象。通过光纤Bragg光栅（ FBG）检测温度的变化反映变压器漏磁的情况,从而实现了对变压器漏磁的实时在线监测。