数据集概述
该数据集包含电动汽车与城市配送区动态系统的符号建模及形式化验证相关数据，涵盖上下文转换系统（CTS）、智能体转换系统（ATS）的nuXmv规范、计算树逻辑（CTL）属性验证结果及相关示意图，支持相关研究复现与分析。
文件详解
该数据集按目录分类，具体文件说明如下：
- 根目录文件：
- Readme.txt：文本格式，提供数据集内容概述、文件结构及关联研究论文信息
- figures/ 目录文件：
- atsEV.png：PNG格式，智能体转换系统（ATS）示意图
- ctsUDZ.png：PNG格式，上下文转换系统（CTS）示意图
- models/ 目录文件：
- electric_vehicle_ag.smv：SMV格式，电动汽车智能体转换系统的nuXmv规范文件
- urban_delivery_zone_context.smv：SMV格式，城市配送区上下文转换系统的nuXmv规范文件
- properties/ 目录文件：
- electric_vehcle_verification_result.jpg：JPG格式，电动汽车模型的形式化验证结果图
- urban_delivery_zone_verification_result.jpg：JPG格式，城市配送区模型的形式化验证结果图
适用场景
- 智能交通系统（ITS）形式化建模研究：验证多参数上下文与智能体转换系统的设计逻辑
- 电动汽车动态系统分析：基于CTL属性验证电动汽车模型的安全性与可靠性
- 城市配送区管理优化：通过形式化方法评估配送区上下文系统的动态特性
- 形式化验证方法应用：作为nuXmv工具应用于复杂系统验证的案例数据
