找到4个数据集

格式: ZIP 标签: C实现

过滤结果

  • Formal_Specification_to_Code_Trace_Links_Recovery_实验数据

    2025年12月29日 30 12 6

    数据集概述 本数据集包含用于评估形式化规范到代码跟踪链接建立方法性能的实验数据和代码，对比了现有文本基方法（如潜在语义索引、向量空间模型、Word2Vec嵌入和LLM嵌入）。数据来源于三个项目：AccountSys的VDM-SL规范与Java实现、ATM系统的SOFL规范与Java实现、酒店系统的VDM-SL规范与C实现。 文件详解...
    packageimg

  • 位点与谱系异质性下不变量与经典四元组推断数据集

    2025年12月19日 30 137 26

    数据集概述 本数据集围绕位点与谱系异质性下的系统发育四元组推断展开，包含相关研究的附录文档、代码说明及数据压缩包，为比较不变量方法与经典系统发育重建方法（如邻接法、最大似然法）的性能提供数据支持。 文件详解 README_for_Erik2.txt:...
    packageimg

  • Diffie_Hellman密钥交换算法的面向对象分析与设计建模数据集

    2025年12月18日 30 204 151

    数据集概述 本数据集聚焦Diffie Hellman密钥交换算法，通过面向对象分析与设计技术对其进行建模研究。内容涵盖算法模拟方法、统一建模语言工具的应用及C++实现过程，为密码系统的面向对象设计提供参考。 文件详解 文件名称: 14224ijcis01 (1).pdf 文件格式: PDF (.pdf) 文件内容: 包含Diffie...
    packageimg

  • 精确算法在棒材排样中的应用研究代码与数据

    2025年12月6日 30 46 4

    数据集概述 本数据集包含研究论文《Exact Algorithms in Bar Nesting: How to Cut General Items from Linear Stocks so that Wastage is Minimised》中使用的代码和结果数据，旨在通过精确算法实现线性棒材切割时的废料最小化，支持棒材排样优化的相关研究与应用。...
    packageimg