登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Profitable Production Problem (PRP) SAT benchmarks
Profitable Production Problem (PRP) SAT benchmarks
收藏
Figshare
2023-05-01 更新
2026-04-28 收录
酶生产优化
SAT求解
数据链接:
https://figshare.com/articles/dataset/Profitable_Production_Problem_PRP_SAT_benchmarks/22724066
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
Profitable Production Problem (PRP) SAT benchmarks for SAT Competition-2023.
应用场景:
创建时间:
2023-05-01
相关数据集
车间生产设备能耗管理数据
能耗管理
酶生产优化
车间生产设备能耗管理数据主要包括能耗监测、生产时间跟踪、能耗效率分析和维护优化。通过记录生产设备的开机时间、作业时间、停机时间、待机时间、能耗等,可以监测设备在特定时间段的生产情况;通过计算作业率和利用率,了解机器的使用频率,反映设备实际的生产时间,运转率越高,说明生产时间越长,产量越大,所有企业均可通过运转率来判断自身的生产情况;此外通过计算尖峰率,可以分析尖峰时段能耗情况,得出尖峰时段生产的占
浙江省数据知识产权登记平台
2024-10-24 更新
110
0
模具加工难度等级记录数据集
模具加工
酶生产优化
模具加工难度等级记录数据集通过内部的加工部门和操作技术员根据制模设计单的数量制定模具的加工难度等级,该模具加工等级数据集的具体主要过程包括下制模单、设计编号、制模设计单和模具等级四个方面。对数据进行整理清洗,去除重复、错误、缺失等情况的数据,保证指数数据的准确性、完整性。旨在通过该数据进行评估入库零部件的数量,为内部的加工生产情况提供数据,根据加工的时间和加工的难度等级变化及时调整生产的投入比例,
广东省数据知识产权存证登记平台
2025-08-14 更新
25
1
The costs and production time of the PDP candidate locations of different products
酶生产优化
成本分析
Production time and cost of different PDP candidate locations in delayed production
DataCite Commons
2022-11-04 更新
11
0
SAT4CryptoBench
密码学
SAT求解
SAT4CryptoBench是一个大规模基准测试,用于评估基于SAT的密码学问题求解。它提供了标准化数据集和实验框架,用于分析不同密码学原语上的求解器性能、实例难度和模型泛化能力。该基准旨在弥合AI增强的SAT求解与传统密码分析之间的差距,为神经引导求解器提供系统比较和训练数据。
github
2025-10-24 更新
50
0
钢棒下料切削齿数补偿量及直径分析数据
酶生产优化
质量控制
通过分析钢棒下料生产时进给速度,切割齿数,每齿切削量,工件直径,直径补偿与产品合格率之间的关系,结果应用到原料采购,产品下料生产,工艺设计中。(1)采购部门通过分析出的钢棒下料生产数据,在购买下料设备时,要求设备厂商的PLC中加入对各直径的切削优化,提高产品的合格率(2)生产时提供指导工人设定下料的生产产品参数,提高产品的合格率。(3)通过数据改进工艺设计,提高产品的质量,最终在市场中提高产品的竞
浙江省数据知识产权登记平台
2024-09-07 更新
21
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广