原创 連載20：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
等價關係和劃分 設 R 是集合 A 上的一個二元關係，若R滿足：ü 自反性：∀ a ∈A, => (a, a) ∈ Rü 對稱性：(a, b) ∈R∧ a ≠ b => (b, a)∈Rü 傳遞性：(a, b)∈R,(b, c)∈R =>(
2019-07-05 14:00:22
原创 連載21：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
代數結構 線性序：設集合X上有一全序關係，如果我們把這種關係用 ≤ 表述，則下列陳述對於 X 中的所有 a, b 和 c 成立：ü 如果 a ≤ b 且 b ≤ a 則 a = b (反對稱性)ü 如果 a ≤ b 且 b ≤ c 則 a
2019-07-05 14:00:22
原创 連載36：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
線性化機制 線性關係：兩個變量之間存在一次方函數關係，就稱它們之間存在線性關係。正比例關係是線性關係中的特例，反比例關係不是線性關係。更通俗一點講，如果把這兩個變量分別作爲點的橫座標與縱座標，其圖象是平面上的一條直線，則這兩個變量之間的關係
2019-02-22 16:45:14
1
原创 連載35：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
分離機制 “道生一、一生二、二生三、三生萬物”《道德經》分離機制的目標是爲了更好的解除系統的耦合，規範其處理的機制。然而，我們不要將此理解爲一切都是爲了分離，需要明白的是，我們的任何分離的最終目的就是爲了更好的合併。分離和合並是達到目標而使
2019-02-22 16:45:13
原创 連載39：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
1. 簡單性 由於對簡單的理解會很多，具有最少構成要素的結構，符合簡單性觀念。在衆多可能中選擇一個最方便的方式，也符合簡單性觀念。根據奧康的剃刀原則“如無必要，勿增實體”即簡單有效的原則。然而簡單性是一個相對的概念，是在不同的時空、不同的視
2019-02-22 16:45:09
原创 連載40：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
1. 完備和相容 完備性可以這樣來簡單理解：當一個對象具有完備性，即它不需要添加任何其他元素，這個對象也可稱爲完備的或完全的。完備性最爲強烈的表現在數學之中，因爲在整個體系中可以將之轉化爲一個一組公理系統，這組公理系統只有具有完備性，才能以
2019-02-22 16:45:09
原创 連載29：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
概率抽象 隨機變量：一個隨機試驗可能結果（稱爲基本事件）的全體組成一個基本空間Ω。隨機變量X是定義在基本空間Ω上的取值爲實數的函數，即基本空間Ω中每一個點，也就是每個基本事件都有實軸上的點與之對應。離散隨機變量：有些隨機變量,它全部可能取到
2019-02-22 16:45:09
原创 連載38：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
從另一個角度看設計 真理可能在少數人一邊。---柏拉圖最初偏離真理毫釐，到頭來就會謬之千里。---亞里士多德 前面的章節中我們從一些正規的角度來闡述軟件設計的基本思想原理，然而，如果我們被桎梏於這些所謂的規範化之中，那麼我們的設計就黯然失色
2019-02-22 16:45:09
原创 連載26：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
最小生成樹 生成樹：如果連通圖G的一個子圖是一棵包含G的所有頂點的樹，則該子圖稱爲G的生成樹。生成樹是連通圖的包含圖中的所有頂點的極小連通子圖。圖的生成樹不惟一。從不同的頂點出發進行遍歷，可以得到不同的生成樹。深度優先生成樹和廣度優先生成樹
2019-02-22 16:44:55
1
原创 連載37：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
模型化機制 將一些事物的不同形態，製作成模型，然後將這些模型通過配置機制靈活的注入運轉管理機制中，而且這樣會大大降低用戶的理解複雜度。同時也能夠讓程序以成本最低的方式進行擴展。 1 2 3 4 5 模型的選擇模型終歸於模型，其不能完全對應於
2019-02-22 16:44:54
1
原创 連載22：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
同構和同態 在抽象代數中，同構指的是一個保持結構的雙射。在更一般的範疇論語言中，同構指的是一個態射，且存在另一個態射，使得兩者的複合是一個恆等態射。在數學中研究同構的主要目的是爲了把數學理論應用於不同的領域。如果兩個結構是同構的，那麼其上的
2019-02-22 16:44:53
原创 連載28：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
再論“置換公理” 公理系統要滿足某些一般要求，包括系統的一致性（無矛盾性）、完全性，以及公理的獨立性。其中一致性是最重要的，其他幾個性質則不是每個公理系統都能滿足的，或可以不必一定要求的。在置換幾何中，目前還暫時無法抽象出公理來，但是公理可
2019-02-22 16:44:53
原创 撥開雲霧看模式
這幾天我發佈的博客連載了我的新書《軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計》的簡化版，可能由於“深奧”的理論知識讓人卻步，其實我也知道這些^_^，這也是我有意爲之。曾經在多年之前我就仔細品閱過《敲響OO時代的喪鐘》系列著作
2019-02-22 16:44:52
原创 連載25：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
二分圖 二分圖又稱作二部圖，是圖論中的一種特殊模型。 設G=(V,E)是一個無向圖，如果頂點V可分割爲兩個互不相交的子集(A,B)，並且圖中的每條邊（i，j）所關聯的兩個頂點i和j分別屬於這兩個不同的頂點集(i in A,j in B)，則
2019-02-22 16:44:51
1
原创 連載34：軟件體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)
註冊機制 一談到註冊機制，這個大家不是很陌生，因爲我們現行的戶口身份註冊制、企業工商註冊制度、股票中的註冊制等等都是一種註冊方式，其實我們經常都在處理這些繁瑣的註冊，但是在軟件開發中，我們就不大會用這種機制了，然而這種機制是讓代碼具有靈活性
2019-02-22 16:44:49