MSVC在编译C/C++程序的时候，默认采用__cdecl调用约定来编译。__stdcall是Win32 API函数的默认调用规约。Calling ConventionInternal*MSVC DLL (w/ DEF)MSVC DLL (dllexport)DMC DLLMinGW DLLBCC ...
分类：
其他好文 时间：
2015-03-21 15:31:45
阅读次数：
142
代码块本质上是和其它变量相似。不同的是，代码块存储的数据是一个函数体。使用代码块是，你能够像调用其它标准函数一样，传入參数数，并得到返回值。脱字符（^）是块的语法标记。依照我们熟悉的參数语法规约所定义的返回值以及块的主体（也就是能够执行的代码）。下图是怎样把块变量赋值给一个变量的语法解说：依照调用函...
分类：
其他好文 时间：
2015-03-13 10:40:34
阅读次数：
111
数据预处理的目的：提高数据质量，数据质量的三要素：准确性、完整性、一致性。 数据预处理的任务： 数据清理 数据集成 数据规约 数据变换 数据清理——填充缺失的值、光滑噪声、识别离群点、纠正数据中的不一致 缺失值： 忽略元组 人工填写缺失值 使用一个全局常量 使用属性的中心度量 使用与给定元组属同一类...
分类：
其他好文 时间：
2015-03-12 00:57:10
阅读次数：
143
最近需要给REVOKE语句增加一个新的语法形式，通过bison编译，发现移进/规约冲突（SHIFT/REDUCT CONFLICT），可以通过拆分语法规则的方式，来解决该问题。...
分类：
其他好文 时间：
2015-03-03 11:44:12
阅读次数：
1148
本章主要介绍了形式化方法的基本概念包括形式规约（即软件规格说明，是软件系对象作用的方法，自己对象行为的描述）形式证明与验证（技术包括：检测，定理定理证明），程序求精，逻辑时态的一阶线性时态逻辑、计算树逻辑。模型检测临就是在Kripk模型下，对以CTL*公式给出的软件性质得正确性验证、计算树逻辑。模型...
分类：
其他好文 时间：
2015-03-02 12:39:24
阅读次数：
109
软件工程中的形式化方法，软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。形式证明与实验技术主要包括模型检测和定理证明。程序求精是将自动推理和形式化方法相结合，从抽象的形式规约推演出具体的面向计算机的程序代码的全...
分类：
其他好文 时间：
2015-03-01 13:13:15
阅读次数：
107
abstract 与virtual : 方法重写时都使用 override 关键字，interface中的方法和abstract方法都要求实现interface用来声明接口1.只提供一些方法规约，不提供方法主体. 如:复制代码 代码如下:public interface IPerson{ void ...
本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他好文 时间：
2015-02-27 00:08:03
阅读次数：
172
第五章主要讲1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例进行讲解。计算树逻辑一般是CTL与CTL*的统称。3.模型检测就是在软件系统的Kripke...
分类：
其他好文 时间：
2015-02-26 13:26:06
阅读次数：
130
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
