##1.1 SAT SAT. Given a CNF formula Φ, does it have a satisfying truth assignment? 可满足性要求的是结果为TRUE！ ###1.1.1 3-SAT SAT： where each clause contains exac ...
分类：
其他好文 时间：
2020-11-19 12:40:04
阅读次数：
9
RabbitMQ : 1.优先级队列 交换机exchange揭秘 direct交换机 (直接交换器) fanout交换机 (广播是式交换器) topic交换机 (主题交换器) headers交换机 (消息体的header匹配) 消息持久化,消息扩容 1. Direct(直接交换器) Exchange ...
分类：
其他好文 时间：
2020-11-19 12:02:00
阅读次数：
4
DataFrame.to_excel(excel_writer, sheet_name='Sheet1', na_rep='', float_format=None, columns=None, header=True, index=True, index_label=None, startrow= ...
分类：
其他好文 时间：
2020-11-17 12:12:54
阅读次数：
7
VisualNet VisualNet 图形化的资源管理系统开发平台：适用于广电网络资源管理、光缆资源管理、通信资源管理、机房综合资源管理等。 基本信息 外文名 VisualNet 类 型 系统开发平台 适用范围 电网络资源管理、光缆资源管理等 特 点 把数据信息、对象关系用图形集成 VisualN ...
分类：
Web程序 时间：
2020-11-17 11:49:52
阅读次数：
14
一键部署----mysql5.6--jue#!/bin/bashcd/var/runrm-rfyum.pidread-p"请输入mysql源码包的绝对路径"ccd$cyuminstall-yncurses-develautoconfcmaketarxzvfmysql-5.6.26.tar.gzcdmysql-5.6.26/cmake\-DCMAKE_INSTALL_PREFIX=/usr/loca
分类：
数据库 时间：
2020-11-13 13:21:30
阅读次数：
37
##c标签的引入需要导包 首先如果使用c标签检查是否导入并且在maven.xml中需要配置dependicy jsp页面 <%@ taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core"%> maven.xml下 <dependency> < ...
分类：
Web程序 时间：
2020-11-13 13:10:57
阅读次数：
21
看到了网上的一篇文章，把完整源码附上 据新华网消息，整个国庆长假外出游玩人次达 6.37 亿人次，那么这么多人都到哪儿去玩了呢，今天我们就用 Python 做一个全国热门景区热点图。 入口 先说程序入口：https://piao.qunar.com/ticket/list_%E7%83%AD%E9% ...
分类：
编程语言 时间：
2020-11-12 14:25:04
阅读次数：
26
tricks 自定义匹配函数的回文子串问题 主体思想：把平常写的 == 换成任意匹配函数 例题 在这题中，匹配函数为： \[ f(a,b)= \begin{cases} 1 & (a \oplus b=1) \\ 0 & \operatorname{else} \end{cases} \] 然后要你 ...
分类：
其他好文 时间：
2020-11-12 14:15:19
阅读次数：
5
package test import ( "github.com/360EntSecGroup-Skylar/excelize" ) /** * 导出Excel表格 * @param name {string} 导出的表名 * @param header {[]string} 表头key，导出后显 ...
分类：
其他好文 时间：
2020-11-12 13:50:36
阅读次数：
7
