补偿元件对载体催化元件输出特性的影响

阐述了矿井瓦斯传感器－载体催化元件在应用中，补偿元件发挥的作用和工作原理，着重分析了补偿元件对载体催化元件输出特性的影响，探讨了提高线性补偿效果的方法。     

基于LabVIEW的瞬变电磁数据采集及预处理

采用瞬变电磁法勘探到的信号中包含大量的强干扰信号,如不剔除强干扰信号,反演得到的计算结果误差较大。针对该问题,提出了一种基于LabVIEW的瞬变电磁数据采集及预处理系统的设计方案。该系统采用数据采集卡USB2089采集二次涡流场信号,并将其转换为计算机能处理的数字信号,然后通过LabVIEW平台的功能流程、功能算法剔除数字信号中的强干扰信号,从而实现对瞬变电磁数据的有效采集。仿真结果表明,该系统可剔除瞬变电磁数据中的强干扰信号,保证了数据采集的准确性。     

基于交补集和Pignistic变换的证据组合方法

针对D-S证据组合公式及其改进公式的局限性,提出一种基于交补集权重和Pignistic概率变换的改进组合方法。基于交补集理论推导出新的基本概率分配函数,对交补集权重因子进行量化,得到基于交补集权重的证据组合公式,利用Pignistic概率变换法对已获得的各命题的信度值进行重新分配,以降低组合顺序对合成结果的影响,同时可获得更可靠的决策依据。实例分析结果表明,与其他改进方法相比,该组合方法在解决冲突证据、一票否决、鲁棒性、公平性和决策有效性等方面均有明显的优势。     

新版KJ95N型安全监控软件系统应用架构浅析

文章介绍了新版KJ95N型安全监控软件系统的整体应用架构及其特点,总结了常用的2种软件系统表现方式——B/S(瘦客户端)和C/S(胖客户端)的优缺点,并对SmartClient(智能客户端)的特点进行了概括总结。     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

采用热导传感器检测气体浓度的新方法研究

为了克服传统热导传感器气体检测方法的诸多缺陷,提出了一种使传感器保持在恒温状态的气体浓度检测的新方法.介绍了该方法的检测原理,并根据传热学理论证明了该方法的可行性.理论与实践表明,该方法具有许多传统检测方法所不具备的突出优点,具有良好的应用前景.     

基于线阵CCD的干涉型甲烷测量仪的研究

由于人工目测对干涉条纹成像板的分辨率较低,影响了光干涉甲烷测量仪甲烷检测的精虔,为此提出利用线阵型CCD（Charge Coupled Device）对干涉条纹进行自动测量的方法．通过CCD驱动、零点自调、闺值获取及方向判断等关键技术,实现了干涉条纹位移的精确测量,再由单片机对线阵型CCD输出的测量信号进行智能处理,显示了甲烷含量的测量结果．实验结果表明,设计的仪器在测量甲烷气体时,分辨率提高了10倍以上,为提高甲烷测量精度创造了条件．     

瓦斯引爆能量自动测控装置

设计了1种基于ATmega128能够精确测量引爆瓦斯最小能量的瓦斯引爆能量测控装置。该装置控制高压放电引爆瓦斯气样,可以通过对点火电压的控制以及电流、紫外线的检测,完成瓦斯的引爆实验和参数监测,从而得到引爆不同浓度瓦斯所需的最小能量。     

恒温瓦斯检测输出非线性的动态调校

恒温瓦斯检测是一种使催化传感器在检测瓦斯气体时,始终处于恒温状态的新型检测方法,使瓦斯检测的稳定性,响应速度及传感器寿命等指标极大优于传统电桥检测方法,检测瓦斯的浓度范围也扩大了一倍,但输出特性呈现较严重的非线性,影响了瓦斯检测的准确性。本文在分析恒温瓦斯检测输出特性的基础上,采用神经网络自学习功能,对恒温瓦斯检测信号进行动态线性调校,使瓦斯检测获得较高的精度。     

催化传感元件动态配对方法的研究

为了提高催化传感器的零点稳定性，本提出了一种与传统静态参数配对工艺完全不同的动态配对方法，利用现代数学中的聚类分析计算方法，使每个催化传感元件与其特性相近的补偿元件进行了配对，改善了补偿效果，催化传感器的零点漂移减小了一半左右．