基于果蝇优化算法的轮廓误差控制研究

针对传统果蝇优化算法精度低、收敛慢、易陷入局部最优的问题,通过增加随机机制扩大其探测能力,并通过改变步长,提高其后期寻优精度。将改进后的算法应用于PID控制器的参数优化,并将复杂的时变信号作为优化模型的输入。对获得的PID参数的控制效果进行验证,结果表明:改进后的果蝇算法寻优速度快、精度高,其优化后的PID参数,轮廓运动控制精度高、鲁棒性好。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

基于OpenMV的云台追踪系统设计

为解决传统目标识别过程中目标不能移动、动态追踪等问题,基于OpenMV,采用PID控制、模块识别、颜色识别、图像处理等技术和方法,设计了一种能够自主动态追踪目标物体的云台系统。锥桶的动态追踪识别测试结果表明:系统能够较好地完成动态追踪。     

车用主动转向液压系统非线性建模与仿真分析

基于非线性状态方程,建立位置反馈PID控制闭环系统Simulink模型,分别对阀控非对称缸及整个闭环系统进行仿真分析;利用AMESim软件建立相同结构及参数模型进行对比,验证了非线性状态方程模型的有效性。结果表明:位置反馈PID控制可改善主动转向液压缸活塞运动方向改变时位移、速度、流量的不对称特性,但压力差异与突变依然存在,并在换向位置出现轻微振荡现象。     

比例先行数字PID控制器的仿真

主要描述了通过比例先行的PID控制器,使用采样控制系统对惯性热工对象进行控制这一过程的仿真,并对仿真结果进行了简单的分析.     

具有变系数的奇数阶中立型差分方程的振动性

研究奇数阶中立型差分方程，得到了保证方程所有解振动的新的充分条件。     

淬火线冷却水流量自动控制

对淬火线冷却水流量进行自动控制，以达到控制淬火质量的目的，对流量控制的特点进行了较为仔细的分析，并结合数字ＰＩＤ调节与单步增量调节的方法进行了实验，分析了实验误差。对进一步的研究提出了展望。     

核潜艇炉水中磷酸盐含量分析方法研究和改进

本文提出了一种用于分析核潜艇炉水中磷酸盐含量的新色阶的制备方法，并对新色阶和现行色阶（磷钒钼黄色阶）的稳定性作了研究，测知新色阶的有效使用期比现行色阶延长了至少１２倍，实验室和艇上现场实验表明：新色阶完全可以替代用于分析核潜艇炉中磷酸盐含量的现行色阶。     

列车制动“电-空”转换的Bang-Bang与模糊PID复合控制

列车气制动过程中的EP(电-空)转换完成电气指令到空气压力的转换,是实现精确制动的关键环节.EP转换具有非线性、时变和多因素干扰等特点,但它的实时性要求又很高,导致控制难度较大.采用环境适应能力更强的高速开关电磁阀组成EP转换单元,提出一种结合Bang-Bang控制思想与模糊PID(比例积分微分)控制的复合控制器,能自动适应不同工况.建立了EP转换的数学模型并进行分析,并构建了制动试验台进行大量试验.采用复合控制方法和高速开关阀的EP系统具有转换精度高,响应速度快等优点,还能延长器件的使用寿命.