zetavg/zh-tw-wikipedia huggingface dataset:
计算机象棋

**電腦象棋**，是指人工智慧象棋對弈軟體。電腦象棋軟體的製作，分成開局、中盤、殘局三個部分，各自有不同的演算法，開局主要以儲存的開局棋譜為本，中盤與殘局則運用審局函式和對局樹的計算，但殘局必須考慮特例的計算。

最早的電腦程式的象棋遊戲是 1986 年的洛斯阿拉莫斯象棋。由於象棋與西洋棋許多相似之處，再加上電腦西洋棋發展較為成熟，電腦象棋軟體設計的架構跟方法大致上都是參考電腦西洋棋。

2006 年最好的電腦象棋軟體，已可以和頂尖棋士相抗衡。

## 象棋引擎程式

## 比賽

### 程式對程式

最早由宏碁電腦開始舉辦電腦象棋比賽，從 1988 年到 1990 年止。另一個是電腦奧林匹亞競賽中有電腦象棋的項目，從 1989 年辦到 1992 年暫停，2001 年起繼續每年舉辦。最近幾年電腦象棋發展越來越熱絡，2004 年起世界電腦象棋爭霸賽每三年舉辦一次。中國機器博弈錦標賽 2006 年起開始每年舉辦。

### 人對程式

1985 年到 1990 年宏碁電腦就曾辦過人對電腦的競賽。
之後偶有電腦程式參加人類的象棋比賽或檢定賽，但時常遇到阻撓，譬如不予排名甚至不准參賽。 人腦對電腦象棋大賽 （頁面存檔備份，存於網際網路檔案館）自 1999 年開始每年舉辦。

## 協定 / 通訊協定

為了讓象棋程式與程式之間能夠自動下棋，因此必須定出了一些共通協定（protocol），譬如棋盤如何表示、棋步如何表示、或是複雜一些的時間控制。比較早公開提出的有 cxboard 及 淺紅 plugin spec。現在比較廣為流行的是基於西洋棋協定修改而來的 中國象棋通用引擎協定（UCCI）。

## 開局

由於人類已累積相當豐富的開局知識，因此開局純用電腦計算是無法勝過人類的。普遍的做法是搜集棋譜，統計分析各種走法，製成開局資料庫。更進一步則會透過人類專家訂正開局庫的內容 / 加入最新的開局研究成果。

## 殘局

電腦象棋對殘局的處理主要有兩種方法，一是編寫大量規則，當盤面符合某些條件則調整評分函式，這個方法的優點是可以將棋譜或專家研究的結果編寫入程式內，缺點是例外可能很多。另一種則是利用電腦強大的計算力與儲存空間，窮舉一個兵種所有的狀況，做成資料庫，優點是資料庫內的資料都很精確（某個盤面的輸贏，距離輸贏步數），但缺點是建造資料庫曠日費時，在實戰中還不夠實用。因此實戰程式都是採用第一種方法，少數程式會再利用殘局庫作輔助。

殘局庫研究困難在於象棋棋規的處理，還有如何快速建造大資料庫。

## 競賽排名

## 大事紀

* 1988，宏碁電腦與象棋協會舉辦第一屆電子計算機象棋大賽，《象棋大師》程式獲得冠軍
* 1989，《特級大師》參加新秀杯升段賽，昇為二段棋士
* 1989，第一屆奧林匹亞電腦遊戲程式競賽，《特級大師》獲得冠軍
* 1991，《將族》電腦象棋遊戲公開發行
* 1998，《ELP》參加昭榮杯升段賽，晉昇為五段棋士
* 1999，開始舉辦人腦對電腦象棋大賽
* 2001，《ELP》參加新莊市長杯全國比賽，晉昇為六段棋士
* 2004，第一屆世界電腦象棋爭霸賽
* 2004，《棋海無涯》參加啟泰盃八段賽，獲得冠軍。
* 2006，首屆中國象棋電腦博弈錦標賽暨 2006 中國機器博弈學術研討會
* 2006，《棋天大聖》兩和象棋等級分第一的許銀川
* 2007，第二屆中國電腦博弈錦標賽，《象棋旋風》獲得冠軍
* 2008，The 13th International Computer Games Championship，《倚天》獲得冠軍
* 2009，2009 中國電腦博弈錦標賽，《象棋名手》獲得冠軍
* 2009，在人機大戰中，象棋軟體《象棋名手》、《佳佳象棋》、《陶情弈趣》以 4 勝 2 和的總成績贏得和劉星、黃海林、朱琮思三位大師的比賽
* 2010，2010 中國電腦博弈錦標賽，《新象棋旋風》獲得冠軍
* 2011，2011 中國電腦博弈錦標賽，《象棋名手》獲得冠軍
* 2012，2012 中國電腦博弈錦標賽，《象棋名手》獲得冠軍
* 2013，2013 中國電腦博弈錦標賽，《象棋名手》獲得冠軍
* 2014，2014 中國電腦博弈錦標賽，《象棋名手》獲得冠軍

## 參見

* 中國象棋
* 電腦西洋棋
* 電腦將棋
* 電腦圍棋
* 超級電腦深藍
* 遊戲樹

## 外部連結

* Computer Chinese ChessPDF (221 KiB) (Yen, Chen, Yang, Hsu) — review (英)
* 近年來電腦象棋在臺灣的進展
计算机账户

**用戶**，又稱**使用者**，是指使用電腦或網路服務的人，通常擁有一個**使用者帳號**，並以**使用者名稱**辨識。使用者有時也泛指沒有充分技術經驗的人。

## 終端使用者

終端使用者既指軟體的最終操作者，也是軟體工程內的一個概念，指終端使用者的抽象集合，用於區分單純使用軟體的使用者和進行軟體開發的開發者。這種抽象主要適用在設計使用者介面時，用於代表普通使用者的共同特性。在以使用者為中心的設計中通常會建立多個人物誌以代表典型的終端使用者，每個人物誌都可能包括對不同介面的接受程度，以及在某一專業領域的知識。

雖然終端使用者類別沒有限制，在軟體設計時通常會假設終端使用者擁有極少的技術知識和訓練，特別是在為普通大眾設計程式時。在這個環境下，為了增加易用性，通常傾向於實現易於學習的圖形化使用者介面（可能有觸控式螢幕），而非複雜的命令列介面。

終端使用者開發的概念模糊了通常的使用者和開發者之間的界限，給予非專業人士在不了解程式語言的情況下創造複雜物件的能力。

## 使用者帳號

使用者可以通過帳號向系統服務進行身分驗證，並取得相關授權，但身分驗證並不代表授權。為了會計、安全、資料收集和資源管理，使用者通常需要一個密碼或其他證明以登入帳號。當使用者登入後，作業系統通常會用辨識號標識使用者，而不是使用者名稱。

電腦系統可根據使用者數量分為兩類：

* 單使用者系統，不存在多個帳戶的概念
* 多使用者系統，存在多個帳戶的概念，要求使用者在使用系統之前辨識身分。

多使用者系統上的使用者通常有一個家目錄，其儲存與使用者相關的檔案，其他使用者無法接觸。使用者帳號通常包含一份公開的使用者資訊，包含由使用者提供的基本資料。

## 網名

在網路社群，網名可以成為人物的標誌，其中一些通過其持有人的貢獻獲得了一定水平的名氣。一些著名的網名：

* CmdrTaco，持有者羅伯・馬爾達，資訊科技網站 Slashdot 的創始人

有時網名只是實名的縮寫或字首。在這種情況下，持有人的名氣與網名的名氣很難分開。類似的例子有：

* Matz，持有者松本行弘，程式語言 Ruby 的設計者和實現者
* RMS，持有者理察・斯托曼，GNU 通用公共許可證作者，自由軟體基金會創始人，Emacs 首席維護員
* JWZ，持有者傑米・加文斯基（Jamie Zawinski），Mozilla、網景領航員、XEmacs 和 Xscreensaver 的作者 / 合作者
* ESR，持有者埃里克・雷蒙，開放原始碼促進會創始人之一，大教堂和市集的作者
* billg，持有者比爾・蓋茲，微軟創始人之一
* Jimbo Wales，持有者吉米・威爾士，維基百科創始人之一

## 相關條目

* 終端使用者授權合約
* 使用者代理
* 使用者經驗
* 使用者空間

## 參考資料
计算机软件伦理机构

**電腦軟體倫理機構**（コンピュータソフトウェア倫理機構，_Ethics Organization of Computer Software_）是日本的一家以成人遊戲為重點對象，對電腦遊戲進行分級的一般社團法人。簡稱**軟倫**（ソフ倫）或 **EOCS**。

軟倫對遊戲的審查屬於自我限制，不具備法律上的約束力，因此理論上即使未通過軟倫審查的軟體（此處不包括成人向的同人遊戲）也能發行，並且軟倫無法進行諸如行政指導或逮捕違規者的行為。但由於軟倫向軟體銷售商們下達了未通過審查的遊戲不予流通的要求，再加上實施青少年保護育成條例的 46 個都道府縣中有 21 個府縣在遊戲管制方面指定軟倫為審查團體，因此事實上對於成人遊戲來說，通過軟倫或另一家審查機構映像倫理機構（映像倫）的審查是必要的。

軟倫以成人遊戲審查為主業，因此大部分的一般向電腦遊戲都交由電腦娛樂分級機構來審查。

## 歷史

### 設立經過

軟倫設立前，成人遊戲的性描寫沒有任何限制（雖然偶有對此的批評），各製造商擁有極其自由的自主性。

1991 年發生的「沙織事件」將沒有規範限制的業界推上了風口浪尖，各成人遊戲商紛紛加強了自我限制，並在產品上明示禁止向 18 歲以下人群銷售，問題得到短暫解決。但此後不久，1992 年 7 月，宮崎縣將 GAINAX 所開發的脫衣遊戲《電腦學園 ScenarioI Ver2.0》（GAINAX 僅在該遊戲商品上標識「未滿 12 歲者請自行克制」）判定為「有害圖書」，再次迫使業界尋求一條長久的解決道路。在之前曾希望旗下會員企業於成人遊戲上加貼自己獨創的 18 禁遊戲標籤的日本個人電腦軟體協會（JPSA，現在的日本電腦軟體協會（CSAJ））的推動下，在 JPSA 和以 Panther Software 為首的幾家大公司互相商談之後，軟倫成立了。

### 設立之後

設立之初軟倫的分級標準只有一般軟體與 18 禁軟體兩種分級標準，1994 年 6 月追加了 15 禁的「R 指定」分級（因《卒業 II 〜Neo Generation〜》拒絕因「性描寫以外理由（未成年人的吸菸、酗酒行為）」被分級為 18 禁而設立）。

1998 年左右起，軟倫明令禁止對未滿 18 歲的人物的性描寫，之後進一步追加了對「準兒童色情」（即對雖然聲明成年，但從外觀、性徵上看明顯是未成年的人物的性描寫）的禁止。

隨著在 PC 上 CD、DVD 的播放環境的普及，軟倫也有進行對這些領域的審查。另一家機構日本視頻倫理協會（2008 年 6 月停止審查作品，原旗下加盟企業組建新審查機構 —— 日本映像倫理審查機構，2010 年 12 月該機構被映像倫理機構吸收合併）也在進行對 DVD 的審查，雖然兩個團體間的審查標準有些許差異，但兩個團體交換了互相尊重對方的審查基準及基於此的審查結果的備忘錄，因此它們在市場上的地位是平等的。

軟倫提倡將以 DVD 為媒介的具有對話功能的遊戲統一命名為 **DVD Players Game**（DVD プレイヤーズゲーム），簡稱 DVDPG。

2009 年 4 月 28 日，軟倫的性質從任意團體轉變為一般社團法人。9 月 18 日，為了避免與一般向遊戲混同以及明確 18 歲以下禁止購買的方針，軟倫所有會員都必須將其製作的成人遊戲聲明為「R-18 遊戲」而不能僅使用諸如「美少女遊戲」一類模糊的稱呼。

2022 年 4 月 1 日開始營運由軟倫與智慧財產振興協會（IPPA）& 日本內容審查中心（日本コンテンツ審査センター）共同成立的美少女遊戲發售情報網站「Moepedia」。

## 審查制度

審查方法有兩種，一種是審查全部成品的「事前收費審查」和審查遊戲的一部分，其餘部分交給遊戲製造商自我限制的「自主審查」，產商一般會選擇後者。

審查通過後產商須在制品上加貼分級標籤後才能在商店銷售。

軟倫的加盟公司如果並非純粹的成人遊戲產商，那麼其所製作的沒有性描寫的非成人遊戲與非遊戲的軟體作品也會成為審查對象。軟倫原先對暴力等其它反社會內容不是很敏感，不過近幾年也開始對這方面有所作為。

## 與媒倫及其後繼者的競爭

2003 年以軟體批發商 HOBIBOX 加盟原先致力於成人視頻審查的**媒體倫理協會**（簡稱媒倫，2005 年改組為軟體內容協會後審查業務被該協會內部的**媒體倫理委員會**繼承，2010 年 12 月委員會連同審查業務被映像倫理機構吸收合併）為契機，與 HOBIBOX 簽訂了軟體流通獨占協議的 ACID、Nitro + 等一批公司集體從軟倫退出，開始將旗下作品交由媒倫進行審查。從此，原來在成人遊戲界一家獨大的軟倫，地位轉變為了競爭者。由於媒倫的審查制度比軟倫寬鬆，一些被軟倫認為違規的內容在媒倫允許審查通過，退出軟倫加入媒倫的企業逐漸增多。

為了應對競爭，2003 年末開始，軟倫將與 1999 年 11 月實行的《兒童買春、兒童色情關係行為等處罰及兒童保護等相關法律》法律對應的一部分審查準則進行了變更，基本解除了對近親性交的限制，一部分敏感詞被解禁，總體的審核准則也開始變得寬鬆。

以上事件，有評論認為是倫理標準濫立所導致的危機。

## 作為業界團體的作為

軟倫不僅是一家自我限制的機構，也有作為成人遊戲界的協調號召者的作用。比如為了對抗盜版，向業界推薦複製保護與產品激活技術的標準，以及為了振興業界，對以成為遊戲製作者為目標的學生贈予獎學金等。

