zaibd/wkpdtw huggingface dataset:
計畫管理改進責任法（英語：Program Management Improvement Accountability Act，簡稱 PMIAA），亦作「專案集管理改進課責法案」，是美國國會在 2015 年時，針對美國政府問責局（亦作聯邦審計署，前美國國會會計總署）所提出的美國聯邦政府中長期計畫預算濫用問題，通過此法案以要求聯邦政府各機關遵循專案管理的規劃、執行以及評估績效準則，建立政府機關當責觀念，進而提高執行績效。



立法背景

計畫法案是在美國總統歐巴馬任期內，於 2016 年簽署通過的 PMIAA（Program Management Improvement Accountability Act） 計畫管理改進責任法案（31 U.S.C. §1550）。源自美國政府問責局提出的報告：《高風險專案集清單》（英語：High Risk List）中，特別指出有嚴重管理缺陷，且造成預算運用成效不彰的兩項聯邦政府重大政策：「美國退伍軍人事務部《健康保險》專案集計畫」（英語：Veterans Affairs (VA) Health Care）與「聯邦資訊科技採購流程」（英語：Federal Information Technology (IT) acquisition processes），針對聯邦政府專案集計畫管理的改善需求，美國國會進而提出並通過此項法案。該法案後由美國國會及白宮一致認同，並採用專案管理辦公室機制建構。此法案非為獨立法條，而是以修正案方式提案。



立法歷程

眾議院 H.R. 2144 法案


* 2015-04-30：美國眾議院議員托德・揚與蓋瑞・康納利等 16 位元議員向眾議院提出議案《H.R. 2144: Program Management Improvement and Accountability Act of 2015》，立法修正《美國法典》第 31 卷內容，建立相關工作任務以改善聯邦政府各機關專案集與專案的管理。

* 2015-06-10：美國參議院議員喬尼・恩斯特與海迪・海特坎普基於眾議院議案《H.R. 2144》向參議院提出參議院議案《S. 1550: Program Management Improvement and Accountability Act》，即 PMIAA，二讀通過後，責成參議院國土安全與聯邦政府事務委員會研究、討論。

* 2015-11-03：參議院國土安全與聯邦政府事務委員會主席羅恩・詹森出具報告《S. Rept. 114-162》指出，PMIAA 法案對於聯邦政府各機關在改善專案集與專案管理的必要性與有效性，經預算評估以及對現有制度的衝擊影響分析後，逐節修正法案條文，並逕付參議院進行表決。

* 2015-11-19：參議院全體一致同意、無異議通過 PMIAA 修正案。翌日，責送回眾議院研究、討論。

參議院 S. 1550 法案


* 2015-11-30：眾議院收到參議院通過的 PMIAA 提案《S. 1550》，責成眾議院國內政策監督與聯邦政府改革委員會研究、討論。

* 2016-06-21：眾議院國內政策監督與聯邦政府改革委員會主席傑森・查菲茨出具報告《H. Rept. 114-637》指出，部分條文有再修改的必要，並提出修正意見。

* 2016-09-22：眾議院在辯論過後逕付表決，最後以 404 同意 : 11 反對，超出 2/3 門檻通過《S. 1550》。但因內容已有修改，責送回參議院再確認。

* 2016-11-30：參議院全體一致同意、無異議通過眾議院的《S. 1550》PMIAA 修正內容。參議院送交白宮。

* 2016-12-05：美國國會《S. 1550》PMIAA 修正案，送交美國總統簽署。

* 2016-12-14：美國總統簽署，《S. 1550》PMIAA 修正案正式頒布，成為美國法律《Public Law No: 114-264.》 。



主要內容

規範美國聯邦政府在會計年度內，成立跨聯邦政府各行政機關的「專案集管理政策委員會」（英語：Program Management Policy Council，簡稱 PMPC），由白宮的「美國行政管理和預算局」副管理總監（英語：Deputy Director for Management）統籌、擔任該委員會之主任委員，並召集聯邦政府各機關所指定之一位高級行政官員為其單位內的「專案集管理改進官員」（英語：Program Management Improvement Officer，簡稱 PMIO），並成為該委員會之委員。PMPC 將在聯邦政府行政體系內，建立專案集管理政策的基礎標準，委任 PMIO 負責執行各聯邦行政機關內的專案集管理政策和策略發展，以其跨聯邦機關的角色，促進彼此間分享專案集管理的成功經驗；PMIAA 法案並責成人事管理局協同規劃聯邦政府各機關內之專案管理者的工作職系、職涯發展與升遷管道，為聯邦政府專案集管理政策的持續改進，奠定完善的推動基礎。聯邦政府將藉由增加的 6% 專案管理人員，增進聯邦政府中長期計畫的管理效能。



對該法案的批評

法案對於「計畫」一詞仍無明確、嚴謹的定義，無法與企業部門產生原有的溝通成效。



參考資料



外部連結


* www.youtube.com/watch?v=q-bZeVs1mrM&t=1318s (中廣新聞專訪 計畫管理法案 上下集 郭子琳 報導)
計畫行為理論 (Theory of Planned Behavior，TPB) 是一個由 Icek Ajzen 所提出的行為決策模型，主要用以預測和瞭解人類的行為。計畫行為理論的模型中主要由行為信念、行為態度、規範信念、主觀規範、控制信念、知覺行為控制、行為意向與行為等構面組成。目前計畫行為理論已被應用在如廣告、行銷、公共關係、醫療保健、體育管理、永續性與環境保護等與行為有關的研究領域中。



歷史

計畫行為理論是基於理性行為理論（Theory of Reasoned Action，TRA）演變、改良而來，理性行為理論是馬丁・費希貝（Martin Fishbein）和 Ajzen 於 1980 年一起提出的理論，該理論認為個人做出特定行為是受到其行為意圖 （Behavioral intention）之影響，而行為意圖則取決於行為者對此行為的態度 (Attitude) 與主觀規範 (Subjective norm)。

由於理性行為理論假定個體的行為產生是出自於完全的自願控制，其忽略了個體內心的個人的決定（可能是道德、倫理、控制觀等因素）。於是 Ajzen 在 1988 年增添了第三個元素：知覺行為控制 (Perceived behavioral control，PBC)，並提出了計畫行為理論。1991 年 Ajzen 又在態度、主觀規範、知覺行為控制的前方分別加入了行為信念（Behavioral beliefs）、規範信念 (Normative beliefs)、控制信念（Control beliefs）形成了目前的計畫行為理論模型。



理論原理

計畫行為理論主要以三個階段來分析行為模式的形成過程：


* 行為決定於個人的行為意圖；

* 行為意圖決定於對行為的態度、行為主觀規範與認知行為控制等三者或其中部分的影響；

* 對行為的態度、行為主觀規範及認知行為控制受外生變數的影響。



參看


* 理性行為理論



參考文獻



延伸閱讀


* Ajzen, I. (2002). Constructing a TPB Questionnaire: Conceptual and Methodological Considerations （頁面存檔備份，存於網際網路檔案館）.

* Ajzen, I.Behavioral Interventions Based on the Theory of Planned Behavior （頁面存檔備份，存於網際網路檔案館）
計登瀛（?—?），陝西省西安府富平縣人，清朝政治人物、同進士出身。

光緒二十四年（1898 年），參加光緒戊戌科殿試，登進士三甲 139 名。同年五月，著交吏部掣籤分發各省，以知縣即用。



參考文獻
計盛光（日語：かずもり ひかる，1994 年 5 月 17 日 —），日本女子水上芭蕾運動員。大阪府出生，現就讀於大阪體育大學。



簡歷

2014 年，計盛光參加廣州亞運會水上芭蕾比賽，與隊友合作贏得團體比賽銀牌。
計石車站（日語：計石駅／はかりいしえき _Hakariishi eki_ \*/?）是位於日本福井縣福井市計石町的西日本旅客鐵道（JR 西日本）越美北線（九頭龍線）鐵路車站。

由起點越前花堂站至本站屬福井市內。



車站構造

右側單式月台 1 面 1 線的地上車站。無人車站、不設自動售票機等設備。



車站周邊


* 浄蓮寺

* 國道 158 號



歷史


* 1960 年（昭和 35 年）12 月 15 日 ： 越美北線勝原站開業時設置。

* 1987 年（昭和 62 年）4 月 1 日 ： 國鐵分割民營化成為西日本旅客鐵道車站。

* 2004 年（平成 16 年）
  
* 7 月 18 日 ： 豪雨使越美北線全線運行停止。
  
* 9 月 11 日 ： 美山站與越前大野站間列車運行再開。



相鄰車站

西日本旅客鐵道
: ■九頭龍線（越美北線）

　
: 越前大宮－計石－牛原



關連項目


* 日本鐵道站一覽



外部連結


* 計石車站（JR 西日本） （頁面存檔備份，存於網際網路檔案館）
《計程人生》（波斯語：تاکسی‎，英語：_Taxi_）是一部 2015 年賈法爾・帕納希編劇並執導的伊朗劇情片，贏得第 65 屆柏林影展金熊獎和國際影評人獎。這是繼 2011 年的《分居風暴》後，又一部獲得金熊獎的伊朗電影。



製作

伊朗導演 賈法爾・帕納希（Jafar Panahi）在 2010 年，被政府以「危害國家安全」等罪名，禁止在 20 年內進行任何電影相關的創作。不過，他暗地裏拍攝了新片《計程人生》並偷運出境，2015 年 2 月更揚威柏林影展勇奪金熊獎。由於帕納希不能出境，結果由他的小姪女漢娜到柏林代表領獎。



劇情



演員


* 賈法爾・帕納希



評價

爛番茄新鮮度 90%，Metacritic 上得到 89 分，收穫普遍讚譽。



參考資料



外部連結


* 爛番茄上《計程車》的資料（英文）

* Metacritic 上《計程車》的資料（英文）

* 網際網路電影資料庫（IMDb）上《計程車》的資料（英文）

* 開眼電影網上《計程人生》的資料（繁體中文）

* 豆瓣電影上《計程車》的資料 （簡體中文）

* 時光網上《計程車》的資料（簡體中文）

* AllMovie 上《計程車 》的資料（英文）
計程車博物館是位於臺灣宜蘭縣蘇澳鎮的一座以計程車為主題的博物館，於 2019 年 7 月 9 日正式開館。館內展示數輛來自世界各地的計程車，以及 2,000 多件計程車的相關文物。計程車博物館也是全台灣甚至全球首座展示計程車的博物館。



歷史

計程車博物館館長李濟成於 2000 年在美國紐約市買下車號為「NYC-1009」的玩具車後，開始收集各種計程車相關物品，包含模型、玩具、車牌、車資計算器等。原計畫將博物館設於日本沖繩，最終於 2007 年決定設於宜蘭蘇澳，並在 2019 年開幕時同步展出「台灣計程車歷史特展」。

2019 冠狀病毒病疫情期間，計程車博物館曾在 2021 年中華民國全國疫情第三級警戒期間暫時閉館，後於同年 7 月 13 日恢復營業。



館藏

紐約計程車玩具

2000 年館長李濟成在紐約旅遊時購入的第一部計程車，車號 NYC-1009 正好是館長的生日，因此展開收藏。

實車館藏

（按車款年份排序）

