基于无人机的高层住宅最后“一百米”配送优化

针对城市高层住宅顾客对上门配送服务的需求，借助无人机停放平台，考虑包裹异质性以及无人机在不同配送阶段的精确能耗，构建以无人机飞行成本和能耗成本最小为目标，以无人机容量、电池组容量等为约束的高层住宅无人机上门配送模型，解决“垂直位置最后一百米配送”问题。基于此模型，设计带变邻域下降(VND)搜索的混合蚁群算法(HACO-VND)，引入4个算子进行变邻域下降搜索，为了提高算法的求解性能，提出两种局部搜索算子组合，根据顾客点数量使用不同的算子组合。实验结果表明，HACO-VND算法较CPLEX在求解精度与求解时间方面更优，特别是在大中型算例中表现出较佳性能。参数分析表明，高层住宅楼层数越多，无人机单次 飞行的能耗利用率越大，无人机容量与电池组容量共同对配送方案产生影响。为以后无人机送货上门服务方面的研究提供参考和思路。     

自在“春游” 春节假期休闲游线路

这期杂志上市之际,正是春节假期开始时。辛辛苦苦忙一年,这个假期"宅"在家里不出门,显然是对不住自己的。去哪里?疫情这么复杂。中国之大,可去的地方多着呢。本期专题,我们就为车友们选择几条不受疫情影响的"低风险"休闲线路,为大家的节日增加些亮色。你可以根据所处位置,在做好防疫准备的前提下就近前往其中的线路……     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

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

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