軟倫從事著指導軟體商店進行分別陳列與對購買者進行年齡確認的工作，近幾年也有為萌系遊戲大賞（萌えゲーアワード）的舉行提供支持。

2006 年 4 月計劃加入在日本經濟產業省的指導下組織，目前尚未成立的映像內容倫理聯絡會議。

## 參考文獻

## 外部連結

* （日語）電腦軟體倫理機構官方網站（頁面存檔備份，存於網際網路檔案館）

## 參見

* 軟體內容協會（CSA）
* 映像倫理機構（JCRC）
* 電腦娛樂分級機構（CERO）
* 電腦娛樂協會（CESA）
* 準兒童色情
计算机软件列表

**電腦軟體列表**，泛指在電腦上所執行的各種軟體的列表，或同類型軟體的比較。

## 依軟體發行公司分類

* Adobe 軟體列表
* Mozilla 產品列表
* 微軟應用軟體列表

## 依系統平台分類

### DOS

* MS-DOS 命令列表

### Unix

* Unix 工具列表
* Unix 實用程式列表

### Linux

* Linux 套件比較
* KDE 程式列表

## 依軟體功能分類

### 作業系統

* 作業系統列表
* 自舉引導程式比較

### 程式設計

* 程式設計語言列表
* 組合語言列表

### Internet 應用

**使用者端軟體**

* 網頁瀏覽器列表 - 網頁瀏覽器比較
* FTP 客戶端列表 - FTP 客戶端比較
* 電子郵件客戶端列表 - 電子郵件客戶端比較
* 即時通訊軟體列表 - 即時通訊軟體比較
* 下載管理程式比較

**伺服器端軟體**

* FTP 伺服器列表

**P2P 軟體**

* 檔案分享程式比較
* ED2k 軟體比較

**網站套件**

* 內容管理系統列表
* Wiki 軟體比較

### 商務應用軟體

* 辦公室套裝軟體比較
* 關係型資料庫管理系統比較

### 多媒體應用軟體

* 媒體播放器列表
* 光碟製作軟體列表

### 其他應用軟體

* 檔案編輯器列表 - 文字處理器比較 / 檔案編輯器比較
* 壓縮軟體列表 - 壓縮軟體比較
* 防毒軟體列表
* 中文輸入法列表

## 其他

* 開放原始碼軟體列表
* 開源遊戲列表
计算机辅助制造

**電腦輔助製造**（英文：**Computer-aided manufacturing**，縮寫：**CAM**）是工程師大量使用產品生命周期管理電腦軟體的產品元件製造過程。電腦輔助設計中生成的元件三維模型用於生成驅動數字控制工具機的電腦數控代碼。這包括工程師選擇工具的類型、加工過程以及加工路徑。

## 綜述

有些電腦輔助製造與電腦輔助設計整合，譬如 MASTERCAM 等。每一個電腦輔助製造軟體首先都要解決 CAD 資料交換的問題，因為生成資料的 CAD 系統就像文書處理軟體那些經常按照它自己的專有格式儲存資料。通常需要電腦輔助設計操作員將資料輸出成通用的資料格式，2D 平面如 DXF 及 DWG 等；3D 曲面則以 IGES 或者 STL 為主要選擇。一般而言，只要 CAD 在繪製時所使用的單位與電腦輔助製造軟體相同，通常都不需要再進行編輯，所以可以直接採用，較為簡單。

電腦輔助製造軟體的輸出結果通常是結構較簡單的 "G 代碼" 程式 (.NC)，當加工為 2D 平面加工時，G 代碼程式內容會較簡單易懂 (因其絕大部分均為兩軸定位)，然而，當加工為 3D 曲面，G 代碼程式會變的較為龐大，而且也較難解讀。

當電腦輔助製造軟體轉出 G 代碼程式後，會使用直接數字控制（DNC）程式將它傳送到加工機控制器上，目前亦有可將 G 代碼程式儲存於記憶卡中，在插入加工機控制器所組態的記憶卡插槽中讓控制器讀取。

儘管長期以來人們一直夢想電腦輔助製造軟體能夠獨立運轉，然而，無論再先進的電腦輔助製造軟體，在沒有技術成熟的人員使用下，均極為容易造成後續加工上的失誤 (斷刀、過切等)，因此它仍然需要知識與技能都很豐富的操作員來進行操作與設定，譬如：刀具的選擇、加工的深度、加工的方式等等。

在最佳的情況下，電腦輔助製造軟體操作人員最好與數控工具機操作人員相同，這樣的組態，加工失誤的機率會降到最低。

## 歷史

商用電腦輔助製造的應用最初出現在汽車以及航空工業領域的大公司中，例如 1971 年雷諾用於車身設計與加工的 UNISURF。

## 加工過程

大多數加工過程都要經過三個步驟，根據材料以及所用軟體的不同每一步都是或簡單或複雜的策略來實現，這些策略有：

**粗加工**
: 這個過程從立方原料或者鑄件開始，將它大致加工成最後的模型。因為按照水平方向加工，通常得到一種階梯的形狀。常用的策略有 zig-zag clearing、offset clearing、plunge roughing、rest-roughing。

**半精加工**
: 這個過程從經過粗加工的不平零件開始，按照一個固定的偏移對零件加工。

**精加工**
: 與半精加工類似，但是起始所用原料不同。

## 當今提供電腦輔助製造軟體的公司

根據 2005 年收入排列，最大的電腦輔助製造軟體公司是 UGS Corp (已被 Siemems 併購) 與達索系統 (Dassault Systèmes)，二者都占有逾 10% 的市場份額。PTC、itachi Zosen 和 Delcam 分別占有逾 5% 的市場份額。Planit、Tebis、Missler、CNC (Mastercam) 及 WorkNC 分別占有 2.5% 到 5% 的市場份額。剩餘 35% 的市場份額被其它較小的供應商所分割 (SprutCAM, GibbsCAM & etc.)。

## 應用領域

* 機械工程
* 電子設計自動化電腦輔助製造工具準備要製造的印製電路板及積體電路設計資料。

## 參見

* 電腦輔助設計
* 電腦整合製造
* 直接數值控制
* 彈性製造系統
* 整合電腦輔助製造
* 快速成型技術
* 製程管理

## 外部連結

* DP Technology（頁面存檔備份，存於網際網路檔案館）, D.P. Technology, Makers of Esprit and Esprit Mold CAM systems.
* CAD/CAM Overview Online Tutorial（頁面存檔備份，存於網際網路檔案館）– from Tooling University, you can register and take this class for free.
* What is a CAM system?– By Mike Lynch
* What are the differences between manual, conversational, and CAM system programming?（頁面存檔備份，存於網際網路檔案館）
* ERP software for manufacturer（頁面存檔備份，存於網際網路檔案館）
* Open Source CNC Milling - GNU Computer Aided Manufacturing (GCAM)
* cam-occ, a linux CAM program using OpenCASCADE（頁面存檔備份，存於網際網路檔案館）
计算机辅助功能

在人機互動中**電腦輔助功能**是指通過硬體和軟體的結合使用時讓殘疾或受過嚴重的損害的人使用電腦的功能。

有許多類型的損傷，會影響電腦的使用：

* 認知或學習障礙，如誦讀困難、自閉症、文盲等。
* 視力低下、完全或部分失明、色盲、視力障礙。
* 聽力有關的疾病，包括耳聾，重聽等。
* 殘疾或運動障礙，不能良好的使用鍵盤、滑鼠等輸入裝置。

## 解決方法

### 認知障礙和文盲

電腦輔助功能的最大挑戰之一是使那些沒有閱讀能力的人存取資源。

人們可以通過調整電腦文字的大小，啟動螢幕閱讀軟體等方法幫助解決問題。

### 視力障礙

有輕度到中等視力障礙的人可以使用大字型、高解析度（dpi）的顯示器、 高對比度的主題和圖示、螢幕閱讀和螢幕放大軟體。

當失明或有嚴重視力障礙時螢幕閱讀軟體是個不錯的選擇，它通過文字提供語音回饋，可重新整理的盲文顯示器也可以幫助人們閱讀。

### 殘疾或運動障礙

有些人不能正常的使用常規的輸入裝置，如滑鼠或鍵盤。可以使用交換機、操縱杆和軌跡球或更多的專業解決裝置。語音辨識技術也是一個合適的替代傳統的鍵盤輸入和滑鼠輸入的方法，因為它只需要一個通用的話筒。

天體物理學家史蒂芬・霍金就是一個有運動障礙的著名例子他使用一個開關，結合特殊的軟體，使他用他很少的剩餘運動能力控制自己的輪椅上安裝的電腦。這台普通的電腦，使他能夠繼續研究和撰寫他的作品。

### 聽力障礙

可以使用字幕，標題等資訊輔助瀏覽。

## 國際標準

**ISO 9241-171** 關於軟體的輔助功能的指南。

這是迄今為止最全面的技術標準，由獨立的國際標準專家制定，有兩個優先級級別 （必需和建議），和一個方便的核對表，旨在幫助記錄測試結果。

## 參見

* 滑鼠鍵
计算机辅助工程

電腦輔助工程（Computer Aided Engineering），主要用於模擬分析、驗證和改善設計。在近年來電腦與 3D CAD 快速發展情況下，CAE 應用比例越來越高，使用難度也越來越低，使用者數量大幅成長。與 CAD 相比，CAE 使用者需要更多物理相關知識來設定條件與解釋結果。至於計算過程所使用到的數學方法，如微分方程、有限元素法、有限體積法等全部交給電腦處理就可以。

## 主要的 CAE 應用領域

* 應力應變（FEM 為主）
* 熱流與質傳（FVM 為主）
* 電機電子（FDM,ODE）
* 化工與化學（FVM 或統計）
* 土木與水工（FEM, FVM, ODE）
* 光學與物理（FDM,ODE, 統計）
* 微機電或奈米（量子力學，統計，原子物理或化學）
计算机辅助技术

**電腦輔助技術**（CAx）是利用電腦來協助產品設計、分析及製造的技術。

先進的電腦輔助技術工具會整合產品生命週期管理（PLM）中許多不同的層面，包括設計、有限元素分析（FEA）、製造、生產規劃及產品等。

* 電腦輔助設計（CAD）
* 電腦輔助建築設計（CAAD）
* 電腦輔助工程（CAE）
* 電腦輔助夾具設計（Computer-aided fixture design，CAFD）
* 電腦輔助創新（Computer-aided innovation，CAI）
* 電腦輔助工業設計（Computer-aided industrial design，CAID）
* 電腦輔助製造（CAM）
* 電腦輔助流程計劃（CAPP）
* 電腦輔助需求捕捉（Computer-aided requirements capture，CAR）
* 電腦輔助規則定義（Computer-aided rule definition，CARD）
* 電腦輔助規則執行（Computer-aided rule execution，CARE）
* 電腦輔助軟體工程（CASE）
* 電腦輔助自動化（Computer-aided automation，CAA）
* 電腦導航手術（CAS）
  * 電腦輔助手術類比（Computer-aided surgical simulation，CASS）
* 計算流體力學（CFD）
* 零件資訊系統 (Component information system，CIS)
* 電腦整合製造 (CIM)
* 電腦數值控制（CNC）
* 電子設計自動化（EDA）
* 企業資源計劃（ERP）
* 有限元素分析（FEA）
* 以知識為基礎的工程（KBE）
* 知識生命週期管理（Knowledge Lifecylcle Management，KLM）
* 製造流程管理（MPM）
* 製造流程計劃（Manufacturing process planning，MPP）
* 物料需求計劃（MRP）
* 製造資源計劃（MRP II）
* 產品資料管理（PDM）
* 產品生命週期管理 (PLM)
* 虛擬原形

## 參考資料

## 外部連結

* LearnCAx （頁面存檔備份，存於網際網路檔案館） Online Education in CAx Technologies
计算机辅助望闻问切诊疗系统

**計算機輔助望聞問切診療系統**是運用計算機對被診斷者的舌頭、脈搏等部位的特徵收集及數據化後後，再根據中醫原理比對資料庫以輔助診斷疾病的系統。

## 原理

中醫有「望聞問切」四大原則。 此系統的原理即是根據電腦收集的大量病態的舌頭顏色、脈搏等數據，對比觀察對象的情況做對比，以分析對象是否患病。

## 實際應用

### 台灣廈門合作項目

2010 年 6 月由中國大陸的廈門大學、廈門市中醫院及台灣的中國醫藥大學所合作研發的「海峽（廈門）中醫藥科技平台」公布，其中包括一個名為「機器人中醫」的項目。系統由計算機、數位相機、照明燈等組成。計算機中存儲有舌象、中成藥和健康處方三個資料庫。通過數位相機拍攝舌頭圖像，傳輸到計算機，三分鐘內給出對應的藥物和食物，據稱準確率達到 90%。該機器缺點為初期成本需 1000 多萬元人民幣，且需要人手控制並無法百分百準確判斷病症。

### 香港項目

2010 年 6 月底香港理工大學生物識別技術研究中心公布其研發的三部中醫診斷分析儀器。利用分析舌頭、脈搏及人體呼出的口氣等數據診斷疾病。該系統經十多年時間開發，收集有 3 萬多名病人及健康人士的數據，其中舌頭圖像有 4000 個。三部儀器分別採集患者的脈搏訊號，口氣及舌像之後，分析系統會與資料庫的特徵進行比較，將患者及健康人士區分以協助斷症。目前可診斷的病症有腎臟病、十二指腸潰瘍、血糖水平等。機器準確度據稱達到 85% 以上。該中心主任張大鵬曾在 2009 年稱這套系統成本不高，會推廣至醫院及小區中心使用。

### 上海項目

2010 年上海世博會上，上海中醫藥大學與上海道生醫療科技有限公司合作設計的「中醫四診儀」公布。此機器據稱參考上海中醫藥大學幾代專家 30 多年經驗，歷時 3 年多開發完成。

其中「脈象儀」測算患者脈搏是否正常並診斷病症，「面象儀」則通過面部和舌頭情況診斷，最後再開出個性化中醫健康處方。

## 參考文獻

## 參考文獻

## 參見

* 中醫診斷學
计算机辅助翻译

