1. 引言 本篇文章分析了代码静态分析的基本原理以产生误报的根本原因，并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性，在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描 ...
分类：
其他好文 时间：
2016-09-28 10:07:50
阅读次数：
192
知识点： 1 printf 要输出的信息; 2变量定义的一般形式：类型名 变量名表； 类型名： int（整形） float（单精度） double（双精度） char（字符型） 任何变量都必须先定义后使用。 变量名尽量做到见名知义。 例如 int Celsius，fahr； //定义两个整形变量 f ...
分类：
其他好文 时间：
2016-09-28 10:08:35
阅读次数：
86
现象：年初买的dell xps13 9350，最近可能是由于win10做了一些更新，每次睡眠就自动关机了，重启很多次，修改电源选项都没用， 原因分析：在网上搜了一下，有人发现xps15 9350也有类似的问题，然后说可能是英特尔的驱动有问题。所以想着可能要更新一下各种驱动。 解决方法：1） 找到de... ...
分类：
其他好文 时间：
2016-09-28 10:06:40
阅读次数：
125
亚马逊云服务器默认创建的实例，在停止之后再启动的情况下，IP会发生改变。所以我们最好先创建一个弹性IP，即EIP，不过我也不清楚这个费用。 1、按如图操作创建一个弹性IP，弹性IP创建之后可以随便绑定到该region下的实例 2、创建好弹性IP之后，然后去创建实例： 3、点启动实例之后，会进入到Am ...
分类：
其他好文 时间：
2016-09-28 10:07:36
阅读次数：
137
1:窗口拖动 http://jqueryui.com/resizable/#max-min 2:导航条前后顺序拖动 http://jqueryui.com/sortable/ 3：类似百度首页板块顺序拖动http://jqueryui.com/sortable/#portlets 4：选择日期htt ...
分类：
Web程序 时间：
2016-09-28 10:05:11
阅读次数：
206
使用let、（（））或[]进行基本的整数运算，使用expr和bc进行高级的运算，包括小数运算。 11 还可以自增、自减运算。 12 13 12 11 如果要让运算处于命令之中，即不需要额外的赋值行为，可以使用$(())。 12 13 12 11 12 不知道是我计算不来，还是$(())的问题，如果是 ...
分类：
系统相关 时间：
2016-09-28 10:07:26
阅读次数：
418
可以研究程序性能、函数调用堆栈等，而且能用图标查看。 linux环境下 C++性能测试工具 gprof + kprof + gprof2dot - 阁子 - 博客园 gprof、gprof2dot.py、dot使用方法简介 - Andy.Wang的博客 - 博客频道 - CSDN.NET 完。 ...
分类：
其他好文 时间：
2016-09-28 10:07:20
阅读次数：
116
本篇转自网络： 一、MVC MVC模式的意思是，软件可以分成三个部分。 视图（View）：用户界面。 控制器（Controller）：业务逻辑 模型（Model）：数据保存 各部分之间的通信方式如下。 所有通信都是单向的。 二、互动模式 接受用户指令时，MVC 可以分成两种方式。一种是通过 View ...
分类：
Web程序 时间：
2016-09-28 10:04:12
阅读次数：
157
建立exception包，建立Bank类，类中有变量double balance表示存款,Bank类的构造方法能增加存款，Bank类中有取款的发方法withDrawal(double dAmount),当取款的数额大于存款时,抛出InsufficientFundsException,取款数额为负数， ...
分类：
编程语言 时间：
2016-09-28 10:05:51
阅读次数：
161
1.编写TextRw.java的Java应用程序，程序完成的功能是：首先向TextRw.txt中写入自己的学号和姓名，读取TextRw.txt中信息并将其显示在屏幕上。 结果 ...
分类：
其他好文 时间：
2016-09-28 10:05:49
阅读次数：
89
quote: For Windows 10: First of all, install the intelhaxm-android.exe located in the folder SDK\extras\Intel\Hardware_Accelerated_Execution_Manager i ...
分类：
移动开发 时间：
2016-09-28 10:03:47
阅读次数：
1212
jQuery文件上传插件jQuery Upload File 有上传进度条 2015年05月15日 jQuery文件上传插件jQuery Upload File，插件使用简单，支持单文件和多文件上传，支持文件拖拽上传，有进度条显示。标准HTML form文件上传，也就是说，只要服务端支持接收mult ...
分类：
Web程序 时间：
2016-09-28 10:02:34
阅读次数：
190
Flexbox(中文版本可以点击这里)的布局是一个用于页面布局的全新CSS3模块功能。它可以把列表放在同一个方向（从左到右或从上到下排列），并且让这些列表能延伸到占用可用的空间。较为复杂的布局可以通过嵌套一个伸缩容器（flex container）来辅助实现。 Flexbox可以简单快速的创建一个具 ...
分类：
Web程序 时间：
2016-09-28 10:05:08
阅读次数：
190
Bootstrap，来自 Twitter，是目前最受欢迎的前端框架。Bootstrap 是基于 HTML、CSS、JAVASCRIPT 的，它简洁灵活，使得 Web 开发更加快捷。Bootstrap 的响应式 CSS 能够自适应于台式机、平板电脑和手机。使用bootstrap框架时，切记不能改变cl ...
分类：
其他好文 时间：
2016-09-28 10:02:14
阅读次数：
202
