再走一步

原创 klee2.3 安装&&教程1-2

klee2.3 安装教程&&入门例子教程

翻译 LLVM教程2——Kaleidoscope 实现解析器和 AST

LLVM官方文档示例2

翻译 LLVM教程1——Kaleidoscope 介绍和语法分析器

LLVM官方文档教程示例1

原创 SAT求解器—cryptominisat Windows安装及使用

官网 Wonderings of a SAT geek | A blog about SAT solving and cryptographyGitHub 资源包 https://github.com/msoos/cryptominisat下图是官方给出的安装教程，第一次编译安装可能会出现一些问题，所以写下这篇博客，希望大家少走弯路。1. 获得工程项目选择分支（默认是master分支），拉取需要版本的工程项目，可以直接下载.zip 的压缩包也可以通过Git拉取。2. 解...

原创 C++ 笔记

C++ 笔记1. 学习链接http://c.biancheng.net/view/2189.htmlhttps://www.runoob.com/cplusplus/cpp-tutorial.html2. override保证在派生类中声明的重载函数，与基类的虚函数有相同的签名https://zhuanlan.zhihu.com/p/2609920593. .dll 动态加载我在bin/目录下删除加载库，程序不会崩，只是失去了该有的功能。4. C++中的函数重载在同一个作用域内，可以声明

原创 Markdown常用基本语法

1. 标题# 一级标题 ## 二级标题 ### 三级标题#### 四级标题##### 五级标题###### 六级标题2. 分割线在markdown语法中,一行连用三个或者三个以上的星号,减号,或者下划线,就可以表示分割线。可以在一行用3个以上的 * - _来建立一条分割线，行内除了空格不能有其他东西。例如:*** 这里是分割线 --- 这里也是分割线 __ 这里还是分割线 据说三条线效果是不同的，按顺序是很明显，不明显，一般。这里三分割线好像也没多大差别。3.

原创 Soot 入门

相关课程：燕云直播soot官网：GitHub - soot-oss/soot: Soot - A Java optimization frameworksoot API：https://soot-oss.github.io/soot/docs/soot安装： 可以直接看官网教程。 不想看英文可以参考Soot使用笔记 - xine - 博客园Soot 跑起来——命令行1、测试代码Helloworld.javapublic class Helloworld { pu...

原创 OpenCV基础知识

下载安装参考链接VS2017配置opencv教程（超详细！！！）_Chosen One-CSDN博客_opencv注意：后面的课程环境配置可能需要自己稍微改改，上面的配置教程可能学习到VS环境配置的基础知识，配一次大概就懂了第一课 图像读取与显示1、这里踩了一个坑，如果openCV下载的是releases版本的，那么imread()无法在VS的Debug模式下读取图片，后面的所有运行都是在VS releases模式下执行。#include <opencv2/opencv..

原创 进化算法求解TSP问题

描述旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。方法进化算法框架加上有利的重组算子（A Comparison of Genetic Sequencing Operators[1]）代码下面是部分代码，完整代码太长，..

原创 An Efficient Approach to Non-dominated Sorting for Evolutionary Multi-objective Optimization

ReferenceZhang X, Tian Y, Cheng R, et al. An efficient approach to nondominated sorting for evolutionary multiobjective optimization[J]. IEEE Transactions on Evolutionary Computation, 2014, 19(2): 201-213.Python codeimplementationimport numpy as np.

原创 MOEAs入门算法实现

Python实现NSGA-II[1]、MOEA\D[2]、SPEA2[3]参考：[1] Deb K, Pratap A, Agarwal S, et al. A fast and elitist multiobjective genetic algorithm: NSGA-II[J]. IEEE transactions on evolutionary computation, 2002, 6(2): 182-197.[2] Zhang Q, Li H. MOEA/D: A multiobjec

原创 剑指offer (JZ41—JZ50)

JZ41和为S的连续正数序列中等通过率：29.07%时间限制：1秒空间限制：64M知识点：穷举描述小明很喜欢数学,有一天他在做数学作业时,要求计算出9~16的和,他马上就写出了正确答案是100。但是他并不满足于此,他在想究竟有多少种连续的正数序列的和为100(至少包括两个数)。没多久,他就得到另一组连续正数和为100的序列:18,19,20,21,22。现在把问题交给你,你能不能也很快的找出所有和为S的连续正数序列? Good Luck!返回值描述：输出所有和为S的...

原创 剑指offer (JZ31—JZ40)

JZ31 整数中1出现的次数（从1到n整数中1出现的次数）中等通过率：35.38%时间限制：1秒空间限制：64M知识点：数学描述输入一个整数 n ，求1～n这n个整数的十进制表示中1出现的次数例如，1~13中包含1的数字有1、10、11、12、13因此共出现6次示例1输入：13返回值：6思路：我们看到题目要求 “输入一个整数 n ，求1～n这n个整数的十进制表示中1出现的次数”。其实就是求从1-n这n个数中，每一个数的计数位上出现的1的个数...

原创 剑指offer (JZ21—JZ30)

