1.分析函数代码解读 1 void Solver::analyze(CRef confl, vec<Lit>& out_learnt, int& out_btlevel, int& out_lbd) 2 { 3 int pathC = 0; //从冲突子句回溯路径上的分叉数 4 Lit p = li ...
分类：
其他好文 时间：
2021-01-07 12:44:07
阅读次数：
0
单vue文件引入老是报错，所以我用了全局引入 1.先在assets里新建font文件夹，把字体放进去，然后在字体旁边新建font.less, font.less内容如下： @font-face{ font-family: 'aaabbb'; src: url('./aaa-bbb.otf'); fo ...
分类：
其他好文 时间：
2021-01-07 12:11:04
阅读次数：
0
1，map数据结构存在的意义 Javascript的Object本身就是键值对的数据结构，但实际上属性和值构成的是”字符串-值“对，属性只能是字符串，如果传个对象字面量作为属性名，那么会默认把对象转换成字符串，结果这个属性名就变成”[object Object]“。ES6提供了”值-值“对的数据结构 ...
分类：
其他好文 时间：
2021-01-07 11:50:44
阅读次数：
0
老哥哔哔叨 无论是人生还是代码，都面临着很多的选择，代码里面充斥着无数的if / else，人生不也是一样吗？无数的分岔路口，我们无法避免这些选择，但是我们可以更优美的去做选择—设计模式。 谈恋爱的烦恼 不巧，今天又到了发奖金的时间了，女朋友第一时间过来催债了。 化悲伤为动力 每次钱包空空如也，就更 ...
分类：
其他好文 时间：
2021-01-05 10:53:08
阅读次数：
0
一、基本概念 1.1 认证方式 1.1.1 基于session方式认证 他的流程是：用户认证成功后，服务端生成相应的用户数据保存在session中，发给客户端的session_id保存在cookie中。这样用户请求时只要带上session_id就可以验证服务端是否存在session，以此完成用户的校 ...
分类：
编程语言 时间：
2021-01-05 10:43:26
阅读次数：
0
There are many ways to load text data file into the database. In general, we would use applications that database service providers' product. For exam ...
分类：
其他好文 时间：
2021-01-05 10:36:37
阅读次数：
0
1、使用vue-router跳转了路由之后刷新，出现Cannot GET /xxx 的情况 前端路由有两种，一种是hash模式，一种是history模式。 hash模式使用URL的hash来模拟一个完整的URL，当URL改变时，页面不会重新加载，url会带有 # ，但是在路由中刷新可以正常显示，浏览 ...
分类：
其他好文 时间：
2021-01-02 10:28:59
阅读次数：
0
前言 本篇使用RabbitMQ制作一个秒杀系统的雏形，其充当的作用是流量削峰。 系统架构图 秒杀系统分为两部分： spike-client：用于接收购票信息，查询redis并扣除库存，购买成功则将购票信息发送到RabbitMQ； spike-server：用于处理交换机exchange中的购票信息， ...
分类：
其他好文 时间：
2021-01-01 12:45:04
阅读次数：
0
对于语义分割网络，其输出为（b, h, w, classes）,对索引求最大值，得到维度为（b, h, w, 1） 相对于得到一个灰度图，其亮度值为类别index。因为类别值为[1, num_classes]， 如果对输出 结果直接显示，会的到一副纯黑的图。 所以需要进行预测结果可视化 将预测结果转 ...
分类：
其他好文 时间：
2021-01-01 11:53:48
阅读次数：
0
题目： 一个机器人位于一个 m x n 网格的左上角 （起始点在下图中标记为“Start” ）。 机器人每次只能向下或者向右移动一步。机器人试图达到网格的右下角（在下图中标记为“Finish”）。 现在考虑网格中有障碍物。那么从左上角到右下角将会有多少条不同的路径？ 网格中的障碍物和空位置分别用 1 ...
分类：
其他好文 时间：
2020-12-31 12:26:01
阅读次数：
0