遭復興航空 235 號班機空難班機擦撞的計程車

2015 年 2 月 4 日上午復興航空 235 班機墜入基隆河前在環東大道上擦撞到的、原隸屬於皇冠大車隊的 VOLKSWAGEN CADDY MAXI 計程車。該計程車在遭到飛機撞擊後，車上駕駛與乘客的性命仍然受到保護、僅受到輕傷，因此號稱是「世界唯一通過飛機撞擊的車」。在知悉館長有意出價收藏該計程車的消息後，所屬車隊直接將該輛毀損的計程車捐贈給計程車博物館作為展示。

其他館藏


* 台灣與印尼的人力三輪車

* TUK-TUK

* 車頂燈

* 1920 年印度機械式計程表

* 各式計程表

* 模型車

* 唱片、書籍、玩具、服飾等各式與計程車相關物品



特展

台灣計程車歷史特展（2019 年 7 月 9 日－8 月 9 日）

於 2019 年博物館開幕時，由車友支援展出為期一個月的特展。展品為五輛古董計程車與三輪車，包含民國 40 年代的三輪車、1964 年的青鳥二代、1967 年的青鳥三代、1978 年的裕隆速利 301 與 1978 年的裕隆勝利 803 等。



參考資料



外部連結


* 計程車博物館官網

* 計程車博物館的 Facebook 專頁

* 計程車博物館的 Instagram 帳戶
計價器又稱計程錶（英語：taximeter），是安裝在計程車或嘟嘟車上的電子裝置，用於計算行駛距離和乘車時間疊加得出的費用。其英文縮寫「taxi」已經成為計程車的轉喻。



參考來源
計算員（英語：Computer 或 human computer）是電子計算機發明以前，專門從事數學計算工作的人員，他們通常要分組進行冗長的計算。這項工作起源於 17 到 18 世紀的天文學計算。在二次大戰期間，許多女性成為計算員，參與了包括曼哈頓計畫在內的許多計算工作，這些計算員有許多後來從事早期計算機科學的發展。



參考文獻


* Grier, David Alan, _The Human Computer and the Birth of the Information Age_, Joseph Henry Lecture, Philosophical Society of Washington, May 11, 2001.

* Grier, David Alan, _When Computers Were Human_, Princeton University Press, 2005. ISBN 0-691-09157-9.



外部連結


* Early NACA human computers at work （頁面存檔備份，存於網際網路檔案館）, photograph, October 1949.

* The Age of Female Computers （頁面存檔備份，存於網際網路檔案館）, by David Skinner

* Sonoma University （頁面存檔備份，存於網際網路檔案館）

* Wellesley Archive.is 的存檔，存檔日期 2012-12-11
計算幾何是一門興起於二十世紀七十年代末的電腦科學的一個分支，主要研究解決幾何問題的演算法。

自從 1946 年世界上第一台電腦問世以來，電腦應用的一個重要里程碑是 1962 年美國麻省理工學院發明了世界上第一台圖形顯示器。自此之後，電腦可以透過圖形顯示器直接輸入、輸出圖形，並且可以在顯示器上透過游標的移動，直接修改圖形。而在這之前，工程師是透過一厚疊紙上密密麻麻的數字來間接表達工程圖形的。

1962 年被認為是美國和歐洲 CAD 開始發展的一年。首先的應用領域是汽車、飛機和造船工業。這 3 個行業，由於其產品的外形曲面特別複雜，要求特別苛刻，而成為 CAD 首先應用的領域。

與此同時，也就發展出了一門新興學科 —— 計算幾何，它在美國常常被稱為 CAGD（Computer Aided Geometric Design，電腦輔助幾何設計），專門研究「幾何圖形資訊（曲面和三維實體）的電腦表示、分析、修改和綜合」。1972 年在美國舉行 CAGD 第一次國際會議，標誌計算幾何學科的形成。



計算幾何演算法


* 判斷點是否在直線上

* 判斷兩線段是否相交

* 判斷線段和直線是否相交

* 判斷點是否在矩形內

* 判斷線段、折線、多邊形是否在矩形內

* 判斷矩形是否在矩形內

* 判斷圓是否在矩形內

* 判斷矩形是否在圓內

* 判斷點是否在多邊形內

* 判斷線段是否在多邊形內

* 判斷點是否在圓內

* 判斷圓是否在圓內

* 計算相交多邊形的重疊區域

* 計算點到線段的最近點

* 計算點到圓的最近點及點坐標

* 凸包求法等



演算法介紹

向量概念

如果把一條線段的端點作出次序之分，則可將這種線段看作有向線段。如果有向線段 $P_{1}P_{2}$ 的起點 $P_{1}$ 在坐標原點，則把它稱為向量 ${\boldsymbol {P}}_{2}$ 。這樣，點 $P(x,y)$ 可以看作起點為原點 $O(0,0)$ 的二維向量。相應地，三維空間坐標系下的坐標也可以作類似理解為三維向量。

設二維向量 ${\boldsymbol {P}}=(x_{1},y_{1}),{\boldsymbol {Q}}=(x_{2},y_{2})$ ，則向量的加法定義為 ${\boldsymbol {P}}+{\boldsymbol {Q}}=(x_{1}+x_{2},y_{1}+y_{2})$ ，向量的減法定義為 ${\boldsymbol {P}}-{\boldsymbol {Q}}=(x_{1}-x_{2},y_{1}-y_{2})$ 。向量的加減法有以下性質： ${\boldsymbol {P}}+{\boldsymbol {Q}}={\boldsymbol {Q}}+{\boldsymbol {P}},{\boldsymbol {P}}-{\boldsymbol {Q}}=-({\boldsymbol {Q}}-{\boldsymbol {P}})$ 。因為點可視為坐標原點至該點的向量，所以點的加減法就是向量的加減法。

向量的叉積

向量的叉積，也稱向量的叉乘。向量 ${\boldsymbol {P}}$ 與 ${\boldsymbol {Q}}$ 的叉乘記作 ${\boldsymbol {P}}\times {\boldsymbol {Q}}$ 。定義 ${\boldsymbol {P}}\times {\boldsymbol {Q}}=x_{1}y_{2}-x_{2}y_{1}$ ，其結果是一個純量。幾何意義為由原點、點 $P$ 、點 $Q$ 、點 $P+Q$ 四點共同組成的平行四邊形的面積（帶正負號）。計算向量叉積是直線和線段相關演算法的核心。向量的叉積有以下性質： ${\boldsymbol {P}}\times {\boldsymbol {Q}}=-({\boldsymbol {Q}}\times {\boldsymbol {P}}),{\boldsymbol {P}}\times (-{\boldsymbol {Q}})=-({\boldsymbol {P}}\times {\boldsymbol {Q}})$ 。

叉乘的一個非常重要的性質是，可以通過它的正負號判斷兩向量之間的順逆時針關係：


* 若 ${\boldsymbol {P}}\times {\boldsymbol {Q}}>0$ ，則 ${\boldsymbol {P}}$ 在 ${\boldsymbol {Q}}$ 的順時針方向；

* 若 ${\boldsymbol {P}}\times {\boldsymbol {Q}}<0$ ，則 ${\boldsymbol {P}}$ 在 ${\boldsymbol {Q}}$ 的逆時針方向；

* 若 ${\boldsymbol {P}}\times {\boldsymbol {Q}}=0$ ，則 ${\boldsymbol {P}}$ 和 ${\boldsymbol {Q}}$ 共線，可能同向也可能反向。

演算法舉例

判斷折線段的拐向

折線段的拐向判斷方法可以直接由向量叉積的性質推出。
對於有公共端點的線段 $AP$ 和 $PB$ ，通過計算 $\nabla =(B-P)\times (P-A)$ 的符號，就可以確定折線的拐向：


* 若 $\nabla >0$ ，則 $AP$ 在 $P$ 點拐向右側得到 $PB$ ；

* 若 $\nabla <0$ ，則 $AP$ 在 $P$ 點拐向左側得到 $PB$ ；

* 若 $\nabla =0$ ，則 $A$ 、 $P$ 、 $B$ 三點共線。

判斷點是否線上段上



外部連結


* 主要的學術會議網頁（頁面存檔備份，存於網際網路檔案館）Symposium of Computation Geometry (SoCG)

* 劉鼎元。苏步青先生对计算几何和 CAD 事业的贡献. （原始內容存檔於 2007-07-07）.
在計算複雜度理論中，計算時間是種計算抽象機器必須在某些特定計算中花費的步驟數。任何抽象機器花費的計算時間都是一種用以解決計算問題的計算資源。很多重要的複雜度類，都是依照在某些抽象機器上花費特定量級的計算時間而定義的。這些時間複雜度類別共想許多特徵，但它們的相互關係以及複雜度類對其他計算資源的影響仍未充份明瞭。

最常用以度量計算時間的抽象機器就是圖靈機。任何抽象機器，只要擁有

1. 狀態控制能力與
2. 可記載狀態控制磁讀寫頭造成的計算時間的磁帶

便可稱做類圖靈機。

因此為各類的抽象模型，我們可以定義不同的計算資源：在一個確定型圖靈機上是確定型時間；在非確定型圖靈機是非確定型時間，量子圖靈機則是量子時間…… 等等。輸入資料的計算時間等同於此輸入的計算樹的深度。

計算時間滿足時間譜系理論，也就是說量級漸進大於的計算時間定可准許複雜度類更大的計算問題。
計算機可以指：


* 電腦（英語：computer），一種按指令處理資料的電子裝置

* 電子計算機（英語：calculator），小型手持電子產品，用於生活或工程中簡單的數學運算

* 個人電腦（英語：personal computer，PC），適合一人用的電腦

* 機械計算機，歷史上一系列用機械運動原理處理資料的裝置，較普遍的是手搖式計算機

* 量子電腦，研發中用量子物理學原理計算的裝置

* 計算機 (雜誌)（英語：Computer）是電氣電子工程師學會電腦協會（IEEE Computer Society）的權威出版物，該雜誌面向所有會員

* 計算機 (OS X)，Mac OS X 的計算軟體

* 小算盤，Windows 的計算軟體

* 伺服器，用於大型儲存的電腦工具
計算機代數系統（英語：computer algebra system，縮寫作：CAS）是進行符號運算的軟體。這種系統的要件是數學表示式的符號運算。



表示式的類別

表示式的例子包括：


* 多變元多項式

* 標準函式（三角函式、指數函式等等）

* 特殊函式（Γ 函式、Bessel 函式等等）

* 由各種表示式合成的函式

* 表示式的導函式、積分、和與積

* 以表示式為係數的級數

* 表示式構成的矩陣



符號運算

以下是幾種典型的符號運算：


* 表示式的簡化

* 對表示式求值

* 表示式的變形：展開、積、冪次、部份分式表法、將三角函式表為指數函式等等。

* 對單變元或多變元的微分。

* 帶條件或不帶條件的整體最佳化。

* 部份或完整的因式分解。

* 求解線性方程組或一些非線性方程式。

* 某類微分方程或差分方程的符號解。

* 求某些函式的極限值。

* 一些函式的定積分或不定基分，包括多變元的情形。

* 泰勒展開式、羅朗展開式與 Puiseux 展開式

* 某些函式的無窮級數展開式。

* 對某些級數求和。

