3 fine_rain

尚未进行身份认证

我要认证

暂无相关简介

等级
TA的排名 13w+

SAT&SMT

前言本文性质:个人学习笔记SAT(SATISFIABILITY/布尔可满足性问题),SMT(Satisfiability Modulo Theories/可满足性模理论)根据哥德尔不完备定理/停机问题/莱斯定理,我们可以知道在有限时间内是无法得到精确的分析结果。我们可以尝试使用抽象和搜索来得到近似或者精确的结果。这其中的关键技术就是约束求解。约束求解给定一组约束,求:这组约束是否可满足(可选)如果可满足,给出一组赋值(可选)如果不可满足,给出一个较小的矛盾集总的来说是不可判定的问题,但

2020-07-17 16:34:45

SNE和T-SNE降维算法学习

http://www.datakit.cn/blog/2017/02/05/t_sne_full.html这篇文章公式推导的很详细,很完整。

2019-12-12 10:43:28

编译安装llvm/clang以及编译过程中memory exhaust问题的解决

文章目录环境编译过程1. 下载 LLVM project2. 编译LLVM and Clang3. 测试总结参考环境系统:阿里云镜像Ubuntu16依赖库:库版本备注gnu make3.79, 3.79.1Makefile/build processorgcc>=5.1.0C/C++ compilerpython>=2.7用于运行测...

2019-11-21 21:26:39

MapReduce中的数据倾斜简介及部分解决方案

阅读了网上别人整理写作的博客,了解了数据倾斜的一些大概情况。查阅论文了解一下比较前沿的算法解决思路。(看了好几篇论文,找了几个有意思的解决方案和大家分享一下)查阅Apache官方论坛,了解一些实际中的解决应用。专业名词:data skew、partitioning skew、reduce skew、data locality发现大概有两种优化思路,一种是在shuffle阶段做优化,使得re...

2019-10-28 12:33:40

编译原理实验:使用C/C++语言编写C-语言的词法分析器

文章目录实验目的实验任务实验内容实验步骤分析c-的词法规则算法基本思想Step1 find token:Step2:DFA状态图构建Step3:使用while+switch双循环将DFA代码化主程序流程各程序模块之间层次关系主要变量说明实验结果源码实验目的学习和掌握词法分析程序手工构造状态图及其代码实现方法。实验任务(1)阅读已有编译器的经典词法分析源程序;(2)用C或C++语言编写一门...

2019-08-05 10:50:45

使用sklearn完成4种基本的分类算法:朴素贝叶斯算法、决策树算法、人工神经网络、支持向量机算法

实验目的巩固4种基本的分类算法的算法思想:朴素贝叶斯算法,决策树算法,人工神经网络,支持向量机算法;能够使用现有的分类器算法代码进行分类操作学习如何调节算法的参数以提高分类性能;实验内容及步骤利用现有的分类器算法对文本数据集进行分类实验步骤:1.了解文本数据集的情况并阅读算法代码说明文档;2.利用文本数据集中的训练数据对算法进行参数学习;3.利用学习的分类器对测试数据集进行测...

2019-08-05 10:32:08

mysql8.0约束性语语句(主码、外码、NOT NULL/NULL、DEFAULT、UNIQUE、CHECK)

本文所有操作都是基于mysql8.0执行的,针对mysql数据库创建表之后的约束语句的添加、删除、修改一、实体完整性创建表时定义表的主码创建表后定义或修改表的主码参照完整性创建表时定义外码创建表后定义外码定义参照完整性的违约处理用户自定义完整性NOT NULL/NULLDEFAULTUNIQUECHECK...

2019-07-30 13:24:50

ubuntu16系统下使用Intellij IDEA配置hadoop使用(无坑版)

文章目录创建hadoop工程配置依赖环境编译环境配置测试配置成功与否运行步骤运行结果创建hadoop工程创建一个新的工程,选择JAVAEE Application添加自己本地目录下的JAVA SDK到project中输入项目名称,点击finish创建项目创建javaClass配置依赖环境打开Project Structure点击左侧“Libraries”添加ha...

2019-07-03 15:22:25

数据库期末总结笔记(《数据库系统概论》第五版(王珊、萨师煊编著))

参考教材:数据库系统概论 第五版(王珊萨师煊版本)文章目录1. 绪论1.1. 数据库系统概述1.2. 什么是数据管理1.3. 数据库系统与人工管理、文件系统比1.4. 数据库系统特点1.5. 数据模型1.6. 数据库系统模式的概念1.7. 数据库系统的组成2. 关系代数2.1. 关系模式与关系的区别3. 标准语言SQL3.1. SQL的数据定义功能3.2. SQL特点3.3. 视图的作用4....

2019-07-02 22:34:56

《数据库系统概论》总结笔记(1-8章)(第五版|王珊、萨师煊编著)

sql语句那部分参考了博客:https://blog.csdn.net/qq_41523096/article/details/86368690文章目录1. 绪论1.1. 数据库4个基本概念1.1.1. 数据1.1.2. 数据库1.1.3. 数据库管理系统(DBMS)1.1.4. 数据库系统(DBS)1.2. 数据管理1.2.1. 发展过程1.2.2. 三个阶段对比1.2.3. 数据库系统特...

2019-07-02 22:32:10

计算机网络中的拥塞控制 总结+详解(包括TCP在无线移动网络中的改进)

