基于线性时序逻辑的移动端快递派送路径规划

研究了快递派送的路径规划。针对目前快递派送任务点较多,快递员不熟悉派送区域的问题,提出了一种基于线性时序逻辑(LTL)的移动端多点快递派送路径规划方法。该方法利用移动端的百度地图应用包实现快递员的定位与导航任务,提出两层(顶层、底层)规划策略。顶层规划避开百度地图实际道路环境繁琐又庞大的建模,将快递派送问题转化为旅行推销员问题(TSP),仅将快递员派送任务地点建模为一个有限状态的加权切换系统,状态之间的切换权重基于百度地图的自驾导航距离,而非简单的直线距离,以达到底层规划结果符合实际环境,确保最后搜索的路径最优性,同时利用线性时序逻辑语言描述多点快递派送任务,从而将切换系统信息与派送任务信息相融合,构建一个任务可行网络拓扑,并在该网络拓扑上基于Dijkstra算法搜索出快递员离散的最优路径。底层规划完成离散路径的连续化,离散路径的任意相邻任务点间的路径规划基于百度地图实现,从而实现顶层规划的离散路径连续化,获得快递员可派单的实际派送路线。实验结果表明该方法能够解决多点派送任务与派送区域受约束的问题,并保证快递员派单路径的最优性。     

塑料加工助剂现状与进展

本文详细介绍了含氟聚合物,有机硅,树枝状高分子,聚乙二醇类塑料加工助剂的现状与进展,同时综述了些加工助剂的应用情况,并对其应用前景进行了展望。     

空心玻璃微珠/环氧树脂复合材料的性能与应用

本文详细介绍了空心玻璃微珠的添加对环氧树脂力学性能的影响,同时综述了这种复合材料的应用情况,并对其应用前景进行了展望。     

防止水环真空泵叶轮汽蚀的措施

海勃湾发电厂二期2台200MW机组,分别配置2台由武汉四方泵业集团公司生产的2BE1303-O型水环真空泵。该泵在投产后25个月进行大修,解体后发现该泵不锈钢叶轮汽蚀严重,且泵的叶片内侧都有不同程度的汽蚀孔洞,对泵的安全可靠运行构成了威胁。1造成水环真空泵叶轮汽蚀的原因(1)水环真空泵工作时,泵内局部区域的压力降低到液体相应温度的饱和蒸汽压力以下时,则液体将发生汽化,产生汽泡。随着液体的流动,这些汽泡被带到高压区。在高压下,汽泡突然破裂,蒸汽重新凝结,出现空穴。这时,四周的除盐水高速流向空穴,形成局部高频水锤。其频率可高达每秒…     

政治和谐中的公共性建设

政治和谐中的关键问题就是公共性问题。公共性选择是人类创造的独特性的生存智慧和发展途径。在现实中,由于公共性的缺失造成了许多政治不和谐现象:1、公共服务有效供给不足;2、政府公共服务的质量与人们的期望差距较大;3、公共政策的制定过程缺乏必要的民主性和公开性;4、一些政府部门绩效活动背离公共性的价值取向。因此,在公共性的路径选择上,一是要加强公共性供给;二是要理顺政府与公民的关系,确保人民群众从中享有文明成果;三是推进法治强制文化软约束,加强法律制度文化等上层建筑的建设。     

解决50CHTA/5SP-2型给水泵油温高的方法

海勃湾发电厂二单元4台给水泵型号为50CHTA/5SP-2,自2003年1月份投产以来一直存在着油温高的问题。由于该厂水源地建在黄河岸边,水中含泥沙量大,给水泵运行不到1个月,润滑冷却器、工作冷却器就发生冷却水堵塞现象,冷却水流量逐渐变小,起不到冷却效果,使油温升高,油温升高达到65℃时报警,达到70℃时给水泵就会跳泵,引起供水中断,影响机组的安全运行。 根据运行统计情况分析发现,工作冷却器堵塞次数较多,相比之下,润滑冷却器堵塞次数较少。工作冷却器每月泥沙堵塞3～4次,润滑冷却器每月泥沙堵塞1～2次,这是因为工作冷却器在下方,润滑冷…     

基于线性时序逻辑理论的仓储机器人路径规划

首先根据仓储物流环境的特点构建了可灵活扩展的仓储环境模型,并制定了适合仓储物流需求的机器人运动规则,使该模型能够适用于动态的仓储物流环境;其次采用线性时序逻辑任务公式描述具体的任务需求,使其可以适用于实际应用中更加复杂的任务;继而将任务需求与环境信息相融合,构建任务可行网络拓扑,避免分段任务搜索;然后采用Dijkstra算法在任务可行网络拓扑上搜索出最优路径,确保规划所得路径的最优性;最后将任务可行网络拓扑上的最优路径映射回加权切换系统,获得环境中满足任务需求的最优路径。与目前广泛使用的A~*算法相比,上述方法不仅能够满足复杂的任务需求,而且能够保证路径规划的最优性,而不是次优解。     

型钢混凝土结构的设计与施工

对型钢混凝土结构的主要设计方法进行了分析,对我国两部规程中有关型钢混凝土梁的正截面抗弯、斜截面抗剪承载能力、偏心受压构件、剪力墙和梁柱节点的计算理论和计算方法进行了比较分析,并对型钢混凝土结构施工要点进行了讨论,以供工程设计与研究参考。