开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

从CNF转换为Horn格式

是一种逻辑推理的过程，其中CNF代表合取范式（Conjunctive Normal Form），Horn格式是一种特殊的合取范式。下面是对这个问题的完善和全面的答案：

概念： CNF（Conjunctive Normal Form）是一种逻辑表达式的标准形式，其中逻辑表达式由多个子句的合取组成，每个子句由多个文字的析取组成。

Horn格式是CNF的一种特殊形式，其中每个子句最多只有一个正文字（正文字是指没有否定符号的文字）。

分类： CNF和Horn格式都属于逻辑推理中的形式化表示方法。

优势： CNF和Horn格式在逻辑推理中具有以下优势：

简洁性：CNF和Horn格式可以将逻辑表达式转化为更简洁、易于理解和处理的形式。
推理效率：Horn格式的特殊性质使得基于它的逻辑推理算法更高效，可以更快速地进行推理和验证。
可靠性：CNF和Horn格式是经过广泛研究和应用的形式化表示方法，其正确性和可靠性得到了验证。

应用场景： CNF和Horn格式在逻辑推理和人工智能领域有广泛的应用，包括但不限于以下场景：

自动推理：CNF和Horn格式可以用于构建自动推理系统，进行逻辑推理、知识推理和推断等任务。
知识表示：CNF和Horn格式可以用于表示和存储领域知识，支持知识的推理和查询。
逻辑编程：CNF和Horn格式可以用于逻辑编程语言，如Prolog，支持基于逻辑的程序设计和推理。
模型检测：CNF和Horn格式可以用于模型检测，验证系统的性质和约束是否满足。

推荐的腾讯云相关产品和产品介绍链接地址：腾讯云提供了一系列与云计算相关的产品和服务，包括但不限于以下产品：

云服务器（ECS）：https://cloud.tencent.com/product/cvm
云数据库（CDB）：https://cloud.tencent.com/product/cdb
人工智能（AI）：https://cloud.tencent.com/product/ai
物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
移动开发（Mobile）：https://cloud.tencent.com/product/mobile
存储（COS）：https://cloud.tencent.com/product/cos
区块链（Blockchain）：https://cloud.tencent.com/product/baas
元宇宙（Metaverse）：https://cloud.tencent.com/product/metaverse

请注意，以上链接仅为腾讯云相关产品的介绍页面，具体的产品细节和定价等信息请参考腾讯云官方网站。

相关搜索:将逻辑从CNF转换为DNF，反之亦然？如何将文本格式从12转换为12，并转换为数字？从ThreeJS几何图形格式3转换为4:处理面在SQL Server中将时间格式从3.5转换为3:30 sql db2转换为宽格式将日期格式从0000-00-00转换为时间戳如何将日期格式从5-JUN-99转换为050599？将SQL BigInt as 1811011439转换为日期时间格式从长期转换为日期格式 Python将日期格式从2/3/13转换为2013-02-03？从相邻矩阵(从-到)格式数据转换为长格式从UTF8转换为ASCII 从ESPG 4326转换为ESPG 3758 从atan2转换为atan 在Javascript中将EDI 850转换为JSON/CSV格式从Yuv 420转换为RGB，然后转换为位图将字段值从1000转换为数字将项目从python %2转换为%3 从位图rgb_565转换为材质从.NET Core 3.1转换为.NET 5

相关搜索:

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

PCAtools--主成分分析，有它就够了！

主成分分析 (PCA) 在数据科学、生物信息学等多个领域具有广泛的适用性。作为一种数学降维方法, PCA利用正交变换 (orthogonal transformation)将一系列可能线性相关的变量转换为一组线性不相关的新变量，也称为主成分，从而利用新变量在更小的维度下展示数据的特征。

03

OpenSSL 转换证书格式

工作中我相信你一定会遇到处理数字证书的时候。各种平台，各种语言，它们采用的证书格式与标准都不相同，多多少少存在一些差异。实际上证书仍然是那个证书，只是格式发生了变化。公私钥分开存储公私钥合并为一个文件有些采用二进制文件有些事二进制文件做了BASE64编码有些证书做了签名有些证书加入了密码不同组织有不同的编码。例如微软喜欢使用 x509 下面内容节节选自《Netkiller Cryptography 手札》接下来几天我们将讨论密钥证书相关话题。文章出处: http://www.netk

