conjunctive normal form, MiniSatSAT solver 是解決 SAT 問題的程式的統稱，這裡介紹一些先備知識，以及 miniSAT 這套開源的 SAT solver。一些名詞定義variableboolean function 裡面用到的那些值就叫 variable，... ...
分类：
其他好文 时间：
2019-10-21 09:54:23
阅读次数：
69
socket编程 服务端编程 新建 server.py 文件，添加如下代码： 客户端编程 新建client.py文件，添加如下代码： 效果图 ...
分类：
其他好文 时间：
2019-10-20 17:45:25
阅读次数：
90
1.局部变量(lacal variable)：方法或语句块内部定义的变量。生命周期是从声明位置开始到”}”为止。在使用前必须先声明和初始化(赋初值)。 2.成员变量和类变量初始值 {\u后面加上十六进制代码来表示Unicode字符。 JAVA没有直接用“\u”的而是“\u5845”,u后的4位数均为 ...
分类：
其他好文 时间：
2019-10-20 16:03:05
阅读次数：
102
c# 连接 mysql数据库 弹出异常 Unknown system variable 'lower_case_table_names' visual studio 2019 c# nuget mysql.data package from oracle when connection open t ...
分类：
数据库 时间：
2019-10-20 11:06:50
阅读次数：
415
视图家族 GenericAPIView基类 mixins视图工具集 - 辅助GenericAPIView 工具视图 视图集 GenericAPIView 与 APIView 最为两大继承视图的区别 工具视图集 路由组件（了解） ...
分类：
其他好文 时间：
2019-10-19 14:45:48
阅读次数：
49
<!doctype html>SSM框架搭建 SSM框架搭建 1，maven创建web项目 2，引入项目pom.xml文件的jar依赖 x <!-- https://mvnrepository.com/artifact/ch.qos.logback/logback-classic --> <!-- ...
分类：
其他好文 时间：
2019-10-19 13:26:03
阅读次数：
96
基础知识：https://www.cnblogs.com/alex3714/articles/5717620.html一：列表： 格式：variable=["value1","value2","value3",.....] 查看： variable[#] 取单个 variable[#:#] 取出#到 ...
分类：
编程语言 时间：
2019-10-19 09:51:17
阅读次数：
77
导数 这段代码揭示了多个变量的微分以及如何求解loss为向量的导数 深入导数 hook机制 hook机制的 "详细解释" 这段代码解释了导数是如何自动计算保存的， python import torch from torch.autograd import Variable def register ...
分类：
其他好文 时间：
2019-10-18 22:37:14
阅读次数：
146
95-712 Practice problem 8This problem brings together what you learned in inheritance,polymorphism, access specifiers, and JavaFXProblem statement: Th ...
分类：
其他好文 时间：
2019-10-18 18:59:00
阅读次数：
67
<! flowchart 箭头图标 勿删 前言 自定义字段又叫做“开放模型”，用户可以根据自已的需求，添加需要的字段，实现个性化定制。 使用自定义字段的目的，使用自定义字段解决哪些问题 如现有一套CRM系统，客户模块中客户信息，需要实现不同行业，不同业态都可以个性化需求。那我们知道客户信息表T_CU ...
分类：
编程语言 时间：
2019-10-17 15:28:20
阅读次数：
123
