自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(18)
  • 资源 (6)
  • 收藏
  • 关注

原创 解决Ubuntu离线安装openssh问题

资源下载网址链接:https://pan.baidu.com/s/1i67V_buE0Na1PcV5cNj7wA提取码:nmik下载后进入到对应目录输入如下命令即可sudo dpkg -i ncurses-term_6.2-0ubuntu2_all.debsudo dpkg -i openssh-client_1%3a8.2p1-4ubuntu0.2_amd64.debsudo dpkg -i openssh-sftp-server_1%3a8.2p1-4ubuntu0.2_a

2021-07-21 10:57:27 728

原创 Symbol ‘***‘ could not be resolved

解决办法,先不输入6-10保存,再次输入6-10即可

2021-05-14 15:00:13 963 1

原创 如何使用eclipse生成dll文件

要使用eclipse生成dll文件需要安装CDT环境和gcc/g++编译器这里不讲安装CDT以及编译器的过程在已有环境的情况下新建一个c++ project:名字随便取(我这里选的是MinGW GCC)新建文件dlltest.h#pragma once#ifndef MYDLL_API_EXPORTS#define MYDLL_API __declspec(dllexport)#else#define MYDLL_API __declspec(dllimport)#endi

2021-05-14 14:52:11 1067

原创 Error:Could not create the Java Virtual Machine. Error:A Fatal exception has occurred

报错如图:与此同时控制台还有如下报错:unrecognized option: --add-modules=all-system尝试了其他博客的三种常规方法都⑧⭐。1、判断机子是否安装了java环境。具体方法网上搜吧注意设置自己的环境变量:如JAVA_HOME,CLASSPATH,PATH2、有些程序会有内存设置,有些程序内存设置过大时,超过虚拟机的范围会报错。3、看下C:\Windows\System32生成的java.exe、javaw.exe、javaws.ex..

2021-05-11 08:47:12 4381

原创 epoll下的ET和LT

LT模式:LT是epoll默认的工作方式,支持阻塞和非阻塞两种机制。LT模式下内核会持续通知你文件描述符就绪了,然后你可以对这个就绪的fd进行I/O操作。如果不做任何操作,内核还是会继续通知你的。ET模式:ET模式相对LT模式更加高效,只支持非阻塞模式。在这个模式下,当描述符从未就绪变为就绪时,内核通过epoll告诉你。然后它会假设你知道文件描述符已经就绪,并且不再为那个文件描述符发生更多的就绪通知。直到你做了某些操作导致那个文件描述符不再为就绪状态了。ET模式在很大程度上减少了epoll事件被重复

2021-05-09 11:42:19 2830

原创 三大范式通俗讲解

通俗含义  第一范式(1NF):字段不可分;  第二范式(2NF):有主键,非主键字段依赖主键;  第三范式(3NF):非主键字段不能相互依赖。对其解释:  1NF:原子性。 字段不可再分,否则就不是关系数据库;;  2NF:唯一性 。一个表只说明一个事物;  3NF:每列都与主键有直接关系,不存在传递依赖。...

2021-05-07 10:56:54 593

原创 vector迭代器失效问题

因为自己搜的感觉讲的有点迷,就自己动手是了一下并讲下自己的理解,若有问题,还请各位大佬指正。 首先是迭代器失效主要发生在push_back、insert、erase中。 若在进行插入元素后未发生vector容量变化,理论上插入元素之后迭代器失效,进行erase之后同理。 若插入元素后发生vector容量变化,则所有迭代器失效。 insert和erase可以通过 it = insert () 或 it = erase()...

2021-03-24 22:05:14 278

原创 几张图了解组合,接口,聚合,继承

2021-02-27 13:55:33 203

原创 形式化验证工具Process Analysis Toolkit(PAT)安装

直接附上安装包百度云链接直接先安装.NET安装包然后直接安装PAT软件即可链接:https://pan.baidu.com/s/1L7AsNodFer7tc1Qk-sDk0g提取码:dcj3另附官网网址https://pat.comp.nus.edu.sg/...

2020-04-27 15:57:19 1369

原创 OpenVINO在Win10上安装及环境配置

一、资源下载https://software.seek.intel.com/openvino-toolkit?os=windows填入相应的信息下载安装即可安装完成后你需要通过以下两行命令配置环境变量cd C:\Program Files (x86)\IntelSWTools\openvino\bin\setupvars.bat但是这种方式有一个问题就是每次打开命令行窗口都...

2020-04-22 17:56:03 2075 1

原创 Python graphviz安装教程

步骤一:安装graphviz软件安装包下载地址如下,随便安装哪个都行,但是安装完之后把bin目录添加到环境变量中去https://graphviz.gitlab.io/_pages/Download/Download_windows.html步骤二:python安装graphviz库直接使用命令安装即可pip install graphviz简单用例:from graph...