文章目录拥塞控制为什么会发生拥塞?网络拥塞导致的公平性问题有线网络中TCP拥塞控制端到端的拥塞控制网络辅助的拥塞控制TCP拥塞控制发展演进TCP拥塞控制改进研究点有线、无线、manet有线网络对比无线网络及manet**网络拥塞判断****资源管理划分**manet关键技术TCP在无线网络中的改进端到端解决方案(提升TCP性能)链路层解决方案分段链接方案MANET中TCP改进TCP影响因素改进原则...

2019-07-02 22:16:40

计算机网络期末总结笔记(《计算机网络自顶向下的方法》第七版、考点总结与核心知识)

本文排版和主要内容总结于《计算机网络自顶向下方法》,参考论文如下:MANET 中TCP 改进研究综述TCP协议的拥塞控制策略及改进互联网端到端拥塞控制研究综述LS路由算法与DV路由算法的比较在王老师的严格要求下,计网学得还是认真的,也读了一些论文,最大遗憾就是期末考试太简单,我的分还不高。o(╥﹏╥)o文章目录本文排版和主要内容总结于《计算机网络自顶向下方法》,参考论文如下:...

2019-07-02 22:12:40

感受野、IoU、NMS、bounding box regression(卷积神经网络及图像处理中的基本概念)

感受野IoUNMSbounding box regression 感受野在卷积神经网络中,感受野的定义是 卷积神经网络每一层输出的特征图(feature map)上的像素点在原始图像上映射的区域大小。有两种理解方式:关于感受野大小的计算采用top to down的方式, 即先计算最深层在前一层上的感受野,然后逐渐传递到第一层,使用的公式可以表示如下: RF = 1  fo...

2019-07-02 11:04:20

深入研究C++多态(虚函数和虚继承)

文章目录多态的引入虚函数表几种常见继承关系中的类内存分布单继承多继承菱形继承总结作者:狗子孙链接:https://www.jianshu.com/p/02183498a2c2来源:简书简书著作权归作者所有,任何形式的转载都请联系作者获得授权并注明出处。面向对象的三大特性是封装、继承和多态。多态是非常重要的一个特性,C++多态基于虚函数和虚继承实现,本文将完整挖掘C++多态的应用、实现和...

2019-05-31 16:19:00

RDMA(远程直接内存访问)原理架构图文详解+与传统通信模式对比

文章目录1 传统通信模式1.1传统网络通信过程2 RDMA基本原理与优势2.1 基本原理3 RDMA原理详解3.1 支持RDMA的网络协议3.2 核心概念3.2.1 基本概念3.2.2 RDMA工作流程RDMA双边操作(send/receive)RDAM单边操作(read)阅读指南: 本文较长,请细心阅读,其中3.1节可以跳过不读。对RDMA概念有所了解的,可以直接从3.2节开始阅读。1 传统...

2019-05-29 22:49:31

一键开启mysql的审计功能(无需安装插件)

本文所使用数据库为mysql8.0,5.x版本的mysql上没试过一下步骤调用审计功能无需下载任何插件,两行命令就能搞定一、首先查看审计配置情况show global variables like 'log_timestamps';show global variables like '%general%';输入命令后结果如下:log_timestamps表示记录审计日志的时间...

2019-05-17 19:35:20

mysql 角色(role)管理功能实现、创建role,role权限赋值、激活(基于mysql8.0)

以下操作都是基于mysql8.0的来实现的,电脑安装不上mysql 8.0的,请自行安装升级创建角色(role)将role的权限赋值给一个用户查看用户被授权情况并激活权限!!重点,不然赋权之后用户也无法使用role里面的权限创建角色CREATE ROLE xx;GRANT 权限 ON 数据库.表 TO XX;--创建ROLE,并赋权限create role read_SC;...

2019-05-07 15:28:31

MYSQL 将一个数据库中的表中数据复制到另一个数据库中(使用SQL命令、使用navicat转储)

同一个数据库系统下登录进入数据库执行语句:CREATE TABLE new_table LIKE old_database.old_table;INSERT new_table SELECT * FROM old_database.old_tablel;第一个命令是创建新的数据表 new_table ,并复制 数据库old_database中表 old_table的数据表结构。第二个...

2019-05-06 17:23:58

colab与google drive搭配使用

  colab支持自己上传文件,但是每隔一段时间就会被清空,所以最好使用是配合google drive使用,避免了资源的重复上传*第一步给colab授权google drive的使用  在google drive中选择一个notebook打开,作为工作路径然后再在google colab里执行如下代码:!apt-get install -y -qq software-properties...

2019-05-02 14:18:09

实验三 TCP Tahoe与Reno 运行机制对比分析(附带完整可用代码)

实验目的:学习TCP的拥塞控制机制并了解TCP Tahoe和TCP Reno协议的运行机制。实验环境:WindowsXP SP3+Cygwin2.416+NS2 2.29实验步骤:首先安装ns2,没必要通过源码编译来安装,只需10s安装,安装过程可参考博文:https://blog.csdn.net/qq_40323844/article/details/89326416安装好之后开...

2019-04-16 11:13:50

查看更多

勋章 我的勋章
  • 持之以恒
    持之以恒
    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里,不积小流无以成江海,程序人生的精彩需要坚持不懈地积累!
  • 1024勋章
    1024勋章
    #1024程序员节#活动勋章,当日发布原创博客即可获得
  • 勤写标兵Lv1
    勤写标兵Lv1
    授予每个自然周发布1篇到3篇原创IT博文的用户。本勋章将于次周周三上午根据用户上周的博文发布情况由系统自动颁发。