全面二孩政策下陇南市人口预测

人口问题对社会和经济可持续发展有着直接的影响.准确预测人口数量对政府制定与社会经济发展相协调的政策、计划有着重要的意义.国家全面二孩政策的实行,将直接影响着我国人口的增长.为了提高人口的预测精度,根据2010—2017年陇南市的人口数据,采用灰色系统预测GM(1,1)模型和生长曲线建立陇南市人口变化的数据模型,并与实际数据进行了拟合.结果表明,预测得到的数据与实际数据拟合性较好,满足相应的验证精度,可以用来预测未来陇南市人口变化趋势,为当地政府确定建设思路和制定发展政策提供参考.     

线性回归模型的一类新约束型LIU估计

针对带线性约束型的回归模型复共线性问题,提出了一种新估计,称之为修正约束型LIU估计,给出了新估计的性质.在均方误差准则基础上证明了在一定条件下,修正约束型LIU估计优于最小二乘估计、岭估计、修正岭估计和约束型LIU估计,最后讨论了新估计的可容许性.     

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的原理和特性进行分析,阐述了车载移动激光测量系统在高速公路改扩建项目中彩色激光点云数据获取与联合解算的技术方法,并通过工程实践验证了该方法的精度。     

联系一些特殊函数的Hilbert型积分不等式及其算子范数表达式

利用权函数方法、实分析技巧和特殊函数的相关理论,建立一个多参数的联系一些特殊函数的Hilbert型积分不等式及其等价式,证明其常数因子是最佳的,并给出其算子范数的表达式.     

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

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