* 矩陣運算。

* 數學式的顯示，通常藉著 TeX 之類的系統達成。



其它功能

通常計算機代數系統還能進行一些數值運算：


* 函式的確切求值。

* 高精度求值，例如計算 $2^{1/3}$ 到小數點後 $10000$ 位。

* 線性代數的數值運算。

* 描繪二維或三維的函式圖形。

在數值運算方面，計算機代數系統的速度通常較 Matlab、GNU Octave 或 C 語言中以同等方式實作的程式慢。這是因為計算機系統幾乎總是對符號表示式運算，故不能充分利用 CPU 的既有指令。

許多計算機代數系統內建高階程式語言，以供使用者擴充功能，或設定個人的操作模式。



歷史

馬丁紐斯・韋爾特曼（Martinus J. G. Veltman） 是這個領域的先驅，他首先考慮了在高能物理中的應用。他在 1963 年設計的第一個程式叫 _Schoonship_（荷蘭文，意指「乾淨的船」）。

最早受到歡迎的系統是 Reduce、Derive 與 Macsyma，現在仍然可取得。Macsyma 的一個 GNU 通用公共許可證發行的版本叫作 Maxima，現在仍有維護。市場的龍頭為 Maple 與 Mathematica，兩者被數學家、科學家及工程師們廣泛採用，此外還有 MuPAD 與 MathCad。

另有一些系統著眼於特定的應用領域，這些系統通常在學院中被設計、發展及維護，例如交換代數系統 Macaulay 2 或數論系統 PARI/GP。



當前流行計算機代數系統


* mathHandbook.com (former symbmath)

* Sagemath

* Mathematica

* Maple

* MAGMA

* Maxima

* GAP

* PARI/GP

* Meditor

* MuPAD

* Mathomatic

* Xcas/Giac

* Yacas

* Mate



參考文獻

參照

來源


* Richard J. Fateman. _Essays in algebraic simplification_. Technical report MIT-LCS-TR-095, 1972.



外部連結

下面是一些線上可用的電腦代數系統的列表：


* （頁面存檔備份，存於網際網路檔案館）

MAGMA


* https://web.archive.org/web/20110718004430/http://directory.google.com/Top/Science/Math/Algebra/Software/

* http://www.cs.ru.nl/~freek/digimath/xindex.html （頁面存檔備份，存於網際網路檔案館）

* 開放式目錄計劃中和 Math Software 相關的內容

* http://www.mat.univie.ac.at/~slc/divers/software.html （頁面存檔備份，存於網際網路檔案館）

* Use Maxima in a web browser （頁面存檔備份，存於網際網路檔案館） without downloading any software

* http://orms.mfo.de/about （頁面存檔備份，存於網際網路檔案館）

* Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems



參見


* 數學軟體

* 電腦代數系統比較
計算機博物館（Computer museum），專門研究具有歷史意義的計算機硬體和軟體，其中的「博物館」正如國際博物館協會所定義的一樣，是「為社會服務和開發的永久性機構，其向公眾開放的目的是為了教育和學習，同時儲存、研究、交流以及展示人類和環境有形和無形的遺產」。

有些計算機博物館設於大型機構內，例如倫敦的科學博物館和慕尼黑的德意志博物館。其他的則致力於計算方面，例如加利福尼亞州山景城的計算機歷史博物館，蒙大拿州博茲曼市的美國計算機和機器人博物館，布萊切利公園的國家計算機博物館，劍橋的計算機歷史中心和濟州特別自治道的 Nexon 計算機博物館。其中有些專門介紹計算機早期的發展史，其他的則從第一台個人電腦開始介紹起，例如 Apple I 和 Altair 8800、Apple II，以及較舊的麥金塔、康懋達國際、Amiga、IBM PC 等，甚至其他更多稀少的電腦，例如史上第一台可攜式電腦 Osborne 1。有些博物館關注研究和保護方面，其他的則更注重於教育和娛樂。當然還有包括了私人收藏，而其中大部分都可以透過預約參觀。



相關條目


* 計算機硬體歷史



進一步閱讀


* Bell, Gordon (2011). _Out of a Closet: The Early Years of the Computer Museums （頁面存檔備份，存於網際網路檔案館）_ . Microsoft Technical Report MSR-TR-2011-44.

* Bruemmer, Bruce H. (1987). _Resources for the History of Computing: A Guide to U.S. & Canadian Records （頁面存檔備份，存於網際網路檔案館）_ . Charles Babbage Institute.

* Cortada, James W. (1990). _Archives of Data-Processing History: A Guide to Major U.S. Collections_. Greenwood
電腦圖學（英語：computer graphics，縮寫為 CG）是研究電腦在硬體和軟體的幫助下建立電腦圖形的科學學科，是電腦科學的一個分支領域，主要關注數位合成與操作視覺的圖形內容。雖然這個詞通常被認為是指三維圖形，事實上同時包括了二維圖形以及影像處理。



概述

簡單地說，電腦圖學的主要研究內容就是研究如何在電腦中表示圖形、以及利用電腦進行圖形的計算、處理和顯示的相關原理與演算法。圖形通常由點、線、面、體等幾何元素和灰度、色彩、線型、線寬等非幾何屬性組成。從處理技術上來看，圖形主要分為兩類，一類是基於線條資訊表示的，如工程圖、等高線地圖、曲面的線方塊圖等，另一類是明暗圖，也就是通常所說的真實感圖形。

電腦圖學一個主要的目的就是要利用電腦產生令人賞心悅目的真實感圖形。為此，必須建立圖形所描述的場景的幾何表示，再用某種光照模型，計算在假想的光源、紋理、材質屬性下的光照明效果。所以電腦圖學與另一門學科電腦輔助幾何設計有著密切的關係。事實上，圖學也把可以表示幾何場景的曲線曲面造型技術和實體造型技術作為其主要的研究內容。同時，真實感圖形計算的結果是以數字圖象的方式提供的，電腦圖學也就和圖像處理有著密切的關係。

圖形與圖像兩個概念間的區別越來越模糊，但還是有區別的：圖像純指電腦內以點陣圖形式存在的灰度資訊，而圖形含有幾何屬性，或者說更強調場景的幾何表示，是由場景的幾何模型和景物的物理屬性共同組成的。

電腦圖學的研究內容非常廣泛，如圖形硬體、圖形標準、圖形互動技術、光柵圖形生成演算法、曲線曲面造型、實體造型、真實感圖形計算與顯示演算法、非真實感繪製，以及計算視覺化、電腦動畫、自然景物仿真、虛擬實境等。



電腦圖學的分支學科

這個科學廣義的分支學科，可大致可分為以下幾類


* 幾何：研究面的表示和處理的方法

* 動畫：研究移動的表示和操作方法

* 影像擬真 / 彩現：研究類比光線傳遞效果的演算法

* 影像：研究影像的獲取或是編輯

* 拓撲結構：研究的空間和表面的結構。

幾何

幾何學的一個分支，研究將 3D 物件用離散數字表示。因為模型的外觀很大程度上取決於它的外表面，所以邊界表示法（BREP）是最常用的。對於大多數模型來說 2D 表面很好的表示方法，雖然他們可能是非流形。
多邊形網格是最常見的表示形式，儘管基於點的表示方法最近開始變得受歡迎，這些表示方法被稱作拉格朗日。另外，一些變形曲面可以進行許多拓撲變化（如流體就是最顯著的例子）。

動畫

動畫研究是曲面或其他的物件，隨著時間的推移而移動或變形的一個分支。從歷史上看，大部分在這一領域的工作，都專注於調節參數來使模型運動，但最近動力學類比已成為更受歡迎更強大的方法。

子領域


* 運動捕捉

* 骨骼動畫

* 動力學類比（例如流體動力學）

彩現

通過彩現生成模型的圖像。彩現可能會類比光線跟蹤來創造真實的圖像或者用它建立具有特殊藝術風格而非真實感繪製的圖像。其中真實感繪製的兩個基本運算是傳遞（多少光線從一個地方到另一個地方）和散射（表面如何與光相互作用）。檢視彩現了解更多資訊。

子領域


* 非真實感繪製

* 基於物理的彩現

* 即時彩現側重於對於互動式應用程式（如遊戲、建模時的即時預覽）的使用，通常使用專門的硬體，比如圖形處理器。

* 光照



電腦圖形

電腦圖形在學術中的廣義被用來描述為「在電腦里除了文字與聲音以外的一切」。

2D 電腦圖形

2D 電腦圖形（2D computer graphics），是產生基於電腦的數位影像（例如 2D 幾何模型，文字，和數位影像）。2D 電腦圖形被利用在許多方面，例如字型、地圖、工程製圖、廣告、等等。

3D 電腦圖形

3D 電腦圖形（3D computer graphics）是電腦和特殊 3D 軟體幫助下創造的作品。一般來講，該術語可指代創造這些圖形的過程，或者 3D 電腦圖形技術的研究領域，及其相關技術。



電腦動畫

電腦動畫（computer animation），又稱電腦繪圖，是通過使用電腦製作動畫的技術。它是電腦圖學和動畫的子領域。近年動畫師越來越多的藉助於 3D 電腦圖形學，縱使 2D 電腦圖學仍然被廣泛使用著。有時動畫最後播放的地方就是電腦本身，有時候則是另外的媒體，例如電影。



著名的研究人員


* 羅伯特・庫克

* 艾德文・卡特姆

* 洛倫・卡彭特

* 馬丁・紐維爾

* 匠白光（埃爾維・雷・史密斯）

* 吉姆・卡吉雅

* 吉姆・布林

* 約翰・諾爾



參考文獻


* 劉利剛。什么是计算机图形学？. 2013-08-08 [2020-04-16]. （原始內容存檔於 2020-06-13）.



參見


* 電腦圖形

* 電腦視覺

* 圖像處理

* 電腦輔助設計
計算機安全策略會定義有關組織內計算機安全的目標以及元素。此定義可能是正式的，也可能是非正式的。安全策略會透過組織的策略或是安全機制來進行。技術的實現方式會定義電腦系統是否安全。正式的電腦安全模型可以依機密性、完整性及可用性的資安元素來分類。例如 Bell–LaPadula 模型是機密性的策略模型，而 Biba 模型是完整性策略模型。



正式敘述

若系統可以視為是有限狀態機，其中有許多在不同狀態之間進行的轉態，則安全策略可以將狀態劃分為有授權的狀態，以及沒有授權的狀態。

若用這個簡單的定義，安全系統就是從有授權狀態開始，永遠不會進入未授權狀態的系統。



正式的策略模型

機密性策略模型


* Bell–LaPadula 模型

完整性策略模型


* Biba 模型

* Clark–Wilson 模型

混合策略模型


* 中國牆（也稱為布魯爾 - 納什模型）



策略語言

若要呈現具體的策略（尤其是要自動化的執行此策略），需要有對應的語言。有許多專門應用的語言是和安全機制有關，可以實現該應用的安全策略。



相關條目


* 防毒軟體

* CIA 三要素

* 防火牆

* 保護機制

* 保護和安全分離



參考文獻


* Bishop, Matt. Computer security: art and science. Addison-Wesley. 2004.

* McLean, John. Security Models. Encyclopedia of Software Engineering 2. New York: John Wiley & Sons, Inc: 1136–1145. 1994.

