随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
04 2023 档案
cadical分析02_代码解读_观察体系
摘要：1.构造观察元并加入观察序列 在internal.hpp中有以下构造函数并声明相关函数 // Operators on watches. // void init_watches (); void connect_watches (bool irredundant_only = false); vo
阅读全文
cadical分析02_代码解读_传播函数
摘要：所在文件propagate.cpp 传播函数代码分析 1 static Clause decision_reason_clause; 2 static Clause * decision_reason = &decision_reason_clause; //注意此处声明了两个静态量 3 4 inl
阅读全文
时间序列预测相关技术的实现构建
摘要：1. 构建数据库 2.掌握基于机器学习的基本方案 3.搭建并使用机器学习的应用平台 1. 构建数据库 时间序列专门的数据库InfluxDB https://docs.influxdata.com/influxdb/v2.7/ 时间序列数据平台，开发人员可以在该平台上构建物联网、分析和云应用程序。 2
阅读全文
cadical分析01_基本数据结构01
摘要：以下代码基于cadical-rel-1.5.3版本，来源于： Solver 在cadical.hpp文件中声明求解器类型。其中成员函数比较有趣的是： int val (int lit); // Line 57, 返回文字的值；assert(val(liter)),断言文字liter为非零，即是有效文
阅读全文
