HighwayStations 合约：站点管理：提供添加不同类型的高速公路站点的功能，如进口站、道路站和出口站。允许查询站点数量和根据站点编号获取站点名称。通过映射实现了站点名称和编号之间的映射关系。事件通知：当添加新站点时，触发 StationAdded 事件，通知其它合约或者用户。VehicleRegister 合约：车辆注册：提供了进入站点、经过站点和离开站点的登记功能，记录了车辆的信息、时间戳和经过的站点等信息。信息记录：通过映射记录了车辆的进入、经过和离开站点的详细信息。提供了查询车辆在某个站点经过的所有车辆和查询某个车辆经过的所有站点的功能。费用计算：可以记录车辆经过站点时产生的费用，并在离开站点时计算总费用。CertGeneration 合约：认证证书生成：根据车辆经过的站点信息生成认证证书，记录了车辆的详细信息、时间戳和经过的站点等信息。证书查询：提供了查询某辆车的认证证书信息的功能，根据车辆编号和索引来获取对应的认证信息。