* Clark, D.D. and Wilson, D.R., 1987, April. A comparison of commercial and military computer security policies. In _1987 IEEE Symposium on Security and Privacy_ (pp. 184-184). IEEE.
計算機文獻檢索經常稱為機檢，是文獻檢索的一種方式。是通過計算機來模擬人的手工檢索過程，由計算機來處理檢索者的檢索提問，將檢索者輸入檢索系統的檢索提問 (即檢索標識) 按檢索者預先制定的檢索策略與系統文檔（機讀資料庫）中的存貯標識進行類比、匹配運算，通過「人機對話」而檢索出所需要的文獻。

目前計算機檢索包括光碟資料庫、網絡資料庫檢索和網際網路信息檢索。



計算機檢索的歷史

計算機文獻檢索的發展歷程大致可以概括為批量處理、聯機檢索與網絡系統三個階段。

批量處理

1954 年，美國海軍武器實驗站圖書館在一台電子管計算機上建立了世界上第一個計算機檢索系統。1950 年代末，IBM 公司利用一台 IBM650 計算機成功地編制出關鍵詞索引，並建立了世界上第一個定題情報檢索（SDI，Selective Dissemination of information）系統，為用戶定期檢索和提供一定主題的新到文獻，並很快得到了推廣應用。

聯機檢索

1960—80 年代，數據通訊網絡出現，大容量計算機分時系統和強功能檢索軟體研製成功，使脫機檢索發展到聯機檢索並迅速得到了推廣。1970-80 年代，聯機檢索得到迅速發展，一些聯機檢索系統開始向公眾提供商業性服務，如 DIALOG、ESA、ORBIT、BRS 等許多世界著名的聯機檢索系統相繼投入商業性運營。

網絡系統

1990 年代，隨著網際網路的迅速發展及超文本技術的出現，基於客戶 / 伺服器的檢索軟體的開發，使客戶 / 伺服器網絡檢索模式開始取代以往的終端 / 主機結構，成為聯機檢索的發展趨勢，使聯機檢索進入一個嶄新的時期。



計算機文獻檢索的發展趨勢

目前，信息檢索技術正向兩個方向發展：


* 傳統信息檢索向全文文本、多媒體、多載體、跨平台等新型信息檢索的發展，在深度上提高管理和組織信息的能力，如探索自動抽詞、自動索引、自動檢索、自動文摘、自動分類、Web 檢索智能代理、數據挖掘、自動翻譯等；

* 信息資源的網絡化存儲和分布式存儲，在廣度上提高管理和組織信息的能力。
計算機系統結構（computer architecture、電腦系統架構），抽象來說計算機系統架構是一個系統在其所處環境中最高層次的概念；它確定一台電腦硬體和軟體之間的連結。具體地說電腦系統架構 ' 指的是電腦系統設計的觀念與架構，描述電腦在實做的設計原則。它確定一部電腦的：


* 部件

* 部件功能

* 部件間介面

並且電腦系統架構著重於「負責了計算機架構的中心功能：計算」的中央處理器（CPU）內部的執行動作與記憶體的存取。

注意，不要與處理器領域的微體系結構 / 微架構（Microarchitecture）相混淆。



實例

以常見的馮・紐曼電腦的設計為例，體系結構設計包括了：


* 指令集架構（Instruction set architecture；簡稱 ISA）：被視為一種機器語言，包含了許多相關的指令集（記憶體定址、處理器控制，暫存器控制等等……）。

* 微體系結構 / 微架構（Microarchitecture）或稱電腦組織（Computer organization）：是更詳細的敘述系統內部各元素如何進行合作與溝通。

* 資料表示，即硬體能直接辨識和處理的資料類型和資料格式；

* 定址方式，包括最小定址單位和位址運算等；

* 暫存器定義，包括運算元暫存器、變址暫存器、控制暫存器等的定義、數量和使用方式；

* 指令系統，包括機器指令的操作類型和格式、指令間的排序和控制機制等；

* 異常機制，包括中斷、NMI 和內部異常等；

* 機器工作狀態的定義和切換，如管態和目態等；

* 輸入輸出結構，包括處理機、記憶體與輸入輸出裝置之間的連接方式、資料傳送方式、資料流量、以及資料交換過程的控制等；



參考文獻



外部連結


* ISCA: Proceedings of the International Symposium on Computer Architecture（頁面存檔備份，存於網際網路檔案館）

* Micro: IEEE/ACM International Symposium on Microarchitecture（頁面存檔備份，存於網際網路檔案館）

* HPCA: International Symposium on High Performance Computer Architecture

* ASPLOS: International Conference on Architectural Support for Programming Languages and Operating Systems（頁面存檔備份，存於網際網路檔案館）

* ACM Transactions on Architecture and Code Optimization（頁面存檔備份，存於網際網路檔案館）

* IEEE Transactions on Computers

* The von Neumann Architecture of Computer Systems（頁面存檔備份，存於網際網路檔案館）



參見


* 電腦系統

* 微架構

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

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



參見


* 個體為本模型

* 人工神經網絡

* 計算語言學

* 決策場理論

* 動力系統認知模型

* 膜運算

* 本體 (信息科學)

* 程式語言理論

* 代理模型

* 玻爾模型

* 微尺度和宏觀模型
電腦科學家（英語：Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。
與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。



就業

電腦科學家常被軟體出版商，科學研究和發展組織僱傭，通過發展理論以創造新科技。電腦科學家也會被大學等教育機構僱傭。電腦科學家可以更實際地運用他們的知識，進入軟體工程或 IT 諮詢領域。因為電腦科學極大地依賴於數學，電腦科學家也可以被看作數學家的分支。電腦科學家可能逐步晉升至管理人員或專案領導。因為電腦系統設計，軟體出版和相關行業的快速發展，電腦科學家的就業前景良好。

 



參考文獻



參見


* 電腦科學

* 電腦科學家列表
計算機科學獎項列表是與計算機科學獎項的索引。包括計算機協會、IEEE、其它計算機科學、信息科學以及計算機科學競賽獎項的列表。

計算機科學最高獎項是 ACM 圖靈獎，通常被認為是計算機科學領域的諾貝爾獎。其它頂級獎項包括 IEEE 約翰・馮・諾伊曼獎章、京都獎。



計算機協會

計算機協會頒發了許多計算機科學獎項，通常由特別部門管理。



IEEE



其它計算機科學獎項



信息科學獎



計算機科學競賽


* 人工智慧競賽及獎項



參見


* 算法競賽

* 科技獎項列表

* 計算機相關獎項列表

* 工程學獎項列表

* 獎項列表

* 科技獎項列表

* 科學年表



參考
計算機系統涵蓋廣泛，包括了以下領域：



計算機系統

計算機系統可劃分為軟體系統與硬體系統兩大類。


* 
* 馮・諾伊曼結構
  
* 哈佛結構

* 輸入 / 輸出和數據通信

* 數字邏輯

* 邏輯設計

* 集成電路

軟體


* 系統軟體
  
* 作業系統
  
* 編譯器

* 應用軟體
  
* 計算機遊戲
  
* 辦公自動化
  
* 網絡軟體
  
* CAD 軟體

* 電腦程式
  
* 程序設計和程序設計實踐
  
* 物件導向技術
  
* 程序設計語言

* 軟體工程
  
* 軟體復用
  
* 驅動程序
  
* 計算機模擬
  
* 程序設計方法學

數據和信息系統


* 資料結構

* 數據存儲表示

* 數據加密

* 數據壓縮

* 編碼與資訊理論

* 文件

* 信息系統
  
* 管理信息系統
  
* 決策支持系統 - 專家系統
  
* 資料庫
  
* 信息存儲和數據存取
  
* 信息交互與表達
當前



不活躍



另見


* 個人電腦供應商市場份額

* 電腦硬體製造商列表

* List of laptop brands and manufacturers

* List of touch-solution manufacturers



註記



參考資料

 

]
電腦素養（英語：Computer literacy）指一個人對於電腦運作方式的概念和使用電腦的純熟度，並非僅指個人電腦 (PC) 而包括廣義的數位控制機器。電腦素養高的人對於數位化機器的運作邏輯有一種靈感性掌握，很容易學會新的軟體或介面，了解新的硬體功能。

這個術語源於 1972 年阿特・魯赫曼（Art Luehrmann）發表的一篇會議論文「Should the computer teach the student, or vice-versa?」，該文介紹並定義了「computing literacy」。其後，人們開始使用「computer literacy」而不是「computing literacy」。直到 1981 年，他幫助建立的出版公司正式命名為「Computer Literacy Press」。30 年後的 2002 年，他再次發表文章「Should the computer teach the student... — 30 years later」，感慨世界的教育系統在電腦素養教育方面沒有取得多大進展。

電腦素養（computer literacy）定義為使用電腦和應用軟體的技能，要具備這種技能就需要學習基本的電腦知識，理解電腦的硬體、軟體和它們的使用方法。電腦素養涵蓋的內容隨著電腦的發展而變化，也各持己見。例如，美國有些高校要求的最低技能包括檔案管理（File Manipulation）以及字處理（word processing）、Excel、PPT (PowerPoint) 等軟體的使用技能。



參考文獻
這是一個計算機視覺以及圖象處理的主題列表



圖像增強


* 圖像去噪

* 圖像直方圖

* 直方圖均衡化

* Tone mapping

* Retinex algorithm

* 伽馬校正



變換


* 仿射變換（affine transform）

* 投影變換（Projective transform）

* 拉東變換（Radon transform）

* Walsh-Hadamard 變換（Walsh-Hadamard tranform)



濾波，傅立葉變換，小波變換以及圖像壓縮


* 濾波器組

* Gabor 濾波器 (Gabor filter)

* JPEG2000

* 自適應濾波 (Adaptive filtering)

* 粒子濾波 (particle filtering)



彩色視覺


* 人類視覺系統

* 色彩匹配函數

* 色彩空間

* 色彩外觀模型

* 色彩管理系統

* Color profile



圖像匹配 (Registration)


* 最小均方估計 (Least squares estimation)

* 霍夫變換 (Hough transform)

* Geometric hashing

* 粒子濾波器 (Particle filter)

* 隨機抽樣一致 （RANdom SAmple Consensus）

* 光束法平差

 


* Active appearance model (AAM)

* Direct linear transform (DLT)

* 投影幾何 Projective geometry

* 針孔相機 Pinhole camera model

* Epipolar geometry

* Fundamental matrix

* Graph cut segmentation

* Normalized cut segmentation

* 邊緣檢測

* Canny 邊緣檢測器

* 邊緣連接 Edge linking

* 哈里斯邊角偵測 Harris corner detector

* 輪廓檢測 Contour detection

* 動態輪廓 Active contour

* Level set method

* 互相關 Cross correlation

* 尺度空間 Scale space

* Scale-invariant feature transform (SIFT)

* Image pyramid

* Multispectral Imaging

* 馬爾可夫網絡 Markov random fields

* 運動矢量 Motion vector

* 光流法 Optical flow

* 圖像分割 Image segmentation

* Medial axis

* 方向梯度直方圖 Histogram of oriented gradient



參見