JZ21栈的压入、弹出序列中等通过率：30.88%时间限制：1秒空间限制：64M知识点：栈描述输入两个整数序列，第一个序列表示栈的压入顺序，请判断第二个序列是否可能为该栈的弹出顺序。假设压入栈的所有数字均不相等。例如序列1,2,3,4,5是某栈的压入顺序，序列4,5,3,2,1是该压栈序列对应的一个弹出序列，但4,3,5,1,2就不可能是该压栈序列的弹出序列。（注意：这两个序列的长度是相等的）示例1输入：[1,2,3,4,5],[4,3,5,1,2]返回值：...

原创 剑指offer (JZ11—JZ20)

JZ11二进制中1的个数中等通过率：35.25%时间限制：1秒空间限制：64M知识点：数学描述输入一个整数，输出该数32位二进制表示中1的个数。其中负数用补码表示。示例1输入：10返回值：2思路：如果可以对从右向左的第一位1直接判断，遇到0直接略过，那效率就很快。现考虑二进制数：val :1101000, val-1: 1100111 那么val & （val-1） : 1100000如果你会了这个操作，是不是这题就很简单了。...

原创 剑指offer (JZ1—JZ10)

JZ1二维数组中的查找中等通过率：25.83%时间限制：1秒空间限制：64M知识点:数组描述在一个二维数组array中（每个一维数组的长度相同），每一行都按照从左到右递增的顺序排序，每一列都按照从上到下递增的顺序排序。请完成一个函数，输入这样的一个二维数组和一个整数，判断数组中是否含有该整数。[[1,2,8,9],[2,4,9,12],[4,7,10,13],[6,8,11,15]]给定 target= 7，返回true。给定target=...

原创 朋友圈（并查集&路径压缩）

描述现在有107个用户，编号为1- 107，现在已知有m对关系，每一对关系给你两个数x和y，代表编号为x的用户和编号为y的用户是在一个圈子中，例如：A和B在一个圈子中，B和C在一个圈子中，那么A,B,C就在一个圈子中。现在想知道最多的一个圈子内有多少个用户。输入描述：第一行输入一个整数T，接下来有T组测试数据。对于每一组测试数据：第一行输入1个整数n，代表有n对关系。接下来n行，每一行输入两个数x和y，代表编号为x和编号为y的用户在同一个圈子里。1 ≤ T≤ 101≤ n≤...

原创 JZ11 二进制中1的个数（剑指offer）

描述输入一个整数，输出该数32位二进制表示中1的个数。其中负数用补码表示。示例1输入：10复制返回值：2可以暴力求解；整数取模一位一位的看。如果，给你一种超能力，你能直接对从右向左的第一位1进行判断，遇到0直接略过，那效率是不是很快。现考虑二进制数：val :1101000, val-1: 1100111 那么val & （val-1） : 1100000。从右向左的第一个1被直接判断，略过了右边的0。如果你会了这个操作，是不是这题就很简单了。public c

原创 JZ67 剪绳子 （剑指offer）

描述给你一根长度为n的绳子，请把绳子剪成整数长的m段（m、n都是整数，n>1并且m>1，m<=n），每段绳子的长度记为k[1],...,k[m]。请问k[1]x...xk[m]可能的最大乘积是多少？例如，当绳子的长度是8时，我们把它剪成长度分别为2、3、3的三段，此时得到的最大乘积是18。输入描述：输入一个数n，意义见题面。（2 <= n <= 60）返回值描述：输出答案。示例1输入：8返回值：18public class So

原创 常见动态规划题目

常见动态规划题目的动态转移方程子数组的最大累加和：dp[i]表示以num[i]结尾子串的最大累加和。dp[0] = num[0];for(1:n)dp[i] = max(dp[i-1]+num[i],num[i]);maxsum = max(maxsum,dp[i]);最大公共子串：//注意二维数组大小：dp[n+1][m+1]dp[i][j]表示以第i个字符和第j个字符结尾的最长公共子串长。dp[i][0]=0;//第二个字符串空dp[0][j]=0;//第一个..

原创 01背包，完全背包，多重背包，分组背包

//0 1背包//有N件物品和一个容量为V的背包。第i件物品的费用是c[i]，价值是w[i]。//求解将哪些物品装入背包可使这些物品的费用总和不超过背包容量，且价值总和最大。#include<cstdio>#include<cstring>#include<algorithm>#include<iostream>using namespace std;int main(){ int n,m; int w[4000],d[400...

原创 计算广告学习思维导图1.0

原创 三次样条曲线（参数方程）python实现

# -- coding: utf-8 --"""@Project: lecture@Time : 2020/4/29 21:54@Author : Yang xu@Site : @File : parameter equation.py@IDE: PyCharm"""import numpy as npimport matplotlib.pyplot as pltfrom ...

原创 合天实验室：渗透试验项目二

打开metasploit pro console（在开始->所有程序->Metasploit->Metasploit console）正在上传…重新上传取消检查目标主机端口开放情况正在上传…重新上传取消访问目标网站10.1.1.191转存失败重新上传取消访问目标网站的8889端口转存失败重新上传取消在C;\too...

