本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 TAP 2021论文"A Benchmarks Library for Extended Parametric Timed Automata"
本数据集来自论文“Strategies for Conservative and Non-Conservative Monotone Remapping on the Sphere”，包含球面保守与非保守单调重映射相关的算法测试数据与脚本，涉及双线性非保守方案、有限体积网格间重映射、有限元到有限体积网格重映射、不连续源场重映射及真实云量数据等内容。 论文“Strategies for Conser