**電腦輔助翻譯**（英語：**C**omputer-**a**ssisted **T**ranslation 或 **C**omputer-**a**ided **T**ranslation，縮寫：**CAT**），亦稱**電腦輔助翻譯系統**，透過人工智慧搜尋及比對技術以及運用參考資料庫和翻譯記憶程式，紀錄翻譯人員所完成之譯文，當遇到相同與重複的句型、片語或專業術語時，能提供翻譯人員建議和解決方案，以節省翻譯時間及成本，同時確保翻譯品質與風格的一致性。

簡而言之，電腦輔助翻譯就是充分運用資料庫功能，將已翻譯的文字內容加以儲存。當日後遇到相似或相同的翻譯文句時，電腦會自動比對並建議翻譯人員使用資料庫中已有的譯文作為可能的翻譯，讓翻譯人員自行決定是否接受、編輯或拒絕使用。概念上與一般機器翻譯、翻譯機、翻譯軟體及線上翻譯軟體截然不同。並非僅僅是將文句詞語交給軟體處理後，軟體處理結果即為最終的翻譯結果。電腦輔助翻譯中，電腦處理的結果僅供翻譯人員參考，並非最終的翻譯結果，最終是由翻譯人員來決定最適合的翻譯結果。

翻譯軟體日新月異，機器翻譯在結構較相近的語言對中，處理較為初階且重複性較高的檔案時，幾乎能達到與人工翻譯相提並論的品質。而這樣的競爭優勢，主要還是歸功於機器翻譯的翻譯記憶庫（Translation memory）和術語庫（Termbase）功能的發展。

## 翻譯記憶庫

#### 術語庫

術語庫，顧名思義就是一個充滿了術語詞彙的資料庫，可以想像成是語言之間的翻譯對照詞彙表，當一個字從一種語言被翻譯至另一種語言時，它就會被加進術語庫之中。術語庫通常不只有兩種語言配對，而是無數種語言相互對照，這也是為什麼您可以使用 Google 翻譯，在轉眼間翻譯五十種語言的「你好」出來。然而，術語庫所提供的翻譯，僅足以應付字與字之間的轉換，文化語境中相應的細節卻無法被翻譯出來。

#### 翻譯記憶庫

至於翻譯記憶庫，則更為先進。它配備了更高端的翻譯系統，可以識別文字的使用方式、句式、文法等等。當術語庫只能識別「heart」是心臟時，「pulling the strings of my heart」會被翻譯成「拉動我心臟的線」；但若是有翻譯記憶庫的功能，就很可能查到這一句英文曾經被翻譯成「牽動我的心弦」。

英文是充斥著同音同形異義字、同音異形異義字、隱喻和明喻用法的語言，其用法既多且雜，增加了翻譯難度，還好有翻譯記憶功能可以把常用的複雜語境和慣用文法都加以儲存。若長期使用這項記憶功能，即使再困難的語言模式，也有機會準確地被電腦軟體翻譯出來。

**翻譯記憶庫的優點**

1. 在翻譯高重複性且多專業術語的技術性檔案時，翻譯記憶庫可是譯者的無價至寶！它能夠使這些頻繁使用的專業術語和詞彙，在譯文中保有一致性。
2. 翻譯大型文件時，通常需要數名譯者協作，此時翻譯記憶庫能夠保證每一位譯者所翻譯出的專業術語和行文措辭皆一致且準確。
3. 當前後需要翻譯多個文件時，一份有效的翻譯記憶庫能節省譯者重新翻譯常用詞彙，或是翻譯固定段落格式的時間。

**翻譯記憶庫的侷限性**

1. 當詞彙在上下文的使用方式一致，翻譯記憶庫可發揮極大功效。反之，當相同詞彙卻有著不同的意思及用法時，翻譯記憶庫則難以依照語境，判斷出適切的譯語。
2. 翻譯記憶庫有助於翻譯出具有一定水準的國際化檔案，但若要將檔案當地化，則需要針對在地語言的使用方式，建立一個新的語言翻譯記憶庫。
3. 一份檔案交由不同的翻譯社來進行翻譯，除非他們使用同一術語庫和翻譯記憶庫，否則翻譯的結果極有可能不一致。尤其是翻譯過程可能有兼職譯者參與，這讓翻譯記憶庫的運作更為困難。這點也正好牴觸了翻譯記憶庫最大的優勢。
4. 若一段文字最初就被錯譯，除非錯誤經發現後校正，否則這段錯誤譯文將繼續被使用於類似的翻譯之中。因為譯者可能會順著翻譯記憶庫的建議譯法，不一定會逐字檢查翻譯內容是否符合檔案上下文的語境。

目前為止還沒有任何一個方案能完全取代人工翻譯，但機器翻譯在近幾年所獲得的進步卻是毋庸置疑的。這些包括了翻譯記憶庫和術語庫相關程式和功能的進步，在合理的使用之下，都能夠節省翻譯檔案時所耗費的大量時間和金錢，再加上人工校譯的機器翻譯＋譯後編輯（Machine Translation Post-Editing，MTPE）亦是可以考慮的選擇。

## CAT 工具比較

(按字母順序排列，自由軟體優先，專有軟體第二)

## 參看

* 機器翻譯
计算机辅助设计

**電腦輔助設計**（英語：**C**omputer **A**ided **D**esign, **CAD**）是指運用電腦軟體製作並類比實物設計，展現新開發商品的外型、結構、色彩、質感等特色的過程。隨著技術的不斷發展電腦輔助設計不僅僅適用於工業，還被廣泛運用於平面印刷出版等諸多領域。它同時涉及到軟體和專用的硬體。

## 名稱

CAD 有時也寫作「computer-assisted」、「computer-aided drafting」、「computer-aided drawing」，或類似的表達方式。相關的縮略語有 CADD，表示電腦輔助設計和草圖 (computer-aided design and drafting)，以及 CAD，表示電腦輔助建築設計 (computer-aided architectural design) 或電腦輔助機械設計 (computer-aided mechanical design) 或電腦輔助模具設計 (computer-aided molding design)。所有這些術語基本上相似，都指使用電腦而不是傳統的繪圖板來進行各種項目的設計和工程製圖。

## 使用範圍

由 CAD 建立的建築和工程專案的範圍很廣，包括建築設計製圖，機械製圖，電路圖，和其他各種形式的設計交流方式。現在，它們都成為電腦輔助設計更廣泛的定義的一部分。

## 歷史

設計者很早就開始使用電腦進行計算。有人認為伊凡・蘇澤蘭在 1963 年在麻省理工學院開發的 Sketchpad 是一個轉捩點。Sketchpad 的創新特性是它允許設計者用圖形方式和電腦互動：設計可以用一枝光筆在陰極射線管螢幕上繪製到電腦裡。實際上，這就是圖形化使用者介面的原型，而這種介面是現代 CAD 不可或缺的特性。

CAD 最早的應用是在汽車製造、航空太空以及電子工業的大公司中。隨著電腦變得更便宜，應用範圍也逐漸變廣。

CAD 技術經過了多年的演變。CAD 剛開始的時候主要被用於產生和手繪的圖紙相仿的圖紙。電腦技術的發展使得電腦在設計方法有更具技巧的應用。現今，CAD 已經不僅僅用於繪圖和顯示，它也開始匯入設計者的專業知識中更具「智慧型」的部分。

隨著電腦科技的日益發展，效能的提升和更便宜的價格，許多公司已採用立體繪圖設計。以往，礙於電腦效能的限制，繪圖軟體只能停留在平面設計，欠缺真實感，而立體繪圖則突破了該限制，令設計圖更實體化。

## 功能

現代 CAD 系統的功能包括：

* 設計組件重用 (Reuse of design components)
* 簡易的設計修改和版本控制功能 (Ease of design modification and versioning)
* 設計的標準組件的自動產生 (Automatic generation of standard components of the design)
* 設計是否滿足要求和實際規則的檢驗 (Validation/verification of designs against specifications and design rules)
* 無需建立物理原型的設計類比 (Simulation of designs without building a physical prototype)
* 裝配件（一堆零件或者其他裝配件）的自動設計
* 工程文件的輸出，例如製造圖紙，材料明細表 (Bill of Materials)
* 設計到生產裝置的直接輸出
* 到快速原型或快速製造工業原型的機器的直接輸出

CAD 的發展導致了下列工具和方法的發展：

* 線框模型
* 實體造型
* 智慧型布線圖和生產關聯資料庫 (Intelligent wiring diagrams and production linked database systems)
* 圖形表達系統和工廠圖紙和資料庫 (Graphically represented system or plant diagrams and databases)
* 參數化設計模型 (Parametric design models)
* 實時進程類比 (Real-time process simulation)
* 電腦數值控制 (Computer Numerically Controlled (CNC)) 載入檔案（工具路徑指令）
* 有限元分析
* 快速原型法 (Rapid prototyping)

很多 CAD 圖紙是用應用軟體通過設計草圖和其他輸入從頭開始建立的。其他 CAD 圖紙是從原有的電子 CAD 檔案，通過複製全部或部分另一個 CAD 檔案，經過改動，然後另存為新檔案得到。只有物理形式存在的圖紙（藍圖，遺失檔案的設計圖，等等）可以用一種「紙到 CAD 轉換的」（圖紙轉換，數位化，向量化）的程式來轉為 CAD 檔案。

## 參看

* 幾何拓撲學
* 資訊可視化
* 電腦輔助工程（Computer-Aided Engineering,CAE）
* 電腦自動設計
* 電腦輔助製造
* 電腦輔助建築設計
* 電腦圖學
* 快速成型技術
* 電子設計自動化
* CAD 公司列表
* 新產品開發
* 紙到 CAD 的轉換
* Pierre Bézier
* 建築資訊模型

## 外部連結

* Design Council on Computer Aided Design Design Council one stop shop information resource on CAD by Paul Siodmok.
* **CAE**（頁面存檔備份，存於網際網路檔案館） includes FEA
* CAD Systems in Education（頁面存檔備份，存於網際網路檔案館） List of CAD systems developed in Universities for educational and commercial use.
* tools 4 CAD - CAD resource site including tips, tricks and products
* 3D model of a cylinder cover, interactiv（Acrobat Reader 8.1 or higher）
计算机辅助设计与图形学国家重点实验室

**計算機輔助設計與圖形學國家重點實驗室**是位於中國浙江省杭州市的一個國家重點實驗室，隸屬於浙江大學，位於浙江大學紫金港校區蒙民偉樓，由浙大計算機系、數學系和機械系三系共建。1989 年列入國家建設計劃，1992 年建成並通過驗收。1994 年獲得全國國家重點實驗室先進集體金牛獎。

## 研究方向

主要研究方向包括：

* 數據並行計算及其基礎軟體
* 媒體計算和可視分析
* 虛擬實境
* 圖形與視覺計算
* 計算機輔助設計

## 參考文獻

## 外部連結

* 計算機輔助設計與圖形學國家重點實驗室（頁面存檔備份，存於網際網路檔案館）

## 參見

* 中華人民共和國國家重點實驗室列表
* 浙江大學
计算机辅助证明

**電腦協助證明**是一種部份或全部內容以電腦協助之數學證明。

## 哲學爭議

由於大部份的**電腦協助證明**計算量龐大，無法以人手驗證，很多數學家不接受**電腦協助證明**，並表示那只是計算而非證明。他們表示，美麗的數學證明應像首詩，而電腦證明則看似電話簿。

## 歷史

第一個著名的電腦協助證明，是 1976 年的四色定理證明。

## 著名的電腦協助證明

* 四色定理 - 1976
* 四子棋 - 1988
* Order 10 有限射影平面的不存在性 - 1989
* 克卜勒猜想
* 17 點的幸福結局問題

## 參考

* 自動化定理證明

## 外部連結

* Edmund Furse; Why did AM run out of steam?
* Keith Devlin; Last doubts removed about the proof of the Four Color Theorem, _MAA Online_, January 2005
* Number proofs done by computer might err （頁面存檔備份，存於網際網路檔案館）
* A Special Issue on Formal Proof. Notices of the American Mathematical Society. December 2008 [2010-09-21]. （原始內容存檔於 2019-03-14）.
* M. Nakao, M. Plum, Y. Watanabe (2019); Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics). （頁面存檔備份，存於網際網路檔案館）
计算机辅助软件工程

**電腦輔助軟體工程**（英語：**computer-aided software engineering**，縮寫：CASE）是指使用軟體工具輔助軟體的開發及維護。

1980 年代晚期研發出電腦輔助軟體工程工具，能夠在前端協助畫出資料流程圖、實體關係圖及分析設計的儲存資料、檢查錯誤漏失等；把規格確定後，後端自行產生 TURBO C、PASCAL 的程式碼。整體而言，可節省系統開發人員許多時間。

知名的電腦輔助軟體工程工具分為以下幾類：

* 統一模型化語言 **UML**
* 程式碼產生工具
* 資料模組化工具
* 軟體重構工具
* 包函版本控制的組態管理工具

## 參考文獻
计算机逻辑

**計算機邏輯**描述應用於計算機科學和人工智慧的邏輯。它包括：

* 以在計算機科學中的應用為導向的邏輯學研究。例如：組合子邏輯和抽象釋義；
* 以邏輯形式自然表達的計算機科學基本概念。例如：程式語言的形式語義，霍爾邏輯和邏輯編程；
* 計算理論的關注形式邏輯的基本問題的方面。例如：Curry-Howard 對應和博弈語義；
* 被當作應用計算機科學的邏輯工具。例如：自動定理證明和模型效驗。
* 軟體（和硬體）開發的形式方法，比如在 Z 符號中使用謂詞邏輯。

基本數理邏輯比如命題邏輯和謂詞邏輯（通常聯合上集合論）的研究被認為是對任何大學計算機科學課程都非常重要的理論基礎。高階邏輯通常不教，但在定理證明工具如 HOL 中是很重要的。

有相關的一個年刊 _IEEE Symposium on Logic in Computer Science_（LICS）。

## 書籍

* _Mathematical Logic for Computer Science_by Mordechai Ben-Ari. Springer-Verlag, 2nd edition, 2003. ISBN 1852333197.
* _Logic in Computer Science: Modelling and Reasoning about Systems（頁面存檔備份，存於網際網路檔案館）_ by Michael Huth, Mark Ryan. Cambridge University Press, 2nd edition, 2004. ISBN 052154310X.
* _Logic for Mathematics and Computer Science_ by Stanley N. Burris. Prentice Hall, 1997. ISBN 0132859742.

