抽象为数学模型就是, 取尽可能多的互不相交的子集 , 使得每一个子集都能覆盖全集
#include
#include
#include
using namespace std;
int n;
int P[1000],cover[1000],f[1000];
int main(){
scanf("%d", &n);
for (int i = 0; i < n;i+...
分类：
其他好文 时间：
2015-03-03 23:46:13
阅读次数：
522
这一章运用的离散数学的知识很多。从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模 型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。运用形式化方法，主要是为了保证软件的正确性。 这一章主要介绍了三....
分类：
其他好文 时间：
2015-03-01 11:44:28
阅读次数：
116
第5章软件工程中的形式化方法从广义上讲，形式化方法（FormalMethod）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的只要目的...
分类：
其他好文 时间：
2015-02-26 21:34:40
阅读次数：
181
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
银行有n个窗口，每个窗口可以排m个人，在n×m以外的顾客会选择最短的队列进行排队。给出每个顾客需要消耗的时间长度，求出每个顾客具体结束服务的时间。
//本题需要有较好的抽象能力，把题目的问题，转化了相应的数学模型，这样就容易办了...
分类：
其他好文 时间：
2015-02-26 10:00:54
阅读次数：
124
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保证软件的正确性。软件开发实际上就是把现实世界的需求映射成软件额模型化...
分类：
其他好文 时间：
2015-02-25 22:17:46
阅读次数：
144
软件工程——理论、方法与实践 之 软件工程中的形式化方法从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保...
分类：
其他好文 时间：
2015-02-22 21:53:09
阅读次数：
190
阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有...
分类：
其他好文 时间：
2015-02-22 21:50:26
阅读次数：
120
形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型...
分类：
其他好文 时间：
2015-02-18 12:59:13
阅读次数：
170
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及...
分类：
其他好文 时间：
2015-02-15 23:07:10
阅读次数：
144
