入门参考文献 1.Gong L, Wang Z, Chu C, Yuan Y, Wang T. bfSAT: An Incremental SAT Solver Based On Prioritizing Binary Clauses. 2019 IEEE International Confere ...
分类：
其他好文 时间：
2020-06-09 10:10:30
阅读次数：
95
参考文献： 1. Gilles Audemard，Laurent Simon: On the Glucose SAT Solver 一、对学习自己作用的认识 The first answer was just abouttrying to contain the combinatorial expl ...
分类：
其他好文 时间：
2020-06-08 13:08:22
阅读次数：
87
目录 目录参考文献基础理论技术意义Docker三大元素镜像容器仓库三者配合Docker架构The Docker daemonThe Docker clientDocker registries虚拟机与容器的对比为什么docker比虚拟机快开发/运维(DevOps)DockerHubLinux安装Do... ...
分类：
其他好文 时间：
2020-06-04 21:16:47
阅读次数：
76
参考文献 赵景梅_无线通信中功率放大器的预失真技术研究 目前OFDM调制采用OFDM多载波技术（推理过程省略）的峰均比较高。应用此类信号会导致前端系统功放效率降低，也会对功放线性化效果有明显影响。为改善这一缺点，首先要解决OFDM调制信号应用于线性化系统的高峰均比的问题。对信号进行峰均比降低称作削峰 ...
分类：
其他好文 时间：
2020-06-03 00:41:16
阅读次数：
284
参考文献 https://docs.oracle.com/cd/E24628_01/install.121/e22624/preinstall_req_os_grps_usrs.htm#EMBSC146
分类：
数据库 时间：
2020-06-02 09:38:24
阅读次数：
287
简介 网格形变如果算法优秀的话，那么动画里就会大量应用。 先提供一个比较简单的拉普拉斯网格形变简介 参考文献 https://www.cse.iitb.ac.in/~cs749/spr2017/lecs/18_laplace.pdf https://blog.csdn.net/qq_31804159 ...
分类：
其他好文 时间：
2020-06-01 23:28:06
阅读次数：
80
文章结构如下： 1： 原始问题 2： 对偶问题 3： 原始问题和对偶问题的关系 4： 参考文献 在约束最优化问题中，常常利用拉格朗日对偶性(Lagrange duality)将原始问题转为对偶问题，通过解决对偶问题而得到原始问题的解。 对偶问题有非常良好的性质，以下列举几个： 对偶问题的对偶是原问题 ...
分类：
其他好文 时间：
2020-05-30 21:44:03
阅读次数：
73
这里是修真院前端小课堂，每篇分享文从 【背景介绍】【知识剖析】【常见问题】【解决方案】【编码实战】【扩展思考】【更多讨论】【参考文献】 八个方面深度解析前端知识/技能，本篇分享的是： 【什么是RESTFUL？REST的请求方法有哪些，有什么区别？】 1.背景介绍restFul是符合rest架构风格的 ...
分类：
其他好文 时间：
2020-05-30 12:34:58
阅读次数：
111
这里是修真院前端小课堂，每篇分享文从 【背景介绍】【知识剖析】【常见问题】【解决方案】【编码实战】【扩展思考】【更多讨论】【参考文献】 八个方面深度解析前端知识/技能，本篇分享的是： 【F12 console的用法，以及如何debug程序？】 1.背景介绍 Chrome中Console是用于显示JS ...
分类：
其他好文 时间：
2020-05-30 12:20:01
阅读次数：
83
这里是修真院前端小课堂，每篇分享文从 【背景介绍】【知识剖析】【常见问题】【解决方案】【编码实战】【扩展思考】【更多讨论】【参考文献】 八个方面深度解析前端知识/技能，本篇分享的是： 【px、em、rem、%、vw、wh、vm等单位有什么区别？】 1.背景介绍传统的项目开发中，我们只会用到px、%、 ...
分类：
其他好文 时间：
2020-05-30 12:18:09
阅读次数：
57