## 外部連結

* Article on _Logic and Artificial Intelligence_（頁面存檔備份，存於網際網路檔案館） at the Stanford Encyclopedia of Philosophy.
* IEEE Symposium on Logic in Computer Science（LICS）
计算机集成制造

**電腦整合製造**（英語：Computer-Integrated Manufacturing，CIM），又稱**計算機集成製造**、**電腦綜合製造**，是利用電腦、網路及通訊等資訊科技，整合與管理製造過程中的所有活動的系統。它並不是一個產品，而一種觀念與精神，其主要目的在於將工廠內部各個獨立的自動化系統加以整合，以發揮整體的效益，避免形成所謂的自動化孤島。

電腦整合製造系統有三個基本的關鍵要素以達到彈性化設計與生產的目標：

1. 資料的儲存、提取、運用及呈現的方法；
2. 檢測狀態以及自我修正的機制；
3. 結合各分散的子系統的方法。

隨著現代產品的生命週期日益縮短，在品質、價格、交貨期等方面之競爭日趨嚴格，電腦整合製造系統已是一個必然的趨勢。

## 源起

在 1960－1970 年代，有學者研究指出，企業在各種內外挑戰的困境之中，不外乎嘗試改善以下七項最主要的問題：

1. 設計與製造的前置期
2. 庫存周轉期
3. 生產設備的準備時間
4. 各產品的生產效率
5. 各產品的員工生產力
6. 整體品質與重工問題
7. 每日員工所提出的產品改善建議

然而，只解決其中一部分而忽略其它的問題，通常無法帶來整體的效益提升，所以大部分的企業需要一個整體的方案來解決這些問題。在 1973 年，小約瑟夫。哈靈頓（Joseph Harrington Jr.）了解到整合的重要性與價值，首先提出了「電腦整合製造」這樣一個名詞與觀念。他提出的電腦整合製造包含兩個基本觀點：一是企業生產的各個環節包括市場分析、產品設計、加工製造、經營管理和售後服務等是一個不可分割的整體，必須緊密相連、統一考慮；二是整個運作過程實質上是一個資料的收集、傳遞和加工處理過程，最終產品可以看作是資料的物質表現。

雖然哈靈頓一直避免再發明一個用縮寫字母的科技新名詞，但 CIM 這個縮寫名稱還是在 80 年代早期開始廣泛地被使用，於此同時電腦整合製造也因工具機製造商的推廣而變成一個主流觀念。

## 定義

國際製造工程學會（Society of Manufacturing Engineers，SME）之電腦與自動化系統分會（Computer and Automated Systems Association，CASA）對電腦整合製造的定義為：「透過整體系統、資料通訊及能夠改善組織和個人之效率的新管理哲學，達成整個製造企業的整合。」

若嚴謹地對電腦整合製造的定義做檢視，會發現電腦整合製造不僅是：

* 自動化的電腦硬體與軟體
* 一套向廠商買來然後安裝好的製造系統
* 像及時生產或同步工程等的一套製造策略

而且，一個擁有電腦整合製造概念的企業必需要有以下的管理哲學：

* 客戶滿意度是所有決策的基礎
* 支持全面品質管理原則
* 重視每個員工的想法
* 絕不滿意現狀而不停止地改善

另外，一個成功的電腦整合製造的實現則是：

* 有一個跨部門共享的資料庫
* 使用自動化的硬體與軟體有效地整合企業運作流程

### 更多的定義

目前，許多電腦整合製造的廠商如惠普、IBM、西門子等，對於電腦集成製造的定義都有著各自獨到的解釋，譬如西門子曾提出的「電腦輔助工業」。

另外在 1980 年代日本曾經嘗試在某些帶有危險的生產流程中實現完全無人化生產，但是由於現代工業過於複雜，這些嘗試還停留在理論上的原型試驗階段。

## 面臨的問題

目前關於電腦整合製造有三個主要的問題：

1. 設備不相容以及協定整合的複雜度太高：要整合不同廠牌的機械手臂、傳送系統等的控制器，是既耗時又容易出錯的工作。
2. 資料整合：若是資料發生錯誤將會導致設備施工錯誤；而且以一般的情況來看，資料維護費用比沒有電腦整合製造系統的工廠來得高。
3. 嘗試去編寫更好的邏輯規則以便做出更好的排程：但是事實上在面對每天隨時都有可能變動的排程與優先權，人腦的反應與判斷還是比較準確。

## 相關條目

* 企業資源規畫
* 產品生命周期管理
* 彈性製造系統
* 製造排程管理
* 製造資源計劃

## 註解與參考文獻
计算机非专业组别能力认证

**計算機非專業組別能力認證** 是由中國計算機學會舉辦的計算機軟體非專業級能力認證。非專業級別較之專業級別更為簡單，分兩個級別進行，分別為 CSP-J（入門級，Junior）和 CSP-S（提高級，Senior），均涉及算法和編程。任何人都可以報名參加。CSP-J/S 分兩輪舉行，第一輪類似於 NOIP（全國青少年信息學奧林匹克聯賽）的初賽，第二輪類似於 NOIP 的複賽

## 背景

由於某些原因，2019 年 NOIP 被暫停。隨後，CCF 舉辦非專業級軟體能力認證

## 認證形式

CSP-J 和 CSP-S 均分別舉辦兩輪：CSP-J1，CSP-S1 及 CSP-J2、CSP-S2，認證方式均為現場認證，非網絡認證。參加 CSP-J/S 第二輪，必須先參加第一輪，達到一定的分數者方可參加第二輪

## 參考文獻
计算机预订系统

**計算機預訂系統**又稱**中央預訂系統**、**電腦預定系統**，它是一種計算機系統，可以用來存儲和檢索信息，並且與空中游覽、酒店、汽車租賃或其他活動相關的交易（例如預訂）也可以在此類計算機系統上進行。計算機預訂系統最初由航空公司設計和使用，後來擴展到旅行社和全球分銷系統（GDS）。

## 參考文獻
计算机领域中的女性

在 20 世紀初期，首批程式設計師中就包含**電腦領域中的女性**，她們對電腦業界貢獻良多。

自 18 世紀起，女性參與計算科學技術發展。例如：妮可 - 雷訥・勒波特預測了哈雷彗星；瑪麗亞・米切爾計算了金星運動過程；愛達・勒芙蕾絲設計了首套由電腦執行的演算法，首次為程式語言設計出編譯器。自 19 世紀到第二次世界大戰，程式編寫工作主要由女性完成，例如哈佛計算員、布萊切利園進行的密碼分析、美國國家航空暨太空總署的工程項目。

## 吸引女性投身電腦科學

貢薩加大學的教授 De Palma 認為，對數學感興趣的女性越來越多。同樣，對電腦科學感興趣的女性也會越來越多。 為了提高女性對電腦科學的興趣，他提出以下五個方法：

1. 讓符號處理上有天賦的女性學習編程。
2. 要讓女性學習編程的過程變得更加純邏輯。在教學中儘量減少對其他笨拙的軟體套件、需要技巧的圖形化使用者介面、和功能強大的整合式開發環境的依賴。
3. 不要使用微型電腦來教授電腦。
4. 至少在早期階段，編程任務越簡短越好。一定難度的任務問題可以讓學生進行獨立思考。相反，難度較高則會打擊其學習積極性，減弱其解決問題的興趣。
5. 程式語言如同計數系統，避免選用新語言。

## 歷史上電腦領域中的女性

* 1842: 愛達・勒芙蕾絲 (1815–1852) 對查爾斯・巴貝奇提出的電腦分析機進行分析，其論文詳細說明用該機器計算伯努利數的方法，該方法是世界上首個電腦程式。因此勒芙蕾絲成為了世界上首位電腦程式設計師。
* 1942: 美國演員 海蒂・拉瑪 (1913–2000) 參與發明了展布頻譜技術，該技術是許多現代無線通訊系統（包括無線區域網路與行動電話）的基礎。

* 1949: 美國海軍准將、電腦科學家葛麗絲・穆雷・霍普 (1906–1992) 是世界上最早一批的程式設計師之一，也是最早的女性程式設計師之一。霍普是馬克一號上第一個專職程式設計師，創造了現代第一個編譯器 A-0 系統，以及首個進階商用電腦程式語言「COBOL」，被譽為 COBOL 之母。霍普從馬克二號中取出引起故障的飛蛾，在此啟發下，著名電腦術語「debug」（除錯排錯）開始廣泛使用，於是她也獲得了「『debug』之母」的稱號。霍普是 Y2K 危機的創造者，培育了許多程式語言專家，人稱「不可思議的葛麗絲」（英語：Amazing Grace，與聖詩《奇異恩典》同名）。

* 1993: 芭芭拉・利斯科夫 (1939.11.7–) 與周以真（Jeannette Wing）共同提出了著名的 Liskov 代換原則。她是 2008 年圖靈獎得主，以及 2004 年約翰・馮諾依曼獎得主。
* 1997: 安妮塔・博格 (1949–2003) 是安妮塔・博格婦女與科技研究所 (IWT) 的建立領導人。
* 2005: 魯奇・桑維是 Facebook 首位女性工程師。
* 2006: 瑪利亞・克拉維 (1951-) 是哈維馬德學院的第一位女校長，於 2002 至 2004 年擔任 ACM 電腦協會主席一職。

* 2006: 法蘭・艾倫 是編譯器最佳化領域的先驅。1989 年成為第一位女性 IBM Fellow。她也是 IBM 技術研究院的主席。2006 年她成為第一位獲得圖靈獎的女性。

* 2012: 瑪麗莎・梅耶爾 (1975-) 曾是 Google 第一位女性工程師，擔任過工程師，設計師，產品經理以及公司副總裁。現在是雅虎的 CEO。

* 2012: 美國工程院院士 莎菲・戈德瓦塞爾（1958 年 -) 2012 年因密碼學領域的傑出工作獲得圖靈獎。。
* 2016 年，李飛飛利用在史丹佛大學的學術假期，加入 Google 雲端人工智慧暨機器學習的中國中心團隊，以 Google Cloud 首席科學家身分成為該團隊負責人之一。

## 涉及電腦領域中女性的組織

* Ada Initiative
* Anita Borg Institute for Women and Technology 舉行每年的 Grace Hopper Celebration of Women in Computing 大會
* Association for Computing Machinery (ACM) Committee on Women
* BCSWomen, 英國電腦學會的一個女性專有特殊組織
* Computing Research Association, 電腦研究中婦女地位委員會
* Girl Geek Dinners, 適宜各年齡段女性的國際組織
* LinuxChix, 推動開放原始碼運動的一個定位女性的社群
* Systers
* Web Start Women, 致力於讓更多女性參與網頁編程的組織
* [1]（頁面存檔備份，存於網際網路檔案館）

## 參見

* 科學領域中的女性
* 女性數學家列表
* 女性科學家列表
* 涉及科學領域中女性的組織列表
* 科學領域中女性獲獎獎項的列表

## 參考文獻

## 補充閱讀

* Thomas J. Misa, ed. _Gender Codes: Why Women Are Leaving Computing_ (Wiley/IEEE Computer Society Press, 2010).ISBN 978-0-470-59719-4
* Light, Jennifer S. "When Computers Were Women." _Technology and Culture_ 40.3 (1999) pp. 455–483.
* Cooper, J. and Weaver, K. (2003), _Gender and Computers: Understanding the Digital Divide_, Philadelphia : Lawrence Erlbaum Associates, ISBN 0-8058-4427-9
* Newitz, Annalee and Anders, Charlie. _"She's Such a Geek!"_; 2006.
* Galpin, Vashti. Women in computing around the world. ACM SIGCSE Bulletin. 2002, **34** (2): 94–100 [2013-03-05]. doi:10.1145/543812.543839. （原始內容存檔於 2020-06-02）.

## 外部連結

* Girl Geek Dinners
* National Center for Women & Information Technology（頁面存檔備份，存於網際網路檔案館）
* Resources related to Women in Computing（頁面存檔備份，存於網際網路檔案館）
* Carnegie Mellon Project on Gender and Computer Science（頁面存檔備份，存於網際網路檔案館）
* Institute for Women in Trades, Technology and Science（頁面存檔備份，存於網際網路檔案館）
* Doing IT Around the World（頁面存檔備份，存於網際網路檔案館） - Profiles of 36 women across the globe with a shared passion for information technology.
计算机鼠标

**滑鼠**（英語：computer mouse），是一種電腦使用的定點輸入裝置，可以對螢幕上的游標進行定位，並透過按鍵和滾輪裝置對游標所經過位置的螢幕元素進行操作。滑鼠的鼻祖於 1968 年出現。美國科學家道格拉斯・恩格爾巴特在加利福尼亞製作了第一個滑鼠。

## 發展歷史

* 1967 年，滑鼠的原型誕生。
* 1968 年 12 月 9 日，世界上的第一個滑鼠誕生於美國史丹福大學。它的發明者是道格拉斯・恩格爾巴特博士。這個滑鼠的設計目的，是為了用滑鼠來代替鍵盤那繁瑣的指令，從而使電腦的操作更加簡便。這個滑鼠的外形是一個小木頭盒子，其工作原理是由它底部的小球帶動樞軸轉動，繼而帶動變阻器改變阻值來產生位移訊號，並將訊號傳至主機。
* 1973 年，第一台帶有鼠標的計算機 Xerox Alto 發佈。
* 1980 年代初，出現了第一代的光學滑鼠，這類光學滑鼠具有比機械滑鼠更高的精確度。但是它必須工作在特殊的印有細微格柵的光學滑鼠墊上。這種滑鼠過高的成本限制了其使用範圍。
* 1981 年，第一個商業化滑鼠誕生。
* 1983 年，羅技發明了第一個光學機械式滑鼠，也就是我們今天所說的機械滑鼠。這種滑鼠結構成為了事實上的行業標準。
* 1999 年，安捷倫公司（Agilent, 後改組為安華高，Avago）發布了 IntelliEye 光學引擎，繼而市場上出現了不需要專用滑鼠墊的光學滑鼠，光學滑鼠的普及由此開始。
* 2003 年，羅技與微軟分別推出以藍牙為通訊協定的藍牙滑鼠。
* 2005 年，羅技與安華高合作推出第一款雷射滑鼠（無線，可充電，Logitech MX1000）。
* 2006 年，第一隻克服玻璃障礙的有線雷射滑鼠問世（DEXIN, ML45）。
* 2006 年，藍牙雷射滑鼠問世（Acrox）。
* 2008 年，微軟推出採用 Blue Track 技術的藍光滑鼠，幾乎相容所有介面（Microsoft SideWinder X8）。
* 2009 年，羅技推出 DarkField 雷射追蹤技術。此技術基本上仍是採用雷射辨識，結合運用在實驗室的「暗視野（Darkfield）」顯微鏡技術，讓滑鼠也能看到透明材質中的小瑕疵、灰塵、微粒等微小物質，並藉此提供辨識定位資訊。（Logitech M905、M950）
* 2009 年，蘋果公司推出 Magic Mouse，採用承襲自 iPhone、iPod Touch、MacBook 的多點觸控技術，把所有滑鼠按鍵、滾輪都拿掉，只以一整片多點觸控板，就能提供等同一般滑鼠的左、右鍵，以及 360 度滾輪功能，並能以兩指操作更多手勢功能。

