-
系统在最大组件偏差下的弹性研究工件包
2025年12月13日 30 3 1
数据集概述 该数据集是关于“系统在最大组件偏差下的弹性”研究的工件包,包含用于系统分析的模型文件、可执行程序及说明文档,支持对不同系统(如智能床、智能工厂、智能电网)在组件偏差下弹性的研究与验证。 文件详解 模型文件(.als格式,共8个): SmartBed.als:智能床系统模型 DFDs.als:数据流图系统模型...
-
USENIX25_TLS状态机互联网学习研究数据集
2025年12月11日 30 17 14
数据集概述 本数据集是USENIX Security '25会议论文《Towards Internet-Based State Learning of TLS State Machines》的配套成果,包含研究中使用的工具、收集的TLS实现状态机及分析方法相关统计信息,可通过附录文档复现实验。 文件详解 文件名称:...
-
水生外来物种根除概率评估工具数据集
2025年12月5日 30 142 12
数据集概述 本数据集围绕水生外来物种根除概率评估工具展开,包含工具的用户手册、代码、可执行程序及数据集。该工具基于案例研究统计模型开发,旨在帮助管理者快速计算干预成功概率、比较不同干预方案并优化信息收集,提升环境保护管理效率。 文件详解 文件名称: User Manual MIPE v2_4.pdf,文件格式:...