* List of computer graphics and descriptive geometry topics
電腦語言（computer language）指用於人與電腦之間通訊的語言，是人與電腦之間傳遞資訊的媒介。但是其概念比通用的程式語言要更廣泛。例如，HTML 是標示語言，也是電腦語言，但並不是程式語言。
電腦軟體列表，泛指在電腦上所執行的各種軟體的列表，或同類型軟體的比較。



依軟體發行公司分類


* Adobe 軟體列表

* Mozilla 產品列表

* 微軟應用軟體列表



依系統平台分類

DOS


* MS-DOS 命令列表

Unix


* Unix 工具列表

* Unix 實用程式列表

Linux


* Linux 套件比較

* KDE 程式列表



依軟體功能分類

作業系統


* 作業系統列表

* 自舉引導程式比較

程式設計


* 程式設計語言列表

* 組合語言列表

Internet 應用

使用者端軟體


* 網頁瀏覽器列表 - 網頁瀏覽器比較

* FTP 客戶端列表 - FTP 客戶端比較

* 電子郵件客戶端列表 - 電子郵件客戶端比較

* 即時通訊軟體列表 - 即時通訊軟體比較

* 下載管理程式比較

伺服器端軟體


* FTP 伺服器列表

P2P 軟體


* 檔案分享程式比較

* ED2k 軟體比較

網站套件


* 內容管理系統列表

* Wiki 軟體比較

商務應用軟體


* 辦公室套裝軟體比較

* 關係型資料庫管理系統比較

多媒體應用軟體


* 媒體播放器列表

* 光碟製作軟體列表

其他應用軟體


* 檔案編輯器列表 - 文字處理器比較 / 檔案編輯器比較

* 壓縮軟體列表 - 壓縮軟體比較

* 防毒軟體列表

* 中文輸入法列表



其他


* 開放原始碼軟體列表

* 開源遊戲列表
電腦輔助技術（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
電腦輔助製造（英文：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（頁面存檔備份，存於網際網路檔案館）
計算機邏輯描述應用於計算機科學和人工智慧的邏輯。它包括：


* 以在計算機科學中的應用為導向的邏輯學研究。例如：組合子邏輯和抽象釋義；

* 以邏輯形式自然表達的計算機科學基本概念。例如：程式語言的形式語義，霍爾邏輯和邏輯編程；

* 計算理論的關注形式邏輯的基本問題的方面。例如：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）
電腦雜誌列表列出各地的關於電腦的雜誌名稱。



美國、英國電腦雜誌列表


* Cnet.com

* ZDnet.com

* PC World

* PC Magazine

* PC Pro

* PC/Computing

* IT Reviews

* MacWorld

* Linux Journal



香港電腦雜誌列表


* 電腦週刊

* PCM 電腦廣場

* X-Tips

* PC3 Magazine

* e-zone

* Hi-Tech Weekly

* CPU

* 香港高登

* 新浪網 - 科技領域

* PC 一週

* 電腦技術

* 電腦領域



中國大陸電腦雜誌列表


* 電腦愛好者

* 電腦應用文摘

* 學生電腦

* 微型電腦

* 大眾硬體

* 大眾軟體

* 少年電腦世界

* 電腦報

* 駭客 x 檔案

* 駭客防線

* 駭客手冊

* 中國電腦報

* ZDnet 中國

* PC Magazine 中國

* PC World 中國



台灣電腦雜誌列表


* Download!

* PC home

* PC Shopper

* PCDIY!

* 電腦 DIY

* 電腦王

* PC Office

* Cnet 台灣

* ZDnet 台灣

* Tom's 硬體指南

* IT Home

* RUN!PC
計算物理學（英語：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（頁面存檔備份，存於網際網路檔案館）

* 北京大學理論生物學中心

* 台灣計算生物學會（頁面存檔備份，存於網際網路檔案館）

* 中國科學院 - 馬普學會計算生物學夥伴研究所（頁面存檔備份，存於網際網路檔案館）
計算社會學是社會學的一門分支，使用密集演算的方法來分析與模擬社會現象。計算社會學使用計算機模擬、人工智慧、複雜統計方法，以及像是社會性網路分析等新的途徑，由下而上地塑造社會互動的模型，來發展與測試複雜社會過程的理論。

它包含了對於社會行為者的理解，這些行為者之間的互動，以及這些互動對於社會整體的影響。雖然社會科學的主題與方法和自然科學或電腦科學相異，當代對於社會的模擬所使用的許多方法仍舊起源於如物理學與人工智慧等領域。而一些源自於社會科學的方法也被納入自然科學，例如在社會性網路分析與網路科學領域中，網路中心性的測量。

在相關文獻中，計算社會學經常與社會複雜度的研究相關。像是複雜系統、鉅觀過程與微觀過程之間非線性的互連，與突現等社會複雜度的概念也進入了計算社會學的辭彙。一個實際且廣為人知的例子是以「虛擬社會（artificial society）」的形式建造一個演算模型，研究者可以藉此分析一個社會體系的結構。



歷史

系統理論與結構功能論

在戰後時期，萬尼瓦爾・布希的微分分析器、約翰・馮・諾伊曼的細胞自動機、諾伯特・維納的模控學 與克勞德・夏農的資訊理論在技術系統中成為模擬與暸解複雜度具有影響力的典範。相對應地，在像是物理學、生物學、電子學，和經濟學等學門的科學家開始表述一種一般性的系統理論，其中所有自然與物理現象皆為一個系統中具有相同模式與性質的相關元素的展現。　　隨著艾彌爾・涂爾幹以實事求是的方式分析複雜現代社會的呼聲，戰後結構功能主義社會學家如塔爾科特・帕森斯利用這些構成元素之間系統化與階層化互動的理論，來嘗試生成宏大而統一的社會學理論，例如四種功能（_AGIL paradigm_）。　　如 George Homans 等社會學家辯稱社會理論應該被形式化（正規化）（_formalized_），成為命題和精確術語的階層結構，其他的命題與假設可以從中被推演出來並操作化以進行實証研究。由於電腦演算法與程式早在 1956 年就已用來測試和驗證數學定理，例如四色定理，社會科學家與系統動力學家預期類似的計算取徑可以類比地「解決」與「證明」正規化的問題，和社會結構與動力的理論。

鉅視模擬與微視模擬

到了 1960 年代晚期與 1970 年代早期，社會科學家使用更為可得的電腦科技對組織、產業、城市，與全球人口進行控制與回饋過程的鉅視模擬。這些模型使用微分方程，將人口分布視為其他系統性因素（如存貨控管、都市交通、遷徙、疾病傳染等）的整體計算型函數（holistic functions）來進行預測。羅馬俱樂部根據對於全球經濟的模擬（simulation）而出版了預測全球環境浩劫的報告。儘管在這份報告發表後的 1970 年代中期，對社會體系的模擬因而得到了大量的關注，然而其煽動的結論顯示了模型的結果受到對於模型的參數所做的特定量化假設非常大的影響（highly sensitive）（在羅馬俱樂部的例子中，僅有少數的證據支持），亦暫時使得這初生的領域失去可信度。對於利用計算工具來預測巨觀的社會與經濟行為產生的懷疑漸增，因此社會科學家將其注意力轉向了微視模擬模型（microsimulation），藉由模擬個人層級個體的狀態漸進（aggregate）改變，而非人口層級的分布的改變，社會學家們作出了預測，也研究政策的效果。然而，這些微視模擬模型並未允許個體進行互動或適應，其目的也非基本理論研究。

細胞自動機與個體為本模型



參見


* 計算社會科學

* 計算經濟學
計算社會科學（英語：Computational social science） 指的是在社會科學中採用電腦運算方法的學術分支，運算用以建立模型、模擬、分析社會現象。次分支包括計算經濟學、計算社會學、歷史動力學、自動媒體分析等等，內容則專注在透過模擬、建模、網絡分析、媒體分析等觀察社會與行為關係及互動。計算社會科學演化自科學方法的基礎：觀察研究（如利用大數據分析數位足跡）以及科學理論（如利用電腦模擬建立社會模型）等等。計算社會科學是一種多學科綜合的方法，透過先進的資訊科技觀察社會，特別是資訊的處理。電腦用於分析社會網絡、社會地理系統 、社群媒體、傳統媒體內容等等。

計算社會科學日益依賴逐漸增加的大型資料庫，目前正由幾個跨領域計畫建置中或維護中的資料庫有：


* 塞莎特（Seshat）：全球歷史的資料庫，內容系統性的收集了關於內容群體政治社會組織的資訊，以及社會如何演化等。塞莎特隸屬於演化研究所，演化研究所為非營利智庫，目標為「利用演化科學來解決現實世界問題」。

* D-PLACE：地方、語言、文化和環境資料庫，提供超過 1400 個人類社會形態的資料。

* 文化演化圖集：是由彼得・百富勤（Peter N. Peregrie）所建立的考古資料庫。

* CHIA （頁面存檔備份，存於網際網路檔案館）：即歷史分析的協作資訊（Collaborative Information for Historical Analysis （頁面存檔備份，存於網際網路檔案館）），是由匹茲堡大學主持的多學科合作項目，旨在將歷資訊資訊建檔，將數據與全球各地的研究機構連結起來。

* 國際社會歷史研究所（International Institute of Social History）：收集關於勞動關係，工人和勞動的全球社會歷史的資料。

* Human Relations Area Files eHRAF Archaeology。

* Human Relations Area Files eHRAF World Cultures。

* Clio-Infra （頁面存檔備份，存於網際網路檔案館）：從公元前 1800 年到現在的全球社會樣本的經濟績效和社會福利其他方面的資料庫。

對大量歷史報紙內容的分析率先顯示了如何自動發現週期性結構 ，對社群媒體進行類似的分析，也能看到明顯的週期性結構。



參見


* Cliodynamics

* Seshat (project)

* 社會科學

* 計算社會學

* 計算經濟學



參考文獻
計算科學中心站（日語：計算科学センター駅／けいさんかがくセンターえき _Keisan Kagaku Sentā eki_ \*/?）位於兵庫縣神戶市中央區港島南町七丁目，是神戶新交通港灣人工島線的鐵路車站。副站名為神戶動物王國・「富岳」前（神戸どうぶつ王国・「富岳」前），車站編號為 P08。



歷史


* 2006 年（平成 18 年）2 月 2 日：隨著港灣人工島線延伸，本站開業，當時的站名為港島南站（ポートアイランド南駅）（建設時的暫訂名稱為「PI 二期南站」）。

* 2008 年（平成 20 年）4 月 1 日：根據贊助商命名權契約，本站加上副站名「花鳥園前」。契約期間為 3 年。

* 2011 年（平成 23 年）7 月 1 日：為慶祝「京」獲認證為世界最快的超級電腦，本站改稱為京電腦前站 。

* 2014 年（平成 26 年）7 月 1 日：根據贊助商命名權契約，本站加上副站名「神戶動物王國」。契約期間為 3 年。

* 2019 年（令和元年）8 月 30 日：超級電腦「京」退役拆除。撤去後本站新站名未定。

* 2021 年（令和 3 年）6 月 19 日：站名改稱為計算科學中心站，副站名神戶動物王國・「富岳」前。原本主站名要改稱為「富岳」，但因超級電腦的改朝換代較快，為避免主站名更動頻繁，因此決定「富岳」僅列為副站名。