## 技術

滑鼠的光學感測器靈敏度使用 DPI（**D**ots **P**er **I**nch，點每英寸）或 CPI（**C**ounts **P**er **I**nch，每英寸測量數）量度，測量頻率使用 FPS（**F**lashes **P**er **S**econd，每秒重新整理次數）量度。

### 分類

依據移動感應技術的分類如下：

* 機械滑鼠
* 早期光學滑鼠（需要印有特定條紋的滑鼠墊）
* 光學機械滑鼠（滑鼠內有一顆滾球， 現今已少見）
* 光學滑鼠（現代的主流，無需特定條紋的滑鼠墊）
* 雷射滑鼠
* 藍光滑鼠
* 藍影滑鼠

### 按鍵數量

* 單鍵滑鼠：單一按鍵，蘋果公司從早期的 Mac 系統使用至今，僅加入觸控來代替多按鍵，其目的是單一按鍵不會按錯，與當時一般 PC 上的雙鍵或三鍵滑鼠有別。
* 雙鍵滑鼠：雙按鍵，早年 PC 上曾廣泛使用，現已極少出現；早期的 Mac 系統目前有部分使用。
* 三鍵滑鼠：左右鍵加中鍵，早年 PC 上曾廣泛使用，現已甚少出現。
* 三鍵滾輪滑鼠：左右鍵加上下捲動的滾輪，含整合中鍵功能的後期滾輪，Windows 95 出現以後的主流滑鼠。
* 五鍵滾輪滑鼠：新增第四鍵及第五鍵 —— 主要功能為左 / 右方向捲動，多在生產力職業上工作。Windows 作業系統稱之為 XBUTTON1 與 XBUTTON2。
* 多鍵滾輪滑鼠：五鍵以上滑鼠，為某些特定功能、遊戲比賽或環境設計，可以用驅動程式進行功能編輯。

### 有線傳送方式滑鼠

* USB
* PS/2 介面
* RS232

### 無線傳送方式滑鼠

* 紅外線
  * 27MHz 射頻（無線電頻率）
  * 40/49MHz 射頻（無線電頻率）
  * 315/433MHz 射頻（無線電頻率）
  * 2.4GHz 射頻（無線電頻率）

* 藍牙

### 功能區分

* 標準滑鼠（Standard Mouse）：一般標準 3/ 5 鍵滾輪滑鼠。
* 辦公滑鼠（Office Mouse）：軟、硬體上增加 Office/ Web 相關功能或是快速鍵的滑鼠。
* 簡報滑鼠（Presentation Mouse）：為增強簡報功能開發的特殊用途滑鼠，例如雷射點指示、幻燈片翻頁等功能。
* 遊戲 / 電競滑鼠（Gaming Mouse）：專為遊戲玩家設計，能承受較強烈的操作，解析度範圍較大，特殊遊戲需求軟硬體設計，還有配重塊放置其中。

## 質感和操作性

操作滑鼠時游標的準確性，還取決於感應器（滾輪或光學感應）與握持部位之間的關係，通常是感應器稍後於握持部位為佳。設計不良的滑鼠，無法引導使用者以較舒適的方式使用滑鼠，或指標的準確性不佳，容易點錯。滑鼠表面常有一層烤漆或其它物質，大多只是為了美觀，有時是為了止滑。滑鼠表面上的這些物質，很容易因操作滑鼠時的頻繁摩擦而脫落；因此滑鼠一開始很美觀，但脫落以後就非常醜。按鍵方面，有的滑鼠會發出很大的喀咑聲，按鍵較硬，不易按下；有的聲音較小，按鍵較軟。滾輪和按鍵類似，較鬆的滾輪在滾動時，會感到不靈敏。此外，有些滑鼠會加上金屬塊，增加滑鼠的重量，以模仿逐漸淘汰的機械滑鼠。但這卻會增加了原本就可以減去的負擔。滑鼠各個按鍵通常使用相同的元件，但各個按鍵的使用頻率卻可以有極大的差異，結果時常因為某一顆按鍵壞了（通常是滑鼠左鍵或滾輪），就要換掉整個滑鼠。滑鼠的操作性大多和使用者的使用習慣有關，滑鼠的使用本身就需要某種程度的適應；外觀和質感等，也取決於使用者的偏好傾向。

平整、光滑、整潔的工作表面最適於滑鼠的操作，如以下所述的工作面可支援機械滑鼠的操作：

* 光滑的木板表面
* 玻璃表面
* 搪瓷表面
* 塑料製品表面
* 硬紙面
* 金屬製品表面

粗糙的表面會占附一些污染物如：灰塵、石蠟、碎屑等，這些東西會影響機械滑鼠內部圓球在平面上的定位，如桌面的水滴或其他污染物、灰塵等。一個較深的凹槽會導致滑鼠發生一些奇怪的操作。

## 主要品牌

* DragonWar
* 羅技
* 微軟
* Razer
* 技嘉科技
* 曜越科技
* 蘋果公司
* Saitek
* Cherry
* SteelSeries
* 昆盈（Genius, 並已購併滑鼠的先驅之一 Mouse Systems Corporation）
* 新貴實業
* 雙飛燕
* 佳士奇（JASCHY）
* 雷柏科技
* 惠普
* 戴爾

## 參考資料
计算模型

**運算模型**（英語：Computational model）是運算科學中的一個數學模型，它使用大量的運算資源來用計算機模擬研究一個複雜系統的行為。被研究的系統通常是一個複雜的非線性系統，這種系統不易取得簡單、直觀的解析解。相比於推導數學分析來解決問題，它是通過在計算機中調整系統參數並研究實驗結果的差異來完成模型。模型的操作理論可以從這些實驗來推斷 / 推導。

常見的運算模型有天氣預報模型、地球模擬器模型、飛行模擬器模型、分子蛋白質摺疊模型和神經網絡模型。

## 參見

* 個體為本模型
* 人工神經網絡
* 計算語言學
* 決策場理論
* 動力系統認知模型
* 膜運算
* 本體 (信息科學)
* 程式語言理論
* 代理模型
* 玻爾模型
* 微尺度和宏觀模型
计算模型_(数学)

在可計算性理論和計算複雜性理論中，**計算模型**（**model of computation**）描述了如何根據一組輸入值計算得出輸出值，也包含了負責運算、儲存和通訊等結構的具體組織方式。它可以用於測量一個演算法在時間和 / 或空間上的複雜度。通過計算模型的抽象化總結，我們可以分析出演算法的效能，而避免在具體程式層面，被不同的技術和實現方式造成的效能差異所誤導。

## 模型

計算模型可以分為三大類：順序模型，函數式模型，以及同步模型。

順序模型：

* 圖靈機
* 有限狀態機

函數式模型：

* 遞迴函式
* Λ 演算
* 組合子邏輯
* 細胞自動機
* 抽象重寫系統

## 使用

在演算法分析領域，研究者們通常用具有單位成本的原始操作（也稱**單位成本操作**），定義一個計算模型。一個常見例子是隨機存取機器，它讀取和寫入其任何儲存單元的操作，都有著單位成本。在這方面，它與圖靈機模型不同。

在模型驅動工程中，計算模型解釋了整個系統的行為是如何由每個組件的行為所共同造成的。

一個經常被忽略的關鍵點是，一些已知計算複雜度下限的問題是由較為局限的運算集得出的，實踐中可使用的運算集可能更加廣泛而強大，因而一些演算法的實際效能，可能比高度抽象的計算模型得出的結果要好。

## 分類

計算模型有很多，它們在各自容許的運算集和計算成本方面不同。它們可以被分為幾大類：抽象機器和與其等同的模型（例如 Λ 演算相當於圖靈機），用於可計算性、演算法計算複雜性上限的證明；還有決策樹模型，用於證明演算法問題計算複雜度的下限。

## 參見

* 堆疊結構機器（零運算元機器）
* 累加器（一運算元機器）
* 暫存器機（二、三、… 運算元機器）
* 隨機存取機器
* 細胞探針模型

## 參考資料

## 拓展閱讀

* Fernández, Maribel. Models of Computation: An Introduction to Computability Theory. Undergraduate Topics in Computer Science. Springer. 2009. ISBN 978-1-84882-433-1.
* Savage, John E. Models Of Computation: Exploring the Power of Computing. 1998 [2016-12-23]. （原始內容存檔於 2016-10-12）.
计算流体力学国防科技重点实验室

**國家計算流體力學實驗室**（National Laboratory for Computational Fluid Dynamics）又稱**計算流體力學國防科技重點實驗室**，是位於北京航空航天大學的國防科技重點實驗室，由總裝備部領導、北京航空航天大學與中國空氣動力研究與發展中心共同承建。1990 年代初 863 計劃首屆航天領域專家委員會決定組建國家計算流體力學實驗室，1994 年 5 月由國防科工委批准，1998 年 4 月建成並對外開放。

實驗室的研究方向包括計算理論、流動機理研究、飛行器空氣動力學等。

實驗室主任為中國工程院院士李椿萱。

## 參考文獻
计算物理

**計算物理學**（英語：Computational physics）是研究如何使用數值方法分析可以量化的物理學問題的學科。
歷史上，計算物理學是計算機的第一項應用；目前計算物理學被視為計算科學的分支。

計算物理有時也被視為理論物理的分支學科或子問題，但也有人認為計算物理與理論物理與實驗物理聯繫緊密，又相對獨立，是物理學第三大分支。

## 背景

在物理學中，要求基於各種數學模型的理論，都能夠對這些理論所描述的系統的行為給出精確的描述。不幸的是，很多問題無法得到精確解（即解析解），或求精確解的過程過於複雜。（比如，古典力學中的多體問題。量子力學中，除少數極端近似的大多數問題。）此時，將會使用數值近似的方法來求解這類問題。計算物理學就是這樣一門數值近似的學科，它使用計算有限的計算步數（往往計算量很大）與簡單的數學方法（算法），利用計算機操作、演算，得到相應的近似解與相應的逼近誤差。

### 物理學中的地位

計算物理學在物理學中的地位目前存在著爭議 。有時候它被視作理論物理的重要工具，有時也被看做一種「計算機實驗」 ，同時也有人將其看作介於理論物理與實驗物理之間的第三條物理學分支。考慮到計算機也同時被應用於記錄實驗數據並進行相應分析，它也可能不應被單純地歸類為計算科學。

## 問題與挑戰

即使使用了計算物理方法，物理問題也時常難以求解。這通常由如下幾個（數學）原因造成：缺少相應算法、無法對數值解進行相應分析、複雜度過高和混沌現象。比如，史塔克效應現象中電子波函數的求解（量子力學中，當原子處在強電場時，電子行為會發生相應變化），將需要一套很複雜的算法才能求解（目前只能求解其中的一部分情況）；有些問題，則必須使用暴力計算或者時間空間複雜度很高的算法，比如一些複雜方程式的求解和圖形化方法。有時也會需要使用數學中的微擾理論（如量子力學中的微擾理論）進行近似求解，比如上面提到的史塔克效應。

此外，量子力學中很多問題的解是指數形式的，其數值解也會相應地發生指數暴增；此外，宏觀系統往往包含 1023 數量級巨大的分子數目，也提高了模擬計算的難度。

最後，很多物理系統本質上是非線性的，甚至是混沌的。這也使得我們難以確定計算機得到的「解」是否是由數值近似帶來的逼近誤差本身造成的。

## 方法與算法

由於計算物理學可以研究的問題十分廣泛，人們通常按照其解決的數學問題或使用的數學方法來分類，一般可歸類如下：

這些方法被用來研究所建模系統的物理特性。

計算物理學也時常受到計算化學的影響，比如固態物理學家利用密度泛函理論研究固體的物理特性的方式，與化學家研究分子行為的方式基本一致。

此外，計算物理學研究也需要相應的軟體與硬體來支撐，有時會需要超級計算機和高性能運算的相關技術支持。比如熱核融合的研究中就使用了超級計算機來模擬電漿行為。

## 分支與交叉

幾乎所有物理學的主要分支都能在計算物理學的應用中找到一席之地，比如計算力學、計算電動力學、計算電漿等。計算力學又由計算流體力學（CFD）、計算固體力學、計算接觸力學組成。而計算流體力學與計算電動力學又共同促成了計算磁流體力學。量子力學 N 體問題中，當 N 趨近於無窮大時就變成了計算化學問題。
作為計算物理重要分支的計算固體物理，又直接應用於材料科學。

一個與計算凝聚體物質特性相關的分支叫做計算統計力學，用於解決其他方法難以解決的一些問題（比如滲透過濾、磁旋等）。

計算天體物理學，乃是對於天體物理學問題所進行的技術與方法。

## 應用

主要用於解決計算物理學的問題，應用在物理學不同領域皆，現代物理學研究的重要組成部分。如：加速器物理學、天體物理學、流體力學（含：計算流體力學）、晶體場理論 / 格點規範理論（尤其是格點量子色動力學）、電漿（見：電漿模擬）、模擬物理系統（應用在分子動力學）、蛋白質結構預測、固體物理學、軟物質等諸多物理學之領域。