2019-11-21 20:59:42 5727

原创 测试简介以及一些测试工具介绍说明

文章目录一般测试流程:一般测试工作:常用开源测试工具:常用的软件测试工具:一般测试流程:1.需求分析阶段:只要就是对业务的学习,分析需求点。2.测试计划阶段:测试组长就要根据SOW开始编写《测试计划》,其中包括人员,软件硬件资源,测试点,集成顺序,进度安排和风险识别等内容。3.测试设计阶段:测试方案一般由对需求很熟的高资深的测试工程师设计,测试方案要求根据《SRS》上的每个需求点设计出包括...

2019-11-07 16:13:48 485

原创 stanford-corenlp 中各词性含义标注

ROOT:要处理文本的语句IP:简单从句NP:名词短语VP:动词短语PU:断句符,通常是句号、问号、感叹号等标点符号LCP:方位词短语PP:介词短语CP:由‘的’构成的表示修饰性关系的短语DNP:由‘的’构成的表示所属关系的短语ADVP:副词短语ADJP:形容词短语DP:限定词短语QP:量词短语NN:常用名词NR:固有名词NT:时间名词PN:代词VV:动词VC:...

2019-11-04 21:33:59 3702 1

原创 stanford-corenlp显示句子依存关系

在命令行中运行下面这行代码:(引号里面要改为自己的stanford-corenlp所在目录)java -mx4g -cp "F:\资源\stanford-corenlp-full-2018-10-05/*" edu.stanford.nlp.pipeline.StanfordCoreNLPServer -port 9000 -timeout 15000或java -Xmx4g -cp "F...

2019-11-04 21:02:12 1083

原创 spin简介以及ispin运行样例

工具名称:iSpin工具的适用范围和应用情况:此工具主要是用Promela编写实现。Promela是一种过程建模语言,其预期用途是验证并行系统的逻辑。给定Promela中的程序,Spin可以通过对建模系统的执行进行随机或迭代仿真来验证模型的正确性,或者可以生成C该程序对系统状态空间进行快速详尽的验证。验证程序还可以用于证明系统不变性的正确性,并且可以找到非进度执行周期。最后,它支持线性时间时间...

2019-10-26 20:25:38 4733

原创 windows系统下中安装ispin

首先是下载spin,直接把github全部内容都下下来之后解压https://github.com/nimble-code/Spin接下来是下载cygwin软件根据自己情况下载,附上下载链接https://www.cygwin.com/请记得务必把spin解压在/cygwin/bin/目录下(现在还木有这个目录后面会标注)务必在此页面选择第二个,因为从网上下载有些内容会出问...

2019-10-26 20:20:37 770 6

原创 jspin安装教程

首先下载并安装jspin5.0https://download.csdn.net/download/fbj_bai/11916561或https://code.google.com/p/jspin/安装起来很简单, 安装好之后,由于SPIN需要一个c编译器。在此提供一个mingwhttps://sourceforge.net/projects/mingw/files/MinGW/...

2019-10-25 21:18:26 1204

原创 hadoop环境配置

下载jdk后上传到centOS然后进入到/etc/profile.d/java.sh添加路径:JAVA_HOME=/usr/java/jdk1.7.0_79CLASSPATH=$JAVA_HOME/lib;$CLASSPATHPATH=$JAVA_HOME/bin;$PATHexport JAVA_HOME CLASSPATH PATHsource /e

2017-11-03 15:29:54 194

windows 程序补丁包

windows6.0-kb2533623 Windows6.1-KB2999226 Windows6.1-KB2533623 Windows6.1-KB2813430 包含如上补丁包

2023-09-25

openssh.rar

openssh离线安装包,内附readme,按照readme内容顺序输入命令即可

2021-07-21

uppaal.zip

主要是一些uppaal的教程,可以通过这些教程对如何使用uppaal有个初步了解。以上就是这份资料的主要内容了。。。

2020-05-20

w_openvino_toolkit_p_2020.1.033.exe

OpenVINO的深度学习部署工具套件主要包括两部分,一个是模型优化器,另外一个是推理引擎。模型优化器是由Python编写的,推理引擎是一套C++函数库以及C++的类

2020-04-22

PAT3.Setup.3.5.1.64.msi

是由新加坡国立大学开发的一款形式化建模与验证工具集,支持进程代数、实时进程代数、时间自动机等多种建模语言。PAT工具的人机交互界面友好,支持多种验证方法,包括精化验证、死锁验证、可达性验证、LTL性质验证等。

2020-04-15

MIPSProject.rar

主要实现了MIPS指令的译码操作,通过输入的二进制码转化为对应的指令,并执行指令

2019-10-30

jspin-5-0.exe

jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs.

2019-10-24

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除