車站構造

島式月台 1 面 2 線的高架車站。車站東側往神戶機場方向設有拖上線，若受不良天氣影響，列車無法通過神戶機場聯絡橋時，本線可做為折返。

車站 2 樓為大廳，3 樓為月台。站內設有電梯、電扶梯及多功能廁所。



使用狀況

2019 年（令和元年）度 1 日平均上車人次為 2,268 人，在神戶新交通的車站中排名第 13，港灣人工島線中排名第 8。

開業以來年度別 1 日平均上車人次統計如下表。



車站周邊

本站和醫療中心站周邊被規劃為神戸醫療産業都市，有許多研究設施。

學術設施


* 理化學研究所 計算科學研究機構
  
* 次世代超級電腦「富岳」

* 計算科學中心大樓
  
* 1F 計算科學振興財團 高度計算科學研究支援中心 (FOCUS)
  
* 3-7F 兵庫縣立大學情報科學學院

* 神戶大學統合研究據點

* 甲南大學前研科學學部

* 神戶醫療機器開發中心 (MEDDEC)

其他


* 神戶動物王國（舊神戶花鳥園）

* 港島高爾夫倶樂部

* 神戶育成中心 (KIO)

公車路線

可搭乘神姬巴士。

計算科學中心前站（車站北側）


* 往 MOL

* 往 三之宮站前

物流中心站（車站東側）


* 往 三宮（SOGO 前），經過 IKEA 神戶／中央市民醫院

* 往 MOL

港島南町 4 丁目站（車站西側）


* 往 三宮（SOGO 前）

* 往 MOL

* 往 KIO



相鄰車站

神戶新交通
: 港灣人工島線

　
: : 醫療中心（P07）－計算科學中心（P08） －神戶機場（P09）



參考資料



外部連結


* 京電腦前站 （頁面存檔備份，存於網際網路檔案館） - 神戶新交通
在計算複雜性理論中，計算資源是一些計算模型在解決計算問題時使用的資源。

最簡單的計算資源是計算時間，即解決一個問題所需的步驟數，以及內存空間，即解決問題時需要的存儲量，但也有許多更複雜的資源被定義。  [需要引用]

一個計算問題一般 [引用] 是以其對任何有效輸入的行動來定義的。問題的例子可能是 "給定一個整數 n，確定 n 是否是素數"，或者 "給定兩個數字 x 和 y，計算積 x\*y"。隨著輸入越來越大，解決一個問題所需的計算資源也會增加。因此，解決一個問題所需的資源是用漸進分析法來描述的，即把資源確定為輸入的長度或大小的函數。資源的使用經常使用大 O 符號進行部分量化。

計算資源是有用的，因為我們可以研究哪些問題可以在每一種計算資源的一定量中計算出來。通過這種方式，我們可以確定解決問題的算法是否是最優的，我們可以對算法的效率做出說明。所有能用一定量的某種計算資源解決的計算問題的集合是一個複雜性類，而不同複雜性類之間的關係是複雜性理論中最重要的課題之一。

描述普遍可得的計算設備

"計算資源" 一詞通常被用來描述可訪問的計算設備和軟體。參見公用計算。

計算能力的形式化量化

在正式量化計算能力方面已經有了一些努力。有界圖靈機已經被用來為特定的計算建模，使用狀態轉換的數量和字母大小來量化解決一個特定問題所需的計算努力。
金融工程學側重於衍生金融產品的定價和實際運用，它最關心的是如何利用創新金融工具，來更有效地分配和再分配個體所面臨的形形色色的經濟風險，以優化它們的風險 - 收益特徵。較為具體而言，金融工程是在風險中性的假設條件下，將某種金融證券資產的期望收益率擬合於無風險收益率；從而是趨向於一種風險厭惡型的投資型。
計軸器(Axle Counter) 屬於鐵路號誌的裝置設備之一，它裝設於閉塞區間的鐵路軌道上，主要用來確認列車通過狀態，並通過其感測技術偵測兩個計軸點之間的車軸數，將訊號回傳提供電子連鎖系統，監控異常狀況，其收集的數據將能利於行車控制中心運用於判定列車通過該區間的時間，校正列車行駛距離等的設備。



運用概要

因軌道電路系統易受天候濕氣以及鐵屑影響其判斷，最早由德國開發不受外力變化影響的原型，逐漸發展為現在狀態。與軌道電路有相同功能，均為偵測通過閉塞區間內的列車，監控行駛安全，但其運作方式與軌道電路不盡相同。計軸器由「磁性感測器」和「微處理器」組成，目前大多採用電磁式，磁性感測器為一組兩對（四顆），由磁頭、發送器、接收器三部分組成。磁頭各有一個發送及接收線圈，分別裝設在鋼軌的兩側（左右邊各一，裝設位置多選在鋼軌內緣），閉塞區間的起訖點。

當列車鋼輪通過位於起點的第一組磁性感測器，磁性探針磁通量增加，透過磁通量之變化，磁性感測器即開始計算進入該區間列車的車軸數，離開閉塞區間時，第二組磁性感測器覆核遞減數字，以此確認該區間是否還有列車，收集的信號經由微處理器，傳送到路線旁設置的號誌設備器（信號調變器）。閉塞區間內只能有一組列車，若上傳到號誌設備的數字不相符，該閉塞區間將會封閉禁止列車通過。



參考文獻
計都（Ketu）是古代印度天文學名詞，原本指月球之遠地點，為月行最遲之處。後來，這定義在古中國天文學中為月孛所繼承，計都的定義就變作月球軌道與黃道的升交點（據沈括）或降交點（據湯若望），這是月球穿越黃道的交會點，見黃白交點／月球交點。

計都與羅㬋、日、月、水星、火星、木星、金星、土星合稱九曜；同時也是中國古代天文學中七政四餘的四餘之一。



外部連結


* 印度星象學系列講座：計都入十二宮詳解
計雨亭（1895 年 12 月 —1974 年 11 月），又名計龍章，男，江蘇阜寧人，中國政治人物，曾任民革江蘇省委副主委。第二、三屆全國人大代表。
《訊報》（葡萄牙語：Jornal Son Pou），是在澳門逢周五出版的自由開放派中文報章，創刊於 1989 年 3 月 18 日。主要刊登中國大陸和澳門地區社會、政治、經濟的評論文章，以及刊登一些澳門當地社團活動消息。現任社長為周仲屏，總編輯為李江。

2010 年，《訊報》和《論盡媒體》合作，創立《論盡澳門街》，作每周專題報導。



特色及立場

《訊報》是在澳門唯一一份有刊登政治漫畫的中文報紙。

香港嶺南大學通識教育學院助理教授梁旭明說，澳門的週報在立場上被認為較全面甚至中肯，較敢於報導些對澳門回歸構成負面形象的新聞，其言論較多元化，語調亦較親民主派。



專欄作家


* 區錦新

* 黃東

* 汪長南

* 陳煒恆

* 周凡夫

* 李江

* 建燁



外部連結


* 官方網站

* 訊報的 Facebook 專頁

* 《論盡澳門街》存檔



參見


* 保利達告訊報誹謗案



參考來源
印度尼西亞《訊報》（XunBao）創刊於 2007 年 5 月 21 日，總部設在印尼第三大城市棉蘭，由棉蘭華人企業家林榮勝創辦，由 PT. Abdi Wibawa Press 出版。



簡介

《訊報》是一份面向蘇北省當地華人，以報導當地和大中華區域新聞為主的日報，為蘇門答臘島第一大華文報紙、全印尼主流華文報刊之一，日銷量逾 1 萬 2000 份。



媒體合作

《光華日報》為陪伴《訊報》長大的主要合作夥伴。在前者傾力協助之下，才得以完成創刊。《訊報》創刊後，《光華日報》除了教導編輯們如何編版的工作，同時每天也提供 4 至 5 版的版位給《訊報》，直到該報的編輯開始熟悉為止。2011 月 5 月，香港文匯報與印度尼西亞《訊報》合作，推出「香港文匯報印尼專版」，每日 5 版，發行量 1.1 萬份，主要報道大中華財經新聞、中國內地、港澳台地區的新聞深度解讀。2017 年，以《訊報》創刊十周年作為新起點，南方報業與《訊報》建立戰略合作關係，通過「今日廣東」全球落地版面、「今日廣東」國際供稿中心、海外華文媒體培訓實習基地等一系列重點項目，助力印尼《訊報》融合發展。



宗旨

其辦報宗旨是：以華文傳播最快最新信息，為傳承和發揚華夏文化而努力。
訊威科技集團有限公司，（英語：I-Comm Technology Limited），簡稱 I-Comm Technology、訊威科技、訊威科技集團，以及 I-Comm，在 2000 年由萬威國際有限公司分拆從事資訊科技製造、銷售及貿易。

其股份當時自 2000 年 1 月 25 日在新加坡交易所主板上市。主要銷售及工廠地區包括中國、日本、歐美、澳大利亞等國家。最後由於在新加坡投資者薄弱，於是被母公司進行私有化成功後，已在 2003 年撤銷上市。



連結


* IDTHK.com （頁面存檔備份，存於網際網路檔案館）

* OregonScientific.com （頁面存檔備份，存於網際網路檔案館）
信使核糖核酸（英語：messenger RNA，縮寫：mRNA），是由 DNA 經由轉錄而來，帶著相應的遺傳訊息，為下一步轉譯成蛋白質提供所需的訊息。在細胞中，mRNA 從合成到被降解，經過了數個步驟。在轉錄的過程中，第二型 RNA 聚合酶（RNA polymerase II）從 DNA 中複製出一段遺傳訊息到前 mRNA（尚未經過修飾或是部分經過修飾的 mRNA，英文 pre-messenger RNA，簡稱 pre-mRNA，或是 heterogeneous nuclear RNA，簡稱 hnRNA）上。在原核生物中，除了 5' 加帽之外 mRNA 並未被進一步處理（但有些罕有的特例），而經常是邊轉錄邊轉譯。在真核生物中，轉錄跟轉譯發生在細胞的不同位置，轉錄發生在儲存 DNA 的細胞核中，而轉譯是發生在細胞質中。不過，曾有研究學者認為真核生物亦有邊轉錄邊轉譯的現象，只是這個觀點未被廣泛接受。



轉錄後修飾

在真核生物中，mRNA 在準備好轉譯前需要經過多個處理步驟：