計算化學在固態物理學，例如用密度泛函理論計算固體的特性，是一種類藉助於計算化學理念研究來研究固體分子的物理特性的策略，以及參與其他大量的固體物理學計算。又如電子能帶結構和磁性能，電荷密度可以通過這幾種方法計算，包括盧京格爾科恩–模型 /K・p 微擾理論和從頭計演算法。

## 應用軟體

計算物理常用軟體主要為 Matlab、和 Mathematica 和 Maple 等數值計算軟體，這些軟體提供了大量求解常見計算物理問題的工具，供使用者直接應用。常見的高級語言也可以實現相同的計算功能，有時甚至能夠更高速完成任務，但這也需要相應的編程技巧與計算物理知識作支撐。

## 參見

* 數學物理
* 第一原理計算
* 分子動力學

## 參考資料

## 外部連結

* C20 IUPAP Commission on Computational Physics（頁面存檔備份，存於網際網路檔案館）
* APS DCOMP（頁面存檔備份，存於網際網路檔案館）
* IoP CPG (UK)（頁面存檔備份，存於網際網路檔案館）
* SciDAC: Scientific Discovery through Advanced Computing
* Open Source Physics（頁面存檔備份，存於網際網路檔案館）
* SCINET Scientific Software Framework（頁面存檔備份，存於網際網路檔案館）
* 萊斯大學查理德中心（頁面存檔備份，存於網際網路檔案館）
计算理论

**計算理論**（英語：Theory of computation）是數學的一個領域，和電腦有密切關係。其中的理論是現代密碼協定、電腦設計和許多應用領域的基礎。該領域主要關心三個方面的問題：

* 採用什麼計算模型（即形式語言、自動機）
* 解決哪些是可計算的、哪些是不可計算的（即可計算性理論及演算法）
* 要用多少時間、要用多少儲存（即計算複雜性理論）

這三方面的問題可以用一個問題來總括：「電腦的基礎能力及限制到什麼程度？」

計算理論的「**計算**」並非指純粹的算術運算（Calculation），而是指從已知的輸入透過演算法來取得一個問題的答案（Computation），因此，計算理論屬於理論計算機科學和應用數學。

為了對計算進行嚴謹的研究，電腦科學家會將計算以數學的方式抽象化，稱為計算模型。有幾種目前在使用的計算模型，其中最出名的是圖靈機。電腦科學家研究圖靈機的原因是它很容易敘述，可以分析，用來證明結果，而且用此模式呈現了許多強而有力的計算模型（參照邱奇－圖靈論題）。圖靈機有潛在的，數量無限的記憶能力，這似乎是不可能達到的，不過所有圖靈機解決的可判定性問題都只需要有限量的記憶能力。因此理論上，任何可以用圖靈機解決的（可判定性）問題都只需要有限量的記憶能力。

## 歷史

計算理論早在所有計算機發明之前便開始了，當時是使用數理邏輯，在 20 世紀此理論和數學分離，成為一個獨立的學科。

計算理論早期的重要貢獻者有阿隆佐・邱奇、庫爾特・哥德爾、艾倫・圖靈、史蒂芬・科爾・克萊尼、約翰・馮・紐曼及克勞德・香農等。

## 參考資料

## 參見

* 計算複雜性理論
* 可計算性理論
* 圖靈機
* 最佳化問題

## 外部連結

* Theory of Computation（頁面存檔備份，存於網際網路檔案館） at MIT
* Theory of Computation（頁面存檔備份，存於網際網路檔案館） at Harvard
* Computability Logic - A theory of interactive computation. The main web source on this subject.
计算理论期刊

**計算理論期刊**（Theory of Computing）是一份網際網路上的開放獲取期刊，領域為計算理論專業。這份期刊創刊於 2005 年，主要緣起於時下全世界的大學圖書館面對一這些由商業學術出版公司所出版的科學期刊 (Scientific journal) 日漸提高的訂閱費用，以致造成財政上的不堪負荷，故創立此刊物，幫組降低獲取信息的成本。

期刊由芝加哥大學電腦科學系的人員主辦，2006 年的編輯為拉斯洛・拔拜 (László Babai)。

## 參見

* 開放獲取期刊列表
* INFOCOMP 電腦科學期刊

## 外部參考鏈接

* （英文）計算理論期刊網站：計算理論期刊 - 開放獲取 （頁面存檔備份，存於網際網路檔案館）
计算生物学

**計算生物學**（Computational Biology）是生物學的一個分支。根據美國國家衛生研究所（NIH）的定義，它是指開發和應用數據分析及理論的方法、數學建模和計算機仿真技術，用於生物學、行為學和社會群體系統的研究的一門學科。該領域被廣泛定義，包括計算機科學，應用數學，動畫，統計學，生物化學，化學，生物物理學，分子生物學，遺傳學，基因組學，生態學，進化，解剖學，神經科學和科學可視化的基礎。

計算生物學與生物計算學不同，生物計算是計算機科學和計算機工程的子領域，使用生物工程和生物學建造計算機，但是類似於生物信息學，這是一個跨學科的科學，使用計算機存儲和處理生物數據。

## 學科歷史

## 主要研究內容

### 生物序列的片斷拼接

### 序列比對

序列比對所研究的基本問題是兩個或多個序列間的相似性。序列比對是計算生物學的基本問題之一。對序列的兩兩比對，已經有了基於動態規劃的較成熟的算法以及建立在此基礎上的軟體包 BLAST。對於兩個序列的局部比對問題，可以用史密斯 - 沃特曼算法來解決。多重序列的比對目前還缺乏快速並且十分有效的算法。

### 基因識別

### 進化樹的構造

### 蛋白質結構預測

## 應用

## 與生物信息學的區別與聯繫

某些人將計算生物學作為生物信息學的同義詞處理；但是另外一些人認為計算生物學和生物信息學應當被作為不同的條目處理，因為生物信息學主要側重於對生物學中所得信息的採集、存貯、分析處理與可視化方面，而計算生物學主要側重於使用計算技術對生物學問題進行研究方面。

## 參見

* 生物信息學

## 參考文獻

## 外部連結

* 國際計算生物學會（頁面存檔備份，存於網際網路檔案館）
* 美國國家生物技術信息中心（頁面存檔備份，存於網際網路檔案館）
* NIH BISTI（頁面存檔備份，存於網際網路檔案館）
* 北京大學理論生物學中心
* 台灣計算生物學會（頁面存檔備份，存於網際網路檔案館）
* 中國科學院 - 馬普學會計算生物學夥伴研究所（頁面存檔備份，存於網際網路檔案館）
计算的形式化定义

設 M= ( Q, Σ,δ,q0,F) 是一台有窮自動機，ω=ω1 ω2⋯ωn 是一個字符串並且其中任一 ωi 是字母表 Σ 的成員。如果存在 Q 中的狀態序列 r0 ,r1,⋯,rn, 滿足下述條件： 

1）r0=q0 

2)δ(ri, ωi+1)=ri+1, r=0,1,⋯,n-1
  

3)rn∈F
  
則 M 接受 ω. 
條件 1 說機器從起始狀態開始。條件 2 說機器按照轉移函數從一個狀態到另一個狀態。條件 3 說如果機器結束在接受狀態，則接受它的輸入。如果 A={ω|M 接受 ω}，則稱 M 識別語言 A。

1. （美）西普賽 (Sipser, M.) 著；唐常傑等譯。计算理论导引（第二版）. 北京：機械工業出版社. 2006 年 7 月: 24 [2012-08-12]. ISBN 7-111-19028-9.
计算科学

**運算科學**，又稱**科學運算**，是一個與數學模型構建、定量分析方法以及利用電腦來分析和解決科學問題相關的研究領域。在實際應用中，運算科學主要應用於：對各個科學學科中的問題，進行電腦類比和其他形式的運算。

這一領域不同於電腦科學（對於運算、電腦以及資訊處理的研究），同時也異於科學和工程學的傳統形式 —— 理論與實驗。科學運算技術要想獲得理解，主要需要通過在電腦上實現的數學模型進行分析。

科學家和工程師發展了電腦程式和應用軟體，來為被研究的系統建立模型，並以多種輸入參數運行這些程式。一般來說，這些模型需要大量的運算（通常為浮點運算），常在超級電腦或分散式運算平台上執行。

數值分析是運算科學中使用的技法的重要基礎。

## 應用

運算科學的問題域包括：

### 數值類比

數值類比有各種不同的目的，取決於被類比的任務的特性：

* 重建和理解已知事件（如地震、海嘯和其他自然災害）。
* 預測未來或未被觀測到的情況（如天氣、亞原子粒子的行為）。

### 模型擬合與資料分析

* 適當調整模型或利用觀察來解方程式，不過也需要服從模型的約束條件（如石油勘探地球物理學、計算語言學）。
* 利用圖論建立網路的模型，特別是那些相互聯絡的個人、組織和網站的模型。

### 運算最佳化

* 最佳化已知方案（如工藝和製造過程、前端工程學）。

## 方法和演算法

運算科學中的演算法和數學方法是多樣的，常用的應用方法包括：

* 數值分析
* 作為收斂和漸近級數的泰勒級數的應用
* 利用自動微分運算微分
* 利用有限差運算微分
* 圖論集
* 憑藉泰勒級數和理查森外推法進行高階微分逼近
* 均勻網格上的積分方法：矩形法、梯形法、中點法和辛普森積分法
* 龍格－庫塔法解常微分方程式
* 蒙地卡羅方法
* 分子動力學
* 數值線性代數
* 用高斯消去法運算 LU 因子
* 喬里斯基分解
* 離散傅立葉轉換及應用
* 牛頓法
* 動態系統的時步法

程式設計語言普遍應用於科學運算應用中偏向數學的方面，包括 R 語言、MATLAB、Mathematica、Scilab、GNU Octave、COMSOL Multiphysics、SciPy 的 Python 語言等。偏向於密集型運算的科學運算常會利用 C 語言或 Fortran 的一些變體以及 BLAS 或 LAPACK 等最佳化代數庫。

運算科學應用程式常常建立真實世界變化情況的模型，包括天氣、飛機周圍的氣流、事故中的汽車車身變形、星系中恆星的運動、爆炸裝置等。這類程式會在電腦記憶體中建立一個「邏輯網格」，網格中的每一項在空間上都對應一個區域，並包含與模型相關的那一空間的資訊。例如在天氣模型中，每一項都可以是一平方千米，並包含了地面海拔、當前風向、溫度、壓力等。程式會在類比時步中基於當前狀態運算出可能的下一狀態，解出描述系統運轉方式的方程式，然後重複上述過程運算出下一狀態。

「計算科學家」一詞常用於描述科學運算領域中的技能高超者。他們通常是科學家、統計學家或應用數學家，會以不同方式應用高效能電腦，以提高他們各自的應用學科（如物理學、化學或工程學的相關學科）中最先進的理論和技術水平。科學運算也對經濟學、生物學及醫學等領域有著越來越大的影響。

運算科學常被認為是科學的第三種方法，是實驗 / 觀察和理論這兩種方法的補充和擴充。
運算科學的本質是數值演算法以及計算數學。在發展科學運算演算法、程式設計語言的有效實現以及運算結果確認上，人們已經做出了實質性的努力。運算科學中的一系列問題和解決方法都可以在相關文獻中找到。

## 教育

在應用數學或電腦科學的教學大綱中，或是在標準的數學、科學或工程學的教學大綱中常會有運算科學的相關課程。在一些研究型學府中，科學運算可以作為另一個同層次或不同層次主修專業的輔修專業。不過近年來，歐美的運算科學專業學士和碩士學位獲得者正在不斷增加，一些學校還設有運算科學、運算工程學、運算科學與工程以及科學運算專業的博士點，而大中華地區的很多學校也開設了資訊與運算科學的本科專業。

運算物理學、運算化學等專業也有一些學校開設。

## 相關領域

## 參見

* 統計運算 （statistical computing）
* 電腦代數系統比較
* 統計軟體列表
* 分子力學建模軟體列表
* （英文）運算科學策略報告

## 參考文獻

## 外部連結

* Links to Downloadable Computational Tools
* Journal of Advanced Research in Scientific Computing
* SIAM Journal on Scientific Computing
* _Computing in Science & Engineering_ magazine
* Scientific Computing magazine
* Educational Materials for Undergraduate Computational Studies
* Brockport State College Computational Science B.S. program, with reports
* The Institute for Computational Science & Engineering |ICSE| at the University of Michigan
计算科学家

**計算科學家**（英語：computational scientist）是指一類具有資深信息與計算科學，統計學，應用數學等知識，並從事相關研究的人物。計算科學家是科學計算的專業人員，通常是科學家，統計學家或應用數學家，以不同的方式應用高性能計算，有時雲計算來推進各自應用學科的最新技術。因此，科學計算越來越多地影響了許多領域，例如經濟學，生物學，法律和醫學等等。因為計算科學家的工作通常適用於科學和其他學科，所以他們不一定專門接受計算機科學的培訓（儘管經常使用計算機科學的概念）。計算科學家通常是研究人員在學術大學，國家實驗室或公司。
計算科學常被認為是科學的第三種方法，是實驗 / 觀察和理論這兩種方法的補充和擴展。
計算科學的本質是數值算法以及計算數學。在發展科學計算算法、程序設計語言的有效實現以及計算結果確認上，人們已經做出了實質性的努力。計算科學中的一系列問題和解決方法都可以在相關文獻中找到。

## 代表人物

* 曾勻
* 范劍青

## 參見

* 信息與計算科學
* 數據科學家
* 統計學習理論
* 機器學習
* 人工智慧
* 運算學習論
* 超級計算機
* 雲計算
* 計算機科學家

## 外部連結

* Links to Downloadable Computational Tools
* Journal of Advanced Research in Scientific Computing
* SIAM Journal on Scientific Computing
* _Computing in Science & Engineering_ magazine
* Scientific Computing magazine
* Educational Materials for Undergraduate Computational Studies
* Brockport State College Computational Science B.S. program, with reports
* The Institute for Computational Science & Engineering |ICSE| at the University of Michigan
计算素

**計算素**（英語：computronium）是美國麻省理工學院科學家諾曼・馬哥勒斯與托馬索・托福利提出的一個概念，指能作為可程式物質的假想材料，即可以用於模擬任何真實事物的基質。

