- 博客(30)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 用VSCode写IEEE论文
之前我是使用TexStudio软件写的，现在想换一个新环境。主要还是TexStudio我用不惯，所以我卸载了电脑上的环境，使用VSCode+WSL搭建了一个新的latex写作环境。这篇博客主要是记录我在搭建这个环境和用IEEE模板写论文这个过程中遇见的一些问题。 其次我还想表达一下我使用latex写论文的一些感悟。缺点很明显，latex语言是有学习成本的。一些标签和一些莫名其妙的问题真的让人心烦。优点也很明显，你不用管参考文献格式，你不用管图片、表格和公式的序号，位置等问题。你不用管正文和标题的格式。
2022-02-07 09:35:15
2130
原创 记录Z3中的BitVector
Z3，一种奇妙的求解器，用过的都说好，但是没人能说出好在哪里，可以参考的代码太少，又多是C语言的，我个人害怕C语言的段错误，简直无敌。我是在python3环境下运行的，使用pip3下载z3-solver就可以了。
2021-08-30 21:31:03
1346
原创 Linux中的进程和fork函数（未写完）
起因 在复习Linux操作的时候发现了本科中涉及不深的知识点，在此记录一下。 本科中，和进程有关的知识大概有进程的调度策略，进程和线程的关系。我能记得的差不多就是这些了。 今天，我就在Linux中，使用C语言，来复现一下进程
2021-04-08 14:22:11
308
原创 记录论文中用到的伪代码
写论文时候需要用伪代码描述算法，记录下，以后用到就来看一看。写循环for each ρ∈T\rho \in Tρ∈T do …while Worklist≠∅Worklist \ne \emptyWorklist=∅ do …无论是for循环还是while循环大致都是一样的。伪代码就是：能够清楚表达算法过程即可。大白话的描述也是伪代码，只是写在论文中，就。。。等着退稿吧。看了一些别人的算法，伪代码一般使用斜体。关键字加粗。大体框架是function NAMEN_{AME}NAMEi
2021-01-01 19:58:33
8522
原创 SeaHorn的安装
SeaHorn的安装SeaHorn是什么？写作的目的github最后SeaHorn是什么？SeaHorn是一款验证软件写作的目的因为我换了好长时间才成功安装，你应该能想象得到这个好久是多少天了吧githubhttps://github.com/seahorn/seahorn这篇博客是我的吐槽和我一些经验的分享，这个软件小众，我是做研究用的，我估计应该不会有人再去安装这个吧。这个软件提供了Docker安装，如果你只是需要用这个软件做验证，那么你完全可以使用docker来傻瓜操作。这个软件是依
2020-06-14 16:31:46
499
1
原创 初步了解Spingboot
创建Spingboot项目创建spring boot项目可以选择用idea创建，可是我之前学习的时候没有安装idea，所以我选择使用网站创建spring boot。创建的时候重点是选择Maven构建还是Gradle构建。搭建Maven环境说搭建的确是太吹牛了。因为Maven环境搭建在Windows下是很简单的。大佬的博客其实就是配置一下环境变量。当然啦，你肯定不希望maven管理的仓...
2019-10-06 09:33:13
164
原创 kripke structure
唠叨几句目前在学习测试模型，导师给了一本书看，都是英文的，看的很慢，里面有数学推导，使用的词语都不是常见的词语，比如i.e.表示“也就是说”，such that表示“使什么成立”还有denote by等等。目前我遇见的第一个大的知识点就是kripke structure。对了，我还有一个体会，就是在这种学术论文中，许多的词语很难找到对应的中文去解释，感觉翻译成那个意思都不能准确的表达。忽然想起...
2019-09-25 09:38:07
1842
3
原创 java指定位数最大小值表示
定义最大值定义一个32位有符号的最大值int max=0x7fffffff;//0111 1111 1111 1111 1111 1111 1111 1111定义最小值定义一个32位有符号的最小值int min=0x80000000;//1000 0000 0000 0000 0000 0000 0000 0000java中int的定义可以查看函数Integer....
2019-09-15 15:21:25
1183
原创 python安装
python2和python3混合安装安装环境：window版本：python2，python3安装python3先安装python3从https://www.python.org/下载python3web-based 就是在线安装版。executable 就是exe可执行格式安装版。embeddable 就是zip解压免安装绿色版。文件后缀名就是zip.环境路径配...
2019-07-09 16:40:05
180
原创 Burp Suite 安全渗透工具
这个软件简称bpbp软件是java写的，使用的时候电脑要有Java环境我下载的软件有两个jar一个是burpsuite_pro_v1.6.jar打开需要证书，咱没有，使用第二个BurpLoader.jar怎么用？进入路径之后使用命令 java -jar BurpLoader.jar打开网页代理Chrome浏览器：设置-搜索"代理"-局域网(LAN)设置-添加本地代理127.0.0.1：...
2019-07-02 19:53:21
644
1
原创 HackBar工具
好久没有写笔记了，今天小小总结一下。GET，POST请求时http协议中两个重要的请求，测试这些请求有很多工具，常见的就是网页测试。火狐或者Chrome浏览器都是常用的测试工具。之前一直测试GET请求，今天需要测试POST请求，又不想下载工具，又不想写js脚本。于是我想到，能不能使用浏览器插件完成这个任务。优先考虑火狐，因为Chrome浏览器安装插件必须离线，又不想翻墙。火狐浏览器有一个H...
2019-07-01 17:25:25
7379
2
原创 MAVEN中的自定义属性 ${}
自定义属性在pom中元素下自定义的Maven属性 <properties> <!-- swagger.version --> <swagger.version>2.2.2</swagger.version> </properties> <dependency> <!--swagger2【API文档...
2019-05-11 08:58:47
855
原创 xmlns 命名空间
xmlns是什么html中的一个属性，可以扩展html功能xmlns例子<html xmlns="http://www.w3.org/1999/xhtml" xmlns:th="http://www.thymeleaf.org"<head th:replace="~{fragments/header :: header}"></head><...
2019-05-04 09:03:24
716
原创 IntelliJ IDEA一些设置
修改字体大小sttings-Editor-Font也可以在上面搜索Font修改字体大小18 大一点对自己舒服可以修改游戏啊字体样式，经常给自己新的感觉修改项目和IDE编码此设置会将打开项目的编码修改，但是不会影响下一个项目的编码如果勾选了下面的Default编码，就会修改IDE编码配置JDK创建、引入项目会提示SDK位置，SDK就是JDK的位置，如果不选择，打开项目后也可...
2019-05-03 19:22:12
148
原创 解决异常Error creating bean with name 'xxxxxController': Unsatisfied dependency expressed through field
结果已经修改了BUG，所以不能贴出完整异常内容这一类异常修改比较简单，第一次遇见可能会头疼，如果把整个过程梳理一边就没有那么麻烦了主要异常Error creating bean with name ‘catalogController’: Unsatisfied dependency expressed through field ‘userDetailsService’;nested ...
2019-04-30 09:13:36
18359
1
原创 DES
DES算法中所有的表Table都是固定的，他们是有规律的。学习的时候可以直接从网上复制数组。注意：有些代码中的数据是从0开始的，有些是从1 开始的。...
2019-04-22 08:09:12
175
转载 多个Img标签之间的间隙处理方法
转载:https://www.cnblogs.com/zqzjs/p/4868325.html在html中两个img标签有空袭，回车也不行。所以说写成这样:<img src="/i/eg_tulip.jpg" alt="郁金香" height="100px"/><img src="/i/eg_tulip.jpg" alt="郁金香" height="100px"/>...
2019-04-04 14:44:18
339
原创 考研复试-计算机网络面试
我用的是谢希仁的教材，是一本绿色的厚厚的书。在复习的过程中听说还有一本《图解TCP/IP》我下载了电子版看了看，给自己讲了一遍，觉得这个本书适合。Http和Https的区别Http协议运行在TCP之上，明文传输，客户端与服务器端都无法验证对方的身份；Https是身披SSL(Secure Socket Layer)外壳的Http，运行于SSL上，SSL运行于TCP之上，是添加了加密和认证机制的...
2019-03-26 22:28:41
5136
1
原创 考研复试-数据库面试题
准备复试时自己从别的博客上复制的一些面试题，因为当时都复制到一个文本文件中了，也不知道从谁的博客上复制的。触发器的作用？答：触发器是一中特殊的存储过程，主要是通过事件来触发而被执行的。它可以强化约束，来维护数据的完整性和一致性，可以跟踪数据库内的操作从而不允许未经许可的更新和变化。可以联级运算。如，某表上的触发器上包含对另一个表的数据操作，而该操作又会导致该表触发器被触发。什么是存储...
2019-03-26 21:02:31
18454
4
原创 数据结构笔记整理1
图的操作第一次写博客，还不会使用md图的操作第一次写博客，还不会使用md先把所有的笔记贴上了，顺便熟悉一下md的使用。慢慢整理，笔记太多太杂了。图的操作大学学习严蔚敏的数据结构，一下是图的一些常见操作/*创建无向网UDN*/int CreateUDN(MGraph * G){ int w = 0; char v1,v2; int IncInfo = 0; scanf("%d%d...
2019-03-20 18:59:58
308
原创 WebForm配置链接数据库
WebForm链接数据库配置文件种类web.configapp.config配置文件相应类ConfigurationSettings类ConfigurationManager类AppSettings和ConnectionStrings的区别connectionStrings 节点两种方式：具体实现配置文件种类web.configweb.config是web应用程序的配置文件，为web应用程序...
2019-03-20 18:59:49
1041
原创 初识AMD型号CPU
AMDAMD是什么AMD64是什么AMD型号CPUAMD是什么AMD是美国一家生产计算机芯片的公司，该公司生产的芯片成为AMD芯片，简称AMDAMD64是什么AMD64表示64位AMD型号CPUamd的芯片做的很好就做起了CPU，和intel CPU相提并论...
2019-03-20 18:59:39
677
1
原创 二维数组
二维数组1 数组的存储方式按行存储 先存第0行 再存第1行… C语言中就是按行存储按列存储 先存第0列 再存第1列…2 二维数组的定义int a[3][3];这就定义了一个二位数组，此时里面没有数据，或者说时脏数据3 二维数组初始化注意 ：在定义的时候也可以初始化int a[3][3]={1,2,3};分段赋值int a[5][3]={ {80,75,92}, {61...
2019-03-20 18:59:26
215
原创 break 和 continue
break 和 continue循环中break 和 continue的用法break使用局限性continue使用局限性循环中break 和 continue的用法 //break while(i=0;i&lt;10){ if(i=3){ break; //当满足条件时，终止这次循环，一共循环3次 i= 0 1 2 //每次满足条件时候就会从break处结束循环 ...
2019-03-20 18:59:15
95
原创 swith case语句中的break
swith case语句中的breakswith语句的一般格式 switch (k) { case 0:doSomeThing1();break; case 1:doSomeThing2();break; case 2:doSomeThing3();break; default:doSomeThing4(); }case的考点当K匹配到case的时候就会执行冒号后面的...
2019-03-20 18:59:00
2383
原创 物理层
物理层的基本概念特性描述机械特性：硬件外形标准化电气特性：电压传输标准化，功能特性：标明电压的电平意义过程特性：不同功能各种可能事件的出现顺序数据通信基础知识通信系统的三部分：(对称结构)源点发送器传输系统接收器终点源系统：源点 + 发送器传输系统：传输系统目的系统：接收器 + 终点信号分类：模拟信号：连续量数字信号：离散量，码元是代表不同离散数值的基本波形信道的分类...
2019-03-20 18:58:41
199
空空如也
vant3的tabbar无法跳转到默认路由
2022-08-27
vue3中computed的value属性
2022-08-21
cmake下编译的链接库undefined reference
2022-05-11
TA创建的收藏夹 TA关注的收藏夹
TA关注的人