连载31:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

贝叶斯网络模型

贝叶斯定理:

贝叶斯定理是概率论中的一个结论,它跟随机变量的条件概率以及边缘概率分布有关。在有些关于概率的解说中,贝叶斯定理能够告知我们如何利用新证据修改已有的看法。通常,事件A在事件B(发生)的条件下的概率,与事件B在事件A的条件下的概率是不一样的;然而,这两者是有确定的关系,贝叶斯定理就是这种关系的陈述。

贝叶斯公式:

 

贝叶斯公式为利用搜集到的信息对原有判断进行修正提供了有效手段。在采样之前,经济主体对各种假设有一个判断(先验概率),关于先验概率的分布,通常可根据经济主体的经验判断确定(当无任何信息时,一般假设各先验概率相同),较复杂精确的可利用包括最大熵技术或边际分布密度以及相互信息原理等方法来确定先验概率分布。

贝叶斯网络:

贝叶斯网络又称信度网络,是Bayes方法的扩展,是目前不确定知识表达和推理领域最有效的理论模型之一。从1988年由Pearl提出后,已经成为近几年来研究的热点.。一个贝叶斯网络是一个有向无环图,由代表变量节点及连接这些节点有向边构成。节点代表随机变量,节点间的有向边代表了节点间的互相关系(由父节点指向其子节点),用条件概率进行表达关系强度,没有父节点的用先验概率进行信息表达。节点变量可以是任何问题的抽象,如:测试值,观测现象,意见征询等。适用于表达和分析不确定性和概率性的事件,应用于有条件地依赖多种控制因素的决策,可以从不完全、不精确或不确定的知识或信息中做出推理。

信息熵模型

从信息熵的观点上可以看出,其实软件设计与通信、统计学、复杂度、文本识别等处理是一致的,其在这些方面的经验和结论可以引入到软件设计中来,只是在软件设计中存在一些新的研究课题而已。

所以,如果需要确定此“置换”的设计,我们可以先从其与之相关联的外围的“置换”进行分析,此可以降低其设计的不确定性,并能够更好的进行分析。

最大熵原理:

最大熵原理是一种选择随机变量统计特性最符合客观情况的准则,也称为最大信息原理。随机量的概率分布是很难测定的,一般只能测得其各种均值(如数学期望、方差等)或已知某些限定条件下的值(如峰值、取值个数等),符合测得这些值的分布可有多种、以至无穷多种,通常,其中有一种分布的熵最大。选用这种具有最大熵的分布作为该随机变量的分布,是一种有效的处理方法和准则。这种方法虽有一定的主观性,但可以认为是最符合客观情况的一种选择。

最大熵原理是在1957 年由E.T.Jaynes 提出的,其主要思想是,在只掌握关于未知分布的部分知识时,应该选取符合这些知识但熵值最大的概率分布。因为在这种情况下,符合已知知识的概率分布可能不止一个。我们知道,熵定义的实际上是一个随机变量的不确定性,熵最大的时候,说明随机变量最不确定,换句话说,也就是随机变量最随机,对其行为做准确预测最困难。

从这个意义上讲,那么最大熵原理的实质就是,在已知部分知识的前提下,关于未知分布最合理的推断就是符合已知知识最不确定或最随机的推断,这是我们可以作出的唯一不偏不倚的选择,任何其它的选择都意味着我们增加了其它的约束和假设,这些约束和假设根据我们掌握的信息无法作出。

柯尔莫哥洛夫复杂度:

一个字符串s的柯尔莫哥洛夫复杂度(K(s))是这个字符串的最短描述的长度。换言之,一个字符串s的柯尔莫哥洛夫复杂度是能够输出且仅输出这个字符串的最短计算机/图灵机程序的长度。

柯尔莫哥洛夫复杂度具有不可计算性。

如果序列服从熵为H的分布,那么该序列的柯尔莫哥洛夫复杂度K近似等于香农熵H,实际上,柯尔莫哥洛夫复杂度比香农熵更为基础。

算法复杂度与计算复杂度二者之间存在微妙的互补关系,计算复杂度(也就是时间复杂度)与柯尔莫哥洛夫复杂度(也就是程序长度或描述复杂度)可以看成是对应于程序运行时间与程序长度的两条轴。柯尔莫哥洛夫复杂度是沿第二条轴的最小化问题,而计算复杂度是沿第一条轴的最小化问题。沿两条轴同时进行最小化的工作几乎没有。

原文地址:http://blog.51cto.com/13832308/2133200

时间: 2024-08-28 20:02:53

连载31:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)的相关文章

连载39:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

1. 简单性 由于对简单的理解会很多,具有最少构成要素的结构,符合简单性观念.在众多可能中选择一个最方便的方式,也符合简单性观念.根据奥康的剃刀原则"如无必要,勿增实体"即简单有效的原则.然而简单性是一个相对的概念,是在不同的时空.不同的视角下存在的一种可被成本最低的理解. 但是在系统构架中,具有简单的设计方案,往往具有最少的约束,从而带来最为直接的处理方式,由于简单,所以设计开发都显得容易掌控,其稳定性和可靠性会大大的增强,同时由于简单,所以一旦存在需要扩展,其扩展的约束也是非常少,