07

一文理解NP完全理论，NP问题，NPC问题

在以往的算法中，所接触到的大都是多项式时间内可完成的算法，比如O(n),O(nlogn),O(n^2)…，但仍存在一些算法的时间复杂度为：O(n^logn),O(2^n),O(n!)是非多项式时间算法，当此类程序规模一旦过大，便成为目前的计算机解决不了的难题。因此尝试用NP完全理论进行理解。

02

Mariadb数据库——设置Mariadb大小写不敏感

日常我们开发时，我们会遇到各种各样的奇奇怪怪的问题（踩坑o(╯□╰)o），这个常见问题系列就是我日常遇到的一些问题的记录文章系列，这里整理汇总后分享给大家，让其还在深坑中的小伙伴有绳索能爬出来。同时在这里也欢迎大家把自己遇到的问题留言或私信给我，我看看其能否给大家解决。

03

记录Linux定时备份Mysql数据库文件，详细的图文教程，限小白大佬绕行

宝塔面板的功能越来越多这也导致了部分用户放弃了宝塔改成原汁原味的linux，虽说操作上不太方便但是主打一个清净，今天就记录下另外一台云服务器定时备份mysql数据库文件的相关图文教程，因为我也很少接触linux系统，都是面板形式的，所以找了些资料总归是实现目前想要的结果，当然了操作仅限我们这些小白们，大佬请绕行，好了不废话了，开始折腾：

01

Linux下制作HTTPS证书

openssl genrsa -out keys/RootCA.key 2048

02

细说MySQL区分字母大小写

在Linux系统上使用MySQL，MySQL是区分字母大小写的，例如建A表时表名是大写的A，修改A表时脚本里写的a，就会报错表a不存在。在MySQL中，数据库对应数据目录中的目录，数据库中的每个表至少对应数据库目录中的一个文件或多个文件，所以，是否区分大小写是其所在的操作系统决定的。在大多数基于Unix的系统中，MySQL是区分大小写的；而在Windows系统中，MySQL是不区分大小写的。操作系统中提供了lower_case_table_names参数用于修改这种区分大小写的策略。默认情况下，Linux

05