1. 首先 pre-mRNA 需要加上一個 5' 端帽（capping）-- 經過甲基化（methylation）修飾的鳥嘌呤被加到 mRNA 的 3' 端。這個 5' 端帽對於 mRNA 運輸到細胞質並與之後接到適當的核糖體，以及 mRNA 本身的穩定是相當重要的。mRNA 如果缺乏 5' 端帽，則很容易就被降解掉。而 mRNA 由 5' 到 3' 的降解亦是由移除 5' 端帽開始。
2. mRNA 剪接（mRNA splicing）--mRNA 前體去除掉內含子而保留外顯子的修飾過程。通常 mRNA 前體能經由數種不同的剪接方式，產生不同組態／型式的 mRNA，使一段基因在不同的組織或發育過程中能經過轉錄 - 剪接 - 轉譯後產生不同型式的蛋白質，進而擁有不同的作用，或是產生出穩定性差的 mRNA 達到調控基因表現的目的。這種剪接型態叫做選擇性剪接。絕大部分 mRNA 的剪接都是由剪接體所執行，只有少數例外，例如 histone mRNA 沒有內含子，但是其 pre-mRNA 卻需要經由另外的剪接方式才能產生成熟 mRNA。以上所述為分子內剪接（_cis_-splicing），而 mRNA 剪接作用亦可發生在不同 mRNA 分子之間（_trans_-splicing），後者常見於原生生物的 mRNA 剪接。除了 mRNA 之外，有些 RNA 分子也有能力催化自身的修剪，例如核酸酶會做自我切除，而第 I 或第 II 型外顯子在特殊環境下可以不藉由蛋白質酵素的作用而進行剪接，稱為自剪接作用。
3. 多聚腺苷酸化（polyadenylation）-- 藉由酵素多聚腺苷酸聚合酶（poly (A) + polymerase），在 mRNA 前體的 3' 端上加上了一段數個腺嘌呤序列（通常是數百個），（這項修飾並不會出現在原核生物中）。這段多聚腺苷酸尾鏈在轉錄的時候，會因為 mRNA 上一段特殊的訊息，AAUAAA，而在 mRNA 後方特定位置上加上多聚腺苷酸尾鏈。多聚腺苷酸尾鏈會被多聚腺苷酸結合蛋白（poly (A) + tail-binding protein, PABP）辨識並保護住。這段 AAUAAA 訊號的重要性可以從以下這個例子看出：當要轉錄時，DNA 分子上的 AATAAA 片段如果產生突變，將會導致某些血紅素缺陷。另外，對於部分 histone mRNA 而言，此過程是不被需要的。改變 tRNA 對 mRNA 上密碼子的識別，更可能改變了蛋白質上胺基酸的組成。

多聚腺苷酸化（polyadenylation）能增加轉錄的半生期，使得 mRNA 在細胞中的存在時間能延長得久一些，因此能再轉譯出更多的蛋白質。

在 pre-mRNA 在被修飾過之後（包含 RNA 剪接及加上 5' 端帽與 3' 端上多聚腺苷酸尾），形成成熟的 mRNA，從而可準備進行轉譯。成熟 mRNA 從細胞核被送出到細胞質中，然後核糖體結合在其上，開始轉譯出蛋白質。隨著時間進行，mRNA 的多聚腺苷酸尾會被專門的外切核酸酶縮短，而 5' 端帽也可能被除去，使得該聚合物易受到核酸外切酵素的影響而被降解。



非編碼區 / 未翻譯區

在 RNA 起始密碼子之前，與終止密碼子（stop codon）之後，各有一段非編碼區，各被稱作 5'UTR 與 3'UTR，（5' 與 3' 非編碼區，因為 DNA 與 RNA 分子都是由 5' 端到 3' 端，也就是說這些區域是在 RNA 分子的兩端）是屬於不轉譯出蛋白質的序列。然而，這些區域的重要性在於它們的序列有可能藉由這些區域與不同的 RNA 結合蛋白（RNA-binding protein）結合，進而改變在細胞中的位置、決定 mRNA 的半生期，以及對細胞受到刺激時的反應而生的轉譯調控。這些都是與細胞調控本身的活性有關。

在 UTRs 上的某些蛋白質複合物不僅能影響 RNA 的穩定度，也能促進轉譯效率或是抑制轉譯，這多是依據位在 UTRs 上的序列而定。有些在 UTR 上的基因遺傳的變異也會造成上述的 RNA 穩定度或是轉譯效率的改變。

一些包含在 UTRs 的功能性序列，常能形成一些有特性的二級結構，這些造成二級結構也牽扯到調節 mRNA 本身。某些序列，像是 SECIS, 是蛋白質結合區。其中一類的 mRNA 元素，riboswitches，能直接結合上小分子，改變了 mRNA 自身的摺疊結構，也影響了轉錄或是轉譯作用。另外，有些 mRNA 的 3'UTR 含有 AU-rich elemnet（ARE），能影響到 mRNA 的半生期。換句話說，mRNA 分子可以進行自我調控。



mRNA 密碼子與胺基酸的對應

　
: A 密碼子 AUG 同時編碼甲硫胺酸並作為起始點：在信使 RNA 的編碼區里，首個 ATG 的出現標誌著蛋白質轉譯的開始。

　
: B ^ ^ ^ 標示終止密碼子為琥珀、赭石和蛋白石的歷史原因可在雪梨・布倫納（Sydney Brenner）的自傳和鮑勃・埃德加（Bob Edgar）的一篇歷史性文章中找到。



反義 RNA（anti-sense RNA）

在許多真核生物中，當反義 RNA 上的鹼基與基因的某段 mRNA 互補時，反義 RNA 可以抑制轉譯。反義 RNA 存在於細胞中之時，其互補的基因就不會合成蛋白質。這也許是一種對抗反轉錄轉座子或病毒複制的一種機制（retrotransposons 是以雙股 RNA 作中介狀態的轉座子），因為這兩者都能使用雙鏈 RNA 當中介物。在生物化學的研究中，藉由使用一段反義 mRNA 使得標靶 mRNA 無法作用（RNA 干擾），這種方法已經被廣泛用於研究基因的功能；例如利用 RNA 干擾技術，秀麗隱桿線蟲中所有基因的作用幾乎已經被研究完了。



參考文獻



參見


* RNA 干擾（RNAi）

* 美國莫德納生技公司

* mRNA 疫苗
訊息（英語：Messages）是一套在 masOS 和 iOS 作業系統上運行的即時通訊軟體，由蘋果公司開發。在 iPhone 上同時具有簡訊的功能。

訊息在 2012 年 7 月推出的 OS X Mountain Lion 上取代了原有的 iChat 即時通訊軟體。除了保留大多數 iChat 的功能之外，訊息也加入了蘋果的即時通訊服務 iMessage 和 FaceTime 整合。



iOS 版本

iPhone OS 3

蘋果公司在 2009 年 6 月推出的 iPhone OS 3 上將「訊息」設為內建預載的應用程式。它取代了自初代 iPhone 推出時既有的「簡訊」（Text）程式。其名稱的變更是由於 iPhone 在當時除了原有的簡訊（SMS）外也開始支援多媒體簡訊（MMS）。雖然第一代 iPhone、iPhone 3G 和 iPhone 3GS 都可升級至 iPhone OS 3.0，但由於硬體限制，初代 iPhone 中的「訊息」程式並不支援多媒體簡訊。「訊息」也能夠使用 vCard 標準來分享聯絡人資訊。其他的重大變更包括支援複製與貼上，以及能同時刪除多則訊息的功能。

iOS 4

「訊息」在 2010 年推出的 iPhone OS 4（隨後改名為 iOS 4）上有著小幅度的變更。新的功能包括可搜尋簡訊的文字內容，也加入了字數計算功能，能在輸入超過簡訊字數的上限時提醒使用者。iOS 4 的「訊息」在簡訊發送失敗時會在圖示的右上方顯示一個內有驚嘆號的紅色圓形來提示使用者。蘋果也提供了新的應用程式介面讓開發者能夠在自己的應用程式內加入傳送訊息的功能。

iOS 5

隨著 2011 年 10 月 15 日 iOS 5.0 的推出，iPad 和 iPod touch 也加入了「訊息」應用程式。與 iPhone 同時支援簡訊、多媒體簡訊和 iMessage 不同，iPad 與 iPod touch 僅支援 iMessage 服務。iMessage 可讓 iOS 5 的使用者透過 Wi-Fi 和 3G 傳送文字訊息、圖片和聯絡人資料至其他的 iOS 5 裝置，且不需支付電信業者額外費用。此外，訊息在不同裝置間可以同步，使用者可於一台裝置上收發訊息後在另一台裝置上繼續。iOS 5 的「訊息」在對方輸入文字時會同時提示使用者，也加入了「已傳送」和「已接收」的提示訊息。新接收的簡訊、多媒體簡訊與 iMessage 訊息也能在鎖定畫面和通知中心中顯示。

iOS 6

iOS 6 強化了「訊息」應用程式在不同裝置間同步的功能。iPod touch 和 iPad 的使用者可使用他們 iPhone 上的電話號碼來收發 iMessage 訊息（但無法傳送 SMS 和 MMS）。 在此之前，iPhone 使用者無法在 iPod touch 和 iPad 上接收傳送至 iPhone 電話號碼的 iMessage 訊息。此外，使用者可在任何 iOS 裝置上新增其他的電子郵件位址來收發訊息。這些功能的設定都可以在「設定」應用程式中的「訊息」分類下找到。iOS 6 也在如 Safari 和「相片」等應用程式中加入了分享按鈕，使用者能在不離開應用程式的情況下透過「訊息」來傳送網址和相片。



macOS 版本

10.8 Mountain Lion

在 2012 年 2 月 16 日，蘋果宣布「訊息」應用程式將以 beta 測試版的狀態加入 Mac OS X Lion（10.7）。此外「訊息」也加入了 OS X Mountain Lion（10.8）的開發者測試版中。Mac OS X Lion 中的「訊息」beta 版在 2012 年 12 月 12 日停止服務，時間剛好就在 OS X Mountain Lion 推出約三個月後。

正式版的 OS X「訊息」應用程式在 2012 年 7 月 25 日推出，並包含在 OS X Mountain Lion（10.8）中。「訊息」取代了 OS X 中自 Mac OS X 10.2 開始存在的內建即時通訊軟體 iChat，加入了對 iMessage 的支援。與 iChat 不同的是，新版的「訊息」不再支援 AIM、Google Talk 和 Jabber。「訊息」也利用新加入的通知中心來提示使用者新進的訊息。此外，在 Safari、Finder 和預覽程式等應用程式中新加入的「分享」按鈕，可讓使用者透過「訊息」來分享網頁、相片或檔案。「訊息」也支援使用拖曳的方式來分享檔案和相片。使用者也可在「訊息」內撥打 FaceTime。

在 OS X 10.8.2 的更新後，「訊息」新增了可用使用者的 iPhone 電話號碼來收發訊息。



參見


* iMessage

* iChat

* FaceTime



資料來源



外部連結


* 蘋果 OS X 官方網站：
  
* 台灣 （頁面存檔備份，存於網際網路檔案館）（繁體中文）
  
* 中國 （頁面存檔備份，存於網際網路檔案館）（簡體中文）
  
* 香港 （頁面存檔備份，存於網際網路檔案館）（繁體中文）

* 蘋果 iOS 官方網站：
  
* 台灣 （頁面存檔備份，存於網際網路檔案館）（繁體中文）
  
* 中國 （頁面存檔備份，存於網際網路檔案館）（簡體中文）
  
* 香港 （頁面存檔備份，存於網際網路檔案館）（繁體中文）
訊息傳遞（英語：Signal transduction；也譯作訊息傳導）是化學或物理信號作為一系列分子事件通過細胞傳遞的過程，最常見的是蛋白激酶催化的蛋白質磷酸化，最終導致細胞反應。負責檢測刺激的蛋白質通常被稱為受體，儘管在某些情況下使用術語傳感器。受體中配體結合（或信號傳感）引起的變化產生信號級聯，其是沿信號傳導途徑的生物化學事件鏈。當信號通路彼此相互作用時，它們形成網絡，通常通過組合信號傳導事件來協調細胞反應。在分子水平上，此類反應包括基因轉錄或轉譯的變化，蛋白質的轉譯後和構象變化，以及它們的位置變化。這些分子事件是控制細胞生長，增殖，代謝和許多其他過程的基本機制。在多細胞生物中，訊息傳遞途徑已經進化到以多種方式調節細胞通訊。