连载40:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

1. 完备和相容 完备性可以这样来简单理解:当一个对象具有完备性,即它不需要添加任何其他元素,这个对象也可称为完备的或完全的.完备性最为强烈的表现在数学之中,因为在整个体系中可以将之转化为一个一组公理系统,这组公理系统只有具有完备性,才能以此推广到这个领域,但是针对一个系统来说,在指定的范围内,虽然物理的系统是一个完备的系统,但是由于我们的有限的资源,有限的运行时间以及一些特殊的要求,我们描述系统常常又是非完备的.当然,我们需要通过有限的手段更为通用的设计方法来将完成一个绝大部分达到完备的系统.

连载15:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

从置换到面向对象 对象化的划分,需要通过逻辑的分解进行,然而分解不过是我们有限的思维能力下的一种使用方法而已,我们在进行逻辑分解的过程中过多夸张了其独立性,是从某一个角度和一个方面来分解,然而对于无限的客观对象,我们只能够近似的逼近,客观对象永远是彼岸无法企及. 客观对象具有无穷多的参照方面,因为其本身的无限,是无法通过有限的分解将其分离.所以分解完成以后,组合这些分解完成的对象是无法表示未分解客观对象的整体特征,这些整体特征将按照其他的原理在运作,所以虽然肉体都是由大大的细胞组成,但是这些细胞

连载24:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

对偶   对偶原理: 有两个定理(或命题),如果一个定理中的所有元素和运算替换为对应的对偶元素的就成为另一个定理时,这两个定理是相互对偶的.两个相互对偶的定理,如果其中一个定理真实,则另一个必然真实.数学上可以证明它的正确性. 所以"对偶"在数学中,指某些成对的概念,从它们本身的含义看是很不相同的.但从某种抽象规律或性质去看,不仅是一一对应的而且可以说是完全一致.如果能够根据某种规律或性质,证得成对概念中一个具有性质A,那么另一概念也必须具有性质A的原则. 从上可知对偶式相互的:对偶是

连载04:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

置换的公理化过程 前面所涉及到的地址和值的"置换"关系以外,赋值.抽象.实现.继承等也都是一种"置换"的关系,而这种"置换"关系是否只是逻辑上我们的一个创造呢?还是客观现实中存在呢?这里我暂时先给出结论:"置换"变换其本质上是物理上存在的一种变换操作,只是我们将之应用到逻辑层面的设计之中,客观上的置换不是根据设计的需要进行更好的创造,我们只是利用这种客观的变换过程,来对逻辑设计进行评判和使用的一种解决方式而已. 那么"

连载16:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

结构化对象 软件系统中存在的对象都为结构化的对象,例如函数.类.模板类等都可以认为是一种具有某种特征的结构化对象.这里大家需要关注的是,这些结构化对象不关心所处的"质"的处理,而只关注于其"量"的关系,这点可能会导致大家的质疑,比如面向对象中类不是不同实质的物体用不同的类来进行表达,而为什么又不关心其"质"的区别呢?这是因为我们无法通过有线的步骤来描述一个对象的"实质",我们只能通过"量"的描述来抽象(置换

连载29:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

概率抽象 随机变量: 一个随机试验可能结果(称为基本事件)的全体组成一个基本空间Ω.随机变量X是定义在基本空间Ω上的取值为实数的函数,即基本空间Ω中每一个点,也就是每个基本事件都有实轴上的点与之对应. 离散随机变量: 有些随机变量,它全部可能取到的不相同的值是有限个或可列无限多个,也可以说概率1以一定的规律分布在各个可能值上.这种随机变量称为"离散型随机变量". 数学分布: 在数学意义上,我们将分布函数的定义表述为:设X是一个随机变量,x是任意实数,函数F(x)=P(X≤x)称为X的分

连载38:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

从另一个角度看设计 真理可能在少数人一边. ---柏拉图 最初偏离真理毫厘,到头来就会谬之千里. ---亚里士多德 前面的章节中我们从一些正规的角度来阐述软件设计的基本思想原理,然而,如果我们被桎梏于这些所谓的规范化之中,那么我们的设计就黯然失色了,如果不采用另一只眼睛来观察,则永远不可能产生真正的突破.这一章我们就畅所欲言,从另外的角度来看设计. 1. 统一性 在物理学上,万物归一,就是统一成少数的一个或者几个原理,而这样的原理能够更好的驱动整个世界的运转,就如同有质量就有万有引力(或者是更深

连载06:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

可置换性 可置换继续向上融入了分层.虚拟化.微内核等架构设计中,所以正确性.稳定性和可测试性等等特性以外还需要新增一个新的非功能属性,这就是可置换性,可置换性是一个比较隐式的特性,其外在表现不太为人所知,虽然在设计过程中,我们已经使用了可置换性的非功能属性来描述和审查设计,例如:我们的设计模型是否能够有效替换现实中的系统呢?在设计中我们经常这样地询问,但是可置换性却一直没有作为一项独立的非功能属性,那么可置换性的定义是什么呢?其应用领域是什么呢?其使用限制又是什么呢?其为什么是一个隐藏的属性而并