在Android上使用YOLOv8目标检测(步骤+代码）

Yolov8 是一种流行的物体检测 AI。Android是世界上用户最多的移动操作系统。

01

故障分析 | 配置文件添加参数后数据库起不来了？

客户要将数据库数据迁移到 DMP[1] 平台上，需要根据源库的配置修改相应参数（例：lower_case_table_names=0），但发现在配置文件添加好参数后数据库起不来了。

02

android自定义View贝赛尔曲线

参考：http://blog.csdn.net/z82367825/article/details/51599245 贝赛尔绘制心形 http://blog.csdn.net/u012296503/article/details/51510206

02

AI「王道」逻辑编程的复兴？清华提出神经逻辑机，已入选ICLR

这篇论文被接受为 ICLR 2019 的 Poster，它的评分为 6、5、7。正如评审该论文的领域主席所言，这篇论文提出了一个非常有意思的正向链模型，它利用了元层级的扩展，并以一种非常简洁的方式降低了谓项参数，从而降低了复杂度。

03

MySQL从删库到跑路（二）——MySQL字符集与乱码解析

字符(Character)是各种文字和符号的总称，包括各国家文字、标点符号、图形符号、数字等。字符集(Character set)是多个字符的集合，字符集种类较多，每个字符集包含的字符个数不同，常见字符集名称：ASCII字符集、GB2312字符集、BIG5字符集、 GB18030字符集、Unicode字符集等。计算机要准确的处理各种字符集文字，需要进行字符编码，以便计算机能够识别和存储各种文字。字符编码（Character encoding）是把字符集中的某个字符编码为指定字符集中字符，以便文本在计算机中存储和通过通信网络的传递。常见的例子包括将拉丁字母表编码成ASCII，ASCII将字母、数字和其它符号编号，并用7比特的二进制来表示。字符序(collation)是指同一个字符集内字符之间的比较规则。只有确定字符序后，才能在一个字符集上定义什么是等价的字符，以及字符之间的大小关系。一个字符可以包含多种字符序。MySQL字符序命名规则是：以字符序对应的字符集名称开头，以国家名居中(或以general居中)，以ci、cs、或bin结尾。以ci结尾的字符序表示大小写不敏感，以cs结尾的字符序表示大小写敏感，以bin结尾的字符序表示按二进制编码值比较。

02

基于STM32设计的城市环境监测看板(环境噪声、环境温湿度、粉尘浓度)

随着城市人口规模的不断扩大和城市化进程的不断加速，城市环境污染问题越来越受到人们的关注。环境监测是评估环境污染状况、制定环保政策、维护人民身体健康的重要手段之一。传统的环境监测手段需要人工参与，成本高、效率低，不能满足大规模的实时监测需求。

01

AngularJS 表格

v1.5 中$http 的 success 和 error 方法已废弃。使用 then 方法替代。

01

9家专利拥有者退出MPEG LA HEVC 华为加入HEVC Advance

9家专利持有者准备离开MPEG LA HEVC，转而选择了HEVC Advance。尽管对于那些已经和MPEG LA HEVC签注授权协议的企业而言，他们的协议依然可以包含这9家所拥有的专利，但不可否认，两大专利组织的平衡正在发生倾斜。MPEG LA HEVC的专利授权量超过HEVC Advance的两倍多，而且MPEG LA HEVC控制着一些重大的专利。这是从2014年9月MPEG LA HEVC成立之后，首次发布专利成员离开的消息。

01

每周以太坊进展 2022/11/19

（编者注：本翻译不代表登链社区的立场，也不代表我们（有能力并且已经）核实所有的事实并把他的观点分离开来。）

01

SQL 中的 NULL 值：定义、测试和处理空数据，以及 SQL UPDATE 语句的使用

NULL 值是指字段没有值的情况。如果表中的字段是可选的，那么可以插入新记录或更新记录而不向该字段添加值。此时，该字段将保存为 NULL 值。需要注意的是，NULL 值与零值或包含空格的字段不同。具有 NULL 值的字段是在记录创建期间留空的字段。

02

unable to load Private Key 6572:error:0906D06C:PEM routines:PEM_read_bio:no start line:.\crypto\pem\

版权声明：本文为博主原创文章，未经博主允许不得转载。python版本为python3，实例都是经过实际验证。 https://blog.csdn.net/jinxiaonian11/article/details/90725566

04

ClickHouse之MaterializeMySQL引擎（十）

ClickHouse 20.8.2.3 版本新增加了 MaterializeMySQL 的 database 引擎，该 database 能映射到 MySQL 中的某个 database ，并自动在 ClickHouse 中创建对应的ReplacingMergeTree。ClickHouse 服务做为 MySQL 副本，读取 Binlog 并执行 DDL 和 DML 请求，实现了基于 MySQL Binlog 机制的业务数据库实时同步功能。

04

频繁变道、跟车太近才是堵车的根本原因，但自动驾驶可以解决这个问题

事物的涌现性，是指由很多个体组成的群体，带有个体并不具有的复杂性。大自然中就有很多这样的例子，比如欧椋鸟群能整齐划一地聚集、分散并集体转向，就像巨大的波浪一样在空中翻来覆去；上千只蝙蝠能从细窄的洞口中一起飞出而不相撞，靠的是每只蝙蝠利用回声对周围环境，包括身边同伴的精准定位。动物界如此庞大的群体能有条不紊地行进、疏散，相比之下，人类可能要为城市中屡见不鲜的交通拥堵，也是涌现性的一个例子，自惭形秽了。 📷 智能交通领域的顶级杂志——IEEE 智能交通系统汇刊近日发表了一篇用数学模型解释交通堵塞的文章，文章指出

05

使用TensorFlow 2.0构建深音频降噪器

语音降噪是一个长期存在的问题。给定有噪声的输入信号，目的是在不降低目标信号质量的情况下滤除此类噪声。可以想象有人在视频会议中讲话，而背景音乐正在播放。在这种情况下，语音去噪系统的任务是消除背景噪声，以改善语音信号。除许多其他用例外，此应用程序对于视频和音频会议尤其重要，在视频和音频会议中，噪声会大大降低语音清晰度。

02

Docker开启远程安全访问

找到 Service 节点，修改 ExecStart 属性，增加 -H tcp://0.0.0.0:2375

08

1.3 ASM-简介-结构

本部文档由两部分组成。第一部分涵盖了核心API，即asm、asm-util、asm-commons包。第二部分涵盖了tree API，即asm-tree、asm-analysis包。每一部分至少有一章介绍class相关的API，一章介绍method相关的API，一章介绍注解、类属性（FIXME generic types）相关的API等等。每一章都会介绍编程接口，相关的工具和预定义的组件。事例（example）的源码可以在ASM官网下载。

02

MySQL常见配置参数及命令

wait_timeout：客户端连接自动断开连接时间（默认值是28800s，8个小时），自动断开的操作是“Server层的连接器做的”，断开后需要重新连接；

02

【笔记梳理】---puppet学习笔记

一、Puppet基础原理: Puppet是一款使用GPLV2X协议授权的开源管理配置工具，用ruby语言开发，既可以通过客户端—服务器的方式运行，也可以独立运行。puppet可以为系统管理员提供方便，快捷的系统自动化管理。二、puppet工作流程 1. 客户端 puppet-client 向 puppet-master 发起认证请求，或使用带签名的证书。 2. puppet-master 告诉 puppet-client 是合法的。 3. puppet-client 调用 facter， Facter 探

05

MySQL 二进制日志（Binlog）简介

MySQL 的二进制日志（Binary Log），通常简称为 binlog，是一种记录数据库中发生的更改的日志文件。它记录了对数据库进行的 INSERT、UPDATE 和 DELETE 等数据更改操作，以及数据库结构的更改（例如，ALTER TABLE）。这些日志文件对于数据恢复、数据复制和数据库的高可用性非常重要。以下是关于 MySQL binlog 的详细介绍：

02

在Linux下如何根据域名自签发OpenSSL证书与常用证书转换修改openssl.cnf配置文件创建根证书自签发泛域名证书将crt转pem格式生成 p12 格式的

当然上述的公钥制作方式需要交互式输入信息，如果不想频繁输入，那么可以使用如下命令：

02

MySQL架构组成、逻辑模块组成

Mysql逻辑结构可以看成是二层架构，第一层通常叫做SQL Layer，在mysql数据库系统处理底层数据之前的所有工作都在这一层完成的，包括权限判断，sql解析，执行计划优化，query cache的处理等等。第二层是存储引擎层，通常叫做StorageEngine Layer，是底层数据存取操作实现部分，由多种存储引擎共同组成。

03

光流法详解之二（HS光流）

参考博文：https://blog.csdn.net/hhyh612/article/details/79216021

04

Mysql更换MyISAM存储引擎为Innodb的操作记录

一般情况下，mysql会默认提供多种存储引擎,可以通过下面的查看: 1）查看mysql是否安装了innodb插件。通过下面的命令结果可知，已经安装了innodb插件。 mysql> show plugins; +------------+--------+----------------+---------+---------+ | Name | Status | Type | Library | License | +------------+--------+-----

09

Hive优化器原理与源码解析系列--优化规则HivePreFilteringRule(十五)

这篇文章来讲Hive优化规则HivePreFilteringRule，称为前置过滤器优化规则或谓词下推优化规则。其主要功能是通过哪些谓词下推到离数据源最近的位置，即提前过滤记录数，减少不必要的数据量IO。大致优化过程，是通过把谓词集合从析取范式(DNF) 和合取范式(CNF)根据需要可相互转换，再确定谓词表达式或函数的确定性或非确定性以及是否可下推的优化。

02

分布式 | 如何为 DBLE 搭建 JVM 指标监控系统

爱可生 DBLE 团队开发成员，主要负责 DBLE 需求开发，故障排查和社区问题解答。

02

【MySQL】在 Centos7 环境下安装 MySQL

注意，我们搭建的 mysql 环境是在 Linux 的 Centos7 环境下安装的~

01

聊聊当业务数据时间和预期的不一样，可以从哪些方向排查

前些天业务部门的开发同事遇到了一个奇怪的bug，首先他们有个业务已经入库的创建时间和服务器时间相差了8个小时，其次当这个时间显示到前端后，这个时间竟然和服务时间相差了好几个月。

03

聊聊当业务数据时间和预期的不一样，可以从哪些方向排查

前些天业务部门的开发同事遇到了一个奇怪的bug，首先他们有个业务已经入库的创建时间和服务器时间相差了8个小时，其次当这个时间显示到前端后，这个时间竟然和服务时间相差了好几个月。

02

SQL DELETE 语句：删除表中记录的语法和示例，以及 SQL SELECT TOP、LIMIT、FETCH FIRST 或 ROWNUM 子句的使用

注意：在删除表中的记录时要小心！请注意DELETE语句中的WHERE子句。WHERE子句指定应删除哪些记录。如果省略WHERE子句，将会删除表中的所有记录！

02

精选25道Mysql面试题，快来测测你的数据库水平吧

存储过程是用户定义的一系列sql语句的集合，涉及特定表或其它对象的任务，用户可以调用存储过程，而函数通常是数据库已定义的方法，它接收参数并返回某种类型的值并且不涉及特定用户表。

02

PHP怎么使用OpenSSL生成RSA加解密所需要的公私钥？

RSA算法是现今使用最广泛的公钥密码算法，也是是号称地球上最安全的加密算法，与 md5 和 sha1 不同，到目前为止，也只有极短的RSA加密被破解

05

北醒CEO李远：深耕行业客户，做激光雷达“标品”

李远表示，所谓的“定制化”服务，一定是基于稳定产品的基础上，做配套的有边界的服务。

04

linux openssl制作ssl证书_openssl生成自签名证书 c++代码

最近，被分配了一个任务，完成数字证书管理系统的开发，一开始我是一脸懵逼的，因为以前我对于什么数字证书都没了解过，可谓了一片空白，也不知其是用来干嘛的。于是，我奋发图强，用了一个下午加晚上的时间来脑补这部分概念知识，原来数字证书其实就是网站的身份认证。

02

Centos6.x服务器配置jdk+tomcat+mysql环境(jsp+mysql)

由于jdk官网的链接不直接支持wget,可以使用下面的方法下载jdk，其中jdk版本为jdk1.8.0_91:

02

对mysql日志进行操作的总结包括启用，过期自动删除等

近段时间一直在研究mysql的日志系统,在网上看了N多mysql日志操作的文章，但都过于零乱，为了让自己以后不再搞忘，特作出以下总结：

02

apache https配置详细步骤讲解

主要讲述在windows下apache配置SSL以实现http转换为httpsSSL: SSl是为Http传输提供安全的协议，通过证书认证来确保客户端和网站服务器之间的数据是安全。也就是说在SSL下http传输是安全的，我们成为 https.

00

SAP流程订单状态&用户状态参数控制

· CRTD (创建)：标识生产订单刚刚创建，此时禁止做后续发料和报工确认等操作；

01

LOWER_CASE_TABLE_NAMES 转

http://blog.csdn.net/jesseyoung/article/details/40617031

01

浅谈乱码原因及解决方案

其实作为程序猿来讲，中国的程序猿遇到的问题可能会比国外的程序猿遇到的问题多很多。一个原因是因为各种标准的制定、各种IDE的编写，都是由老外来完成的，制定出来的东西可能和中国人的习惯不太一样；还有一个原因就是因为国际编码的问题，通常，外国人写的东西无需对编码进行转换，默认的就是ISO-8859-1；到了中国，就涉及到本土化的问题，中文编码应当是GBK，这是本地化的编码。而各种标准、各种浏览器一般用的都是ISO-8859-1，所有就造成了两种编码之间的转换。所以后来出现了UTF8，来解决各种编码问题。UTF8基本上包含了地球上所有的可见字符，十分强大。但不幸的是，各种标准并没有按照这一编码来制定，而依然沿用以前的做法。所以，解决各种乱码问题，就成了中国程序猿的必不可少的技能之一。这篇文章，就是要和大家讨论种种乱码问题出现的原因，以及相应的解决办法，我目前已知的情况共有三种，下面就位大家一一讲解。

03

SQL 中的运算符与别名：使用示例和语法详解

您还可以在WHERE子句中使用带有子查询的IN。使用子查询，您可以返回主查询结果中存在于子查询结果中的所有记录。

01

MySQL 主从同步

主从复制的根本原理是从 master 服务器上面的数据，通过一定的方式同步到 slave 服务器上面。基本过程如下图：

03

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