信號通路的每個組件（或節點）根據其相對於初始刺激所起的作用進行分類。配體被稱為第一信使，而受體是信號傳感器，然後活化初級效應器。這種效應器通常與第二信使相關聯，第二信使可以活化次級效應器，等等。根據節點的效率，可以放大信號（稱為信號增益的概念），這樣一個信號分子就可以產生涉及數百個到數百萬個分子的響應。與其他信號一樣，生物信號的轉導的特徵是延遲，噪聲，信號反饋和前饋和干擾，其範圍可以從可忽略到病態。隨著計算生物學的出現，信號通路和網絡的分析已經成為理解細胞功能和疾病的重要工具，包括發信號通知對獲得性耐藥性反應的重新布線機制。



刺激

訊息傳遞的基礎是將某種刺激轉化為生化信號。 這種刺激的性質可以有很大的不同，從細胞外信號（例如 EGF 的存在）到細胞內事件（例如復制性端粒磨損導致的 DNA 損傷）。 傳統上，到達中樞神經系統的信號被歸類為感官感覺。 這些在稱為突觸傳遞的過程中從一個神經元傳遞到另一個神經元。 許多其他細胞間信號傳遞機制存在於多細胞生物中，例如控制胚胎髮育的那些。

 



受體

受體大致可分為兩大類：細胞內受體和細胞外受體。



第二信使

第一信使是從細胞外液到達細胞並與其特定受體結合的信號分子（激素、神經傳遞質和旁分泌 / 自分泌劑）。 第二信使是進入細胞質並在細胞內起作用以觸發反應的物質。 實質上，第二信使充當從質膜到細胞質的化學中繼器，從而進行細胞內訊息傳遞。



參閱


* 訊息傳遞轉接蛋白

* 支架蛋白質

* 細胞信號傳送

* 代謝途徑

* 蛋白質交互作用
訊息流行病（英語：Infodemic，或稱為資訊疫情）是指關於某種事物（如疾病）的準確資訊與不準確資訊一同被現代網路迅速和廣泛地傳播。由於事實和謠言的魚龍混雜，人們很難真正了解有關某種事物的正確的基本資訊，可能導致人們在認識該疾病或需要尋求幫助時，找不到正確指引反可能被虛假資訊所誤導，從而發生防疫破口或社會動亂，並造成疫情惡化。



歷史

2003 年 SARS 疫情期間，訊息流行病的英文 Infodemic 一詞就已出現，在 2019 冠狀病毒病疫情時該詞又被重新提及，例如 2020 年 3 月 31 日，聯合國和世界衛生組織就又開始提到訊息流行病一詞。

2020 年 10 月，英國皇家學會和英國科學院在發表的一份聯合報告中談到訊息流行病時表示：「2019 冠狀病毒病疫苗的開展面臨著一個資訊不對稱的問題，人們往往接受了錯誤的資訊，其特點是：(1) 對科學的不信任；(2) 對製藥公司和政府的不信任；(3) 過度簡化的解釋；(4) 意氣用事；(5) 回聲室效應。



參見


* 資訊超載



參考文獻
訊息傳遞可以指：


* 訊息傳遞 (生物)，化學或物理訊號作為系列分子事件通過細胞傳遞的過程。

* 訊息傳遞 (軟體)，在計算機科學上調用運行程式的技術。

* 訊息傳遞介面，一個平行計算的應用程式介面。
訊息會議中繼協定（Message Session Relay Protocol，簡稱 MSRP）是一基於 SIP 的即時通訊（Instant Messaging）協定，可以在 SIP 的 Session 中進行文字交換與訊息傳遞。



SIP 中的應用

MSRP 可用於 SIP session:


* 一對一或一對多的即時通訊

* 傳送檔案

* 圖片分享

MSRP session 的設定是基於 SIP 的「呼叫 - 回應」 （offer-answer） model. SDP m-line 媒體模式（media type）是 _message_ 而且這個雛型是建立在 _TCP/MSRP_ for MSRP（經由 TCP）以及 _TCP/TLS/MSRP_ for MSRP （經由 secure TLS）. 未來，MSRP URI 被定義在 _path_ 屬性當中。

一個完整的 SDP 範例，如 RFC 所提示:

```
   v=0
   o=alice 2890844526 2890844527 IN IP4 alice.example.com
   s= -
   c=IN IP4 alice.example.com
   t=0 0
   m=message 7394 TCP/MSRP *
   a=accept-types:text/plain
   a=path:msrp://alice.example.com:7394/2s93i9ek2a;tcp
```

MSRP 包含位址（address）與埠（port）同時用 c-line 綁住位址，並透過 m-line 來包含埠。一般而言，其他的媒體模式（media type）使用 c-line 和 m-line 來描述位址，可是 MSRP RFC 是使用 MSRP path 來實現。這可能有一些問題，特別是，B2BUA 可能需要一個替代的路徑在不同裝置中傳遞 MSRP message. 如要克服這點，RFC draft （頁面存檔備份，存於網際網路檔案館） 會在裝置中比對 MSRP paths, 必要時則加以改變。只有會議識別碼（session ID）要加以比對。此法大大地簡化了真實生活中的情境，而且可以改善網路共通性的問題。



注釋



資源


* libMSRP, GPL
資訊污染是指網際網路上的資訊被很多無關、冗餘、不請自來以及低價值的資訊所污染， 例如錯誤資訊、垃圾電郵和媒體暴力都屬於資訊污染。

無用和不良資訊會對人類活動產生不利影響。這些資訊被認為是資訊革命的副作用之一。 



概述

資訊污染一般用於指電子通訊，例如電子郵件、即時通訊和社群媒體。該詞在網頁易用性專家雅各布・尼爾森於 2003 年發表相關話題的論文後，得到了特別關注。不過，早在 1971 年，就有研究人員就對必須從「垃圾漿中尋找有價值的團塊，而團塊只是隨機分散的微量成分」的負面影響表示懷疑。人們使用資訊來作出決策以及適應環境。認知研究表明，人類只能接受有限的資訊，而過量的資訊會導致決策品質惡化。與之相關的資訊超載也對決策有害，這一概念僅指可獲得的資訊數量龐大，而不論其品質如何。

儘管科技進步被認為惡化了資訊污染問題，但其並非該問題的唯一成因。任何分散注意力，使人不能關注必要的事實並執行任務或決策的，都可以視作是資訊污染。

資訊污染可以視作是工業生產過程導致的「電子版」的環境污染。一些學者表示，資訊超載是全球性的危機，其尺度與環境破壞的威脅相當。還有一些學者則認為，需要像環境資源管理那樣，構建一套資訊管理的範式。



表現形式

資訊超載的表現形式可以分為兩大類：引起擾亂的，以及損害資訊品質的。

引起擾亂的資訊污染的典型例子有垃圾訊息，特別是在辦公場所中。手機（鈴聲和瀏覽的內容）在很多場景下都是有干擾性的。干擾性資訊污染並非都與現代科技有關。例如，報紙也可能引起資訊污染，報紙讀者可能只會閱讀不到一半的文章，甚至完全不閱讀。冗餘的資訊、例如地圖上非必要的標籤，也可能分散人的注意力。

另外，資訊的品質降低也會導致其被污染。引起資訊品質降低的原因可能是資訊不準確或已過時，但也可能是因為資訊呈現的形式不合理。例如，當資訊不明確或雜亂、囉嗦時，讀者將難以理解內容。

法律法規時常變更和修訂。對這些法律的解釋和其他參考資料可能會落後於變化多年，這也可能誤導公眾。



成因

文化因素

文化因素對資訊污染有以下影響。

傳統上，人們認為資訊是好的東西。人們經常說「資訊越多越好」，以及「知識就是力量」。出版和行銷行業已習慣於大量印刷書本、雜誌和小冊子，而不考慮有沒有客戶需求，唯恐需要時數量不夠。

新技術使資訊更容易傳播到每個人，使資訊分享更民主。這被看作進步和個人權利的標誌，也是彌合資訊貧民和資訊富人之間鴻溝的積極的一步。然而，它也同樣增加了令人注意力分散的資訊的數量，使得區分資訊和雜訊變得更困難。廣告在網站、技術和報紙，乃至日常生活中的濫用，被稱為「文化污染」，

資訊科技

20 世紀的科技進步，特別是網際網路出現，在資訊污染的增加上起到了重要作用。網誌、社交網絡、 個人網站以及移動技術，都導致了「雜訊」增加。資訊污染的程度視乎環境。例如，電子郵件在工作環境下更可能造成資訊污染。手機在列車車廂等密閉空間中可能會造成更大的干擾。



影響

資訊污染會在多個層面產生影響。

個人

在個人層面，資訊污染影響了個人評估選項、尋找合適的解決問題方法的能力。它可能導致資訊超載、緊張焦慮、決策癱瘓和精神壓力。它還會擾亂學習進程。

社會

一些學者認為，資訊污染和資訊超載可能導致觀點和道德觀喪失。該論點能夠解釋為何社會對科學發現、健康警告或政治漠不關心。資訊污染令人對頭條新聞更不敏感，也對新資訊更懷疑。

商業

資訊污染加重了資訊超載和精神壓力，擾亂了商業決策。處理事務花費的時間上升，佷容易導致生產力和營收下降。而有缺陷的決策會增加重大失誤的風險。



解決方法

管理技巧和技術改進可以作為資訊污染的解決方案。


* 基於技術的替代方案有決策支持系統以及為資訊排列優先順序的儀錶板。造成頻繁干擾的技術可以用「污染」更少的技術代替。更進一步，技術可以提高資訊呈現的品質，以助於理解。

* 電郵使用政策以及資訊完整性保證策略可以作為解決方案。可以運用時間管理和壓力管理方法，其中包括設定優先級並儘量減少干擾。改進寫作和呈現方式的做法能夠減少對他人的資訊污染。



參見


* 數位落差

* 資訊生態

* 資訊爆炸

* 資訊超載

* 資訊品質

* 資訊革命

* 資訊社會

* 資訊化

* 濫發電子訊息

* 壓力管理

* 時間管理



參考文獻
信號肽（英語：Signal peptide, targeting signals, signal sequences, transit peptides, or localization signals）是引導新合成的蛋白質向分泌通路轉移的短（長度 5-30 個胺基酸）肽鏈。



發現歷史

古特・布洛伯爾和 B Dobberstein 於 1975 年提出並驗證了信號假設 (signal hypothesis)。同時，古特・布洛伯爾也因「發現蛋白自身信號管理它們在細胞中的轉移和定位」而獲得 1999 年度諾貝爾生理學或醫學獎。



功用


* 在蛋白質中存有不同種類的胺基酸，其功用為訊號胜肽為其中一員，作為傳訊因子，會在蛋白質合成過程前進行連接，在片段組成完成後，蛋白質藉由卸除此片段來確認蛋白質體合完成。