基于混合蚁群遗传算法的SAT问题求解

根据SAT问题的特点,通过分析传统蚁群算法和遗传算法在求解SAT问题上的不足,提出一种基于混合蚁群遗传算法的SAT问题求解方法。给出一种新的初始解的生成方式;在迭代过程中,根据较优解的累积信息提出进化算子;利用当前得到的最优解,通过改变不满足子句中文字的取值,增加变异算子。最后选取标准测试集中的20个实例对算法进行测试,实验结果表明:改进后的算法通常仅通过较少次数的迭代就能找到解,能够有效避免蚁群算法和遗传算法过早收敛的缺点,具有较强的寻优能力。     

基于临界冲突区域的交通冲突判别模型

为了更准确判断车辆行驶过程中是否发生交通冲突,对以往的交通冲突模型进行了改进,综合考虑了车辆制动过程和车辆本身尺寸对交通冲突判别的影响,建立了一种基于车型的临界冲突区域模型,分析了不同车型下冲突半径的变化,验证了车型对冲突判别的重要性,提高了冲突判别模型的精度. 针对常见车型,分析了临界冲突区域模型中的速度参数及车辆位置参数对冲突半径的影响规律,观察了在特定车速下车辆冲突区域的形状,从定量和定性的角度对上述模型进行了分析.     

基于知识和外观方法相结合的后方车辆检测

单独应用基于知识的方法或者单独应用基于外观方法检测是否存在车辆有一定的局限性,因此提出将二者结合起来用于静态图像后方车辆的检测.首先,利用分割算法获得感兴趣的区域(region of interest,ROI),利用基于知识(如车底阴影、颜色等信息)的方法,将被确认为是非车辆(背景)的ROI过滤掉,然后再对过滤后的结果应用基于外观的方法进行车辆检测.在不同的道路(高速公路、城市普通道路和城市窄道)条件以及白天不同光照条件下对车辆进行检测,结果表明,该算法的识别可靠性更高,适应性更好.     

水平轴风力机极限载荷预测方法的研究

介绍三种目前用于水平轴风力机极限载荷预测的模型 ,比较这三种方法的优缺点并选择统计模型用于运行中水平轴风力机极限载荷的预测 .在水平轴风力机CAD软件BladeDesign中用这种模型实现了运行中风力机极限载荷预测 .     

基于梅尔倒谱系数的路面板下脱空识别的应用研究

混凝土路面在使用过程中会出现各种病害,板下脱空就是常见的病害之一。因此,对混凝土路面板下脱空的有效识别就显得十分必要和紧迫。文中在了解和分析国内外脱空识别和声信号处理方法的基础上,针对声振法采集到的声信号的具体特征,利用梅尔倒谱系数(MFCC)和BP神经网络在混凝土路面板下脱空程度方面的应用,对路面板下脱空进行了研究。结果表明:严重脱空的识别正确率为94%,一般性脱空的识别正确率为92%,非脱空的识别正确率为90%。本文研究方法能够达到识别路面板下脱空的目的。     

复配型晶体调控剂对硫酸钙晶须生长的影响

以预处理的工业废渣磷石膏为原料,氯化亚铁与十二烷基磺酸钠(FeCl_2·4H_2O+SDS)复配物作晶体调控剂,采用水热法成功制备了硫酸钙晶须,利用SEM和XRD分别对硫酸钙晶须的表面形貌、物相特征进行了表征,研究了复配晶体调控剂掺量对硫酸钙晶须性能的影响,并对复配型晶体调控剂的作用机理进行了分析。研究结果表明,晶体调控剂能够显著增大硫酸钙晶须的长度和长径比,改善晶须的形貌,随着其掺量的增加,晶须长度、长径比均呈现先增加后减小的趋势,其最佳掺量(质量分数)为1.0%,此时晶须的平均长径比为139.50。     

钢管自动跟踪及在线自动定长切割控制器的软硬件设计

采用单片机实现了焊管机生产线钢管自动定长切割的控制，并使其具有结构小、功能强控制精度高等优点；介绍了控制器的软硬件设计思想和设计方法．     

一类单自由度齿轮系统动力学特性分析

建立了考虑齿侧间隙、时变啮合刚度等因素下的单自由度齿轮系统非线性动力学模型,采用变步长Runge-Kutta法对系统运动微分方程进行数值求解.结合系统的分岔图、Lyapunov指数图、相图、庞加莱映射图、时间相应图,分析系统随阻尼比变化时的动力学特性和啮合刚度对系统的影响,得到系统的混沌运动形成过程.结果表明,随着阻尼比变化,系统表现出丰富的动力学特性,同时啮合刚度影响系统的分岔点位置.