原创 連載27:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

多關係混合圖 前面所探討的是在一種關係下的圖形,然而現實中卻存在多種關係並存下的圖,例如觀察者模式中就存在多種關係(如圖2-14),對於這樣的關係圖我們應該如何處理呢?我們可以通過分離不同關係在不同獨立的圖形中進行描述,這有一個前提條件是這

原创 連載23:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

圖的連通性 對一個圖 G=(V,E) 中的兩點 x 和y ,若存在交替的頂點和邊的序列Γ=(x=v0-e1-v1-e2-...-ek-(vk+1)=y) (在有向圖中要求有向邊vi−( vi+1)屬於E ),則兩點 x 和 y 是連通的。Γ

原创 連載24:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

對偶 對偶原理:有兩個定理(或命題),如果一個定理中的所有元素和運算替換爲對應的對偶元素的就成爲另一個定理時,這兩個定理是相互對偶的。兩個相互對偶的定理,如果其中一個定理真實,則另一個必然真實。數學上可以證明它的正確性。所以“對偶“在數學中

原创 連載30:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

隱馬爾可夫模型 馬爾可夫鏈:馬爾可夫鏈是滿足馬爾可夫性質的隨機過程。 馬爾可夫鏈(Markov Chain),描述了一種狀態序列,其每個狀態值取決於前面有限個狀態。馬爾可夫鏈是具有馬爾可夫性質的隨機變量的一個數列。這些變量的範圍,即它們所有

原创 連載31:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

貝葉斯網絡模型 貝葉斯定理:貝葉斯定理是概率論中的一個結論,它跟隨機變量的條件概率以及邊緣概率分佈有關。在有些關於概率的解說中,貝葉斯定理能夠告知我們如何利用新證據修改已有的看法。通常,事件A在事件B(發生)的條件下的概率,與事件B在事件A

原创 連載30:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

隱馬爾可夫模型 馬爾可夫鏈:馬爾可夫鏈是滿足馬爾可夫性質的隨機過程。 馬爾可夫鏈(Markov Chain),描述了一種狀態序列,其每個狀態值取決於前面有限個狀態。馬爾可夫鏈是具有馬爾可夫性質的隨機變量的一個數列。這些變量的範圍,即它們所有

原创 連載37:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

模型化機制 將一些事物的不同形態,製作成模型,然後將這些模型通過配置機制靈活的注入運轉管理機制中,而且這樣會大大降低用戶的理解複雜度。同時也能夠讓程序以成本最低的方式進行擴展。 1 2 3 4 5 模型的選擇模型終歸於模型,其不能完全對應於

原创 連載36:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

線性化機制 線性關係:兩個變量之間存在一次方函數關係,就稱它們之間存在線性關係。正比例關係是線性關係中的特例,反比例關係不是線性關係。更通俗一點講,如果把這兩個變量分別作爲點的橫座標與縱座標,其圖象是平面上的一條直線,則這兩個變量之間的關係

原创 連載33:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

機制分析 發展獨立思考和獨立判斷的一般能力,應當始終放在首位,而不應當把獲得專業知識放在首位。如果一個人掌握了他的學科的基礎理論,並且學會了獨立地思考和工作,他必定會找到他自己的道路,而且比起那種主要以獲得細節知識爲其培訓內容的人來,他一定

原创 連載31:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

貝葉斯網絡模型 貝葉斯定理:貝葉斯定理是概率論中的一個結論,它跟隨機變量的條件概率以及邊緣概率分佈有關。在有些關於概率的解說中,貝葉斯定理能夠告知我們如何利用新證據修改已有的看法。通常,事件A在事件B(發生)的條件下的概率,與事件B在事件A

原创 連載32:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

線性化 其實本章節的設置就顯得有些爲難,按照常理需要大家針對後面的“線性化機制”一章節進行充分理解後,我們才能更好的進行線性化的數學抽象。然而又爲了照顧統一在數學抽象的章節中,所以這裏爲了統一性,就煩請讀者在閱讀本章之前可以先閱讀後面“線性

原创 撥開雲霧看模式

這幾天我發佈的博客連載了我的新書《軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計》的簡化版,可能由於“深奧”的理論知識讓人卻步,其實我也知道這些^_^,這也是我有意爲之。曾經在多年之前我就仔細品閱過《敲響OO時代的喪鐘》系列著作

原创 連載25:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

二分圖 二分圖又稱作二部圖,是圖論中的一種特殊模型。 設G=(V,E)是一個無向圖,如果頂點V可分割爲兩個互不相交的子集(A,B),並且圖中的每條邊(i,j)所關聯的兩個頂點i和j分別屬於這兩個不同的頂點集(i in A,j in B),則

原创 連載39:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

1. 簡單性 由於對簡單的理解會很多,具有最少構成要素的結構,符合簡單性觀念。在衆多可能中選擇一個最方便的方式,也符合簡單性觀念。根據奧康的剃刀原則“如無必要,勿增實體”即簡單有效的原則。然而簡單性是一個相對的概念,是在不同的時空、不同的視

原创 連載23:軟件體系設計新方向:數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

圖的連通性 對一個圖 G=(V,E) 中的兩點 x 和y ,若存在交替的頂點和邊的序列Γ=(x=v0-e1-v1-e2-...-ek-(vk+1)=y) (在有向圖中要求有向邊vi−( vi+1)屬於E ),則兩點 x 和 y 是連通的。Γ