此外，計算素還可以指物質的一種理想狀態，在此狀態下該物質能夠達到最優化、最有效的計算能力。

這一概念在科幻作品中十分常見，如道格拉斯・亞當斯所著的《銀河系漫遊指南》中就把整個地球作為一個可程式物質，用來尋找生命、宇宙以及任何事情的終極答案。

## 參見

* 難得素

## 參考文獻
计算群论

在數學中，**計算群論**是一種用計算機研究群的理論，它涉及設計和分析算法和資料結構以計算有關群的信息。人們研究這個理論目的是因為對於許多有趣的群來說，比如大多數散在群，手工計算群的相關信息是不切實際的。而且即使是比較簡單的有限群的
中心 (群論) 和正規子群，使用枚舉算法可以大大縮短時間。

計算群論中的重要算法包括：

* 用於查找置換群階的 Schreier–Sims 算法。
* 用於陪集枚舉的 Todd–Coxeter 算法和 Knuth–Bendix 算法。
* 用於查找組中隨機元素的乘積替換算法。

計算群論的兩個重要計算機代數系統 (CAS) 是 GAP 和 Magma 。從歷史上看，其他系統如 CAS（特徵理論）和 Cayley （Magma 的前身）也很重要。

* 小於 2000 階的所有有限群的完整枚舉
* 計算所有散在群的群表示

## 最近的發展

數學家最近使用計算群論來簡化有限單群分類的冗長證明。比如使用範疇論的理論方法實現麥可・阿什巴赫在 Fusion Theory 提出的簡化計劃，現在的具體方法是通過 MAGMA 算法解決較小階的 p 群問題。

## 有趣的網站

* GroupNames, 這個網站有小於 240 階的群的表示和對應的 GAP 和 Magma 的代碼。[1]

## 參考文獻

* Derek F. Holt, Bettina Eick, Eamonn A. O'Brien, "Handbook of computational group theory", Discrete Mathematics and its Applications (Boca Raton). Chapman & Hall/CRC, Boca Raton, Florida, 2005.  ISBN 1-58488-372-3
* Charles C. Sims, "Computation with Finitely-presented Groups", Encyclopedia of Mathematics and its Applications, vol 48, Cambridge University Press, Cambridge, 1994.  ISBN 0-521-43213-8
* Ákos Seress, "Permutation group algorithms", Cambridge Tracts in Mathematics, vol. 152, Cambridge University Press, Cambridge, 2003.  ISBN 0-521-66103-X.
计算能力

**計算能力**是指一個人是否能理解簡單數字以及對相應數字進行推理和應用的能力。 如果一個人能理解包括加法、減法、乘法和除法在內的基本的算術運算，那麼就可以說這個人掌握了基本的計算能力。如果一個人對測量、幾何、概率和統計等方面比較熟悉，那麼這個人的計算能力相對於普通人則是更勝一籌。 如果一個人的計算能力比較糟糕，那麼這種情況可能不利於其本人的長遠發展。例如金融領域的工作就要涉及到很多計算方面的問題，那麼這類人就不適合從事這方面的工作。 

## 參考文獻
计荣森

**計榮森**（1907 年 —1942 年），字**曉清**，男，浙江慈谿人，中國古生物學家、地質科技文獻信息專家，曾任中央地質調查所古生物研究室無脊椎古生物研究組主任。

## 參考資料
计谋

**策略**、**戰略**、**計策**、**謀略**、**計謀**、**詭計**等近義詞一般意思是為實現任務而制定和採取的行動方針和手段。

**策略** / **戰略**（通常可以互換著使用）還可以指：

* 策略 (博弈論)：博弈論中的策略
* 策略 (西洋棋)：西洋棋中的策略
* 營銷戰略：市場行銷中的策略
* 軍事戰略：軍事上的戰略
  * 大戰略：高級別、國家性的（通常為軍事上的）戰略
* 戰術：取得小規模勝利或實現小規模優化的技術，可視為小範圍、低層面的戰略
  * 軍事戰術：軍事上的戰術，可視為低層面的軍事戰略
* 決策：心理學上，人做出選擇的認知過程

**計策**還可以指：

* 計策縣：越南朔莊省下轄的一個縣

**計謀**、**計策**還可以指：

* 兵法：帶兵打仗的方法
  * 三十六計：著名兵法書

**攻略**一般指：

* 攻略本：電子遊戲的提示、指引、說明

**詭計**一般指帶貶義的計謀、策略。它還可以指：

* 詭計：推理小說中的犯罪手法
  * 敘述性詭計：推理小說的一種誤導讀者的寫作手法
* 詭計者（英語：trickster；或譯「搗蛋鬼」）：神話、宗教、民間故事中的善於惡作劇、反世俗傳統的角色
计谦亨

**計謙亨**（1535 年 —？），字**光甫**，廣西柳州府馬平縣人，民籍，明朝政治人物。

## 生平

廣西鄉試第二十六名舉人。嘉靖四十四年（1565 年）中式乙丑科三甲第二百零五名進士。刑部觀政，本年授汀州府推官，丁憂。復除揚州府。升兵部主事，歷員外、郎中，出知台州府，調辰州府，聽調歸。

## 家族

曾祖計資；祖父計宗文；父計嘉邦，通判。母方氏。兄計坤亨（河南僉事）、履亨（庠生）、弟萃亨（監生）、兌亨（庠生）、節亨、元亨（庠生）、濟亨、貞亨（庠生）、豐亨、咸亨。

姐計氏，嫁王尚學的兒子王化為妻；兄計坤亨，國子博士。

## 參考文獻
计里画方

**計里畫方**為古代中國地圖學的一種傳統定量製圖方法，此種製圖方法先在地圖上按照一定的比例關係繪成方格坐標網，以此來控制地圖上各要素的方位和距離。計里畫方法一直使用至清代，在地圖投影法和經緯度製圖傳入之前是中國科學性最強的製圖方法。這一方法於 13 世紀傳到西方，被阿拉伯和義大利的地圖學學者所採用，其建立的坐標體系被李約瑟稱之為**定量方格坐標網**。

## 起源

關於方格坐標的起源主要有四種說法，第一種認為可能與井田制有關，第二種認為可能與《禹貢》中同心正方形觀念有關，第三種則認為源於古代絹畫地圖中絹的縱（經）、橫（緯）兩種線，可能使人聯想到以此可以決定地圖上一個地點的位置，最後一種則認為是為了便於拼圖，如中央政府將各地方所呈上的地圖拼合成全國地圖。

清初以來眾多中西學者認為計里畫方始於西晉地圖學家裴秀，但缺乏實物資料和有關文字記載佐證。現代一些觀點則認為計里畫方為裴秀製圖六體中「分率」的一種表現形式，而設分率的地圖未必畫方。

## 製圖原理

基於中國古代以天圓地方為主的思想觀念，計里畫方的基本製圖原理是將地表面視為平面，不考慮地表曲率。這與現代地圖學以地表面為球面截然不同，因此中國傳統地圖學並沒有以球面為基礎而發展出經緯線投影，古代地圖學家也沒有經緯度的概念。

計里畫方採用正方方格作為網格，每一方格的邊長相當於地圖的比例尺，因此使用這一方法繪製的地圖常有類似於「每方折地百里」、「方括十里」的文字說明，即縮制的比例。利用方格網的控制，需要繪製的地理要素被按一定比例縮制到地圖上，並用各種線條、符號、顏色與註記表示，各要素之間的距離即為水平直線距離，可以量度。由於忽略地表曲率，離測繪中心越遠則製圖誤差越大，但在繪製小範圍地圖時誤差可以忽略不計，從而具有一定的準確度。與此同時，基於中國古代繪製地圖的目的，其變形也並沒有成為一個嚴重的問題。

## 著名實例

裴秀及追隨者賈耽所繪地圖皆已失傳，元代及以前所流傳下來的中國古代地圖中，採用計里畫方法繪製的地圖實例極為罕見，大部分屬於沒有確定的比例尺、非定量的描述式地圖（或稱形象畫法地圖）。

現存最早的實例為南宋石刻《禹跡圖》，為劉齊阜昌七年（南宋紹興六年，1136）四月刻石，此圖為全國地圖，刻有山川、州郡等地理要素，其長寬各約 0.77 米，上有水平方格 70 格，垂直方格 73 格，共計 5110 個方格（海洋部分未繪出方格），並標有「每方折地百里」，全圖所涵蓋的總面積約 1278 萬平方公里，其中的海岸線輪廓和黃河等河流的形狀已與現代地圖十分相似。

另一個著名的實例為明代羅洪先根據元代朱思本《輿地圖》（原本已失傳）改制增廣而成的《廣輿圖》，最初刊行於明嘉靖三十四年（1555），為一部分省地圖集，共 45 幅，初刻版開本為正方形，圖幅縱 34.5 厘米，橫 35.5 厘米，其中輿地總圖採用每方折地 500 里，分省圖（兩直隸十三布政司圖）採用每方折地 100 里，其餘分別用每方折地 40 里、80 里、200 里、400 里、500 里等。圖上各省的輪廓已接近現代地圖，此圖也成為晚明和清初眾多地圖的藍本。

## 注釋

　

## 參考文獻
计重秤

**計重秤**，俗稱**秤**、**稱**或**磅**，泛指量度物體質量的工具，間中也會用作測量力量。

使用槓桿原理的天平是最原始的計重秤。現在的計重秤已經電氣自動化。

## 參見

* 天平
* 秤

## 外部連結

* 關於珍貴項鍊的秤量 阿卜杜勒 - 拉赫曼・AL-Jabarti 「設計經營」的尺度是一個 18 世紀的阿拉伯語手稿
计量单位

**單位**係指給定的某一基礎物理量，單位的給定皆屬人為。常伴隨著某種表示法，例如公尺、秒、公斤等，以方便人們在溝通某一量時有共通的概念。

**計量單位**（英語：unit of measurement）又稱**度量單位** （頁面存檔備份，存於網際網路檔案館），為單位的具體統稱，為人類計算一個數額的方法。例如，在數字中，單位一般為「1」；在計算長度的時候，單位可以是「奈米」、「公釐」、「公分」、「公寸」、「米」、「公里」、「光年」等；在計算時間的時候，單位可以是「微秒」、「秒」、「分鐘」、「時」、「日」、「星期」、「月」、「年」、「世紀」等。

## 單位制

由選定的基本單位和它們的導出單位組成的一系列量度單位的總稱。

## 基本單位

各種物理量都有它們的量度單位，並以選定的物質在規定條件下所顯示的數量作為基本量度單位的標準，在不同時期和不同的學科中，基本量的選擇何以不同。如物理學上以時間、長度、質量、溫度、電流強度、發光強度、物質的量這 7 個物理單位為基本量，它們的單位依次為：秒、米、公斤、克耳文（克氏）、安培、燭光、莫耳。

## 導出單位

由於基本量根據有關公式推導出來的其他量，叫做導出量。導出量的單位叫做導出單位。如速度的單位是由位移和時間單位組成的用「m/s」表示。

## 組合單位

由其他量的單位組合而成的單位叫做組合單位。如壓力的單位帕斯卡（Pa）可以用力的單位牛頓（N）和面積的單位平方公尺（m2）組成，即：牛頓 / 平方公尺（N/m2）。

## 計量單位混淆引發的事故和災難

* 火星氣候軌道器墜毀事故：因噴氣推進實驗室與承包商洛馬公司之間將英制單位，公制單位混淆，致使軌道器在入軌火星時進入了錯誤的軌道，最終在稠密的火星大氣中解體。
* 加拿大航空 143 號班機事故：因機組人員加油時混淆英製與公製造成飛機飛行中燃料耗盡，最後滑翔降落在一個廢棄軍用機場
* 大韓航空 6316 號班機空難：機組人員誤將 1500 公尺理解為 1500 英尺而貿然操縱飛機下降以致飛機失速墜毀

## 備註

## 參見

* 度量衡
* 國際單位制
* 國際單位制詞頭
* 漢語外來詞
* UCUM
* 長度
* 計量

## 參考文獻

## 外部連結

* 羅馬（即奧斯曼）和埃及度量衡之間的算術轉換習慣（頁面存檔備份，存於網際網路檔案館） 從 1642 年的手稿，在阿拉伯語中，這是有關單位的測量.
计量单位制

**計量單位制** （頁面存檔備份，存於網際網路檔案館）（system of measurement units）又稱**計量系統**（system of measurement），簡稱**計量制**、**單位制**（system of units），是計量單位和它們彼此相關規則的集合。 為了科學和商業的目的，歷史上計量系統一直是重要的，受到管制和定義的。現代使用的計量系統包括公制，英制和美制。中國傳統的計量單位制叫度量衡。

## 歷史

法國大革命引發了衡量標準體系公制，並且已經遍布全球，取代了大多數慣用的衡量單位。在大多數系統中，長度（距離），質量和時間是**基本量**。

後來的科學發展顯示，可以加入電荷或電流來擴展基本量的集合，通過這些基本量可以方便地定義許多其他的計量單位。（然而，這樣的集合對於電子單位並不是必備的。例如，高斯單位僅有長度、質量和時間作為基本量，而安培是以其他的單位定義的）。至於其他的量，例如功率和速度，是來自基本量的集合：例如，速度就是每單位時間的距離。 以歷史來說，各種各樣不同的單位使用了相同類型的量：在不同的背景下，長度以英寸，英尺，碼，英尋，桿，鏈，浪，英里，海里，里格，而且它們彼此之間的轉換倍數並不是以 10 的指數。這種情形在它們自己的情況下是符合要求的。

使用更加普遍和一致的系統（基於更合理的基礎單位）的偏好只會隨著科學的發展而更加地擴散。 改變計量系統具有大量的財務和文化成本，必定會抵消使用更合理的系統所能獲得的優勢。 然而，壓力逐漸增大，包括從科學家和工程師轉變為更合理，也是國際一致的測量基礎。

## 公制

自 1795 年在法國採用第一個明確定義的系統以來，公制已經演變。在這種演變過程中，這些系統的使用遍及全世界，首先是非英語國家，然後是英語國家。

