混合动力汽车长途行驶有效导航管理的形式化方法
A Formal Approach for Efficient Navigation Management of Hybrid Electric Vehicles on Long Trips
摘要：
插电式混合动力电动汽车（PHEV）由于其经济效率以及对绿色管理的贡献而越来越受欢迎。插电式混合动力汽车允许驾驶员仅使用电力进行驾驶，然后根据需要切换到汽油。汽车使用的汽油越多，旅行所需的费用就越高。然而，PHEV不能在不充电的情况下长时间使用储存的电力。因此，与传统的汽油动力汽车相比，它需要频繁充电。此外，电池充电时间通常较长，这导致旅行延迟较长。因此，有必要提供一个灵活的导航管理方案，以及一个有效的充电时间表，这使得司机选择一个最佳的路线的基础上的燃料成本和时间到目的地的约束。在本文中，我们提出了一个正式的模型来解决这个PHEV导航管理问题。该模型求解提供了一个全面的路由计划，包括潜在的充电和加油点，满足给定的要求，特别是最大燃料成本和最大行程时间的驱动程序。此外，我们提出了一种基于价格的导航控制技术，以实现更好的负载平衡的交通系统。评价结果表明，提出的形式化模型可以有效地解决，即使是大型道路网络。
英文摘要：
Plug-in Hybrid Electric Vehicles (PHEVs) are gaining popularity due to their economic efficiency as well as their contribution to green management. PHEVs allow the driver to use electric power exclusively for driving and then switch to gasoline as needed. The more gasoline a vehicle uses, the higher cost is required for the trip. However, a PHEV cannot last for a long period on stored electricity without being recharged. Thus, it needs frequent recharging compared to traditional gasoline-powered vehicles. Moreover, the battery recharging time is usually long, which leads to longer delays on a trip. Therefore, it is necessary to provide a flexible navigation management scheme along with an efficient recharging schedule, which allows the driver to choose an optimal route based on the fuel-cost and time-to-destination constraints. In this paper, we present a formal model to solve this PHEV navigation management problem. The model is solved to provide a driver with a comprehensive routing plan including the potential recharging and refueling points that satisfy the given requirements, particularly the maximum fuel cost and the maximum trip time. In addition, we propose a price-based navigation control technique to achieve better load balance for the traffic system. Evaluation results show that the proposed formal models can be solved efficiently even with large road networks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
