一种基于环切割的约束满足问题求解算法

该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3rm算法中,给出一种新算法CCS.CCS将原同溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题；第2部分通过无回溯的Tree_Search算法求解化简后的...     

基于Simulink的无刷直流电机调速系统仿真研究*

目前直流无刷电机的控制被广泛应用于控制系统。建立了无刷直流电机的数学模型,推导出电机的传递函数,并运用Simulink对电机转速控制模型进行仿真,仿真结果表明模糊PID控制效果优于传统PID控制,可为后续控制系统的开发提供理论基础。     

基于AC-4的动态值启发式约束满足问题求解算法

通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。     

阀门自动启闭装置的研制与应用

为解决核电站部分阀门调试、维修、维护保养时手动启闭阀门劳动强度大、耗时长等问题,研制了阀门自动启闭装置,主要由动力源、传动模块、夹持模块、自固定模块构成。结合核级阀门特征参数,运用机械原理相关知识,进行了装置固定方案及传动方案设计;通过对自固定模块及传动模块的建模及有限元分析进行强度校核,确定设计尺寸完成装置加工并进行阀门启闭试验。试验结果表明该装置应用于核级阀门的启闭时控制简单可靠,运行平稳,能够实现预期的功能。     

SO42-/MxOy型改性固体酸催化剂的合成及性能研究

运用沉淀-浸渍法制备改性型固体酸,采用稀土硝酸盐、氧化物、硝酸锆分别与硫酸铁、硝酸铝、硅酸钠按照一定的摩尔比进行反应,经硫酸酸化焙烧后合成5种改性固体酸,对固体酸的固态形貌、热稳定性进行了表征。探究了此类固体酸的催化性能,通过单因素考察了不同反应条件对玉米芯水解产生木糖质量分数的影响,筛选出催化效果最佳的固体酸。在此基础上,采用响应面分析法进行实验研究,探究催化剂用量、反应温度、反应时间对木糖质量分数的影响,确定最佳实验条件为催化剂用量0.02 g、反应温度70℃、反应时间3 h,在上述条件下,Eu₂O₃改性型固体酸催化效果最好,水解生成的木糖质量分数为14.65%。     

采用温差法的10kV交联聚乙烯电缆水树老化评估

交联聚乙烯(XLPE)电力电缆在运行过程中受到电场、温度、水分等因素的共同影响而发生老化,引发事故,给电网的安全运行带来隐患.为此,选取水树老化10 kV XLPE电缆为研究对象,采用温差法研究了温差电流与试样老化时间的关系.实验结果表明,温差电流幅值随着试样老化时间的增加而增大;温差电流与直流电压的幅值正相关;随着电...     

新文科背景下智能技术赋能计算机通识课程改革

针对新文科建设的新要求和构建中国特色文科人才培养体系的新目标,分析了应用型高校计算机通识课存在的问题,提出了分类模块化课程体系,阐述了借助智能技术实现同课异构策略,赋能课程体系、教学方式、考核方式和评价方法等方面的改革,较好地推动了面向新文科的计算机通识课建设。     

基于可靠度约束的风电机组机会检修模型

对风电机组进行预防性检修,能够有效提高机组的可靠性。首先以风电机组单个部件的可靠度作为约束条件,以单部件单位时间检修成本最小作为目标函数,求得单部件的最佳检修周期和检修次数。在此基础上,对符合一定条件的部件进行机会检修,构建了风电机组的机会检修模型。最后,以机会检修策略下总的检修费用最小作为目标函数,以机组整体的可靠度作为约束条件,利用遗传算法对该模型进行求解以得到最佳的机会检修阈值和最小的检修总费用。通过算例分析表明,该机会检修模型能够有效节约总的检修成本。该研究对检修部门制定检修计划具有一定的参考意义。     

一种基于航迹光滑滤波的目标跟踪方法

针对高频雷达数据率低、系统特性和目标运动复杂的应用背景,文中提出了一种航迹滤波方法来改进对目标航迹的跟踪质量.依据目标运动所形成的航迹应该是连续光滑的原理,对动态特性完全未知的运动过程,利用回归分析建立结构简单、鲁棒性强的估计模型,通过平滑滤波获得目标运动状态的估计值,建立目标航迹.实验数据处理结果表明航迹滤波方法具有适用性广、稳健性好的特点.     

求解约束可满足问题的eSTR算法优化

表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.但随着约束的增多及其元组集增大,占有的空间与相容性检测效率成了关键问题.eSTR是1个将STR扩展到高阶相容的算法,通过深入分析eSTR算法后发现有2种优化方式:PW\\+{sup}数据结构和极小约束范围,同时证明了在极小约束范围上,约束网络仍然能够维持PWC+GAC,其中极小约束范围可以通过删除约束元组集中相应的列来降低eSTR2算法的空间消耗,而PW\\+{sup}数据结构能够通过避免不必要的PW支持检测来减少eSTR2的CPU运行时间,实验结果表明：2种优化方式和eSTR2相结合后能够同时减少算法的空间消耗和CPU运行时间,在许多类实例上明显优于eSTR2和eSTR2w.