- 博客(85)
- 收藏
- 关注
RSS订阅原创 “上帝模式”解析
上帝模式即"God Mode”，或称为“完全控制面板”，是微软在Vista系统上开始引入的。是系统中隐藏的一个简单的文件夹窗口，但包含了几乎所有Windows系统的设置。一. 使用举例桌面新建一个文件夹，命名为上帝模式.{ED7BA470-8E54-465E-825C-99712043E01C}，注意是红色部分，文字可以任意，不一定是“上帝模式”，点不要漏掉了。确定以后，你就会发现图标
2017-12-24 16:28:47
1341
原创 C语言的历史
用了很长时间的C语言了，在vs2010下可以写for(int i = 0; i C语言版本更迭史C语言于1972年11月问世，1978年美国电话电报公司（AT&T）贝尔实验室正式发布C语言，1983年由美国国家标准局（American National Standards Institute，简称ANSI）开始制定C语言标准，于1989年12月完成，并在1990年春
2017-03-13 16:07:13
722
原创 Latex之WinEdt编辑界面的自动换行
这是个小问题，但有时出不来，着实让人头疼。点击菜单"View" -> "Status Line"，在屏幕的最下方会出现一行标签和按键的混合行，找到"Wrap"，就是它控制的！建议没事，把这行关掉，省得误点，又不好弄了！
2017-02-24 15:23:39
19727
12
原创 关于Linux Shell的输出重定向
> 输出重定向到一个文件或设备 覆盖原来的文件>! 输出重定向到一个文件或设备 强制覆盖原来的文件>> 输出重定向到一个文件或设备 追加原来的文件
2017-01-12 11:07:38
457
原创 vim调整Tab长度
vim默认的Tab长度是8，很不爽感觉，下面进行修改，具体方法如下：1. 创建文件名为 .vimrc 的系统文件首先切换到用户根目录，然后创建文件。$ cd ~$ vim .vimrc2. 在文件中输入下面的内容并保存set tabstop=4set shiftwidth=4其中：tabstop 表示一个 tab 显示出来是多少个空格的长度，默认 8。shiftwidth
2016-12-23 09:31:00
4554
转载 启发式算法
启发式算法（heuristic algorithm)是相对于最优化算法提出的。一个问题的最优算法求得该问题每个实例的最优解。启发式算法可以这样定义：一个基于直观或经验构造的算法，在可接受的花费（指计算时间和空间）下给出待解决组合优化问题每一个实例的一个可行解，该可行解与最优解的偏离程度一般不能被预计。启发式算法的发展：启发式算法的计算量都比较大，所以启发式算法伴随着计算机技术的发展，取
2016-11-03 14:58:19
1095
转载 负数在计算机中的保存
声明：转载的，但并不知道原始出处！负数在计算机中如何表示？举例来说，+8在计算机中表示为二进制的1000，那么-8怎么表示呢？很容易想到，可以将一个二进制位（bit）专门规定为符号位，它等于0时就表示正数，等于1时就表示负数。比如，在8位机中，规定每个字节的最高位为符号位。那么，+8就是00001000，而-8则是10001000。但是，随便找一本《计算
2016-11-02 09:34:52
437
原创 Latex插入表格
{tabular}表格似乎无法添加表格标题，编号，且无法浮动，遇到根据上下文自动变换位置的时候就难办了！可将其嵌入在{table}中%%%%%%%%% 居中,标题，编号，固定位置 %%%%%%%%%%\begin{table}[h]\centering\caption{table}\label{tab:table1-1}\begin{tabular}
2016-10-24 15:08:33
3404
原创 STP的安装
鼓捣了一整天终于将STP装好了，各种问题、各种故障也是醉了，苦于对LINUX的各种包不理解，所以费了很大的劲儿！操作系统： Ubuntu 14.04 （先是在虚拟机上试了，到最后装STP时就是make不通过，最后在主机上装上了）参考页面：http://www2.compute.dtu.dk/~stek/cryptosmt.html https://g
2016-10-13 14:43:13
3448
5
转载 yum和apt-get的区别
一般来说著名的linux系统基本上分两大类： 1.RedHat系列：Redhat、Centos、Fedora等 2.Debian系列：Debian、Ubuntu等 RedHat 系列 1 常见的安装包格式 rpm包,安装rpm包的命令是“rpm -参数” 2 包管理工具 yum 3 支持tar包 Debian系列 1 常见的安装包格式 deb包,安装deb包
2016-10-12 14:30:58
417
原创 Linux下安装gurobi
最近需要用到gurobi解决整数规划，上网找了半天的教程，也没安装好，最后还是在同学的帮助下，成功搞定，将过程记录下来，以备以后查看：1. 到gurobi网站上下载linux版本的gurobi，我用的是最新的6.5.2。（忘记了，好像是需要先注册然后才能下载）2. 解压文件 tar -xvfz gurobi6.5.2_linux64.tar.gzgurobi解压后，不需
2016-10-08 23:53:46
8022
2
原创 SMT问题以及STP
形式化方法是一种有效的计算机软、硬件系统可信性验证手段。其主要技术包括模型检验，定理证明，等价性检验以及语言包含等。许多形式化验证问题最终都归结于布尔可满足问题(SAT)，它用来判断命题逻辑公式是否为可满足的。SAT是第一个被证明的NP完全问题。与SAT相比，SMT问题具有表达能力更强、抽象层次更高的优点，因而，迅速成为了形式化验证中的重要问题。STP is a constraint solv
2016-10-07 21:03:21
3641
原创 C语言的编译器
C语言的常用编译器 目前最流行的C语言编译器有以下几种： · GNU Compiler Collection 或称 GCC · Microsoft C 或称 MS C · Borland Turbo C 或称 Turbo C 这些C语言版本不仅实现了ANSI C标准，而且在此基础上各自作了一些扩充，使之更加方便、完美。Windows及Linux平台编译器推荐 **·**Windows平
2016-10-07 18:04:19
942
转载 集中趋势分析与离中趋势分析
集中趋势分析主要靠平均数、中数、众数等统计指标来表示数据的集中趋势。例如测试班级的平均成绩是多少？是正偏分布还是负偏分布？离中趋势分析主要靠全距、四分差、平均差、方差、标准差等统计指标来研究数据的离中趋势。例如，当我们想知道两个教学班的语文成绩，哪个班级的成绩分布更分散时，就可以用两个班级的四分差或百分点来比较。注：四分差1.四分位差（quartile deviation）
2016-09-29 09:26:22
14386
原创 PGP简介
1. 简介PGP(Pretty Good Privacy)，是一个基于RSA公匙加密体系的邮件加密软件。可以用它对邮件保密以防止非授权者阅读，它还能对邮件加上数字签名从而使收信人可以确认邮件的发送者，并能确信邮件没有被篡改。它的功能强大，有很快的速度，而且它的源代码是免费的。2. 业务分析以发送方为例，完整的过程为：签名、压缩、加密。 图一 签名过程 - 发送者创建消息。 - 发送者使用S
2016-06-29 22:27:32
4162
原创 IP欺骗原理
IP欺骗分为三个阶段展开。其中在第一与第三阶段攻击者主要利用的是被攻击主机间存在的信任关系。在第二阶段，也就是攻击过程的核心阶段主要利用的是IP地址伪造技术、TCP SYN 洪流攻击技术与TCP序列号猜测技术。 假设采取IP欺骗的攻击主机为X，它的攻击目标是主机A，并且主机A信任主机B，那么 第一阶段：X探明主机A信任主机B。 第二阶段：X伪装成B以获取A的信任。 第三阶段：X获得A的信
2016-06-29 18:57:54
12322
1
原创 FTP的主动模式与被动模式
1. FTP主动模式FTP客户端向服务器的FTP控制端口(默认是21)发送连接请求，服务器接受连接，建立一条命令链路；当需要传送数据时，客户端在命令链路上用PORT的命令告诉服务器我开放了某端口，你过来连接我。于是服务器从20端口向客户端的该端口发送连接请求，建立一条数据链路来传送数据。在数据链路建立过程中是服务器主动请求，所以称为主动模式。针对FTP服务器前面的防火墙来说，必须允许以下通讯才能支持
2016-06-29 18:45:43
406
转载 为什么ESP能够穿越NAT，而AH则不能
严格地说，只能是隧道模式下的ESP才能穿越NAT。首先需要了解的是IPSEC的作用，即数据的机密性、完整性、认证性。机密性就是保证数据包的原始内容不被看到；完整性即保证数据包的内容不会被修改；认证性保证数据来自被信任的客户端。IPSEC中的封装格式有2种（AH和ESP）， AH在IP数据包中插入了一个包头，其中包含对整个数据包内容的校验值；ESP用户加密整个数据包内容，同时也可以对
2016-06-29 12:55:09
6776
原创 SAT问题
1. 布尔表达式 布尔表达式是由布尔变量和运算符（NOT , AND ,OR）所构成的表达式。2. 布尔可满足问题 如果对于变量的某个true,false赋值，使得一个布尔表达式的值为true，则该布尔表达式是可满足的。例如布尔公式 A = ((NOT x) AND y) OR ( x AND (NOT z))，当 x = false, y = true, z = fals
2016-06-21 12:12:27
26383
1
原创 科普：x64与IA64
x64和ia64处理器都能够运行64位操作系统和应用程序，但是区别在于：x64架构基于x86，是为了让x86架构CPU兼容64位计算而产生的技术。x64架构的设计是采用直接简单的方法将目前的x86指令集扩展。这个方法与当初的由16位扩展至32位的情形很相似。优点在于用户可以自行选择x86平台或x64平台，兼容性高。ia64则是原生的纯64位计算处理器，并且与x86指令不兼容。如果想要执行x
2016-06-07 21:44:19
8232
原创 kerberos基础
学习中遇到kerberos，不太懂，学习了一下，简单做个整理：1. 什么是kerberos？Kerberos 是一种网络认证协议，用于开放环境下，客户端与服务器的相互认证。其设计思想为：引入可信任的第三方来实现客户端和服务端的认证。2. kerberos的发展历史(1). 1988年，由MIT开发，Athena项目的产物。(2). 目前已经由v1发展到v5，前三个版
2016-06-06 11:17:17
637
原创 Ubuntu下使用openssl编程
学习需要，又得研究Ubuntu下的openssl编程，做做笔记吧！我的Ubuntu14下自带有openssl，运行“openssl version -a”，显示版本为“1.0.1f 6 Jan 2014”。直接在程序中包含头文件用，提示找不到头文件，需要在命令行再运行一下“sudo apt-get install libssl-dev”，此时已可以进行编程了！
2016-06-05 21:20:12
5602
原创 IPSEC与SSL/TLS的比较
先胡乱写在这，容我慢慢整理！1. IPSec是IETF IPSec工作组为了在IP层提供通信安全而制定的一套协议族。IPSEC不是一个单独的协议，而是一组协议。IPSEC是随着IPv6的制定而产生的，IPSEC在IPv6中是必须支持的，而在IPv4中是可选支持的。
2016-05-22 21:17:08
4443
2
原创 Latex中的空格
两个quad空格a \qquad b两个m的宽度quad空格a \quad b一个m的宽度大空格a\ b1/3m宽度中等空格a\;b2/7m宽度小空格a\,b1/6m宽度没有空格ab
2016-05-04 17:23:38
340349
8
原创 ubuntu安装配置squid进行代理
前段时间，在ubuntu下安装了squid，进行代理测试，现将方法记录如下： 一. 实验环境两台虚拟机，一台为ubuntu，一台为windows xp。其中，将虚拟机ubuntu设置成双网卡（虚拟机设置中可自由添加网卡），网卡一可上因特网，网卡二与XP同处另一网段内，可将该网段设置为不可上网的IP地址段。 二. 具体操作1. 安装squidsudo apt-get in
2016-04-13 09:31:54
1885
原创 网络测试工具集 - netwox (可实现网络欺骗)
Netwox是一款非常强大和易用的开源工具包，可以创造任意的TCP/UDP/IP数据报文。Netwox工具包中包含了超过200个不同功能的网络报文生成工具，每个工具都拥有一个特定的编号。IntroductionToolbox netwox helps to find and solve network problems : - sniff, spoof - client
2016-03-23 08:48:12
21644
原创 编写算法代码
排版算法请用相应的宏包，不要自己折腾。排这类算法主要有如下工具：clrscode 包clrscode3e 包algorithms 包（实际使用两个子包 \usepackage{algorithm}、\usepackage{algorithmic}）algorithm2e 包algorithmicx 包（实际使用其中的子包 \usepackage{algpseudocode}
2015-10-26 20:34:30
1062
转载 使用TCP/IP进行网际互连 --- 确认、重传和超时
1. 累计确认（cumulative acknowledgement）由于 TCP 使用可变长度的报文段来发送数据，而且重传的报文段中可能比原报文段包含更多的数据，所以不能简单地对数据报和报文段进行确认。实际上，TCP使用流序号对流中的一个位置进行确认(序号---确认号)。接收方使用序号将报文段重新排序，接收方总是对已正确收到流的最长连续前缀进行确认。每个确认给出一个序号值，其值比收到的连续前
2015-05-19 16:06:45
2100
原创 Code::Blocks缺少编译器的解决
新下的Code::Blocks装好以后，总是提示缺少编译器。查了一下，传说下的那种29M的那种本身不带编译器，要下名字里带mingw-setup的那种将近100M的，下好以后仍然提示没有编译器，我勒个去。在setting->Compiler中找到GNU GCC Compiler选上也不行，郁闷，下面有一个按钮，写的"Reset defaults"点上恢复默认，OK了
2015-04-28 15:24:36
5223
2
转载 VS2010编译openssl时出现的link问题
错误描述：>LINK : fatal error LNK1123: 转换到 COFF 期间失败: 文件无效或损坏NMAKE : fatal error U1077: “"C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\BIN\x86_amd64\link.EXE"”: 返回代码“0x463”问题说明：当安装VS201
2015-04-08 14:25:37
4734
原创 64位win7,VS2010编译openssl
因为工作需要用到openssl，开始学习使用，结果编译openssl就把我整崩溃了，搞了一个晚上，才编译通过，郁闷中带有兴奋，将过程记录下来......1. 编译了几个版本的openssl，从http://www.openssl.org/source/下载, 0.9.8，1.0.0， 1.0.1， 1.0.2，最后通过的是openssl-1.0.1m.tar.gz。2. 用32位的方法编译
2015-04-05 00:51:56
2112
原创 递归遍历文件
#include #include char *Datapath = "E:\\DES data\\5-round";int num_file = 0;void findFile(char filePath[]) //遍历文件函数{ char szFind[MAX_PATH]; char
2014-10-31 14:20:47
667
原创 全局变量、静态全局变量、局部变量、静态局部变量的区别
1.C++变量根据定义的位置的不同的生命周期，具有不同的作用域，作用域可分为6种：全局作用域，局部作用域，语句作用域，类作用域，命名空间作用域和文件作用域。从作用域看：1>全局变量具有全局作用域。全局变量只需在一个源文件中定义，就可以作用于所有的源文件。当然，其他不包含全局变量定义的源文件需要用extern 关键字再次声明这个全局变量。2>静态局部变量具有局部作用域，它只被初始化一
2014-04-21 11:13:03
693
转载 Win7环境使用VC2008编写DLL实现键盘钩子
来源：VC编程网钩子(Hook)，是Windows消息处理机制的一个平台,应用程序可以在上面设置子程以监视指定窗口的某种消息，而且所监视的窗口可以是其他进程所创建的。当消息到达后，在目标窗口处理函数之前处理它。钩子机制允许应用程序截获处理window消息或特定事件。使用钩子可以让我们的应用程序实现许多个性化的功能，VC凭借着对系统api方便调用的优势，用它来编写实现钩子的应用程序非常方
2014-03-04 16:50:13
1901
转载 利用键盘钩子捕获Windows键盘动作
转自：http://www.yesky.com/328/1890328.shtml 引言 在科研生产中对研制、调试操作的记录是非常有必要而且是有很重要价值的。通过对记录信息的分析，可以在事故发生后准确的分析出事故的起因、操作是否存在失误等许多重要线索。通常需要记录的信息是多种多样的，如环境温度记录、软件运行记录、文件访问记录等等。这里将以键盘信息记录为例来讲述类似的
2014-03-03 09:27:54
5093
转载 Windows 钩子详解以及简单例子(VC6)
Windows系统是建立在事件驱动的机制上的，说穿了就是整个系统都是通过消息的传递来实现的。而钩子是Windows系统中非常重要的系统接口，用它可以截获并处理送给其他应用程序的消息，来完成普通应用程序难以实现的功能。钩子可以监视系统或进程中的各种事件消息，截获发往目标窗口的消息并进行处理。这样，我们就可以在系统中安装自定义的钩子，监视系统中特定事件的发生，完成特定的功能，比如截获键盘、鼠标的输入，
2014-02-28 10:20:07
1178
转载 黑客常用WinAPI函数整理
在Windows环境下的黑客必须熟练掌握一些底层API编程。为了使读者对黑客常用的Windows API有个更全面的了解以及方便日后使用API方法的查询，特将这些常用的API按照7大分类进行整理如下，希望对大家的学习有所帮助。一、进程创建进程：CreateProcess("C:\\windows\\notepad.exe",0,0,0,0,0,0,0,&si,&pi);WinExe
2014-02-27 16:13:42
1047
原创 VS2010 设置使用非UNICODE字符集
在左侧的选定工程处右键 -> 属性 -> 常规，在右侧的字符集处选择“使用多字节字符集”。（英文版如上图）
2014-02-27 11:03:02
1157
原创 cmd命令整理(待完善)
一. IPC链接net use \\IP\ipc$ " " /user:" " 建立IPC空链接 net use \\IP\ipc$ "密码" /user:"用户名" 建立IPC非空链接 net use h: \\IP\c$ 登陆后映射对方C：到本地为H: net use \\IP\ipc$ /del 删除IPC链接 net
2014-02-24 10:28:43
700
转载 Ubuntu 13.10下安装使用搜狗拼音输入法
Ubuntu 13.10自带的中文输入法实在是太逊了，严重无法吸引Windows用户。所以，要给它安装一个熟悉的输入法，比如搜狗拼音输入法。 第一步，卸载原装的IBUS输入法： 打开“终端”（快捷键“ctrl+AIt+T"），依次输入以下命令行killall ibus-daemon sudo apt-get purge ibus ibus-gtk ibus-gt
2014-02-13 08:17:47
871
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人