- 博客(90)
- 资源 (6)
- 收藏
- 关注
原创 C文件读写
//读写文件#include <stdio.h>#include <stdlib.h> typedef struct{int value;} NodeData; typedef struct N{NodeData data;struct N *next;} node_t; void writeData2File(n...
2018-12-25 22:28:08
245
原创 Replaying a test case (KLEE)
export LD_LIBRARY_PATH=/home/klee/klee_build/klee/lib/:$LD_LIBRARY_PATHgcc -I ../../include -L /home/klee/klee_build/klee/lib/ get_sign.c -lkleeRuntestKTEST_FILE=klee-last/test000001.ktest ./a.out ...
2018-12-20 01:01:46
396
1
原创 LATEX合并PDF
\documentclass[a4paper]{article}\usepackage{pdfpages}\begin{document}\includepdf[pages=-]{1.pdf}\includepdf[pages=-]{2.pdf}\end{document}
2017-11-17 07:54:03
4944
1
原创 GIT HOOKS
设置hooks后如果不起作用,可能的原因是当前用户没有权限访问修改hooks中所涉及的目录和文件,使用chown命令更新相关文件夹和文件就可以了。下面是post-receive的一个例子:GIT_REPO=$HOME/react.gitTMP_GIT_CLONE=$HOME/tmp/myrepoGIT_WORK_TREE="$TMP_GIT_CLONE" git check
2016-01-22 13:03:26
2423
原创 Glassfish Active Directory SSL LDAP JNDI
Glassfish应用使用JNDI LDAP的方式访问Windows Server的Active Directory,如果需要SSL加密,则需要配置证书。 下面是一个简短的方案。首先进入windows server 2003控制面板的添加或删除程序功能,选择添加或删除Windows组件,选中证书服务,执行下一步安装。证书服务安装完成后,在c盘根目录下有一个crt文件,将该文
2016-01-01 21:38:47
557
原创 web.xml中servlet初始化参数设置多个值
web.xml中servlet初始化参数设置多个值,可以使用分号分隔,如下示例在Jersey中增加jsp和log支持:init-param> param-name>jersey.config.server.provider.classnamesparam-name> param-value>
2015-12-23 13:19:18
3450
转载 GlassFish WELD IllegalStateException
转自:https://github.com/payara/Payara/issues/300项目中使用Glassfish热部署出现WELD IllegalStateException 异常,找到如下解决方式,试过可行:created a weld.properties file under /src/main/resources with the content
2015-12-23 12:56:22
1111
原创 单链表反转
package src;import java.util.Stack;/* * 单链表反转 * author : Huixing Fang */public class ReverseLinkedList { static class Node { int value; Node next; Node(){} Node(int value, Node nex
2014-09-19 00:48:14
742
原创 最长公共子串的长度
/* * 编写函数,获取两段字符串的最长公共子串的长度, * 例如: S1= GCCCTAGCCAGDE * S2= GCGCCAGTGDE * 这两个序列的最长公共子串是GCCAG,也就是说返回值为5。 * 1)请先描述思路;2)编写完整代码实现,编程语言不限 */public class LongestSubString {public
2014-09-17 22:20:43
863
原创 visio 图片 转 eps
首先在系统中添加打印机,图示如下:下一步,完成添加打印机之后,在visio中File菜单下选择"print...",之后操作如下图所示:打印机属性设置:Postscript输出选项设置为封装的PostScript(EPS)保存文件之后用GSview打开之后,在File菜单下选择PS to EPS,如下图所示,勾选自动计算界限,点击Yes另存文件就可以
2012-02-17 19:48:05
1175
原创 Ubuntu 中 安装 tikz 2.10
在Ubuntu中安装Texmaker后,将以前的论文tex文件导入进来,然后编译的时候发现Texmaker进程占用cpu达到99%,而且长时间没有结果。为了找到原因,编辑论文使得只有abstract部分,编译很快成功了,然后加了Introduction,也成功了,再加入一个包含tikz代码的section之后,就又是99%了。所以就考虑可能是这个tikz代码导致的。但是我的论文在win7上编译时候
2011-12-25 17:51:27
1544
原创 SHELL printf octal value
SHELL printf Format Directives中有一项是:\NNN character with octal value NNN (1 to 3 digits)"NNN"是个三位数字表示的八进制数, 如:八进制数101表示十进制数65,如下 printf "\101\n"会打印出字符A,这个命令的功能就是打印出ASCII码为八进制数101的字符。-------
2011-12-19 11:17:06
611
原创 笔记有关Java的一些问题
1.如何定义常量:用static final关键字来定义2.哪个是同步的?Hashtable: Hashtable is synchronized.Vector:Vector is synchronized.TreeSet:Note that this implementation is not synchronized. If
2011-12-18 17:44:33
775
原创 python from __future__ import division
from __future__ import division导入python未来支持的语言特征division(精确除法),当我们没有在程序中导入该特征时,"/"操作符执行的是截断除法(Truncating Division),当我们导入精确除法之后,"/"执行的是精确除法,如下所示:----------------------------------------------------
2011-12-18 13:06:42
56846
4
原创 Four types of inner class
Nested top-level classes(static member class (or interface)) :当我们在一个类A里面定义了另一个类B,并指定B的修饰符为static,那么编译器会把类B与其他普通类一样看待。其他类可以通过A.B来得到类B的入口。比如可以在其他类中通过import A.B来导入类B。类B与其他普通类的区别是B可以访问A中的静态成员。
2011-12-17 19:59:17
706
原创 SHELL variables default value, ${var:-DEFAULT}和${var=DEFAULT}的一点区别
${var:-DEFAULT}和${var=DEFAULT}的区别:${var:-DEFAULT} If var not set or is empty, evaluate expression as $DEFAULT ${var=DEFAULT} If var not set, evaluate expression as $DEFAULT 如下例子,var先被赋值为空,然后用“=”
2011-12-17 14:17:54
3110
原创 CHM 字体
如果没有指定适合自己浏览的字体大小,我们在看chm的文档或书籍时会发现字体比较小,而我比较喜欢字体大一点,所以,下面用图示的方法记录一下,如何在chm中修改文字字体:1. 首先是在chm窗体的"选项"菜单中找到"Internet选项(I)...",点击它进入Internet选项设置窗体:2. 在Internet选项窗体中点击常规下面的外观的辅助功能按钮:3. 在辅助功能
2011-12-02 13:02:21
1231
原创 虚拟机 常量池
之前将"虚拟机必须为每个被装载的类型维护一个常量池"这句话理解成了不同的类型的类声明中如果有相同类型的对象域,即使对象域持有的字面量一样,也应该不是同一个对象,因为他们在不同的类型中被声明的,所以在不同的常量池中,事实证明我的理解是错的。如:public class A{ public String s = "x";}public class B{
2011-11-28 14:36:41
539
原创 The first image of strawberry perl
Well,A 100% Open Source Perl for Windows that is exactly the same as Perl everywhere else; Today, I will begin with strawberry perl now. The following statement will give us a more clear representatio
2011-11-27 12:55:07
723
原创 Unicode
打开网址http://inamidst.com/stuff/unidata/可以查看unicode以及对应的字符:点击选择一个字符后,会转到http://www.fileformat.info这个网址,这个网站上会显示该字符的详细信息,包Unicode Data,Encodings,在html/c/c++/java/python 语言中的编码信息。比如下面是美元符号的信息:
2011-11-25 15:36:52
740
原创 Pydev encoding
在Eclipse中设置:window->preferences->general->editors->text editors->spelling->encoding->UTF-8window->preferences->workspace->text file encoding->UTF-8对于eclipse配置文件eclipse.ini,末行加上”-Dfile.enco
2011-11-21 19:34:56
530
转载 一位MIT计算机博士对数学知识的思考
在过去的一年中,我一直在数学的海洋中游荡,research进展不多,对于数学世界的阅历算是有了一些长进。为什么要深入数学的世界?作为计算机的学生,我没有任何企图要成为一个数学家。我学习数学的目的,是要 想爬上巨人的肩膀,希望站在更高的高度,能把我自己研究的东西看得更深广一些。说起来,我在刚来这个学校的时候,并没有预料到我将会有一个深入数学的旅 程。我的导师最初希望我去做的题目,是对appear
2011-11-10 16:25:22
1551
转载 与天真的距离(转)文:刘瑜
转载自 donger我在哈佛做一年博士后,这一年,除了领钱,基本也没有什么别的任务。为了防止自己整天缩在家里,把薄薄的那一沓钱翻来覆去地数,我决定去旁听几门课。那天我去学校我所在的机构,跟机构里的秘书表达了此意。她非常干脆地说,没问题啊,只要教授同意,都可以呀。我问,有没有一个什么社科方面的课程清单,我看看有什么课可选。我问的时候,想象的是几页纸,可以站
2011-11-06 22:32:10
2725
转载 Problems with opening CHM Help files from Network or Internet
Problems with opening CHM Help files from Network or InternetAs a publisher of a Help Creation tool in Help Builder, I’ve seen a lot of problems with people not being able to run
2011-11-05 22:19:16
1003
转载 Java的内存泄漏
Java的内存泄漏欧阳辰 (yeekee@sina.com),周欣 (mailto:zhouxin@sei.pku.edu.cn),简介: Java的一个重要优点就是通过垃圾收集器(Garbage Collection,GC)自动管理内存的回收,程序员不需要通过调用函数来释放内存。因此,很多程序员认为Java不存在内存泄漏问题,或者认为即使有内存泄漏也不
2011-10-28 21:33:36
416
转载 CIO圈子里的“老行家”:太平绅士赖锡璋
作者:周应出处:IT经理世界2007-08-10 07:00在香港的CIO圈子里,赖锡璋是唯一一位太平绅士。进入IT行业40年来,他一直致力于通过各种途径推动香港IT业的发展,其在IT应用上的深厚修为和影响力,连李泽楷都尊称其一声“老行家”。 今年7月1日,恰逢香港回归10周年,赖锡璋受邀参加了香港新一任特首曾荫权的交接典礼和晚会。在此之前,他作为香港IT界的
2011-10-22 13:44:02
2193
转载 名词作定语修饰名词
名词可以作定语修饰名词,作定语的名词往往是说明其中名词的材料、用途、时间、地点、内容、类别等。 ⒈材料 a diamond necklace a bamboo pole paper money a stone bridge ⒉用途 a meeting room the t
2011-10-18 09:55:43
2642
转载 PDF合并
PDF合并工具:PDFBinder便携版PDFBinder是一个极为简易的开源PDF合并软件,功能单一、使用简便,直接添加或拖放PDF后,单击即可合并。这个PDFBinder是为不着调软件做的,有此需求的可以下载测试,不过由于是基于C#开发的,Windows
2011-09-13 12:42:10
866
原创 rails server Could not find gem 'sqlite3-ruby (>= 0)'
E:\fanghuixing\rubygems\rubygems-1.8.8>gem install railsSuccessfully installed rails-3.0.101 gem installedInstalling ri documentation
2011-08-20 12:42:10
4150
转载 37signals - 《Getting Real》
37signals - 《Getting Real》37signals 37signals创造了内部开发的敏捷方法,并形成WEB2.0创业的经典读物《Getting Real》 。在这套方法论中使用及时快速的编程方法,并着重于创造有益的阿尔法软件的小团队,
2011-08-19 17:47:03
967
原创 matlab eps scope simulink stateflow latex paper
为了能让matlab中仿真数据导出为eps格式图片,以便在写论文时能够加入latex中:用matlab 的打印eps到文件的功能,得到的eps文件中的图像却是纵向的,而latex中需要的是横向的图片,所以需要重新导出。首先选择打印设置:如下图所示 单击Prin
2011-07-20 20:33:52
1783
原创 tikzpicture 缩放 图片 文字
缩放图片大小:\begin{tikzpicture}[scale=0.9]也可以用xscale 和 yscale来指定如果需要同时缩放字体和node可以紧接着加入下面这条\tikzstyle{every node}=[font=\small,scale=0.9]其中字体指定为小号
2011-07-15 10:53:13
7961
1
原创 Gordian Knot 戈尔迪之结
在希腊神话里,有一个普通农民成为国王的传说,这个农民叫戈尔迪(Gordius)。有一次,戈尔迪在耕地时,一只鹰落在了牛轭上,一位女预言家说此事预兆着他将要掌握王权。果然不久,弗瑞吉亚(Phrygia)人就死了国王,他们祈求神示(oracle)谁将成为他们的国王,神示说:他们最先遇到的乘牛车的人就是他们的国王。而此时,戈尔迪正好赶着牛车进城,弗瑞吉亚人就拥戴他为国王
2011-06-30 18:20:00
2670
转载 taikonaut一词的由来
<br />转自:http://tr.hjenglish.com/page/53237/ 作者:张霄军 | 来源 《中国科技术语》 时间 2年前 阅读 4631 次 字体 [ 大 中 小 ] [收藏] [划词已启用] <br />随着“神五”和“神六”的圆满飞天和“嫦娥奔月”工程的顺利进展,中国已经成为继美国、俄罗斯以后第三个拥有载人技术到地球以外太空飞翔的国家,我国的航空航天事业吸引了全球的目光。目前,在英文媒体上taikona
2011-02-18 14:21:00
1557
原创 Shortcuts for the Edit menu
Default shortcuts Below is the list of predefined keyboard and mouse shortcuts for Notepad++. They can be freely configured using the shortcut mapper, as well as all the commands which were not bound to shortcuts by default. This list does not include st
2010-06-11 10:07:00
459
原创 Spring web应用classes目录绝对路径
在web应用中获取classes目录的绝对路径:URL url = ClassUtils.getDefaultClassLoader().getResource("/");URI uri = url.toURI();//得到uriString path = uri.getPath();//得到解码后的绝对路径其中ClassUtils类是org.springframework.u
2010-04-06 19:47:00
1993
原创 ubuntu修改键盘映射
通过xmodmap -pk 命令找到右shift键得keycode,打算将右shift映射到我笔记本的等号键去,因为笔记本上的等号键还具有加号键得功能,所以需要以下命令:xmodmap -e “keycode 62 = equal plus”62是右shift的keycode,equal和plus分别表示等号键和加号键 为了让系统启动时就设置这样的映射,System ->Pre
2010-04-04 23:41:00
2961
原创 Spring,控制器中使用request及应用绝对路径
在控制器中,可以通过在方法参数中加入一个request参数就可以得到当前的request对象然后通过调用request.getSession().getServletContext().getRealPath("/")可以得到web应用在系统中的绝对路径该绝对路径类似:E:/skyway/Skyway Visual Perspectives CE/workspace/.
2010-04-03 02:03:00
1153
原创 mina,TextLineDecoder
使用mina的TextLineDecoder,可以指定接收数据的结束符号,但如果没有指定结束符,就默认会去匹配/n或者/r结束符如果从服务端返回的数据没有包含这些结束符,客户端就会等待。为了不让客户端等待下去,可以增加一个TextLineDecoder子类,如下: public class ClientTextLineDecoder extends TextLi
2010-04-01 19:31:00
5232
原创 接口,new,匿名内部类
接口不能被实例化,如:----------------清单1----------------------public interface Test { public void doIt();}---------------------------------------------在测试类中语句:Test Tone = new Test();就是错的。
2010-03-19 21:23:00
591
Understanding Formal Methods
2018-12-09
Handbook of Model Checking
2018-06-01
Yaron Minsky, Anil Madhavapeddy, and Jason Hickey
2018-01-08
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人