公制單位的倍數和約數乘以 10 的冪相關，並且它們的名稱由詞頭前綴形成。 這種關係與十進位數字系統兼容，它極大地促進了公制單位的便利性。

在早期的公制系統中，有兩個基本單位，長度的米和質量的克。 其他單位的長度和質量，以及所有面積，體積和衍生單位如密度的單位都來自這兩個基本單位。

## 備註

## 參考資料
计量单位统一代码

**計量單位統一代碼**（英文：**Unified Code for Units of Measure**，縮寫：**UCUM**）是一個用於向人和機器明確無歧地表示計量單位的代碼系統。

此代碼集（code set）之中收錄著 ISO 1000、ISO 2955-1983、ANSI X3.50-1986、HL7 以及 ENV 12435 標準之中所定義的全部計量單位，而同時還明確採取可證實的方式，解決了這些標準之中在命名方面所存在的種種矛盾和分歧。UCUM 為機器之間的通訊（machine to machine communication，機器通訊）提供 7 位 ASCII 碼的計量單位表達形式，並且還備有區分大小寫（case-sensitive）與不區分大小寫（case-insensitive）的表達形式之間的明確映射。

目前，存在著一個 Java applet 形式的開源型參考實施（reference open-source implementation，開源型參考實現）。

## 參見

* ISO 1000
* ISO 2955-1983
* ANSI X3.50-1986
* HL7
* ENV 12435

## 參考資料

* UCUM — Regenstrief Institute, Inc. (2008)
* The UCUM, version 1.6 (2005)（頁面存檔備份，存於網際網路檔案館）
* Schadow G, McDonald CJ et al: Units of Measure in Clinical Information Systems. _JAMIA_ 6 (2); Mar/Apr 1999; pages151–162（頁面存檔備份，存於網際網路檔案館）
计量历史学

**計量經濟史**（或者**計量經濟史學**、**數量經濟史**、**計量歷史學**）是歷史學的一種，它運用經濟學理論和計量經濟學的分析方法和工具研究歷史問題，是歷史學和經濟學的結合。

## 學術貢獻

作為歷史學的分野之一，**計量經濟史**側重於研究經濟史，引入了計量經濟學的數理經濟學和定量分析的方法後，使得整個經濟史學界發生了變化。在計量經濟學的幫助下，一些經濟問題和經濟政策在新的角度下被重新審視和研究。美國經濟大蕭條歷史，國際貿易摩擦歷史，貿易政策等問題都有了全新的解讀。

## 計量經濟史學家

計量經濟史的研究者被稱作：計量經濟史學家。計量經濟史最早出現於 20 世紀 50 年代的美國學界，並且越來越多經濟學和歷史學家參與其中。
目前在美國有行業協會：**計量經濟學社**（The Cliometric Society）。英國倫敦政治經濟學院有**倫敦政治經濟學院計量經濟史討論組**（LSE Cliometric Group），提供計量經濟史相關知識的討論課。中國廣東外語外貿大學有**中國計量經濟史研究中心**，進行相關領域的研究。

## 參考文獻

## 外部連結

* 計量經濟學社網站（頁面存檔備份，存於網際網路檔案館）（英語）
* 中國計量經濟史研究中心網站
* 陳志武：〈量化歷史研究的過去與未來（頁面存檔備份，存於網際網路檔案館）〉。
计量地理学

**地理數量方法**（quantitative methods in geography）指的是應用數學方法和電子計算機技術進行地理學研究的一種方法。定量研究的地理學稱為**數量地理學**或**計量地理學**。

## 發展簡史

地理數量方法發軔於 20 世紀 30 年代，1960 年代以前主要是作一般的數理統計工作，其研究成果促進了人們對地理學規律的理論化和數學模型化的研究。

由於長期以來的地理學傳統以對地區的描述為主（區域地理學），數學方法在地理學中的應用較少且簡單。但與此同時，各種社會科學逐漸引入定量研究的方法，進行科學化的嘗試。由於沒有形式化的科學體系，地理學一度面臨危機，一些西方的大學關閉了地理系和地理學課程。1953 年，弗萊德・K・舍費爾發表了《地理學中的例外論：方法論的檢視》（_Exceptionalism in geography: A Methodological Examination_）一文，批判了認為地理學只需要對區域進行描述的例外主義觀點。該論文掀起了地理學中的計量革命，各種量化研究方法相繼引入地理學研究。60 年代起，地理數量方法的研究以地理系統的數學模型和數學模擬技術以及應用計算機和多元分析方法為主的特點。地理學產生了理論性研究與應用性研究的分工，前者側重於地理系統數學模型的建立，後者則側重於多元統計方法和電子計算機技術的應用。

## 主要方法和模型

## 研究內容

* 地理要素的描述統計和數量分析技術；
* 地理系統的分析方法、數學模型的構造和應用、數學模擬 (仿真) 技術；
* 地理資料庫、地理信息系統、專家系統的設計和應用；
* 地理預測和決策的方法、程序和模型；
* 地理學理論表述的數學形式。

## 發展趨勢

地理數量方法和地理學的理論開究在現在地理學的發展中有進一步匯合的趨勢；地理數量方法與生產實踐有進一步結合的趨勢；各類專題性地理數學模型正成為地理數量方法研究的重點方向；一些地理學者已開始研究建立地理數量方法的系統理論。

## 參考文獻

* 《中國大百科全書》地理學卷

## 相關連結

* 一切資料庫 -- 地理數量方法
* 中國大百科在線全文檢索 -- 地理數量方法
计量学

**計量學**（英語：Metrology），又稱**量測學**或**度量衡學**，是一門量度的科學，包括所有理論和實際的量度方法。計量學涵蓋了測量理論與實踐的所有方面，不受其測量不確定度或應用領域的限制。

**計量**是對一物理量（如長度、尺寸或容量等）的估計或測定，通常以一標準或度量衡。計量以數字單位的標準來表示，如距離即以多少哩或多少公里來表示。計量是大部份自然科學、技術、經濟學及其他社會科學中定量研究的基礎。

計量的過程為估計一數量的多寡和相同類型（如長度、時間、重量等）一單位的多寡之間的比例。計量即為此過程的結果，表示為數字加上一個單位，其中實數為估計的比例。如 9 公尺，其便為物體長度和長度單位，即公尺之間的比例。不像計數和整數個數個物體一般地可精確知道，每一個量度都是個存在些許不確定性的估計。量度包括了測量尺度（包括量值）、計量單位及不確定性。透過計量可以比較不同的量測，並且減少誤會。有關計量的科學稱為度量衡學。

## 語源

計量學在英語中稱「Metrology」。Metrology 一詞源自希臘語中的「μέτρον」（英譯為「Measure」，即測量、量度之意） + 「λόγος」（英譯為「logos」，即理法、原理之意）。在古希臘語中，μετρολογία 一詞（英譯為「Metrologia」）意為「比例的理論」。

中國古代稱「計量」為「度量衡」，在近代以後接觸到西方計量概念時間，常以「度量衡」稱之。「計量」一詞可能源於日本。因此「計量學」舊時又被稱為「度量衡學」

## 參考資料

## 參看

* 計量生物學
计量泵

**計量泵** （英語：metering pump，proportional pump）往復泵的一種，利用往復泵流量固定的特點而發展起來的。可以用電動機帶動偏心輪從而實現柱塞的往復運動。偏心輪的偏心度可以調整，柱塞的衝程就發生變化，以此來實現流量的調節。
計量泵主要應用在一些要求精確地輸送液體至某一設備的場合，或將幾種液體按精確的比例輸送。如化學反應裝置一種或幾種催化劑的投放，後者是靠分別調節多缸計量泵中每個活塞的行程來實現的。
计量生物学

**計算生物學**（Computational Biology）是生物學的一個分支。根據美國國家衛生研究所（NIH）的定義，它是指開發和應用數據分析及理論的方法、數學建模和計算機仿真技術，用於生物學、行為學和社會群體系統的研究的一門學科。該領域被廣泛定義，包括計算機科學，應用數學，動畫，統計學，生物化學，化學，生物物理學，分子生物學，遺傳學，基因組學，生態學，進化，解剖學，神經科學和科學可視化的基礎。

計算生物學與生物計算學不同，生物計算是計算機科學和計算機工程的子領域，使用生物工程和生物學建造計算機，但是類似於生物信息學，這是一個跨學科的科學，使用計算機存儲和處理生物數據。

## 學科歷史

## 主要研究內容

### 生物序列的片斷拼接

### 序列比對

序列比對所研究的基本問題是兩個或多個序列間的相似性。序列比對是計算生物學的基本問題之一。對序列的兩兩比對，已經有了基於動態規劃的較成熟的算法以及建立在此基礎上的軟體包 BLAST。對於兩個序列的局部比對問題，可以用史密斯 - 沃特曼算法來解決。多重序列的比對目前還缺乏快速並且十分有效的算法。

### 基因識別

### 進化樹的構造

### 蛋白質結構預測

## 應用

## 與生物信息學的區別與聯繫

某些人將計算生物學作為生物信息學的同義詞處理；但是另外一些人認為計算生物學和生物信息學應當被作為不同的條目處理，因為生物信息學主要側重於對生物學中所得信息的採集、存貯、分析處理與可視化方面，而計算生物學主要側重於使用計算技術對生物學問題進行研究方面。

## 參見

* 生物信息學

## 參考文獻

## 外部連結

* 國際計算生物學會（頁面存檔備份，存於網際網路檔案館）
* 美國國家生物技術信息中心（頁面存檔備份，存於網際網路檔案館）
* NIH BISTI（頁面存檔備份，存於網際網路檔案館）
* 北京大學理論生物學中心
* 台灣計算生物學會（頁面存檔備份，存於網際網路檔案館）
* 中國科學院 - 馬普學會計算生物學夥伴研究所（頁面存檔備份，存於網際網路檔案館）
计量经济

**計量經濟學**（英語：Econometrics），又譯經濟計量學，是以數理經濟學和數理統計學為方法論基礎，對於經濟問題，試圖以理論上的數量接近和經驗（實證研究）上的數量接近這兩者進行綜合，而產生的經濟學分支。

傳統的經濟學研究通過觀察經濟現象、建立經濟模型，來分析單個或多個經濟變數與其他經濟變數之間的相互關係，這種研究方法的局限在於，很難對經濟現象進行量化分析，而計量經濟學的產生，使得經濟學對於經濟現象從以往的定性研究，擴展到同時可以進行定量研究的新階段。

「計量」的意思是「以統**計**方法做定**量**研究」，「量」字為名詞，構成動賓結構，這從其英文 metric 的含義亦可看出（與數學名詞「度量空間 metric space」情況類似），所以「量」字應讀作「亮」（中國大陸《現代漢語辭典》2012 年 6 月第 6 版「計量」條）。設若「計量」的「量」字讀為「良」，則是兩個動詞詞素的並列結構，含義略簡。另如測智力的斯坦福一比奈智力量表（Stanford–Binet Intelligence Scale），按其內涵則應讀「量」字為「良」，此亦可從英文 scale 的含義窺得。

## 計量經濟學

計量經濟學是結合經濟理論與數理統計，並以實際經濟數據作定量分析的一門學科。計量經濟學以古典迴歸（Classical Regression）分析方法為出發點。依據數據形態分為：橫截面數據迴歸分析（Regression Analysis with Cross-Sectional Data）、時間序列分析（Time Series analysis）、縱橫資料分析（Panel Data Analysis）等。依據模型假設的強弱分為：母數計量經濟學（Parametric Econometrics）、無母數計量經濟學（Nonparametric Econometrics）、半母數計量經濟學（Semiparametric Econometrics）等。

## 理論計量經濟學和應用計量經濟學

理論計量經濟學（Theoretical Econometrics）以介紹、研究計量經濟學的理論與方法為主要內容，側重於理論與方法的數學證明與推導，與數理統計聯繫極為密切。理論計量經濟學，除了介紹計量經濟學模型的數學理論基礎，和普遍應用的計量經濟學模型的參數估計方法與檢定方法外，還研究特殊模型的估計方法與檢定模型。

應用計量經濟學（Applied Econometrics）則以建立與應用計量經濟學模型為主要內容，強調應用模型的經濟學和經濟統計學基礎，側重於建立與應用模型過程中實際問題的處理。

## 古典計量經濟學

古典計量經濟學，一般指 1970 年代以前發展並廣泛應用的計量經濟學；非古典計量經濟學，則指該年代以後所發展的計量經濟學理論、方法及應用模型，也稱現代計量經濟學。

古典計量經濟學具有顯著的共同特徵，如下：

* 模型類型：採用隨機模型。
* 模型導向：以經濟理論為導向建立模型。
* 模型結構：變數之間的關係表現為線性，或可以化為線性，屬於因果分析模型，解釋變數具有同等地位，模型具有明確的形式和參數。
* 數據類型：以時間序列數據或者截面數據為樣本，被解釋變數為服從常態分布的連續隨機變數。
* 估計方法：僅利用樣本訊息，採用最小平方法或者最大概似法估計變數。

## 計量經濟學的研究物件

計量經濟學的兩大研究物件：橫截面數據（Cross-sectional Data）和時間序列數據（Time-series Data）。前者旨在歸納不同經濟行為者是否具有相似的行為關聯性，以模型參數估計結果顯現相關性；後者重點在分析同一經濟行為者不同時間的資料，以展現研究對象的動態行為。

新興計量經濟學研究開始切入同時具有橫截面及時間序列的資料，換言之，每個橫截面都同時具有時間序列的觀測值，這種資料稱為追蹤資料（Panel data，或稱面板資料分析）。追蹤資料研究多個不同經濟體動態行為之差異，可以獲得較單純橫截面或時間序列分析更豐富的實證結論。例如諾貝爾經濟學獎得主克萊夫・格蘭傑指出，在迴歸模型中對一組檢定進行詮釋，進而揭示因果關係是可行的，其所提出的格蘭傑因果關係檢定不只在經濟學上使用，也廣受實證社會科學援用，以強化迴歸分析的說明力，提出更精緻的因果關係論述。

## 計量經濟學軟體

## 參見

* 數理經濟學
* 時間序列

## 參考文獻

* 《經濟計量學精要》達莫達爾.N. 古亞拉提
* 《計量經濟學》李子奈、潘文卿 高等代數出版社