Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

一种精确曝气控制系统的设计与应用

污水处理过程中,曝气池内的溶解氧质量浓度是决定污水处理效果的关键因素。运用ICA技术(即仪表、控制和自动化)对污水处理厂曝气环节进行设计。在出水水质稳定达标的前提下,通过对溶解氧质量浓度精准的自动调节,最大化的减少能源消耗和工人的劳动强度。     

安全钳提拉机构的设计

SAM是电梯的触动系统,又名安全钳提拉机构,是电梯的重要安全部件之一. SAM系统将限速器提拉力传递到两侧安全钳,安全钳楔块压紧导轨接触面并制停电梯.本文阐述了电梯安全部件的基本性能、重要参数和设计要求.详述了系统惯性力、弹簧拉力的计算方法.为SAM系统部件设计和选型提供重要的参数依据.同时本文提供了欧标和美标对SAM系统的设计要求,以及SAM部件选型的验证方法.为设计者提供设计依据.     

工业机器人驱动系统非线性频谱故障诊断方法

针对广义频率响应函数(GFRF)在故障诊断中存在计算量大、无法满足系统对诊断实时性要求的问题,提出基于非线性输出频率响应函数(NOFRF)的工业机器人驱动系统故障诊断方法。该方法构建系统一维频谱函数的辨识模型,将系统的输出频谱与估计频谱进行比较求出残差,根据残差大小改变辨识步长迭代出前4阶频谱;对获取到的4阶频谱进行逐阶采样,每阶频谱采集10个数值,共40个频谱构成40维特征矢量,将其作为系统的故障特征输入核主成分分析方法(KPCA)进行压缩,通过计算主元累计贡献率将高维数据压缩至3维,降低变量之间的非线性度;构造SVM分类器,将KPCA方法生成的低维数据中60%的数据作为训练集对分类器进行训练,将40%的数据作为测试集进行故障识别。实验结果表明,在相同的数据提取任务下,与基于GFRF的方法相比,所提方法节约时间854%,可以准确、快速地提取系统故障特征,进一步验证了该方法在工业机器人驱动系统故障诊断应用上的可靠性。     

高精度IMU车载激光测量系统在高速公路改扩建中的应用

针对车载移动激光测量系统的特点和高速公路改扩建数据精度的要求,本文对高精度IMU车载移动激光测量系统在高速公路改扩建中的应用进行分析,通过对车载激光测量系统中的关键器件IMU的原理和特性进行分析,阐述了车载移动激光测量系统在高速公路改扩建项目中彩色激光点云数据获取与联合解算的技术方法,并通过工程实践验证了该方法的精度。     

北斗地基增强系统在地质灾害预警方面的应用研究

利用北斗地基增强系统作为基准服务,选择有代表性的典型滑坡和地面沉降区作为示范区,建立滑坡和地面沉降实时监测系统,提高对重点地区地质灾害的监测效率和预警能力,使得地质灾害监测预警更加实时和高效。     

高速公路监控系统的设计研究

高速公路凭借高速、舒适、便捷的优势,已成为道路运输的重要组成部分。然而,交通事故等问题严重影响着高速公路的快速发展。目前,高速公路监控系统的应用是解决这些问题的主要途径,也是确保高速公路快速、安全畅通的最有效途径之一。基于此,本文首先对高速公路监控系统的构成及功能进行分析,对高速公路监控系统的发展现状和技术发展趋势进行研究,然后提出高速公路监控系统的基本设计步骤及实施方案,最后对监控系统在高速公路上的实际应用进行分析,为高速公路监控系统的进一步开发提供技术支持。     

武汉地区4种生境蝇类多样性及种群动态分析

2006年1月至2016年12月,在武汉地区4种生境共捕获蝇类4科7属11种15 603只,家蝇和丝光绿蝇为优势种.武汉地区蝇类全年活动,总密度季节消长趋势呈双峰型,第一个高峰出现在5月,第二个高峰出现在9月;蝇类活跃期较长,4—11月密度均较高,不同年份蝇类密度高峰期不同.蝇密度年际消长整体呈下降趋势,仅2010年密度反弹至14.5只/笼.绿化带蝇类丰富度、多样性指数和均匀度指数均最高,居民区次之,餐饮外环境和农贸市场最低.4种生境蝇类群落相似性指数在0.87～1.00之间,均为极相似.基于欧式距离的系统聚类和物种非度量多维标度排序分析显示,2006—2008年和2010年为一组,2011—2016年为一组,相互之间距离较近.这些结果说明,4种生境蝇类多样性与气候和人为干扰因素有密切关系.     

智慧安全管理系统在电厂日常运营中的应用

电厂普及智慧安全管理系统,能够有效提升日常运营管理效率和工作效率,降低人力、物力和财力的浪费。笔者以国内某电厂的智慧安全管理系统为例,结合多年来的电厂工作经验,对智慧安全管理系统在电厂日常运营中的应用进行深入分析,以期为进一步拓展智慧安全管理系统在电厂的应用提供经验。