自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

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

原创 Ubuntu 中 安装 tikz 2.10

在Ubuntu中安装Texmaker后,将以前的论文tex文件导入进来,然后编译的时候发现Texmaker进程占用cpu达到99%,而且长时间没有结果。为了找到原因,编辑论文使得只有abstract部分,编译很快成功了,然后加了Introduction,也成功了,再加入一个包含tikz代码的section之后,就又是99%了。所以就考虑可能是这个tikz代码导致的。但是我的论文在win7上编译时候

2011-12-25 17:51:27 1545

原创 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 620

原创 笔记有关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 778

原创 python from __future__ import division

from __future__ import division导入python未来支持的语言特征division(精确除法),当我们没有在程序中导入该特征时,"/"操作符执行的是截断除法(Truncating Division),当我们导入精确除法之后,"/"执行的是精确除法,如下所示:----------------------------------------------------

2011-12-18 13:06:42 56859 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 707

原创 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 3113

原创 CHM 字体

如果没有指定适合自己浏览的字体大小,我们在看chm的文档或书籍时会发现字体比较小,而我比较喜欢字体大一点,所以,下面用图示的方法记录一下,如何在chm中修改文字字体:1. 首先是在chm窗体的"选项"菜单中找到"Internet选项(I)...",点击它进入Internet选项设置窗体:2. 在Internet选项窗体中点击常规下面的外观的辅助功能按钮:3. 在辅助功能

2011-12-02 13:02:21 1245

Understanding Formal Methods

This book is aimed at all those who are rightly puzzled by the complex and controversial panorama of formal methods. It is unique as to its completeness and its compromise between rigorous exposition of underlying mathematical theories and concrete explanations of the implementation of techniques using actual tools. One of its essential merits is to be an up-to-date presentation of the best currently available techniques, in a field where one could easily mistakenly choose an antiquated and rigid technology, or take the risk of a research prototype with an unknown lifespan.

2018-12-09

Handbook of Model Checking

With 32 technical articles and 76 authors, this handbook represents a full postgraduate course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springer should certainly award that reader a Master’s Degree inModel Checking! Departments in Computer Science everywhere will certainly welcome access to this major resource. Model Checking has become a major area of research and development both for hardware and software verification owing to many factors. First, the improved speed and capacity of computers in recent times have made all kinds of problem solving both practical and efficient. Moreover, in the area of Model Checking the methods of design of models have contributed to the best formulation of problems. Then we have seen SAT solvers gain unexpected and truly remarkable efficiency improvements—despite theoretical limitations. Additionally, the methodology of Satisfiability Modulo Theories (SMT) has contributed to finding excellent ways to pose and solve problems. Uses of temporal logic and data-flow-analysis techniques have also made model checking more naturally efficient. All these contributions have helped solve the ever-present “state explosion problem.” The urgency to make greater strides has increased because new applications in such diverse areas as health care, transportation, security, and robotics require work in the field to achieve greater scale, expressivity, and automation. I would definitely recommend new Ph.D. candidates look seriously into going into research in this field, because success in Model Checking can directly lead to future success in many other activities in Computer Science. Finally, the recent tragic loss of Helmut Veith has been a dreadful blow to his family, friends, colleagues, and students. Let’s take up the flag in his honor to help promote and expand the field in which he was poised to become a recognized world leader. Carnegie Mellon University Dana S. Scott Department of Mathematics, University of California, Berkeley

2018-06-01

Yaron Minsky, Anil Madhavapeddy, and Jason Hickey

Programming languages matter. They affect the reliability, security, and efficiency of the code you write, as well as how easy it is to read, refactor, and extend. The languages you know can also change how you think, influencing the way you design software even when you’re not using them. We wrote this book because we believe in the importance of programming languages, and that OCaml in particular is an important language to learn. The three of us have been using OCaml in our academic and professional lives for over 15 years, and in that time we’ve come to see it as a secret weapon for building complex software systems. This book aims to make this secret weapon available to a wider audience, by providing a clear guide to what you need to know to use OCaml effectively in the real world. What makes OCaml special is that it occupies a sweet spot in the space of programming language designs. It provides a combination of efficiency, expressiveness and practicality that is matched by no other language. That is in large part because OCaml is an elegant combination of a few key language features that have been developed over the last 40 years.

2018-01-08

惠普打印机Laserjet p2015系列用户指南

惠普打印机Laserjet p2015系列用户指南

2011-11-12

使用jboss cache 作为pojo cache

使用jboss cache 作为pojo cache中文翻译版 满江红翻译团队

2009-04-05

空空如也

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

TA关注的人

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