最早使用cmt的minisat改进版求解器——vsids-master-1\spatial_mvsids
保存位置：E:\CNKI E-Study\localestudy\Literature\SAT求解器学习_6B1FE1DF69904FE2AEC3542DCF408574\VSIDS paper\VISDS-solvers\vsids-master-1\vsids-master-1\spatial_mvsids\core 来源： 文章—— https://link.springer.com/chapter/10.1007/978-3-319-26287-1_14 代码—— https://gi
selenium 常用操作汇总
https://www.cnblogs.com/Ting-light/p/9770908.html 1.隐式等待，智能等待 driver.implicitly_wait(20) 2.启动 driver=webdriver.Chrome() driver.get("https://www.baidu.com") 3.明确的等待50秒，而不抛出异常，直到指定元素出现 from selenium.webdriver.support import expected_conditions as EC f
Genymotion 无法安装 APK 解决方案
原文地址 https://my.oschina.net/XngPro/blog/911840 INSTALL_FAILED_NO_MATCHING_ABIS 由于 APK 使用了不支持当前 CPU 架构的 Native Libraries，解决方案： 下载对应的 ARMTranslation，运行 Genymotion，直接将 zip 包拖到 Genymotion 模拟器窗口中，点击 OK ，安装成功后，重启模拟器。 各版本对应 ARMTranslation 下载地址
Learning Policy
理论基础 Policy Gradient: \[R_\theta = \sum_\tau reward(\tau)p_\theta(\tau) \\ \nabla R_\theta = \sum_\tau reward(\tau) \nabla p_\theta(\tau) \\ = \sum_\tau reward(\tau) p_\theta(\tau) \frac{\nabla p_\theta(\tau)} {p_\theta(\tau)} \\ = \sum_\tau reward(
systemd-service
php-fpm
cat /usr/lib/systemd/system/php-fpm.service
[Unit]
Description=The PHP FastCGI Process Manager
After=syslog.target network.target
[Service]
Type=notify
PIDFile=/run/php-fpm/php-fpm.pid
EnvironmentFile=/etc/sysconfig/php-fpm
ExecStart=/usr/
PKU ACM Team's Excursion 有向图的必经边或“桥”
https://blog.csdn.net/huashuimu2003/article/details/88387908?depth_1-utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFromBaidu-2&utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFromBaidu-2
构造器注入的方式给Cart属性赋值 关系1：1；1：n
1、通过Spring创建对象，现有Users和Cart实体类，关系为1:1 属性注入的方式给Users属性赋值 2、Cart和Product实体类，关系1：n 构造器注入的方式给Cart属性赋值 Cart中包含Set<Product>、Map<String,Product> 1 package com.spring.entity;
2
3 public class Users {
4 private int id;
5
6 private
js 查看脚本运行时间的办法
1.
console.time('global')
// 要执行的代码放中间
console.timeEnd('global')
2.
// 这里脚本的时间范围有限制，0~999ms
console.log( new Date().getMilliseconds() )
// 要执行的代码放中间
console.log( new Date().getMilliseconds() )
SPI(Serial Peripheral Interface)协议
SPI是串行外设接口（Serial Peripheral Interface）的缩写，是Motorola推出的一种同步串行接口技术，是一种高速的、全双工、同步的通信总线。 全双工：host能与外围从设备之间的发送线和接收线各自独立，能同时进行发送数据和接收数据。 文章内容 SPI介绍 SPI协议主要用于短距离的通信系统中，特别是嵌入式系统： 存储器：RAM，EEPROM，Flash等 数模转换器：A/D， D/A转换器等 驱动接口：LED显示驱动器，I/O接口芯片，UART接收器等。 SPI协
js操作页面元素（元素操作和定位元素）
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <title>Title</title> </head> <body> <input type="text" id="test1" class="bb" value="1"><br> <input type="text" id="test2" class="bb" value="2"><br> <input type="text" id="test3" class="b
BUUCTF——misc杂项（持续更新）
001、二维码 首先打开文件得到一个.png的二维码文件 废话不多说先扫描： 得到secet is here，没有其他线索，只能binwalk提取 通过信息可以看到，有一个zip压缩文件，其中有一个4number.txt，不用多想，压缩文件肯定是被一个4位的密码加密了，接下来用fcrackzip进行解密，-b暴力破解，-l4设定长度为4位，-u清除掉错误的密码，-c1设定为全数字（4number当然是四个数字哇·······一开始没有设定这个条件直接暴力了我5分钟还没出来·····） 果然成功
2020.04.13 Jsoup解析xml文档
package com.guoyun.xml.Jsoup; import org.jsoup.Jsoup; import org.jsoup.nodes.Document; import org.jsoup.nodes.Element; import org.jsoup.select.Elements; import java.io.File; import java.io.IOException; /** * @author aojie * @fuction * @create 202
Centos7 快捷方式
1. 中断命令执行操作过程 # 中断命令执行操作过程
ctrl + c 2.清屏操作 # 清屏
ctrl + l 3.注销 # 注销
ctrl + d 4.补全目录或命令 # 补全目录或命令
tab 5.调取输入过的历史命令 # 调取输入过得历史命令
方向键上下 6.快速将光标移动到行首 # 快速将光标移动到行首
ctrl + a 7.快速将光标移动到行尾 # 快速将光标移动到行尾
ctrl + e 8.快速移动光标 # 快速移动光标位置
ctrl + 左右方向键
PM2+Apache部署Angular Universal服务器渲染项目
前言 如果直接通过node app来启动，如果报错了可能直接停在整个运行，所以我选择了好评度较高的pm2来管理我的ssr服务。pm2是一个进程管理工具，维护一个进程列表，可以用它来管理你的node进程，负责所有正在运行的进程，并查看node进程的状态，也支持性能监控，负载均衡等功能。 PM2的主要有以下特性: 内建负载均衡（使用Node cluster 集群模块） 后台运行 0秒停机重载 具有Ubuntu和CentOS 的启动脚本 停止不稳定的进程 控制台检测 提供 HTTP API 远程控制
今日推荐
周排行