The “BerCorp” company has got n employees. These employees can use m approved official languages for the formal correspondence. The languages are numbered with integers from 1 to m. For each employee w...
分类：
其他好文 时间：
2015-03-13 23:51:13
阅读次数：
447
参考：http://stackoverflow.com/questions/25300116/directxxmmatrix-error-c2719-declspecalign16-wont-be-aligned
参考：http://blog.csdn.net/yuanwenmao/article/details/6530826
环境：vs2013，glm-0.9.6.1
一、glm概述...
分类：
其他好文 时间：
2015-03-13 12:41:47
阅读次数：
222
从广义上讲，形式化方法（Formal Method）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的主要目的是保证软件的正确性。软件开...
分类：
其他好文 时间：
2015-03-05 16:18:59
阅读次数：
173
告诉编译器，已经使用了该变量，不必警告。在VC编译器下，当你声明了一个变量，而没有使用时，编译器就会报警告：“warning C4100: ''ＸＸＸＸ'' : unreferenced formal parameter.”所以，为了让编译器不必检测你的警告，就使用UNREFERENCED_PARA...
分类：
其他好文 时间：
2015-03-04 16:22:18
阅读次数：
238
0.lec为Candence公司推出的形式验证工具,由于要学习IC后端的知识,打算在ubuntu14.04下安装一套后端工具,建立后端环境,通过练习完成后端知识的入门,安装过程记录下来,留作以后查看,如果对您有一些帮助,倍感欣慰!
1.安装源文件
>lec10.1:http://pan.baidu.com/s/1o6wqu5G
3.安装与破解
>解压lec_10.1.tgz到安装目录
>...
分类：
系统相关 时间：
2015-02-07 11:46:23
阅读次数：
185
今天比较忙，没能好好看新东西，就记录一个常用的CSS3属性吧：box-shadow，表示阴影，如果设置了border-radius圆角，则阴影也是圆角box-shadow目前是IE9及以上和其他现代浏览器都支持的属性了。语法：Formal syntax: none | [inset? && [ .....
分类：
Web程序 时间：
2014-12-05 22:34:19
阅读次数：
189
formal specification:In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation ...
分类：
编程语言 时间：
2014-12-02 22:23:30
阅读次数：
158
1. Template functiontemplate // a template prefixT func(T a, T b, T c){ // return value is T type, 3 T-typed formal parameters return a + b + c;}We...
分类：
编程语言 时间：
2014-11-24 06:27:06
阅读次数：
207
记录此方法，为方便以后写论文用。打开signaltap II 后，打开菜单中的File——Export——“export formal”里选择jpg格式——OK——选择“maintain spacing-only data in current view will be exported”,这样的画...
代码： #include?<stdio.h>
#include?<stdlib.h>
//?C99规定
//?对实际参数（actual?argument）或者实际参量（actual?parameter）使用术语参数（parameter）
//?对形式参数（formal?argument）或者形式参...
分类：
其他好文 时间：
2014-10-07 23:02:14
阅读次数：
189
