找到3个数据集

标签: 计算逻辑验证

过滤结果

  • Data_Based计算绘图数据

    2026年2月15日 30 99 71

    数据集概述 本数据集包含用于计算和绘制图表的数据，仅含一个文件，无额外目录结构，未区分训练/测试集、数据/标签集或原始/处理数据，文件类型单一为Excel格式。 文件详解 文件名称：Data.xlsx 文件格式：XLSX 字段映射介绍：无公开预览内容，推测包含支持计算和图表绘制的结构化数据字段（具体字段需打开文件查看）。 适用场景 数据计算分析:...
    packageimg

  • 整数分拆格标准上下文不可嵌入性数据集

    2025年12月23日 30 82 46

    数据集概述 本数据集围绕整数分拆格（按支配序排列）及其在形式概念分析中的标准上下文展开，提供了n=9分拆格的标准上下文无法嵌入n=10分拆格的相关证据，包含证明文件、计算输出及说明文档等资料。 文件详解 说明文档与源码： context_embeddings.pdf：PDF格式，提供数据集背景及文件详细说明...
    packageimg

  • 命名法变更建模的逻辑方法数据集

    2025年12月22日 30 51 42

    数据集概述 本数据集采用回答集编程（ASP）方法，验证命名法原则在计算逻辑中的可处理性。基于《国际动物命名法规》核心原则设计20个假设分类单元用例，通过12个模式标本诊断特征重解释触发场景，生成36种命名修订方案，为逻辑化命名变更优化提供基础。 文件详解 文本文件（.txt格式）：...
    packageimg