Why formal methods 譯文

《Why formal methods 譯文》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在教育資源-天天文庫。

1、簡介社會網(wǎng)絡方法為什么要使用規(guī)范化方法？這篇文章是由羅伯特A漢納曼（社會學系，加州大學，）和馬克之謎（社會學系，北科羅拉多大學）所寫的一個在線文本的其中一部分?？梢宰杂墒褂茫瑐鞑ズ鸵?。歡迎您提出寶貴的建議和意見。請發(fā)電子郵件給我。章節(jié)2：為什么使用規(guī)范化方法？l簡介l功效l使用電腦l管理模式l總結簡潔：社交網(wǎng)絡的基本思想是很簡單的。社會網(wǎng)絡是由一些相互關聯(lián)的人員(或分,或節(jié)點或主體)組成。網(wǎng)絡可以有一些或許多人員,每一對人員可以有一個或更多種類的關系。要建立一個關于網(wǎng)絡社會的有用的認知,一個完整的和嚴謹?shù)拿枋錾鐣P系的模式是進行分析的一個必要的起點。也就是說,理想的情況是，我們將知道

2、所有特定群體中每對人員的各種關系。甚至,我們需要用來描述小型社交網(wǎng)絡信息的數(shù)量可以相當大。管理并操作這些數(shù)據(jù),我們就會看出社會結構的錯綜復雜。使用數(shù)學工具可以使得社交網(wǎng)絡所有工作方法變得簡單得多。要操作網(wǎng)絡數(shù)據(jù),及搜集網(wǎng)絡索引,最有用的方法是使用矩陣來記錄信息?？梢暬Ｊ?、圖表通常也是有很有用的。功效：在社交網(wǎng)絡分析中使用數(shù)學和圖表技術的一個原因是可以簡介系統(tǒng)的展示關于網(wǎng)絡的描述。這也可以使我們能夠利用電腦比手動更快速、準確地存儲和操作信息。對于某小部分特定人群（例如，鄰居,或同行企業(yè))，我們可以描述與各人員都有關聯(lián)的社會關系模型，這比單獨的文字更加完整高效。然而，要確認我們的描述完整

3、齊全,我們可能想要列出所有的邏輯上可能配對的人員,并描述每一對可能有的每一種關系。信息如果人員或各種關系數(shù)量龐大，這可能會十分復雜。正規(guī)的表現(xiàn)形式可以確保系統(tǒng)地展示，并為此制定規(guī)則，這比僅僅列出清單更加有效率。使用電腦：使用正規(guī)方法（尤其是數(shù)學方面的方法）來展現(xiàn)社交網(wǎng)絡的一個相關原因是數(shù)學展示可以讓我們把計算機應用到網(wǎng)絡數(shù)據(jù)分析中。這為什么重要,當我們知道更多關于社會網(wǎng)絡的結構分析后，會變得更加清晰。想一個簡單的例子,我們已經(jīng)有了某一特定年份，世界體系內(nèi)，170個左右的國家的50個不同的貿(mào)易商品(例如咖啡、糖、茶葉、銅、鋁土礦)。這里的170個國家可以看做是許多人員或節(jié)點。每個商品從一

4、個國家出口到另外169個國家的貿(mào)易額可以被看作是某一特定國家與其他國家定向關系的強度。相對于礦物產(chǎn)品貿(mào)易結構與蔬菜貿(mào)易結構而言，社會學家可能會更有興趣知道這個礦物產(chǎn)品貿(mào)易“結構”與其他貿(mào)易結構是否更加相似。要回答這個相當簡單(但又十分重要)的問題,操作大量的數(shù)據(jù)是必要的。從表面上看,用手工操作可能要花費好多年，而用計算機來做，只需幾分鐘。管理模式：使用“規(guī)范化”方法（數(shù)學和圖表）的第三個，也是最后一個理由是,展現(xiàn)社會網(wǎng)絡數(shù)據(jù)是圖表技術及數(shù)學規(guī)則所表現(xiàn)的我們可能在數(shù)據(jù)里尋找的信息，如果數(shù)據(jù)用文字表現(xiàn)，我們就可能無法發(fā)現(xiàn)這些信息。讓我再舉個簡單的例子。我們假設在描述一組是好朋友關系的四個人

5、的結構：鮑勃,卡羅,特德,艾麗斯。這是用文字很容易表述的。假設鮑勃喜歡卡羅和特德,但不喜歡艾麗絲；卡羅喜歡泰德,但既不喜歡鮑勃，也不喜歡愛麗絲；泰德喜歡所有的其他組的三個成員；而艾麗絲只喜歡泰德(作為一種很不尋常的社會結構，這種描述可能會讓你覺得腦袋短路)。我們也可以描述這個模式的關系矩陣actor-by-actor喜歡在排由各代表選擇人員。我們將把在“1”如果人員喜歡另一個人,和一個"0",如果他們不喜歡。這樣一個矩陣看起來就會像圖2.1。圖2.1。矩陣表示四名人員之間的“喜歡”關系?鮑勃卡羅泰德艾麗斯鮑勃---110卡羅0---10泰德11---1艾麗斯001---當數(shù)據(jù)如此排列時

6、，很多信息一目了然。其中很多內(nèi)容，可能是我們通過僅僅文字描述所想不到的。例如,我們的眼睛掃到每一排,我們注意到泰德喜歡的人比鮑勃多，鮑勃喜歡的人比艾麗絲、卡羅喜歡的人多。這是否有可能有一個模型?男性比女性更有可能表明喜歡關系(實際上,研究報告表現(xiàn)出的是,這個現(xiàn)象通常不是真的)。使用“矩陣表現(xiàn)”也立即引發(fā)了一個問題:主要對角線的交點(例如。鮑勃喜歡鮑勃,卡羅喜歡卡羅)都是空白的。這是一個合理的事嗎?或者,我們在描述組內(nèi)喜歡關系時，應該加上“自我喜歡”的條目?這些問題都沒有正確的答案。我想說的是,使用矩陣來表現(xiàn)各人物之間的關系模式，可以使我們更容易發(fā)現(xiàn)一些關系，并且能使我們產(chǎn)生一些問題（有

7、可能是非常有用的問題），這是文字表現(xiàn)形式所不能刺激產(chǎn)生的?？偨Y：使用“規(guī)范化”方法展現(xiàn)社交網(wǎng)絡數(shù)據(jù)有三點原因：l矩陣和圖簡介系統(tǒng),它們快速簡單地總結并呈現(xiàn)大量信息，使得我們可以系統(tǒng)完整地描述社會關系模式。l矩陣和圖使我們能夠將電腦運用到資料分析中:這是很有用的,因為如果人員或關系類型的數(shù)量是龐大的，做社會網(wǎng)絡數(shù)據(jù)的系統(tǒng)分析將會非常乏味復雜。絕大多數(shù)的工作枯燥、重復、無聊,但是又要求精確，尤其是一些電腦可以做得很好,而我們卻不行的事。l矩陣和圖表