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

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

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

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

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

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

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

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

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

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

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

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

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

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

煤矿监测系统无线传感器网络的设计

基于无线网络技术,探讨一种应用于矿井环境监测的无线传感器网络的设计。节点采用高性能的atmega16L为主控制器,CC1000为无线收发单元。网络采用一种集中控制式的主从结构,它是基于分层结构的改进。为了提高信号传输速度,网络中由主节点控制整个网络的有序运行。设计的无线传感器网络具有低功耗、高可靠性的特点,满足矿井环境监测的要求。     

基于滑模变结构的异步电机矢量控制系统设计

本文设计了一种基于滑模变结构的异步电机矢量控制系统。首先,通过坐标变换,建立异步电机在同步旋转正交坐标系(按转子磁链进行定向)上的数学模型,即可得到其等效的直流电机模型。其次,基于变结构理论,可以设计转速调节器,组成基于滑模变结构的异步电机矢量控制系统。最后,为了验证该设计方法的有效性,在Matlab/Simulink平台下搭建系统的模型并进行仿真。仿真表明,与PID控制相比该控制系统具有很强的鲁棒性。