原创 合天实验室：渗透测试项目一

任务一：注入木马写一个.jpg的木马文件浏览器设置127.0.0.1:8080代理将木马上传到网站用burpsuit抓包再单击forward放行，回到页面发现成功上传关闭代理，访问上传的文件(路径上面有)并用get方式提交phpinfo();试试，从下图可以看到上传的文件奏效了接着使用中国菜刀啦(在tool文件夹下面)添加木马文件地址...

原创 图形相似在模式识别中的应用及python实现

Reference算法流程图注意：基本原理方法在文章中有详细介绍使用该文章的方法，实现一个图形相似度的计算，完成模式识别import numpy as npclass Cycle(object): def __init__(self, N, E, S): self.N = N # 元素数量 # [['类型', '连接方式...

原创 三次样条曲线 python实现

reference：https://blog.csdn.net/deramer1/article/details/79034201import numpy as npimport matplotlib.pyplot as pltfrom pylab import mpl"""三次样条实现：函数的自变量x:3, 4.5, 7, 9函数的因变量y:2.5, 10, 2.5, 10....

原创 背包合集C++

//多重背包#include <cstdio>#include <iostream>#include <cstring>#include<algorithm>using namespace std;int main(){ int p[101],h[101], c[101]; int dp[101]; int...

原创 hough变换 python+OpenCV的简单实现

直线的hough变换import cv2import numpy as np# 1.加载# 图片，转为二值图img = cv2.imread('lines.jpg')drawing = np.zeros(img.shape[:], dtype=np.uint8)gray = cv2.cvtColor(img, cv2.COLOR_BGR2GRAY)edges = cv2.Can...

原创 使用KKT条件处理机械臂碰撞问题

问题：求得的最小距离与模型中两圆柱个体的半径之和进行比较，判断机器人手臂在运动过程中是否存在潜在的碰撞？/**1 1 01 1 105 5 05 5 101 11 1 01 1 102 2 02 5 101 11 1 01 1 102 2 05 5 101 11 1 01 1 102 0 52 3 51 1**/#i...

原创 gurobi+Python的实例使用（运筹优化）

具体问题是Applied Energy期刊文章《Combined heating and cooling networks with waste heat recovery based on energy hub concept》中的能源枢纽问题（该问题是多目标问题，这里主要是复现这篇文章）from gurobipy import *import randomimport numpy ...

原创 磁盘调度算法；先来先服务调度算法、最短寻道时间优先调度算法、扫描调度算

一、 实验目的和要求1. 了解磁盘调度技术的特点2. 掌握磁盘调度算法，如先来先服务（firstcome first served,FCFS）调度算法、最短寻道时间优先（shortest seek timefirst,SSTF）调度算法、扫描（SCAN）调度算法、循环扫描（C-SCAN）调度算法。二、实验内容设计模拟实现FCFS、SSTF、SCAN和C-SCAN调度算法的C语言程序。...

原创 页面置换算法；最佳置换算法、先进先出置换算法、最近最久未使用置换算法

一、 实验目的和要求1. 了解虚拟存储技术的特点。2. 掌握请求页式存储管理的页面置换算法，如最佳（Optimal）置换算法、先进先出（Fisrt In First Out）置换算法和最近最久未使用（LeastRecently Used）置换算法。二、实验内容设计模拟实现OPT、FIFO和LRU页面置换算法的C语言程序。1. OPT算法：需要发生页面置换时，算法总是选择在将来最不可...

原创 进程调度算法；先来先服务调度算法、短作业优先调度算法、时间片轮转调度算法

一、 实验目的和要求1. 了解进程调度算法的特点2. 掌握进程调度算法，如先来先服务调度算法（first come first served,FCFS）、短作业优先调度算法（shotjob first,SJF）、时间片轮转调度算法。二、实验内容设计模拟实现FCFS、SJF、时间片轮转调度算法的C语言程序1. FCFS算法：按照作业/进程进入队列的先后顺序进行挑选，先进入的将先进行...

原创 用蚁群算法解决TSP问题

旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。环境：程序使用语言java，jdk版本1.8，程序中用到的jar包：poi-3.1...

原创 用分枝限界算法解决TSP问题

旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。环境：程序使用语言java，jdk版本1.8，程序中用到的jar包：poi-3.1...

原创 用动态规划算法解决TSP问题

旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。环境：程序使用语言java，jdk版本1.8，程序中用到的jar包：poi-3.1...

原创 用回溯算法解决TSP问题

旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。环境：程序使用语言java，jdk版本1.8，程序中用到的jar包：poi-3.1...

原创 用贪心算法解决TSP问题

旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。环境：程序使用语言java，jdk版本1.8，程序中用到的jar包：poi-3.1...

原创 用感知器实现或运算

CODEimport java.util.Scanner;public class OR { static int N = 2; static double[] W = new double[N]; static double sita = Math.random(); static int[] X = new int[N]; static int Y = 0; static double c =...