zaibd/wkpdtw huggingface dataset:
無障礙環境（英語：Barrier Free Environment 或 Accessible Environment），或暢通易達（Accessibility），意思為一個可以讓人通行無阻，而且易於接近及到達的理想環境。



理想無障礙環境

理想的無障礙環境就是在各方面都營造一個無障礙的環境。在有形方面，所應該考量的高度發展的文明事項包括，自由民主的法律制度、社會福利、全民健保、完全就業、免費教育、高經濟成長、高速的網路基礎設施、完善的交通網絡、消滅犯罪、生活上、行動上、教育上所可能的障礙排除，並提供其足以克服這些環境的配備，此等需求包括個體本身的配備，如點字機、手障、大體字、交通車、助聽器、傳真機、閃燈提示器、震動鬧鐘等器材，以及周圍環境中的裝設，如扶手、導盲磚、升降機、緩坡、字幕顯示器、火警提示燈等建築設施。此外，為有需要的聽障人士提供手語翻譯。無障礙的社會將採取不同措施以彌合數字鴻溝。

在無形方面，則應重視個體心理上的無障礙，所應考慮的事情包括，人們對障礙者的接納和一個關懷的心理，營造一個心靈上的無障礙環境。



世界無障礙運動

1950 年代，丹麥人卞・麥克遜（N.E. Bank-Mikkelsen）提出了正常化原則的觀念。於此同時，Wolf Wolfensberger 也在美洲大陸倡導正常化原則的觀念。隨後瑞典人本・那傑（Bengt Nirje）於 1969 年 1 月 10 日發表了一篇專述正常化原則的文章，闡述正常化原則的精神與內涵。

1950 年，歐洲各國開會決議對於「身體殘障者方便使用的公共建築物設計及建設」加以考慮，於此同時，美國訂定出了世界上第一部有關無障礙環境設計基準的式樣書。受到此舉影響，歐洲各國及加拿大競相設立無障礙環境的相關法條。1969 年，國際復健協會將美國採用的「坐輪椅人像」圖案定為國際殘障人士專用標誌。1970 年，日本也經由私人團體，向政府單位爭取到了諸多為殘障者所設計的設施，並受到施政單位的重視，於是日本繼歐洲和美國之後，正式加入了推行無障礙環境的活動之中。



交通無障礙

交通領域的無障礙環境創建工作包括為輪椅使用者提供坡道 / 直梯、為視障人士提供語音提示等，或是對不能使用固定路線公共運輸服務的殘障人士提供輔助公共運輸服務、以及對私家車無障礙化改造。



香港無障礙政策

人人暢道通行

人人暢道通行（英語：Universally Acessible）是中華人民共和國香港特別行政區第四屆政府所推行的一項有關無障礙通道的政策。

無障消費計劃

無障消費計劃是由香港《社聯－滙豐社會企業商務中心》在工業貿易署「中小企業發展支援基金」撥款資助下，於 2012 年 1 月宣布推出這計劃，向香港中小企業及社會企業推廣「優質服務．無障關懷」理念，希望透過這計劃提升商戶對殘疾人士、長者及少數族裔的服務水準，促使香港成為真正的無障礙社會。



相關條目


* 通用設計

* 網頁親和力 HTML5 無障礙

* 新幹線路線公車

* 低底盤公車

* 博愛座

* 特教平權

* 手天使

* 無障礙劇團

* 數字鴻溝



參考文獻

引用

來源


* Bengt Nirje. Classic article from 1969: The Normalization Principle and its Human Management Implication. _The International Social Role Valorization Journal_ 1994; Vol. 1(2):19-23.



延伸閱讀


* 鄺浩然︰【用心聽 聾健共融】通識教材套 （頁面存檔備份，存於網際網路檔案館），龍耳出版，2013 年 9 月

* 「無障手語行 服務業手語推廣教學小冊子」 （頁面存檔備份，存於網際網路檔案館），龍耳出版，2016 年

* 網站輔助功能工具 : 網站輔助功能工具 （頁面存檔備份，存於網際網路檔案館）
控制理論中，可觀測性格拉姆矩陣（Observability Gramian）是用來判斷線性動態系統是否可觀測的格拉姆矩陣。

若針對以下的線性時變系統

$$
{\dot {x}}(t)=A(t)x(t)+B(t)u(t)
$$

$$
y(t)=C(t)x(t)+D(t)u(t)\,
$$

可觀測性格拉姆矩陣為

 $W_{o}(t_{0},t_{1})=\int _{t_{0}}^{t_{1}}\Phi ^{T}(\tau ,t_{0})C^{T}(\tau )C(\tau )\Phi (\tau ,t_{0})d\tau $ ,

其中 $\Phi $ 為狀態轉換矩陣

系統在 $t\in [t_{0},t_{1}]$ 具有可觀測性，若且唯若 $W_{o}(t_{0},t_{1})$ 為非奇異矩陣，



連續時間，線性非時變系統

若在連續時間的線性非時變系統中，也可以定義可觀測性格拉姆矩陣（不過也有其他判斷可觀測性的方法）。

若考慮以下的系統

$$
{\dot {x}}(t)=Ax(t)+Bu(t)
$$

$$
y(t)=Cx(t)+Du(t)\,
$$

其可觀測性格拉姆矩陣是以下 $n\times n$ 的方陣

$$
{\boldsymbol {W_{o}}}(t)=\int _{0}^{t}e^{{\boldsymbol {A}}^{T}\tau }{\boldsymbol {C^{T}C}}e^{{\boldsymbol {A}}\tau }d\tau
$$

 ${\boldsymbol {A}}$ 若穩定（所有的特徵值實部均為負），可觀測性格拉姆矩陣也是以下李亞普諾夫方程的唯一解

$$
{\boldsymbol {A^{T}}}{\boldsymbol {W}}_{o}+{\boldsymbol {W}}_{o}{\boldsymbol {A}}=-{\boldsymbol {C^{T}C}}
$$

 ${\boldsymbol {A}}$ 若穩定（所有的特徵值實部均為負），而且 ${\boldsymbol {W}}_{o}$ 也是正定矩陣，則此系統有可觀測性。



離散時間，線性非時變系統

若考慮以下的離散時間系統

$$
{\begin{array}{c}{\boldsymbol {x}}[k+1]{\boldsymbol {=Ax}}[k]+{\boldsymbol {Bu}}[k]\\{\boldsymbol {y}}[k]={\boldsymbol {Cx}}[k]+{\boldsymbol {Du}}[k]\end{array}}
$$

其離散可觀測性格拉姆矩陣是以下 $n\times n$ 的方陣

$$
{\boldsymbol {W}}_{do}=\sum _{m=0}^{\infty }({\boldsymbol {A}}^{T})^{m}{\boldsymbol {C}}^{T}{\boldsymbol {C}}{\boldsymbol {A}}^{m}
$$

 ${\boldsymbol {A}}$ 若穩定（所有的特徵值絕對值均小於 1），也是以下離散李亞普諾夫方程的解

$$
W_{do}-{\boldsymbol {A^{T}}}{\boldsymbol {W}}_{do}{\boldsymbol {A}}={\boldsymbol {C^{T}C}}
$$

 ${\boldsymbol {A}}$ 若穩定（所有的特徵值絕對值均小於 1），而且 ${\boldsymbol {W}}_{do}$ 也是正定矩陣，則此系統有可觀測性。



參考資料


* Chen, Chi-Tsong. Linear System Theory and Design Third Edition. New York, New York: Oxford University Press. 1999. ISBN 0-19-511777-8.



相關條目


* 可觀測性

* 可控制性格拉姆矩陣

* 格拉姆矩陣



外部連結


* Mathematica function to compute the observability Gramian （頁面存檔備份，存於網際網路檔案館）
能見度又稱可見度，指觀察者離物體多遠時仍然可以清楚看見該物體。氣象學中，能見度被定義為大氣的透明度，因此在氣象學裏，同一空氣的能見度在白天和晚上是一樣的。能見度的單位一般為公尺或公里。能見度對於航空、航海和陸上運輸都非常重要。



能見度的高低

能見度通常要好，看的公里數遠，需要有下列因素：

1. 剛下過雨（通常是夏季午後雷陣雨：或颱風過後「也須視情況而定」）
2. 大氣擴散條件良好，懸浮微粒與污染物較容易擴散
3. 風向與地形配合
4. 風速
5. 颱風來臨前（視情況而定：但機會相對颱風剛過的高）

而低能見度出現的因素與時間，可能有下列因素所致：

1. 大氣擴散條件不好，懸浮微粒與污染物不容易擴散，天空上方容易形成污染層，並可能伴隨光化污染，二次污染
2. 下雨中
3. 有霾的時間
4. 逆溫



能見度的報告

能見度的呈現是按照世界氣象組織的數值調整指引。

例 1. 量度所得的能見度是 1690 公尺，報告為 1600 公尺；

例 2. 量度所得的能見度是 9900 公尺，報告為 9 公里；

例 3. 量度所得的能見度是 39 公里，報告為 35 公里。



資料來源



外部連結


* [1] （頁面存檔備份，存於網際網路檔案館），中華民國環保署空氣品質監測網

* [2]，香港天文台分區天氣 能見度



參見
視覺傳達設計（Visual Communication Design）是透過可視形式以傳達某種事物為目的的主動行為。視覺傳達主要或部份仰賴於視覺且以二度空間的影像呈現，包括：標示、字型編排、繪畫、平面設計、插畫、顏色、及電子設備。它同時發現一個訊息 — 影像伴隨著文字對於傳達、教導、說服觀眾而言具有更大的影響力。

在大學、專科學校、科技大學和技術學院，通常同名科系的教學主軸為平面設計（包括廣告、包裝… 等）。至於工業、環境、數位媒體和時尚等方面，眾多學校則可能會另設科系並更加專研。根據 LinkedIn 2015 全球數據顯示，現時最多自由工作者從事「藝術及設計」(46%)，如平面設計、攝影師、網頁設計師及插畫家等等。

 



概要

基於人們對美與醜並無一致同意的規則，好的視覺傳達設計取決於觀者對訊息的吸收程度，而非主觀上對美學或美術的偏好。除了平面影像，其它可利用視覺以傳達訊息的方式包括：身體語言及姿勢、動畫（數位或類比）、及電影。透過電子郵件所做的視覺傳達通常是文字圖（ASCII art）、情緒符號（emoticons）、或附加的數位影像。



參考文獻



參見


* 視覺傳達設計系

* 設計

* 平面設計

* 美術



外部連結


* Banana Portal 接蕉喇（香港設計 freelance 指南）

* Freehunter（Freehunter 香港人的自由工作者平台）

* Hellotoby（設計 freelance 平台）

* 香港 SEO 公司（搜尋引擎優化公司）

設計協會


* International Council of Design

* Asia Designer Communication Platform

* Taiwan Graphic Design Association

* China Graphic Design Association
可視化分析論是信息可視化與科學可視化領域發展的產物，側重於藉助於交互式用戶界面而進行的分析推理。



參考資料



參見


* 計算機圖形學

* 可視化

　
: 
* 信息可視化

* 科學可視化
整合開發環境（Integrated Development Environment，簡稱 IDE，也稱為 Integration Design Environment、Integration Debugging Environment）是一種輔助程式開發人員開發軟體的應用軟體，在開發工具內部就可以輔助編寫原始碼文字、並編譯打包成為可用的程式，有些甚至可以設計圖形介面。

IDE 通常包括程式語言編輯器、自動構建工具、通常還包括除錯器。有些 IDE 包含編譯器／直譯器，如微軟的 Microsoft Visual Studio，有些則不包含，如 Eclipse、SharpDevelop 等，這些 IDE 是通過呼叫第三方編譯器來實現代碼的編譯工作的。有時 IDE 還會包含版本控制系統和一些可以設計圖形使用者介面的工具。許多支援物件導向的現代化 IDE 還包括了類別瀏覽器、物件檢視器、物件結構圖。雖然目前有一些 IDE 支援多種程式語言（例如 Eclipse、NetBeans、Microsoft Visual Studio），但是一般而言，IDE 主要還是針對特定的程式語言而量身打造（例如 Visual Basic、Spyder）。



歷史

當人們開始在主機或終端機進行開發時，IDE 最初有了實現的可能。早期的程式語言在送進編譯器處理之前，必須要先經過流程圖、撰寫表格、打卡，所以當時並不需要 IDE。Basic 是第一個有 IDE 的程式語言，同時也是第一個可以直接在主機或終端機前開發程式，他的 IDE（Dartmouth Time Sharing System 的一部份）是採取命令列的方式，並不像現代的 IDE 使用選單和圖形化。但是他良好的整合了編輯、檔案、管理、編譯、除錯、執行等功能，符合現代化 IDE 的特性。

今天，IDE 這個詞和一些沒有關連性的命令列工具（像 vi、emacs、make）是一種對照，雖然你可以把 Unix 當成是一個 IDE，但是多數的程式開發人員會把 IDE 當成是一個可以完成各種開發工作的一個程式，這個 IDE 程式提供許多的功能，例如：製作、修改、編譯、發佈、除錯。IDE 的想法是把各種命令列的開發工具結合起來，提供一個抽象化的工具，來減少學習程式語言的時間，增加開發人員的生產力，同時也將各種開發工作做更密切的整合，來提高生產力，例如在寫程式的時候就直接做編譯，一發現有語法上的錯誤就立即回應。雖然現代的 IDE 多數是圖形化的，但是 IDE 在視窗系統（windowing system，例如 Microsoft Windows 或 X Window System）出現前就已經開始使用，在當時 IDE 是純文字模式，透過功能鍵和熱鍵來從事各項工作，例如 Turbo Pascal 就是一個例子。

近幾年來，最有意思的發展是 Eclipse 和 NetBeans 這類開放原始碼 IDE 的出現和流行，在結合開放原始碼的精神 — 開放、可擴張之下，激發了人們成立社群以延伸這些 IDE 的能力，讓這些 IDE 也能支援其他程式語言和其他的應用。

 

 

 



視覺化程式設計

視覺化程式設計也越來越重要，所謂的視覺化程式設計和 Visual Basic 或 Visual C++ 並不同，支援視覺化程式設計的 IDE 可以讓開發人員直接移動程式單元來建立流程圖和結構圖，然後直接做編譯或直譯，這一類的流程圖通常是以 UML 為基礎。

這樣的介面因為樂高的 Mindstorms 開始普及，一些公司也開始透過瀏覽器 Mozilla 和分散式程式設計（LabVIEW）往這方面努力。從 1980 年代開始，第一個視覺化程式設計系統 —Max，就是以類比合成器的設計為榜樣，同時被用來開發即時音樂演出軟體。

這種方法也被用在專業軟體，例如 Openlab，這類的使用者需要完整程式設計語言的彈性，並不想要傳統的學習曲線。

視覺化程式設計語言有另一個半免費和開放原始碼的替代品－Mindscript，具有加密系統和連結資料庫等等。



圖形介面開發工具

微軟的 Visual Basic 是早期的典型的視覺化開發環境。後來的包括 Borland 公司的 Delphi 等。

視覺化開發環境的特點是「控制項組裝」。很多控制項都是自己象畫圖一樣組裝起來的，開發環境解決了很多例行的、標準化的代碼，比起非視覺化的開發環境來說，更加直觀，開發速度快，效率高。

以 Delphi 為例：Delphi 包含了程式碼檔案（.PAS）和控制項布局檔案（.dfm），當你在畫布（FORM）上拖放一個按鈕（BUTTON）時，Delphi 開發環境會自動建立一個 DFM 檔案標明 BUTTON 位置，並且自動在 PAS 檔案中將最基本的完整代碼替你寫出來，你只需要在需要修改的地方修改或者增加就可以完成很多功能。



參考文獻

 

 



參見


* 整合開發環境列表

* 軟體開發工具包（SDK）

* 工具程式

* 軟體工程
  
* 軟體工程主題列表

* 電腦輔助軟體工程

* 快速應用程式開發
視覺化編輯器（英語：Visual editor），指在編輯過程中可顯示被編輯文本的編輯器，與之相對的是行編輯器（比如 ed、ex 以及 edlin）。

這個術語主要用於字符模式的應用程式，與 GUI 相對應。當然所有的 GUI 編輯器都是視覺化編輯器，但字符模式的編輯器則不全是。

視覺化編輯器中比較著名有：


* Vi

* Emacs

* Pico

* XEDIT
可視密碼方案實際上是一種秘密分享方案，由莫尼・瑙爾和阿迪・薩莫爾在 1994 年提出。可視秘密密碼方案提供了一種將一個秘密的黑 - 白圖像分割成多個子秘密的方案，不需要任何密碼學的計算就可以通過這些子秘密獲得原來的秘密圖像。即使是一個具有無窮計算能力的攻擊者，也不能在擁有的子秘密數量少於一個給定值時獲得關於秘密圖像的任何信息。

1994 年，Naor 和 Shamir 提出可視密碼，是一種依靠人眼解密的秘密共享方法，它是將一個秘密圖像加密成 n 張分存圖像，n 張分存圖像可以列印到膠片上、存入電腦或移動存儲器中，且分別由 n 個人保存。解密時只需 k 個人 (或 k 個以上) 將各自的分存圖像疊加，秘密圖像就會呈現出來，而少於 k 個人無法獲得秘密圖像的一點信息



參考文獻
視訊電話（英語：Videotelephony）是使通話中的雙方可以看到彼此即時視訊圖象的一種電話科技。其包括了接收與傳送音訊與視訊的技術，讓使用者能夠在不同的地方進行實時溝通。早期的視訊電話使用視訊電話機（videophone）進行，視訊電話機是帶有視訊顯示器的電話。而視訊會議（videoconference）則是指在以視訊電話進行團體或組織的會議，而不只是一對一的使用。



歷史

類比視訊電話

早在廣播電視發明之前，就已經存在有建立類似簡單視訊電話溝通的技術。這樣的技術通常由兩個閉路電視透過同軸電纜或無線電連接組成。德意志帝國郵政的視訊電話網路就曾在 1936 年至 1940 年之間使用同軸電纜在柏林和德國幾個城市提供視訊電話的服務。

受到約翰・羅傑・貝爾德與貝爾實驗室的影響，視訊會議在 1920 年代後半開始在英國與美國發展，並作為一種訂閱服務。至少在 AT&T，這作為一種電話的附加服務。有不少組織相信視訊電話的技術比單純的聲音溝通來的更優越。第一個嘗試使用一般電話線路來傳輸視訊影像的系統也由 AT&T 公司開發，他們從 1950 年代開始研究這樣的系統，但因為缺乏有效率的影像壓縮技術以及低落的影像解析度使得這個系統並沒有成功。

在第一次的載人航天行動中，美國國家航空暨太空總署使用兩個射頻建立雙向的視訊連結，通常這類的通訊使用特高頻或甚高頻。電視台也將這種形態的視訊電話技術常規的用於遠距離的報導中，新聞媒體是最普遍的使用者。新聞媒體通常使用裝有特殊裝置的卡車來建立移動的衛星連線，即衛星新聞轉播，之後也發展出了裝於公事包中的衛星視訊電話。但是這種裝置非常昂貴，無法使用於視訊醫療、遠距教學和商業會議中。

數位視訊電話

數位視訊電話一直到影像壓縮技術發展到一定程度後才具有可能性。因為頻寬的緣故，以未壓縮的視訊進行視訊電話在早期來說是不切實際的。舉例來說，要實現以無壓縮視訊圖形陣列（VGA）品質（解析度 480p、256 色）進行即時的視訊通信，需要超過 92 Mbps 的頻寬。能夠實現數位視訊電話與視訊會議最重要的影像壓縮技術是離散餘弦變換（DCT）。DCT 是一種破壞性資料壓縮，這個概念在 1972 年由 Nasir Ahmed 提出。並在 1973 年由德州大學的 T. Natarajan 與 K. R. Rao 開發出演算法。第一個能使用於數位視訊會議的影像編碼標準 H.261 即以 DCT 演算法為基礎，國際電信聯盟電信標準化部門（ITU-T）於 1988 年建立了標準化的 H.261，隨後又建立了一系列的 H.26x 標準。



所需頻寬


* 16 kbit/s— 可視電話品質（使用者可以接受的 "說話的頭" 相片的最低要求）

* 128 – 384 kbit/s— 商業導向的影片會議系統品質

* 1 Mbit/s—VHS 品質

* 1.25 Mbit/s – VCD 品質（使用 MPEG1 壓縮）

* 5 Mbit/s—DVD 品質（使用 MPEG2 壓縮）

* 8 – 15 Mbit/s— 高解析度電視（HDTV）品質（使用 H.264 壓縮）

* 29.4 Mbit/s（最高）– HD DVD 品質

* 40 Mbit/s（最高）– 藍光光碟（Blu-ray Disc）品質（使用 MPEG2、H.264 或 VC-1 壓縮）

* 440 或 880 Mbit/s – Sony HDCAM SR 品質（SQ/HQ）



參見


* VoIP



參考文獻
在數學的歷史中，群論原本起源於對高於四次的一元多項式方程式無一般的公式解之證明的找尋，最終隨著伽羅瓦理論的提出而確立。可解群的概念產生於描述其根可以只用根式（平方根、立方根等等及其和與積）表示的多項式所對應的自同構群所擁有的性質。

一個群被稱為可解的，若它擁有一個其商群皆為阿貝爾群的正規列。或者等價地說，若其降正規列

　
: $G\triangleright G^{(1)}\triangleright G^{(2)}\triangleright \cdots ,$

之中，每一個子群都會是前一個的導群，且最後一個為 _G_ 的平凡子群 {1}。上述兩個定義是等價的，對一個群 _H_ 及 _H_ 的正規子群 _N_，其商群 _H_/_N_ 為可交換的若且唯若 _N_ 包含著 _H_(1)。

對於有限群，有一個等價的定義為：一可解群為一有著其商群皆為質數階的循環群之合成列的群。此一定義會等價是因為每一個簡單阿貝爾群都是有質數階的循環群。若爾當 - 赫爾德定理表示若一個合成列有此性質，則其循環群即會對應到某個體上的 _n_ 個根。但此一定義的等價性並不必然於無限群中亦會成立：例如，因為每一個在加法下的整數群 Z 的非當然子群皆同構於 Z 本身，它不會有合成列，但是其有著唯一同構於 Z 的商群之正規列 {0,Z}，證明了其確實是可解的。

和喬治・波里亞的格言「若有一個你無法算出的問題，則會有的你_可以_算出的較簡單的問題」相一致的，可解群通常在簡化有關一複雜的群的推測至一系列有著簡單結構－阿貝爾群的群的推測有著很有用的功用。



例子

所有的阿貝爾群都是可解的 —— 其次正規群列為自身和平凡子群。但非阿貝爾群則不一定都是可解的。

更一般地，所有冪零群都是可解的。特別地是，所有的有限 p - 群都是可解的，因為所有的有限 p - 群都會是冪零的。

可解但不為冪零的群的一個小例子為對稱群 _S_3。實際上，因最小的非阿貝爾的單群為 _A_5(5 個元的交錯群) 時，_所有_小於 60 階的群皆為可解的。

群 _S_5 不是可解的－它有一合成列 {E,_A_5,_S_5}(若爾當 - 赫爾德定理指出每個其他的合成列都會等價於此一合成列)，給出了同構於 _A_5 及 _C_2 的商群；而 _A_5 為非可換的。廣義化此一論述，結合 _A_n 在 _n_ > 4 時為 _S_n 的正規、最大且非阿貝爾簡單子群的事實，可知 _n_ > 4 的所有 _S_n 皆不可解，此亦為證明每一個 _n_ > 4 的 _n_ 次多項式都不可以以方根得解的關鍵步驟。

著名的范特 - 湯普遜定理指出，每一個奇數階的有限群皆是可解的。特別地，此定理指出，若一有限群為單群，其必為質數階循環羣或是偶數階的。



性質

可解性的性質在某一意義上是可繼承的，如下：


* 若 _G_ 為可解的，且 _H_ 為 _G_ 的子群，則 _H_ 也是可解的。

* 若 _G_ 是可解的，且 _H_ 為 _G_ 的正規子群，則 _G_/_H_ 也是可解的。

* 若 _G_ 是可解的，且存在一 _G_ 滿射至 _H_ 的同態，則 _H_ 也是可解的。

* 若 _H_ 及 _G_/_H_ 為可解的，則 _G_ 也是可解的。

* 若 _G_ 及 _H_ 為可解的，則其直積 _G_ × _H_ 也是可解的。



超可解群

做為可解性的加強版，一個群 _G_ 被稱為超可解的，若它有一其商群皆為循環群的_不變_正規列；換句話說，if it is solvable with each _A_i also being a normal subgroup of _G_，且每個 _A_i+1/_A_i 都不只是可交換而已，且也是循環的 (可能為無限階)。因為一正規列在定義中有有限的長度，所以不可數阿貝爾群不會是超可解的。實際上，所有的超可解群皆為有限產生群，且一個阿貝爾群為超可解的若且唯若其為有限產生的。

若限制在有限產生群中，將可以有下列的排序：

　
: 循環群 < 阿貝爾群 < 冪零群 < 超可解群 < 多循環群 < 可解群 < 有限生成群



連續可解群

既連通又可解的代數群。假設 G 是定義在代數閉體上的一個線性代數群，G 的一個導序列是指按如下遞迴構造的一個正規閉子群序列：

$$
D^{0}(G)=G,D^{i+1}(G)={\Bigl (}D^{i}(G),D^{i}(G){\Bigr )}
$$

如果 G 連通，這些 Di（G）也都是連通的。G 稱作是可解的，如果存在自然數 n，使得 Dn（G）＝｛e｝，若 G 還是連通的，則稱 G 是連通可解群。可解群的閉子群，商群還都是可解群.

 



參考文獻



外部連結


* A056866 - orders of non-solvable finite groups.
可解釋變異（英語：explained variation）在統計學中是指給定數據中的變異能被數學模型所解釋的部分。通常會用變異數來量化變異，故又稱為可解釋變異數（explained variance）。

除可解釋變異外，總變異的剩餘部分被稱為未解釋變異（unexplained variation）或殘差（residual）。

線性迴歸中的決定係數即為可解釋變異占總變異的比率。



參考文獻


* Variance, explained and unexplained

* Explained variance

* Explained and Unexplained Variance on a graph
可計算數（英語：computable numbers），是數學名詞，是指可用有限次、會結束的演算法計算到任意精確度的實數。可計算數也被稱為遞迴數、遞迴實數或可計算實數。

等效的定義可以用遞迴函數、圖靈機及 λ 演算等演算法的形式表示法而得。可計算數形成實閉體，可以在許多數學應用上取代實數。



定義

如果一個實數 $a$ 能被某個可計算函數 $f:\mathbb {N} \to \mathbb {Z} $ 以下述方式來近似，那麼 $a$ 就是一個可計算數：給定任何正整數 $n$ ，函數值 $f(n)$ 都滿足：

　
: ${f(n)-1 \over n}\leq a\leq {f(n)+1 \over n}$



不可計算數

非可計算的實數即為不可計算數。1975 年，計算機學家格里高里・柴廷做了一個有趣的實驗：選擇任意一種程式語言，隨意輸入一段程式碼，該程式碼能夠成功運行並且能夠在有限時間內終止的機率即為柴廷常數，這個數為一個經典的不可計算數。



相關條目


* 可定義數

* 可計算函數、半可計算函數

* 超計算問題



相關書籍


* 科学技朮的哲学反思。清華大學出版社有限公司. 2004: 119 [2018-06-30]. ISBN978-7-3020-8560-7. （原始內容存檔於 2019-06-17）.



參考資料

引用

來源
遞歸論或可計算性理論，是一個數理邏輯分支。它起源於可計算函數和圖靈度的研究。它的領域增長為包括一般性的可計算性和可定義性的研究。在這些領域中，這門理論同證明論和能行描述集合論（effective descriptive set theory）有所重疊。

數理邏輯中的可計算性理論家經常研究相對可計算性、可歸約性概念和程度結構的理論。相對於計算機科學家，他們研究次遞歸層次，可行的計算和公用於可計算性理論研究的形式語言。在這兩個社區之間有著相當大的知識和方法上的重疊，而沒有明顯的界限。



概述：計算的概念

遞歸論所考慮的基本問題是，給定一個從自然數到自然數的函數 f，f 是否是可以被_計算_的。「可以被計算」，我們先將其當作一個直觀的概念。根據直覺，人們一般會認為，一個函數可以被計算是存在一個給定的過程，接受一個自然數 n 後，該過程進行一定的操作並給出 f (n) 作為輸出。將計算這一直觀的概念上升到數學層面的形式化定義這一工作是遞歸論的根本，並由哥德爾、邱奇、圖靈、克萊尼和 Emil Post 等人在 1930 年代奠定。他們將圖靈可計算性作為有效計算的形式化。

在遞歸論的基本概念被給定之後，一方面人們將該觀念應用於數學中，從而證明了一系列自然的問題，如字問題，以及希爾伯特第十問題等問題是不可計算的。另一方面，理論家們進一步拓展，開始了相對可計算性，圖靈度等問題的研究。如今，遞歸論仍是數理邏輯中活躍的領域。



歷史

遞歸論理論起源自哥德爾、邱奇、圖靈、克萊尼和 Emil Post 在 1930 年代的工作。他們獲得的基本結果建立了圖靈可計算性作為有效計算的非正式想法的正確的形式化。通過能行計算的嚴格定義帶來了在數學中有些問題是不可有效判定的最初證明。邱奇和圖靈獨立的證明了停機問題不能進行判定，而 Post 證明了在 Thue 系統中確定一個字符串是否有規範形式（類似於在 λ 演算中一個項是否有規則形式）不能有效的確定。

不可解度結構的研究，包括圖靈度、多一度和類似的結構，是這個領域的重要部分。圖靈度的研究發起自 Kleene 和 Post [1954]。大量的可計算性理論中的研究已經投入到圖靈度的性質的研究中。開始於 1970 年代，圖靈度的研究焦點已經從局部結構性質轉移到全局性質，比如圖靈度的自同構（automorphism）和 $0'$ 的可定義性。

在 1930 年代確定了最初的例子之後，很多數學問題已經被證實是不可判定的。Novikov 和 Boone 在 1950 年代證實，給出在一個有限出現群中的一個字，沒有有效的過程來判定這個字所表示的元素是否是這個群的單位元素。這個結果被用來證實很多其他問題是不可判定的，比如兩個有限單形（simplicial complex）是否表現同胚空間的問題。在 1970 年，尤里・馬季亞謝維奇對希爾伯特第十問題給出了否定答案，它提問是否有有效的過程來判定有有限多個有理數上的變量的丟番圖方程是否有在有理數上的解。這個否定解答是對 Martin Davis、Hilary Putnam 和 Julia Robinson 在 1961 年給出的部分解答的鞏固。

遞歸論包括可計算性的一般概念的研究，比如超算術可歸約性（hyperarithmetic degrees）、α- 遞歸論和可構成度（constructibility degrees）。



參見


* μ 算子

* 圖靈度

* 多一歸約

* 枚舉歸約

* 超算術理論

* 算術層次

* 分析層次

* 能行描述集合論

* 圖靈機



引用


* S. Barry Cooper, _Computability Theory_, Chapman & Hall/CRC, ISBN 1-58488-237-9（textbook）

* Nigel J. Cutland, _Computability, An introduction to recursive function theory_, Cambridge University Press, ISBN 0-521-29465-7 (paperback), 1980.

* Herbert B. Enderton [1977] : Elements of Recursion Theory, in : Jon Barwise, ed., Handbook of Mathematical Logic, pp. 527-566.

* S. C. Kleene and E. L. Post [1954], The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math. (2) 59, 379--407.

* Piergiorgio Odifreddi, _Classical Recursion Theory_, North-Holland, ISBN 0-444-87295-7（textbook）

* Hartley Rogers, Jr., _The Theory of Recursive Functions and Effective Computability_, MIT Press, ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1（textbook）

* R. I. Soare, Computability and recursion, Bull. Symbolic Logic 2 (1996) 284-- 321.

* Robert I. Soare, _Recursively Enumerable Sets and Degrees_, Springer-Verlag, ISBN 0-387-15299-7（textbook）
相對於是真理的形式理論的經典邏輯，喬治・賈帕里澤在 2003 年發明的可計算性邏輯(Computability logic) 是把邏輯恢復為系統的形式的可計算性理論的一個研究程序和數學框架。在這種方法下邏輯公式表示計算問題（或等價的計算資源），而它們的有效性意味著 "總是可計算的"。

計算問題和資源的理解是在它們最一般的意義上的 - 交互的意義上的。它們被形式化為機器扮演的針對它的環境的遊戲，而可計算性意味著存在著一個機器針對經由環境的任何可能行為贏得了遊戲。定義了這種遊戲扮演機器所意味的東西，可計算性邏輯在交互層面提供了邱奇 - 圖靈論題的一般化。

真理的經典概念轉變為可計算性的特殊的零交互度的情況。這使經典邏輯成為可計算性邏輯的特殊片段。作為前者的保守擴展的同時，可計算性邏輯有著一個數量級之上的表達力、創造性和計算意義。提供了對基本問題 "什麼是可以（如何）計算的？" 的系統的回答，它有潛在的廣泛的應用領域。其中包括構造性應用理論，知識庫系統，計劃和行動系統。

除了經典邏輯之外，線性邏輯（在不嚴格的意義上理解）和直覺邏輯也轉變成可計算性邏輯的自然片段了。因為 "直覺真理" 和 "線性邏輯真理" 的有意義的概念可從可計算性邏輯的語義中推導出來。

正在做著語義構造，至今可計算性邏輯仍沒有完全開發出證明論。為它的各種片段找到演繹系統並探索它們的性質是正在研究中的領域。



參見


* 可計算性的邏輯

* 博弈語義

* 交互計算

* 直覺主義

* BHK 釋義

* 直覺類型論

* 經典邏輯

* 中間邏輯

* 線性邏輯

* 構造性證明

* Curry-Howard 對應

* 博弈語義



參考文獻



外部連結


* Computability Logic Homepage

* Giorgi Japaridze\*Game Semantics or Linear Logic?

* 可計算性邏輯課程（頁面存檔備份，存於網際網路檔案館）
可適性視訊編碼（Scalable Video Coding, SVC） 是傳統 H.264/MPEG-4 AVC 編碼的延伸，可提升更大的編碼彈性，並具有時間可適性（Temporal Scalability）、空間可適性（Spatial Scalability）及訊雜比可適性（SNR Scalability）三大特性，使視訊傳輸更能適應在異質的網路頻寬。



概述

SVC 的目標在於標準化已使編碼的高品質的影像碼流，可以獨立拆分成一個或多個子位元流（subset bitstream）進行解碼，可以自己用一個複雜和重建品質達到類似的利用現有的 H.264/MPEG-4 AVC 的設計與相同數量的數據碼流中的一個子集。

一個子位元流（subset bitstream）可以代表一個空間或時間解析度較低或品質較差的的視訊訊號（每個單獨或組合）相比。


* 時間（影格速率）的可適性：由於一般視訊壓縮都會利用運動補償的手段，紀錄位移向量（motion vector）。在某些系統的應用上，可以跳過某幾影格用其鄰近影格的位移向量內插出該被跳過影格的結果。在解碼端同樣利用運動補償算回該被跳過影格。

* 空間（圖片大小）的可適性：圖形（或視訊壓縮中的一影格）在壓縮編碼的時候即存下了多重大小（或解析度）的結果。讓解碼端得以視需求解碼回所需的圖片大小（或解析度），可能以較小的結果換取解碼的效率。通常較小的圖片即帶有大圖片一部份的特性，大圖的儲存上不需要重複記錄這些重複的部分。

* 訊號雜訊比 / 品質 / 品質可適性：在壓縮編碼的時候將多重品質（qualities）的結果都存下來。讓解碼端得以視需求解碼回所需的圖片品質，可能以較低的品質換取解碼的效率。通常品質較差的圖片仍有一定的代表性，品質較佳的結果在儲存上不需要重複記錄重複的資訊。

* 聯合可適性（Combined scalability）：結合上述三個擴展性。

例子

空間可適性與品質可適性的綜合應用可以參考 JPEG 2000 影像壓縮。JPEG 2000 從遞進性（Progressive）與可適性（Scaling）兩個角度來看待：


* 從遞進性的角度來看，解碼的過程會先去擷取前端低解析度資訊，先解得低解析度圖片；再一步步擷取更多資訊，逐步增進解析度。這代表了使用者可以視需求只解碼部分而得到縮圖，節省計算量。

* 從可適性的角度來看，其編碼內容可以在任意位置截斷，從頭至此的編碼片段可被解碼回一張較低解析度的圖片。編碼片段越長，解碼後的解析度越高（或說放大到同樣解析度時，其峰值訊號雜訊比（PSNR）較佳）。這意味了當需要更高壓縮率時，直接丟棄後方的編碼資料即可達成。



里程碑


* 2003 年 10 月，Moving Picture Experts Group（MPEG）提出 SVC Technology 的提議

* 2004 年 4 月：第 14 版提議出爐



規範


* Scalable Baseline Profile
  
* 支援 B frame，加權預測的 CABAC 熵編碼法，以及 8 × 8 亮度變換在增強層，雖然基礎層（base layer）要符合有限制 baseline。
  
* 品質和時間（Quality and temporal）可擴展編碼的支援不受任何限制。

* Scalable High Profile

* Scalable High Intra Profile



參見


* H.264/MPEG-4 AVC

* JPEG 2000

* 可擴展性



外部連結


* JVT document archive site

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

* MPEG-4/H.264 SVC Analyzer

* SVC Reference Software

* Open SVC decoder: Open implementation of the SVC standard. （頁面存檔備份，存於網際網路檔案館）
可謬論是一個哲學學說，指出絕對肯定任何知識是不可能的；或至少對於知識的所有宣稱在原則上都是錯誤的。作為一個正式的學說，它跟查爾斯・桑德斯・皮爾士的關係非常密切，因為他曾以這個學說打擊基礎主義。然而，可謬論早就被色諾芬尼、蘇格拉底和柏拉圖等早期哲人所提及。另一個可謬論的擁護者是卡爾・波普爾，他以可謬論為大前提下建立了他那知識及批判理性主義的理論。近日，可謬論也被威拉德・馮・奧曼・蒯因用以攻擊分析命題的可能性。

跟懷疑論不同，可謬論並不提倡放棄我們的知識，我們並不需要為我們所知道的提出一個邏輯總結辯護。這樣做之所以被許可，是因為透過更多的觀測結果可以更正現有的經驗知識，任何我們已有的知識最終也可能被證明是錯誤的。有些可謬論主義者在這前提下給出一些如數學或邏輯等公理化系統作為可謬論的例外。但餘下的可謬論主義者甚至也否定這些公理系統，因為即使這些系統在一些觀點下是不會有謬誤的，但使用這些系統的始終是人類，而人類是可能會出錯的。更重要的是，從哥德爾不完備定理可見，任何完整或完備的公理系統是不存在的。即使在數學中也會存在著如羅素悖論等基本悖論。不可能肯定地知道真理的理論是由約翰・杜威等人領導的教育運動的基礎，這教育運動名為實用主義者運動。

批判理性主義者 Hans Albert 曾展示了即使在邏輯或數學的範疇中證明任何能夠肯定的真理也是不可能的。他的明希豪森三難困境闡明了欲證明任何驗証肯定真理只會陷入絕望的情況中。即使可謬論本身也不可避免地成受害於相對主義或懷疑論。



道德可謬論

道德可謬論是知識可謬論的一個特定子集。在道德客觀主義與道德主觀主義的辯論中，道德可謬論站在第三個看起來有理的立場：那客觀地真實的道德標準的而且確存在，但它們不能由人類可靠地分辨或總結出來。這避免了那個由保留「道德並不只是一個意見」的想法而衍生的，跟主觀主義靈活性有關的問題，也解釋了客觀主義不同客觀道德觀之間的衝突。這種觀點值得留意的擁護者有以賽亞・伯林（價值觀多樣主義，value pluralism）及 Bernard Williams（觀點主義，perspectivism）。



參見


* 哥德爾不完備定理

* 不充分決定論

* Probabilism

* Infallibility

* the Problem of induction



參考資料


* _Charles S. Peirce: Selected Writings_, ed. by Philip P. Wiener (Dover, 1980)

* _Charles S. Peirce and the Philosophy of Science_, ed. by Edward C. Moore (Alabama, 1993)

* _Traktat über kritische Vernunft_, Hans Albert (Tübingen: Mohr, 1968. 5th ed. 1991)
嗇色園主辦可譽中學暨可譽小學（英語：Ho Yu College and Primary School (Sponsored by Sik Sik Yuen)）是一間位於香港大嶼山東涌新市鎮的一條龍學校。

該校創辦於 1997 年，辦學團體為一間香港著名廟宇黃大仙祠的管理機構 —— 嗇色園。該校為嗇色園所創辦的第 5 間中學，也是該機構創辦的首間一條龍學校。

另外，辦學團體嗇色園與香港生物教育資源中心合辦全港首間生物科技教研室，該實驗室達至大學實驗室水平的設施和專業支援，於 2004 年由香港大學校長徐立之教授等人揭幕下正式啟用。



歷史

香港政府於 1989 年公佈香港機場核心計劃，主要是為興建位於大嶼山赤鱲角的新香港國際機場和其配套的基建設施。東涌新市鎮一期，為香港機場核心計劃為其中一項主要工程部份。為配合政府拓展東涌新市鎮，1997 年，嗇色園於東涌新市鎮內，開辦屬下的第 5 所中學，命名為嗇色園主辦可譽中學（Ho Yu College (Sponsored by Sik Sik Yuen)），與保良局馬錦明夫人章馥仙中學同為該新市鎮內首批開辦的中學，為首批遷入東涌新市鎮的居民，提供鄰近的中學服務。

該校於 1997 年至 2003 年的期間，只設中學部 ，校舍暫置於東涌富東邨的靈活式校舍，2003 年，該校增設小學部，組合成一所一條龍學校，正式名為嗇色園主辦可譽中學暨可譽小學（Ho Yu College and Primary School (Sponsored by Sik Sik Yuen)），並將校舍搬遷到東涌健東路現址的一組千禧校舍；原址旋即改為開辦香港教育工作者聯會黃楚標中學，是離島區第三所以「一條龍」方式辦學的中學。

嗇色園主辦可譽中學暨可譽小學的一條龍學校模式，是不論校舍設施、聯課活動、學生會、各類型比賽、校曆、上課時間表，甚至是教職員也是中小學部共用，目的是讓小學生及早適應中學教學環境，也便利教職員熟悉學生的需要，以順利銜接中小學兩學階。小學部學生除了可經一條龍模式直升中學部外，也可選擇經自行收生和統一派位升往他校中學，該校升往他校中學的小學畢業生有升讀拔萃女書院、英皇書院、聖瑪加利男女英文中小學等著名中學。至於中學部畢業生，每年皆有升讀香港大學、香港中文大學等大專院校。



辦學宗旨

秉承黃大仙師「普濟勸善」的寶訓，透過儒、釋、道三教要義，教導學生修養品德，發揚樂善好施、服務社會的精神。重視學生五育的發展，培養學生獨立思考的能力，並具自學的習慣及終身學習的態度。



歷任校長


* 陳朱娟女士（1997 年－1997 年）

* 凌健真先生（1997 年－2001 年）

* 李雪英女士（2001 年－2018 年）

* 麥敏潮先生（2018 年－）

* 梁惠芳女士（小學部）（2019 年 -）



著名校友


* 周嘉洛：無綫電視藝員

* 徐宏傑：香港足球運動員

* 謝俊耀：香港詠春運動員

* 陳立寧：香港健球運動員



著名前教員


* 李雪英：前香港中學校長會主席、2000-2018 年副校長及校長

* 楊詩敏（蝦頭）：前無綫電視藝員、2003－2006 年任教戲劇科

* 王耀祖：香港電台 DJ、2012-2013 年可譽劇社導師

* 呂楚威：香港籃球運動員、前可譽籃球隊總教練



校舍設備

此校由後期型小學及中學千禧校舍各一座組成，由瑞安建業承建，設備如下：

課室


* 標準課室

* 英語角

* 英語閱讀室

* 數學室

* 常識教學室

* 人文室

* 地理室

* 綜合科學實驗室

* 物理實驗室

* 化學實驗室

* 生物實驗室

* 小學音樂室

* 中學音樂室

* 電腦音樂室

* 小學視覺藝術室

* 中學視覺藝術室

* 家政室

圖書館


* 中央圖書館

* 數碼圖書館

科技校園


* 生物科技教研室

* 資訊科技校園

大型活動場地


* 禮堂

* 室內體育館

* 演講廳

* 有蓋操場

* 一樓有蓋操場

* 小食部

運動場地


* 足球場

* 籃球場

* 攀石牆

* 公引跑道

* 沙池

* 高爾夫球及射箭雙用途場地

花園


* 溫室

* 譽花園

* 綠色長廊

* 悠閒徑

* 花園

* 空中花園

停車場


* 停車場

* 單車停泊區

特定用途室


* 會談室

* 家長教師活動室

* 學生活動中心

* 音響控掣室

* 舞蹈室

* 教職員休息室



生物科技教研室

為推廣生物科技教育，辦學團體嗇色園與香港生物教育資源中心合辦全港首間建於中小學校園內而設備達致大學實驗室水平的的生物科技教研室。生物科技教研室並建於嗇色園主辦可譽中學暨可譽小學的中學部大樓內，而專業技術指導則由香港生物教育資源中心提供。教研室於 2004 年 4 月 22 日由香港大學校長徐立之教授等人主禮揭幕及啟用，已為全港校長及生物科老師舉行了多次培訓課程及專家講座，以及為全港學生舉辦多項生物科技教育活動，啟發並加強市民大眾，特別是年輕一代，對於生物科技的知識的學習和認知。

為了進一加強推廣生物科技教育的普及性，嗇色園與香港生物教育資源中心再度合作，將一部 12 公尺長的旅遊巴改裝成全亞洲首部生物科技流動實驗室 — 嗇色園生物科技流動實驗室，並於 2009 年 4 月 24 日正式啟用，並走訪到全港各區的中小學，深入各區為中小學生提供生物科技教育服務。



班級結構 (2021-2022 年度)(中小學概覽資料）



相關條目


* 嗇色園



參考來源



外部連結


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

* 嗇色園主辦可譽中學暨可譽小學（頁面存檔備份，存於網際網路檔案館）

* 無綫電視藝員周嘉洛（頁面存檔備份，存於網際網路檔案館）

* 

王逸戰 Instagram
閱讀、寫作的可讀性（英語：readability）不等於印刷領域的易認性（legibility），特指某種寫作風格的產物。多方面的研究顯示，容易閱讀的文本可以增進理解程度，強化閱讀印象，提高閱讀速度，並讓人堅持閱讀。文本可讀性的檢測，可以為特定的讀者群體或學生年級，提供比較文本內容在語義和語法方面的適宜程度的信息。

易讀性是文本與讀者互動的結果。從讀者的角度看，影響可讀性的因素包括：一、背景知識，二、閱讀技能，三、興趣，四、動機。從文本的角度看，影響因素包括：一、內容，二、風格，三、工藝，四、結構。所謂工藝，包括媒介、行款、插圖、閱讀與跳轉輔助、印刷字型以及顏色。正確運用印刷字號、行間距、欄寬、文字顏色背景反差與空白，也能使文本容易閱讀。（詳情參看字體排印學 #可讀性和易讀性）

在語言專家那裡，「可讀性」成了一種由「可讀性公式」計算得到的分數，這種公式是根據「勞動密集型」的可讀性調查並經過不斷修正而得出的。這些公式廣泛應用於對文本與讀者群體的閱讀水準加以匹配。

多方面的研究顯示，各種流行的可讀性公式也沒有百分之百的精準，而只是為閱讀文本所需的技能給出一個「不錯的粗略估計」。可讀性公式已經幫助了全世界數以百萬計、講不同語言的讀者。如果說這些公式還有什麼問題，那也只能說是應用得還不夠充分。圖書出版人評價文本的閱讀水準時不僅會用到可讀性公式，還會使用「詞頻列表」。一個詞語的使用頻率也是其易用性的優良指標。文本水準：一種基於訓練和經驗，對文本的主觀性評估，則是另一種輔助運用公式的重要工具。

自 1930 年代以來的國民語文能力調查顯示，美國成年人的平均閱讀能力相當於八年級的水準。許多學生的閱讀能力「低於所在年級的水準」。例如，許多高中學生的閱讀能力相應當八年級水準，而大學畢業生的閱讀能力相當於十年級水準。通過練習，沒有怎麼受過正規教育的讀者往往也能成為高水準的閱讀者。（DuBay 2006, National Assessment of Adult Literacy）

幾乎所有的當今文壇巨星們的作品都屬於七年級水準，包括約翰・格里森姆、史蒂芬・金、J・K・羅琳和丹・布朗。專家現在還建議法律和醫學文書的寫作符合七年級水準。法律還常常要求醫療和保險文書的寫作符合五年級水準。學習為一群跟自己水準不同的讀者寫作是很有難度的。這需要一定的方法和培訓以及大量的實踐。正如雅克・巴爾贊所言：「『簡單英語』並非任何人的母語。」

作家、編輯和出版人也經常做一些直覺性的可讀性評價，基於經驗、對其目標讀者群的洞見以及從大量的可讀性調查結果的評價中推導出的相當數量的原則性知識。



相關條目


* 可讀性測試



參考文獻
可變成本法（Variable costing）或邊際成本法（Marginal costing）是一種會計學概念，它只計算提供服務時會直接影響生產過程的成本，而不計算固定成本（fixed costs），這亦是它與吸收成本法的差異。由於可以直接反映生產過程產生的可變成本，在做決策之時一般會採用邊際成本法。在製作損益帳時，一般會以貢獻（Contribution）作為不計算固定成本的總數。



參考文獻
不變資本（德語：Konstantes Kapital，英語：constant capital，c）是由卡爾・馬克思提出並用於馬克思主義政治經濟學的一個概念。它是指用於生產的資本投資形式之一，與可變資本 （英語：variable capital， v ）相對。不變與可變的區別是指生產要素在經濟作用方面，是否創造了新價值。

不變資本包括（1）固定資產，即廠房、機器、土地和建築物的貨幣支出；（2）原材料和輔助運營支出（包括購買的外部服務）；以及（3）某些意外的運營開支。相反，可變資本是指勞動力成本的資本支出，因為它們代表工人的收入，即工資的總和。

不變資本與可變資本的概念不同於固定資本與流動資本的概念（不僅被馬克思，也被大衛・李嘉圖和其他古典經濟學家使用）。後兩種對應於經濟學上非常普遍的固定投入（和成本）和可變投入（和成本）之間的區分。它從使用者（資本家）的角度區分輸入，即使用者在使用它們時的靈活度。不變資本是指非人力投入生產，而可變資本是指人力投入（雇用勞動力進行勞動）。



參見


* 資本積累

* 分工

* 生產要素

* 意外開支

* 資本的有機構成

* 生產性和非生產性勞動

* 剩餘價值

* 剩餘產品

* 剩餘勞動力



參考文獻

 



延伸閱讀


* Karl Marx, Constant Capital and Variable Capital（頁面存檔備份，存於網際網路檔案館）, in Capital Vol. 1, Chapter 8

* Karl Marx, Fixed Capital and Circulating Capital （頁面存檔備份，存於網際網路檔案館）, in Capital Vol. 2, Chapter 8



外部連結


* Full text of _Fixed and Circulating Capital_ （頁面存檔備份，存於網際網路檔案館）
軌距可變列車（英語：Free Gauge Train，FGT）是可變換軌距的列車，目的是為了解決在不同軌距的路線間直通運轉而設計的車輛。



各國發展狀況

 西班牙

自 2004 年起，西班牙國鐵 120 型電動列車已開始行駛，其軌距可在 1,668mm 的寬軌和 1,435 mm 的標準軌切換。可以保證在規矩相同的情況下前往使用標準軌的歐洲國家。

 日本

日本自 1994 年起開始開發的可變換軌距的高速鐵路列車，其目的是讓列車可行駛於日本普遍使用的 1067mm 窄軌軌道和使用 1435mm 標准軌建設的新幹線軌道。其目的為讓同一班列車可先後行駛於新幹線和在來線，藉此可增加列車行駛的路線變化，並減少旅客轉乘的次數。

此外，藉由此種列車，亦可讓未來新建的新幹線路線搭配現有的在來線一起規劃，以節省新建新幹線路線的成本。目前規劃中的九州新幹線西九州線（長崎線）即打算採用此種列車，僅在武雄溫泉車站至長崎車站之間新建新幹線路線，武雄溫泉車站至九州新幹線鹿兒島線的轉乘車站新鳥栖車站之間路段則採用現有的長崎本線與佐世保線路段（在來線），預定 2022 年完工通車。在 2012 年時，曾討論北陸新幹線
從敦賀車站到大阪車站的延伸段採用軌距可變列車直接經由湖西線、東海道本線直通運轉到京都、大阪車站 ，在 2016 年 12 月 20 日執政黨選定北陸三縣支持的小濱 - 京都路線。

自 1998 年起，日本鐵道綜合技術研究所開始進行軌距可變列車的實車研究測試。第一代的實驗車輛（GCT01-1、GCT01-2、GCT01-3，三輛編組）從 1999 年到 2006 年間，陸續在西日本與九州的區域間路線實驗運行。

2007 年 12 月 11 日，在福岡縣北九州市的西小倉車站，公開了三輛編組的第二代的軌距可變列車試驗車（GCT01-201、GCT01-202、GCT01-203），以大型化以及高速安定為目標。2009 年 12 月 24 日，在九州新幹線川內車站至新水俁車站間，軌距可變列車試驗車達成了時速 270 公里的速度試驗。

GCT01-200 番台編組表

2014 年 4 月 20 日，在熊本市的 JR 九州熊本總合車輛所，公開並開始行走試驗第三代的軌距可變列車試驗車（FGT-9001、FGT-9002、FGT-9003、FGT-9004，四輛編組）。

2017 年 7 月 25 日，JR 九州放棄在長崎新幹線上使用可變軌距列車。

以下為第三次實驗用車輛編組表

FGT-9000 編組表

 中國大陸

2020 年 10 月 21 日，中車長春軌道客車公司下線了一款 400 公里時速的跨國互聯互通高速動車組，該項目為科技部「十三五」重點專項課題，2016 年 11 月正式啟動研發項目，能實現 600-1886mm 不同軌距的變軌需求。



伸延閱讀


* 軌距

* 標準軌距

* 軌距列表



註釋



參考文獻
在可計算性理論中，可計算函數（computable function）或圖靈可計算函數是研究的基本物件。它們使我們直覺上的演算法概念更加精確。使用可計算函數來討論可計算性而不提及任何具體的計算模型，如圖靈機或暫存器機。但是它們的定義必須提及某種特殊的計算模型。

在可計算函數的精確定義之前，數學家經常使用非正式術語可有效計算的。這個術語因此可以被認同為可計算函數。儘管這些函數被叫做有效的，它們可能極其困難。可行可計算性和計算複雜性研究可有效計算的函數。

依據邱奇 - 圖靈論題，可計算函數精確的是使用給出無限數量的時間和儲存空間的機器計算裝置來計算的函數。等價的說，這個論題聲稱有演算法的任何函數都是可計算的。

可以使用布盧姆公理來在可計算函數的集合上定義抽象計算複雜性理論。在計算複雜性理論中，確定一個可計算函數的複雜性的問題叫做功能性問題。



定義

計算函數是在自然數上的有限偏函數。每個可計算函數 $f$ 接受固定數目個自然數作為參數；不同的函數接受不同數目的參數。因為函數是部分的，它們可以不定義在所有可能的輸入選擇上。如果定義了一個可計算函數，則它返回一個單一自然數作為輸出（這個輸出可以被解釋為使用配對函數的一列數）。記號 $f(x_{1},\ldots ,x_{k})\downarrow $ 指示偏函數 $f$ 被定義在參數 $x_{1},\ldots ,x_{k}$ 上，而記號 $f(x_{1},\ldots ,x_{k})\downarrow =y$ 指示 $f$ 被定義在參數 $x_{1},\ldots ,x_{k}$ 上而返回的值是 $y$ 。這些函數也叫做偏遞迴函數。在可計算理論中，函數的定義域是函數被定義在其上的所有輸入的集合。

定義在所有參數上的函數叫做全函數。如果可計算函數是全函數，它叫做全可計算函數或全遞迴函數。

有很多等價方式定義可計算函數的類。為了具體，本文餘下部分將假定可計算函數已經被定義可以被圖靈機計算的那些偏函數。有很多計算的等價模型定義同一類可計算函數。這些計算模型包括


* 圖靈機

* Mu - 遞迴函數

* Lambda 演算

* Post 機，也叫做標記系統

* 暫存器機

等等。



可計算集合和關係

自然數的集合 _A_ 被叫做可計算的（同義詞：遞迴的，可決定的），如果有可計算函數 _f_ 使得對於每個自然數 _n_， $f(n)\downarrow =1$ 如果 _n_ 在 _A_ 中，並且 $f(n)\downarrow =0$ 如果 _n_ 不在 _A_ 中。

自然數的集合被叫做計算可列舉的（同義詞：遞迴可列舉的，半可判定的），如果有可計算函數 _f_ 使得對於每個自然數 _n_，_f(n)_ 是有定義的，若且唯若 _n_ 在這個集合中。所以一個集合是計算可列舉的，若且唯若它是某個可計算函數的定義域。使用詞可列舉的因為對於自然數的非空子集 _B_ 下列是等價的：


* _B_ 是可計算函數的定義域。

* _B_ 是全可計算函數的值域。如果 _B_ 是無限的則這個函數可以被假定為單射的。

如果集合 _B_ 是函數 _f_ 的值域，則這個函數可以被看作 _B_ 的列舉，因為列表 _f(0)_, _f(1)_, ... 將包含 _B_ 的所有元素。

因為在自然數上的每個有限關係都可以被辨識為對應的自然數的有限序列的集合，可計算關係和計算可列舉關係的概念可以從它們的集合類似物來定義。



形式語言

　
:

在電腦科學的可計算性理論中，經常考慮形式語言。它包括任意集合的一個字母表，在字母表上的字是來自字母表的符號的有限序列；同一個符號可以出現多於一次。例如，二進位字串精確的是在字母表 $\{0,1\}$ 上的字。語言是在固定字母表上的所有字的搜集的子集。例如，精確的包含三個字母的所有二進位字串的搜集是在二進位字母表上的一個語言。

形式語言的一個關鍵性質是對判定一個給定字是否在這個語言中的難度級別。必須開發某種編碼系統來允許可計算函數來接受在語言中的任意字作為輸入；這通常是要認真處置的常式。一個語言被稱為是可計算的（同義詞：遞迴的、可判定的），如果存在一個可計算函數 $f$ 使得對於在字母表上的每個字 _w_， $f(w)\downarrow =1$ 如果這個字在這個語言中，並且 $f(w)\downarrow =0$ 如果這個字不在這個語言中。所以一個語言在有一個過程能正確的判定任意的字是否在這個語言中的情況下是可計算的。

一個語言是計算可列舉的（同義詞：遞迴可列舉的，半可判定的），如果有可計算函數 _f_ 使得 $f(w)$ 是有定義的，若且唯若字 _w_ 在這個語言中。術語可列舉同自然數的計算可列舉集合有同樣的語源。



例子


* 常數函數 _f_ : Nk→ N, _f_(_n_1,..._n_k) := _n_。

* 加法 _f_ : N2→ N, _f_(_n_1,_n_2) := _n_1 + _n_2。

* 給出一個數的質因數列表。

* 兩個數的最大公因數。

* 貝祖等式，線性的丟番圖方程式。

如果 _f_ 和 _g_ 是可計算的，則：_f + g_, _f \
* g_, $f\circ g$ 如果 _f_ 是一元的，max (_f_,_g_), min(_f_,_g_) 和更多的組合都是可計算的。



相關條目


* 可計算數

* 可定義數



參照


* Enderton, H.B. Elements of recursion theory. _Handbook of Mathematical Logic_ (North-Holland 1977) pp. 527–566.

* Rogers, H. _Theory of recursive functions and effective computation_ (McGraw-Hill 1967).

* Turing, A. (1936), On Computable Numbers, With an Application to the Entscheidungsproblem. _Proceedings of the London Mathematical Society_, Series 2, Volume 42 (1936). Reprinted in M. Davis (ed.), _The Undecidable_, Raven Press, Hewlett, NY, 1965.
可計算性（Computability）是指一個實際問題是否可以使用計算機來解決。從廣義上講如「為我烹製一個漢堡」這樣的問題是無法用計算機來解決的（至少在目前）。而計算機本身的優勢在於數值計算，因此可計算性通常指這一類問題是否可以用計算機解決。事實上，很多非數值問題（比如文字識別，圖象處理等）都可以通過轉化成為數值問題來交給計算機處理，但是一個可以使用計算機解決的問題應該被定義為「可以在有限步驟內被解決的問題」，故哥德巴赫猜想這樣的問題是不屬於「可計算問題」之列的，因為計算機沒有辦法給出數學意義上的證明，因此也沒有任何理由期待計算機能解決世界上所有的問題。分析某個問題的可計算性意義重大，它使得人們不必浪費時間在不可能解決的問題上（因而可以儘早轉而使用除計算機以外更加有效的手段），集中資源在可以解決的問題上。



參見


* 麥當勞化
在電腦科學中，可計算性理論（Computability theory）作為計算理論的一個分支，研究在不同的計算模型下哪些演算法問題能夠被解決。相對應的，計算理論的另一塊主要內容，計算複雜性理論考慮一個問題怎樣才能被_有效的_解決。



歷史與遞迴論的聯絡



計算模型

圖靈機和邱奇－圖靈論題



圖靈機的可計算性理論

我們考慮關於圖靈機的可計算性理論。本節中，固定字元集是 {0, 1}， ${0,1}^{*}$ 是所有有限長度字串的集合。一個語言即是 ${0,1}^{*}$ 的一個子集。

一個語言 L 是可以被圖靈機所列舉（enumerate）的，如果存在一個圖靈機 $M$ ，使得輸入是 L 中的串時，M 輸出「接受」；而對非 L 中的串，M 輸出「拒絕」或不停機。而一個語言 L' 是可以被圖靈機所決定（decide）的，如果存在一個圖靈機 M'，使得輸入是 L 中的串時，M 輸出「接受」；而對非 L 中的串，M 輸出「拒絕」。注意這裡的區別在於，對於圖靈機決定的語言，我們需要在所有輸出上，該圖靈機都要停機。

可計算性等級

這樣我們可以定義可計算性等級：所有的語言的集合，記為 All；遞迴可列舉語言，即可以被圖靈機列舉的語言的集合，記為 RE；遞迴語言，即可以被圖靈機決定的語言的集合，記為 R。可見 $R\subseteq RE\subseteq All$ ，即形成可計算性等級。那麼產生相關的問題即是兩個包含關係是不是嚴格的，即是否有在 All 而不在 RE 中的語言，以及在 RE 而不在 R 中的語言。阿蘭・圖靈在 1930 年代的工作表明這兩個包含關係都是嚴格的，即可以證明存在語言 L\_d，是不能被圖靈機所列舉的，以及存在語言 L\_u，是不能被圖靈機所決定的。證明的主要思想是對角論證法。

停機問題

停機問題就是判斷任意一個程式是否會在有限的時間之內結束執行的問題。該問題等價於如下的判定問題：給定一個程式 P 和輸入 w，程式 P 在輸入 w 下是否能夠最終停止。

PCP 問題

波斯特對應問題（Post's correspondence problem）。

不可解度

不可解度的概念定義了不可解的集合之間的相對計算難度。例如，不可解的停機問題顯然比任何可解的集合都要難，然而同樣不可解的「元停機問題」（即所有具備停機問題的預言機的停機問題）卻要難過停機問題，因為具備元停機問題的預言機可以解出停機問題，然而具備停機問題的預言機卻不能解出元停機問題。



更強的模型

帶神諭的圖靈機（預言機）



定理


* 波斯特定理

* 克萊尼–波斯特定理

* 弗里德堡–穆奇尼克定理

* 波斯納–羅賓遜定理

* 跳躍逆轉定理



外部連結


* 可計算性理論
可計算文檔格式（CDF）是由 Wolfram Research 公司推出的一款公共電子文檔格式，旨在幫助用戶輕鬆實現文檔內容的交互式處理，使用戶能夠輕鬆地進行文檔創作。



功能

可計算文檔格式支持多種文檔元素，例如：滑塊、菜單和按鈕。在 GUI 交互下，內容使用嵌入式計算進行更新。內容可以包含格式化文本、表格、圖像、聲音和動畫。CDF 支持 Mathematica 排版和技術符號。同時，CDF 文件還提供了頁編號格式、結構化的下拉式布局以及幻燈片模式。用戶可以通過層疊樣式表控制文件的樣式。



閱讀

CDF 文件可以通過免費的 CDF Player 來閱讀，CDF Player 可以從 Wolfram Research 公司網站上直接下載。與傳統的靜態格式（如 PDF）以及由格式本身提供的預生成互動內容（如 Adobe Flash）不同，CDF Player 包含完整的 Mathematica 運行時間庫函數，以便在任何 Mathematica 可以描述的算法或者可視化圖形下，通過與用戶的互動，實時生成文檔的具體內容。 這使得 CDF 格式的文件非常適用於科學、工程、其他技術內容 以及數位化教科書中。

在 Microsoft Windows、Macintosh 和 Linux 平台下都支持 CDF 閱讀器。目前，電子書和平板電腦尚未提供相關支持。在 Internet Explorer、Mozilla Firefox、Google Chrome、Opera 和 Safari 下，都提供了 CDF 閱讀器的瀏覽器插件支持，用戶可以方便地將 CDF 內容嵌入 HTML 頁面中。



創作

CDF 文件可以使用 Mathematica 創建。



用途

Pearson Education 出版社推出的電子書籍正是採用了這種可計算文檔格式， 方便地提供了 Wolfram Demonstrations Project 的內容，並且為 Wolfram Alpha 提供客戶端的互動支持。



參閱


* Wolfram Research

* CDF Player



參考文獻



外部連結


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

* CDF Player 下載（頁面存檔備份，存於網際網路檔案館）
可證（9 世紀 —904 年），姓不詳，唐朝妃嬪，唐昭宗李曄的後宮，封晉國夫人。

《全唐文・卷八百三十三》記載新秦郡夫人改封晉國夫人，與可證是否一人無考。天復四年（904 年），朱全忠把長安毀掉，遷唐昭宗到洛陽定都。昭宗到達陝州，朱全忠從河中府前來朝見。三月二十日，朱全忠辭別昭宗，先往洛陽。昭宗與朱全忠宴請群臣，宴會散後，昭宗留下朱全忠、韓建繼續飲酒。何皇后出去，親捧玉杯請朱全忠喝酒，晉國夫人可證貼著昭宗耳朵說話。韓建看見，踩了一下朱全忠的腳，朱全忠以為昭宗要謀害自己，於是沒有喝，假裝喝醉離開。四月十六，朱全忠奏洛陽宮建成，多次催促昭宗早日出發。昭宗屢次派晉國夫人可證傳話，說皇后剛生嬰兒，不能上路，等到十月東去洛陽。朱全忠懷疑昭宗有意拖延，大怒，讓牙將寇彥卿速到陝州，即日催促天子出發。閏四月初三，昭宗從陝州出發；閏四月初八，朱全忠在新安迎接，命醫官許昭遠告發醫官使閻祐之、司天監王墀、內都知韋周和晉國夫人可證等謀害元帥朱全忠。最終，他們都被拘捕處死。



參考


* 《舊唐書》卷 20 上

* 《新唐書》卷 223 下

* 《資治通鑑》卷 264

* 《全唐文》卷 833
在數學和計算機科學中，可識別語言是可被有限狀態機識別的形式語言。等價的說，可識別語言是語法關係的商的家族為有限的的形式語言。



定義

給定一個么半群 _M_，在 _M_ 上的語言簡單的是子集 $L\subset M$ 。這樣的語言被稱為在 _M_ 上可識別的，如果有在 _M_ 上的有限狀態機接受 _L_ 作為輸入。在 _M_ 上的有限狀態機簡單的是以 _M_ 的元素作為輸入，接受或拒絕它們的有限自動機。

在 _M_ 上的可識別語言的家族指示為 $REC(M)$ 。



例子

如果 _M_ 是在某個字母表 $\Sigma $ 上自由么半群 $\Sigma ^{*}$ ，則家族 $REC\left(\Sigma ^{*}\right)$ 是正則語言 $REG\left(\Sigma ^{*}\right)$ 的家族。
可讀性測試，或可讀性公式、可讀性計量，即運用公式對文本的可讀性加以評估，其間一般需要計算音節、字詞和句子的數量。可讀性測試經常用於替代對待測文本實施自然人讀者的實際統計調查（即「可讀性調查」）。文字處理程序往往自帶可讀性測試的功能，在文檔的編輯過程當中就可以運行。

但凡實用的可讀性測試方案，在應用時都可以對單件作品給出粗略的可讀性標示，並根據多件作品的可讀性平均值增加其精準度。這類測試會生成一個根據作品的字詞長度（一種反映語義難度的不可靠的指標）和句子長度的統計平均值（一種反映句法複雜程度的不可靠的指標）之類的特徵計算出的分數。

有些可讀性公式會涉及按難度分級的字詞列表。這類公式試圖克服像「television」（電視）這種一方面小孩子都很熟悉、一方面又由多個音節構成的詞語的矛盾問題。因而在實際使用中，簡單字詞的運用以及句子長度的測量使得這些公式越發流行。可以把分數與根據核准過的語言學難度或閱讀年級水平所劃定的級別進行對照。大部分可讀性測試都是按照音節數目而非字母數目來測量字詞長度的，唯獨 SMOG 測試所採用的可讀性電腦程式，同時引入了一種精確的音節計數法。

因為可讀性公式並不直接反映句法或語義的複雜程度，所以也不算是明確的可讀性測量方法。



各種可讀性測試


* Accelerated Reader 軟體中的 ATOS 公式

* 自動化可讀性指數（ARI）

* 柯爾曼 — 劉指數

* 戴爾 — 喬爾可讀性公式

* 佛萊士 — 金凱德可讀性測試：
  
* 佛萊士易讀度
  
* 佛萊士 — 金凱德年級水平

* 福賴可讀性公式

* 甘寧灰霧指數

* 萊克塞爾閱讀框架

* 林舍爾寫作公式

* SMOG 測量

* 斯巴夏可讀性公式
閱讀框架（英語：Reading Frame）在分子生物學中是指將 mRNA 的鹼基序列劃分成連續、互不重疊的三元組的方式或這樣的劃分方式在相應 DNA 上的對應。這樣的三元組稱爲密碼子。每個密碼子可編碼一個胺基酸或作轉譯的終止信號。

通常我們把一條核酸鏈的 5' 端（磷酸基團端）稱爲首端，將其 3' 端稱爲尾端。翻譯時核糖體讀取 mRNA 的方向爲 5' 端到 3' 端。閱讀框架一共有三種，劃分各相隔一個鹼基。

通常來說，一段鹼基序列只採用一種閱讀框架（這種閱讀框架稱爲開放閱讀框（ORF）），而另外兩種讀框則因爲會頻繁出現終止密碼子而被關閉。但在一些病毒內，一段鹼基序列卻可以採用多種重疊的讀框。哺乳動物也有相似的例子：由粒線體 DNA 中編碼 ATP 酶的兩個亞基的區域轉錄出的 mRNA 在同一序列區域有閱讀框架重疊的現象。



開放閱讀框

一個開放閱讀框（ORF）指 mRNA 採用這種讀框可以翻譯出多肽鏈的閱讀框。在起始密碼子後，會緊跟著一段編碼胺基酸的密碼子，最後，翻譯會停止於終止密碼子處。



閱讀框架重疊

同一段鹼基序列採用多種的閱讀框方式使得重疊基因成爲了可能。這種現象在病毒、原核生物和粒線體中很常見。



參考



參見


* 遺傳密碼

* 開放閱讀框架
可賓氏骨螺（學名：_Murex coppingeri_）為骨螺科骨螺屬下的一個種。



參考文獻
可贖回債券（callable bond）是一種特殊債券，它的發行人有權在特定的時間按照某個價格強制從債券持有人手中將其贖回，贖回權利是針對發行人而言的。它可視作債券與看漲期權（call option）的結合體。也稱可買回債券。



特性

一般認為，可贖回債券對發行人更有利。因為，在市場利率跌至比可贖回債券的票面利率低得多的時候，債務人如果認為將債券贖回並且按照較低的利率重新發行債券，比按現有的債券票面利率繼續支付利息要划算，就會將其贖回。

因為這種隨時可能被收回，中止繼續盈利的特性，一般只有在高昂的回報率面前，投資者才會接受這種對自己並不是很有利的債券。



生效日期

可贖回條款通常在債券發行幾年之後才開始生效。贖回價格一開始可能高於債券面值，隨著時間推移，逐漸與債券面值重合。但也可以一開始就與面值相等。

債券發行人有時會只贖回一部分發行在外的債券。在這種情況下，有兩種方法決定哪些債券將被贖回。

一是計算機隨機抽取債券的編號 (lottery)，二是所有的債券的面值按一定比例被贖回。



參見


* 可賣回債券
可足渾氏，前燕景昭皇后的妹妹，後燕成武帝慕容垂為王時娶的繼室。初封長安君。

358 年慕容垂的髮妻段氏被拷打致死，之後慕容垂娶了段氏的妹妹段王妃，可足渾皇太后則下令慕容垂降繼室段氏為妾，改娶她的妹妹長安君。慕容垂不敢抗旨，但非常不愉快，與太后的關係更加惡化。

晉太和四年十一月，慕容垂帶著段氏和兒子們逃到前秦，從此離開了可足渾氏。可足渾氏再無記載。
可足渾皇后（?—386 年前），十六國時期，前燕景昭帝慕容儁的皇后。生子慕容暐、慕容沖。



皇后

元璽二年（353 年）二月十七，慕容儁立可足渾氏為皇后，慕容瞱為皇太子。元璽五年（356 年）七月十二，慕容瞱去世，慕容儁再以她兒子慕容暐為皇太子。光壽二年（358 年），出身段部鮮卑的吳王慕容垂王妃段氏，自恃貴族，看不起可足渾皇后，可足渾皇后大怒，指使宦官中常侍涅浩指控段氏以巫蠱詛咒。段氏被捕，死於獄中。慕容垂再娶了段氏之妹為新王妃，可足渾皇后強迫慕容垂廢掉段氏，以她的妹妹長安君可足渾氏作吳王妃。慕容垂雖不敢拒絕，但表現得十分不悅，可足渾皇后更加討厭慕容垂。



皇太后

光壽四年（360 年）正月廿一，慕容儁去世，太子慕容暐即位，改元建熙。二月，尊母親可足渾皇后為皇太后。可足渾太后開始干預朝政，當時，在慕容儁的叔叔上庸王慕容評和大將慕輿根的協助下，慕容儁的弟弟太原王慕容恪執政。慕輿根想獨攬大權，勸慕容恪奪位稱帝，慕容恪當即拒絕。慕輿根又向可足渾太后誣告慕容恪和慕容評意圖謀反。太后相信了慕輿根，準備命他緝捕二王，但十歲的小皇帝慕容暐不相信，從而終止了這項行動。不久慕容恪得知此事，便處死了慕輿根。慕容恪一直為前燕盡忠，建熙八年（367 年）五月壬辰，慕容恪去世。慕容恪臨終遺言，推薦慕容垂總領兵權。但可足渾太后討厭慕容垂，而慕容評怕慕容垂和自己爭權，所以都沒有同意，最終被任為大司馬接手兵權的竟是年幼的皇弟慕容沖。

此後，可足渾太后、慕容評主持朝廷，二人信任腐敗的官員，使慕容儁、慕容恪兄弟建立的前燕帝國元氣大傷。

建熙十年（369 年）四月十五，根據可足渾太后的旨意，慕容暐立太后堂弟豫章公可足渾翼的女兒可足渾氏為皇后。稍後東晉大將桓溫北伐前燕，慕容暐之兄樂安王慕容臧戰敗。慕容暐向前秦苻堅求救，同時準備放棄中原，逃回故都和龍（今遼寧錦州）。慕容垂勸阻了慕容暐，並自願與桓溫一戰。不久，慕容垂聯合前秦苟池的援軍，幾乎全殲桓溫的軍隊，前燕倖免於難。

然而，可足渾太后依舊怨恨慕容垂，拒絕嚮慕容垂和他的軍隊給予賞賜，並想處死慕容垂。慕容垂聽說後，立即投奔前秦苻堅，被苻堅封為大將。

前燕又違背與前秦的約定，沒有將洛陽地區割讓給前秦。建熙十一年（370 年），前秦苻堅以此為藉口，派宰相王猛統兵東征前燕，王猛以少勝多，擊敗了慕容評的軍隊，很快攻克燕都鄴城，前燕滅亡。但整個過程中，史書沒有提到可足渾太后。

可足渾太后的幼子慕容沖因貌美被苻堅占作孌童，經過王猛勸諫，慕容沖才被送出宮。此後可足渾太后去世，以燕國皇后的禮儀埋葬。



身後

建興元年（386 年），慕容垂自稱後燕皇帝，恢復燕國宗廟。他以可足渾太后傾覆社稷為由將其追廢，改由沒有兒子的段昭儀配享慕容儁。



參考文獻


* 《資治通鑑・卷 99、卷 100、卷 101、卷 102》
可足渾皇后（?—?），尚書令、豫章公可足渾翼之女，前燕末代皇帝幽帝慕容暐的皇后。



生平

她是慕容暐母親可足渾皇太后的堂侄女。建熙十年（369 年）四月十五，慕容暐冊封可足渾氏為皇后。建熙十一年（370 年）十一月，前燕被前秦滅亡後，可足渾皇后可能和她的丈夫一起被安置在前秦的都城長安。史書沒有記載慕容暐於 384 年被殺時她是否仍在世。



參考文獻


* 《資治通鑑・卷 102》
可跳傘攜板背心（Jumpable Plate Carrier，簡稱：JPC）是美國戰術裝備生產商 Crye Precision 研發的一種攜板背心。於 2010 年首次在 SHOT Show 上展出，在 2011 年投產。



特點

JPC 是一種採用 Molle 系統附件安裝平台的攜板背心，它是以緊湊和輕巧作為前題下設計，以最大可能地維持穿著者的最高機動力。其前方的可拆式附件可放置 3 個 STANAG 彈匣。為了盡可能地減低重量，JPC 的腹帶部份為骨架式設計，故使用者無法在不添加側板附件的狀態下直接安裝側面防彈板。該攜板背心有 4 種不同尺寸的版本，以符合不同使用者的體格和各種大小的防彈板。在不添加防彈板的狀態下小碼重 1.2 英磅（0.54 公斤）、中碼重 1.3 英磅（0.59 公斤）、大碼重 1.4 英磅（0.64 公斤）、加大碼重 1.5 英磅（0.68 公斤）。目前克萊公司提供黑色、卡其色、軍綠色和多地形迷彩等多種塗裝的版本。

JPC 2.0 是 JPC 進一步模組化版本，配備魔術貼前翻蓋和拉鍊後面板。於 2015 年在 SHOT Show 上展出。

JPC 系列目前獲多國特種作戰部隊和特種警察單位廣泛地使用。



使用者


* 阿富汗伊斯蘭共和國
  
* 阿富汗國民軍特種部隊

* 澳洲
  
* 澳洲國防軍
    
* 特種作戰指揮部

* 奧地利
  
* 奧地利聯邦軍
    
* 獵人突擊隊

* 亞塞拜然
  
* 亞塞拜然內務部

* 比利時
  
* 比利時國防軍
    
* 特種部隊群

* 巴西
  
* 巴西軍隊
    
* 特種部隊單位

* 加拿大
  
* 加拿大軍隊
    
* 加拿大特種作戰部隊指揮部

* 中華人民共和國：使用仿製版本。
  
* 中國人民解放軍特種部隊
  
* 公安特警單位

* 賽普勒斯
  
* 特種部隊單位

* 捷克
  
* 捷克陸軍第 601 特種部隊群

* 丹麥
  
* 丹麥國防軍
    
* 獵人軍團
    
* 蛙人軍團

* 芬蘭
  
* 芬蘭國防軍
    
* 特種部隊單位
  
* 芬蘭邊防衛隊

* 法國
  
* 法國軍隊特種作戰指揮部

* 德國
  
* 德國聯邦國防軍
    
* 德國陸軍特種部隊指揮部

* 香港
  
* 香港警務處
    
* 特別任務連
    
* 特別戰術小隊
  
* 香港懲教署
    
* 區域應變隊

* 匈牙利
  
* 匈牙利國防軍特種部隊單位

* 日本
  
* 陸上自衛隊特殊作戰群

* 哈薩克
  
* 哈薩克共和國國家安全委員會

* 大韓民國
  
* 大韓民國海軍
    
* 大韓民國海軍特戰戰團

* 荷蘭
  
* 荷蘭皇家陸軍突擊隊軍團

* 挪威
  
* 挪威國防軍
    
* 挪威特種作戰突擊隊

* 紐西蘭
  
* 紐西蘭陸軍
    
* 紐西蘭空降特勤團

* 波蘭
  
* 波蘭軍隊
    
* 波蘭特種部隊
    
* 波蘭憲兵

* 中華民國：包括仿製版本。
  
* 中華民國陸軍
    
* 涼山特勤隊
    
* 海龍蛙兵
  
* 中華民國海軍
    
* 中華民國海軍陸戰隊特勤隊
  
* 警政署
    
* 維安特勤隊
  
* 刑事局
    
* 除暴特勤隊

* 俄羅斯：包括仿製版本。
  
* 聯邦安全局

* 沙烏地阿拉伯
  
* 沙烏地阿拉伯海軍特種部隊

* 西班牙
  
* 特種部隊單位

* 瑞典
  
* 瑞典國防軍
    
* 特別行動任務組
  
* 瑞典警察
    
* 國家特遣隊

* 瑞士
  
* 瑞士軍隊
    
* 憲兵特別分隊

* 泰國
  
* 泰國皇家警察

* 烏克蘭
  
* 烏克蘭安全局
    
* 阿爾法小組

* 英國
  
* 英國軍隊
    
* 英國特種部隊

* 美國
  
* 美國軍隊
    
* 美國海軍陸戰隊
    
* 美國特種作戰指揮部
  
* 聯邦調查局
    
* 特種武器和戰術部隊
    
* 人質拯救隊
  
* 美國邊境巡邏隊
    
* 邊境巡邏隊戰術單位
  
* 美國特勤局
  
* 其他聯邦執法機關
  
* 大量地方層級執法機關



登場作品

電子遊戲


* 2015 年 —《虹彩六號：圍攻行動》：由三棲特戰隊幹員所使用。

* 2018 年 —《地面分隊》（Ground Branch）：可由玩家角色所使用。

* 2019 年 —《決勝時刻：現代戰爭》：由英國空中特勤隊（加斯、查理）、「Warcom」（羅寧）及「奇米拉」（伊戈）的幹員和維克多・扎卡伏所使用。

* 2022 年 —《決勝時刻：現代戰爭 II》：由 141 特遣隊員「索普」所使用。



參見


* 德式鋼盔

* M56 鋼盔

* M1 鋼盔

* PASGT

* 輕量化頭盔

* 空氣框架頭盔

* 先進戰鬥頭盔

* 未來突擊外殼技術頭盔

* SPECTRA 頭盔

* 模組化集成通訊頭盔

* Mk 7 頭盔

* 88 式鋼盔

* QGK97 鋼盔

* GK80 鋼盔

* 攔截者人體護甲（IBA）

* 組合式戰術背心（MTV）

* 陸軍作戰服

* 海軍陸戰隊通用作戰服

* 數位迷彩

* MultiCam

* 凱夫勒



參考文獻
身分驗證（英語：Authentication）又稱「認證」、「鑒權」，是指通過一定的手段，完成對使用者身分的確認。

身分驗證的目的是確認當前所聲稱為某種身分的使用者，確實是所聲稱的使用者。在日常生活中，身分驗證並不罕見；比如，通過檢查對方的證件，我們一般可以確信對方的身分。雖然日常生活中的這種確認對方身分的做法也屬於廣義的「身分驗證」，但「身分驗證」一詞更多地被用在電腦、通信等領域。

身分驗證的方法有很多，基本上可分為：基於共享金鑰的身分驗證、基於生物學特徵的身分驗證和基於公開金鑰加密演算法的身分驗證。不同的身分驗證方法，安全性也各有高低。



字源

認證（英語：Authentication）的字根源自古希臘語：αὐθεντικός，意為真實、真正的，以及古希臘語：αὐθέντης，意為權威者，或親手製作者。



基於共享金鑰的身分驗證

基於共享金鑰的身分驗證是指伺服器端和使用者共同擁有一個或一組密碼。當使用者需要進行身分驗證時，使用者通過輸入或通過保管有密碼的裝置提交由使用者和伺服器共同擁有的密碼。伺服器在收到使用者提交的密碼後，檢查使用者所提交的密碼是否與伺服器端儲存的密碼一致，如果一致，就判斷使用者為合法使用者。如果使用者提交的密碼與伺服器端所儲存的密碼不一致時，則判定身分驗證失敗。

使用基於共享金鑰的身分驗證的服務有很多，如：絕大多數的網路接入服務、絕大多數的 BBS 以及維基百科等等。



基於生物學特徵的身分驗證

基於生物學特徵的身分驗證是指基於每個人身體上獨一無二的特徵，如指紋、虹膜等等。



基於公開金鑰加密演算法的身分驗證

基於公開金鑰加密演算法的身分驗證是指通信中的雙方分別持有公開金鑰和私有金鑰，由其中的一方採用私有金鑰對特定資料進行加密，而對方採用公開金鑰對資料進行解密，如果解密成功，就認為使用者是合法使用者，否則就認為是身分驗證失敗。

使用基於公開金鑰加密演算法的身分驗證的服務有：SSL、數位簽章等等。



參見


* 數位簽章

* 數位憑證認證中心
可轉換有價證劵是一種特別的固定收益有價證劵（債劵或是特別股），他的特性是投資人可以將其轉換為特定股數的普通股。可轉換公司債和可轉換特別股提供債劵或特別股的固定收益，並提供普通股價格上漲的（資本利得）可能性。
可轉移單票制（英文：single transferable vote，簡稱 STV），又稱單一可轉移票制或單記可讓渡投票制，是一種選出多重獲勝者的投票制度，在採用比例代表制的同時，盡量避免選票的浪費，同時減少複數選區單記不可讓渡投票制中的配票現象。

與排序複選制相似，投票者依照偏好排列候選者。簡單來說，若一候選人已得到足夠的票數當選，超出當選門檻的票數可轉移到第二偏好的選項；若一候選人所得的票數明顯不足以支持當選，第一偏好為其的票數亦可轉移到第二偏好的選項。反之如果沒有人當選，最低的會被淘汰，並將被淘汰者的票數轉移到投票者下一個偏好的選項。如此重複進行直到選出應選名額為止。如果第二偏好已被使用，將會使用第三偏好的選項，以此類推。



應用

截至 2010 年，以下地區採用此投票制度：


* 愛爾蘭：議會選舉（1921 年以來）、歐洲議會選舉、地方政府選舉

* 馬爾他：議會選舉、歐洲議會選舉、地方政府選舉

* 北愛爾蘭：地方議會選舉、歐洲議會選舉、地方政府選舉

* 蘇格蘭：地方政府選舉（自 2007 年 5 月）

* 印度：聯邦院選舉

* 巴基斯坦：參議院選舉

* 澳洲：參議院選舉； 澳大利亞首都特區的議會選舉； 新南威爾斯州的議會選舉、地方政府選舉； 南澳大利亞的議會選舉、地方政府選舉； 塔斯馬尼亞的議會選舉、地方政府選舉； 維多利亞州的議會選舉、地方政府選舉； 西澳大利亞州的議會選舉

* 紐西蘭：一些地方政府選舉，如達尼丁、惠靈頓

* 美國： 馬薩諸塞州劍橋市選舉、 明尼蘇達州明尼阿波利斯市選舉



例子

假設某組織共有 20 名投票者，他們需要在 5 名候選者中選出 3 名代表：

候選人需取得門檻票數以當選。計算門檻有很多方法，最常用的是特羅普數額，公式如下：

　
: $\left({V \over {S+1}}\right)+1=\left({20 \over {3+1}}\right)+1=6$ （其中 V 為總有效票，S 為議席數目）

這代表若有任何候選人得 6 票或以上，即可作當選論。計票過程如下：

結果：當選者為張三、王五和劉六。

值得留意的是，雖然有 8 名投票者曾經投了李四（2 票為第一喜好、6 票為第二喜好），可是卻不敵只有 6 名投票者支持的張三（4 票為第一喜好、2 票為第二喜好）。可見，投票者的喜好次序對整個選舉有著關鍵的作用。

而以愛爾蘭議會為例，通常要大約兩倍當選人數輪次的點票，才可以選出所有的候選人。



相關條目


* 複數選區制

* 比例代表制

* 單一不可轉移票制



參考資料



外部連結


* ACE ProjectArchive.is 的存檔，存檔日期 2014-03-02

* A concise STV analogy（頁面存檔備份，存於網際網路檔案館） – from Accurate Democracy（頁面存檔備份，存於網際網路檔案館）

* Accurate Democracy（頁面存檔備份，存於網際網路檔案館） lists a dozen programs for computing the single transferable vote.
可辨識受害者效應是指當人們看到某個具體的人處於困境與看到處於困境的群體時，人們傾向於幫助某個具體的人。當人們試圖懲罰他人時也會有這種效果。研究表明，當人們遇到某個肇事者時，他們更有可能懲罰肇事者，即便有所犧牲亦在所不惜。 

例如，瑞安・懷特在 13 歲時輸入了受污染的血液而感染了愛滋病愛滋病，並一直與愛滋病奮鬥，大約六年後瑞安・懷特去世。在他去世後，美國國會通過了援助愛滋病患者的《瑞安懷特關懷法案》。另一個例子是一個六歲小女孩說她需要幾萬美元動手術才能活到聖誕節，郵局就會收到大量捐款，但如果新聞說營業稅調降以後，馬薩諸塞州各級醫療院所因為預算不足導致醫療品質下降，死亡率上升，結果不會有多少人同情或捐錢。

庫爾特・圖霍爾斯基在其文章《法國笑話》（德語：Französischer Witz）中記錄了一個外交官的發言：「一個人的死亡是一場悲劇，但十萬人的死亡不過是一個統計數字。」這句話通常會被認為系約瑟夫・史達林所說，但這種說法直到 1947 年才在《華盛頓郵報》中出現，並沒有證實這一說法的直接證據。



參考文獻
標籤聯合（英語：tagged union）也稱可辨識聯合（discriminated union）或者變體類型（variant type），指的是這樣的一種資料結構，它能夠儲存一組不同但是固定的類型中某個類型的物件，具體是哪個類型由標籤欄位決定。這種資料結構在直譯器、資料庫和資料通信中非常有用。需要注意的是，可辨識聯合英文原詞在數學中又指不相交併集（disjoint union）。



外部連結


* Andrei Alexandrescu 討論可辨識聯合的文章

* Andrei Alexandrescu 討論可辨識聯合的論文
追溯性可以指：


* 法律上，追溯法令以新制度或新法律改變新法設立前已發生或已裁決之案件的法律後果，與不溯及既往原則或祖父條款相反。

* 物流管理上，可追溯性 (物流) 是指沿著產銷供應鏈追蹤貨品位置、狀況等資料的能力。

* 軟體開發中，需求可追溯性是指可以從產品的需求往前連結到其原因，往後連結到對應的架構設計、程式碼及其測試用例的能力。
在物流管理中，可追溯性(英語：traceability, product tracing, trace and track) 是指沿著產銷供應鏈追蹤貨品位置、狀況等資料的能力。這種能力可以以一套批次號或流水號系統為基礎。可追溯性是建立物聯網的基礎。產品追溯能力是汽車工業中重要的一環。有此能力汽車業才有召回的能力。可追溯性在食品業中則用於控制食品安全。



食品可追溯性（食品履歷）

可追溯性在食品業中稱為產銷履歷或食品履歷，用於控制食品安全以及一些其他要求。美國、歐盟、日本已作出規定，要求許多食品提供產銷履歷。1997 年，歐盟執委會首次提出了這個概念。



應用範例

台灣

台灣農委會於 2004 年開始推動「農產品產銷履歷」制度。 

基本理念就是 (1) 涵括從生產到流通的整個食品鏈過程，(2) 可以追蹤追溯 (3) 提供批次產品之產銷公開資訊﹐這些在世界各國都是大致相同的。 

台灣農業的追溯制度主要有三大類型，包括「產銷履歷」、「吉園圃」、以及「生產追溯 - QR-cord」。 
最嚴謹的是產銷履歷，必須由第三方驗證，所以費用比較高，管制也比較嚴格，主要大多是出口用；第二種是吉園圃標章，由政府驗證，農民要做用藥書面紀錄，政府也會不定期從產銷班、田間和市售商品做抽驗，但是在 2018 即將退場；而最容易達成的是目前推出的生產追溯 QR-cord，精神是自主管理，由生產者自己管理農產品，但在銷售端會抽驗，如果違規、違法、使用不合法藥劑，就會按照相關法律裁處。 
不過這裡要分非常小心的是，產銷履歷跟生產追溯 - QR-cord 都有 QR-Code，只是產銷履歷的 QR-Code 有一定規範，而且連結到的網站一定是產銷履歷網站，兩者容易搞混。

 

法國

法國 AOC 協會於 2011 年開始推動「法國波爾多地區 AOC 原產地認證」制度。

中國

2005 年 4 月 20 日，由山東省標準化研究院負責開發的「食品安全追溯系統」亮相於第六屆中國（壽光）國際蔬菜科技博覽會。



外部連結


* 有身分證的安全農產品: : 從田間到餐桌，農委會提供。

* 農產品掛保證・消費者更安心，農委會提供。文中簡單提到產銷履歷的由來。
可追蹤性矩陣（traceability matrix）也稱為追溯矩陣，簡稱 TM，是軟體開發中的文件，一般會用表格來表示，利用多對多關係的比較來確認二個形態基準文件中的關係完整性。可追蹤性矩陣常用來將高階需求（多半也包括市場需求）以及產品的細部需求和高階設計、細節設計、測試計劃及測試用例進行對應。

可追蹤性矩陣可以用來確認目前專案的需求是否都有符合，也有助於建立需求建議書、軟體需求說明、許多的交付文件，以及專案計劃任務。

常見的用法是一份文件中的項目以識別文字表示，將識別文字放在表格的左邊。另一份文件中的項目也以識別文字表示，放在表格的上方。若左邊某一項目及上方某一項目有關，則在對應二項目的方格註記記號。最後會分別將每一欄及每一列的註記數量加總，表示此項目在另一份文件中有關的項目數量。若數值為零，表示在另一份文件中，沒有和此項目對應的項目。若數字很大，表示其關係太過複雜，需要再加以簡化。

為了簡化可追蹤性矩陣的建立，一般會建議加上和程式碼文件的關聯性，以作到前向可追蹤性及後向可追蹤性。當在形態基準文件中有任一項目有變動，很容易可以看出哪些項目會受到影響。



可追蹤性矩陣範例



相關條目


* 需求可追蹤性

* 軟體工程



參考資料



外部連結


* Bidirectional Requirements Traceability by Linda Westfall

* StickyMinds article: Traceability Matrix by Karthikeyan V

* Why Software Requirements Traceability Remains a Challenge （頁面存檔備份，存於網際網路檔案館） by Andrew Kannenberg and Dr. Hossein Saiedian
可逆可以指：


* 逆元素

* 可逆矩陣

* 可逆函數：有反函數的函數

* 熱力學中的可逆過程

* 化學中的可逆反應
可逆加成斷裂鏈轉移（英語：Reversible Addition-Fragmentation Chain Transfer，簡稱：RAFT）是活性 / 可控自由基聚合（CRP）的一種。另外還有 iniferter，NMP，ATRP,IPT,SETRP 等。在 RAFT 反應中，通常加入雙硫酯衍生物 SC (Z) S—R 作為鏈轉移試劑。聚合中它與增長鏈自由基 Pn・形成休眠的中間體 (SC (Z) S—Pn)，限制了增長鏈自由基之間的不可逆雙基終止副反應，使聚合反應得以有效控制。這種休眠的中間體可自身裂解，從對應的硫原子上再釋放出新的活性自由基 R・，結合單體形成增長鏈，加成或斷裂的速率要比鏈增長的速率快得多，雙硫酯衍生物在活性自由基與休眠自由基之間迅速轉移，使分子量分布變窄，從而使聚合體現可控 /「活性」特徵。



簡介

1998 年，Rizzardo 在第 37 屆國際高分子大會上作了「Tailored polymers by free radical processes」的報告，首次提出了可逆加成 - 斷裂鏈轉移自由基聚合（RAFT）的概念。
在傳統的自由基聚合體系中，自由基濃度較高，容易發生自由基的終止反應，導致反應不可控。如果在聚合體系中加入鏈轉移常數高的特種鏈轉移劑，使得增長自由基和該鏈轉移劑之間進行退化轉移，從而降低自由基的濃度，就有可能實現活性自由基聚合。
在代數幾何學中，可逆層是在賦環空間 _X_ 上的一個凝聚層 _S_，使得 _S_ 關於 _O_X- 模上的張量積存在一個逆元素 _T_。這是拓撲意義上的線叢在代數幾何學中的類比。 可逆層也被等價定義為秩為 1 的局部自由層。可逆層在研究代數簇時起到了重要的作用。



定義

可逆層被定義為在賦環空間 $(X,{\mathcal {O}}_{X})$ 上的一個凝聚層 _S_，使得 _S_ 關於 _O_X- 模上的張量積存在一個逆元素 _T_ 。這相當於說，我們有

　
: $S\otimes T\ \cong {\mathcal {O}}_{X}$

這裡，空間 _X_ 的環層 ${\mathcal {O}}_{X}$ 是張量積運算下的單位元。可逆層的重要例子來源於對代數幾何學和複流形的研究。在這些研究中，可逆層等同於線叢。

上述可逆層的定義採用概形語言敘述。這個定義可被替換為可逆層是「秩為 1 的局部自由層」。這意味著，在 _X_ 上張量逆的存在等價於 _S_ 是某個交換環 _R_ 上、具有秩為 1 的模的形式的層。更普遍地說，當 _X_ 是仿射概形 _Spec(R)_ 時，可逆層由 _R_ 上的秩為 1 的投射模組成。



皮卡群

一般來說，_X_ 上的可逆層的同構類關於張量積構成了一個阿貝爾群，被稱作皮卡群 (Picard Group)，記作 $\mathrm {Pic} (X)\ $ ，其中 _Pic_ 代表皮卡函子。皮卡群推廣了 理想類群的概念。皮卡群的構造融合了代數曲線上雅可比簇的理論在內，於是在代數幾何學中，對皮卡函子的研究成為了核心問題之一。



相關條目


* 向量叢

* 陳類

* 皮卡群

* 伯克霍夫 - 格羅滕迪克定理



參考資料


* Section 0.5.4 of Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.
在熱力學中，可逆過程是指系統的某些屬性能夠在無能量損失或耗散的情形下通過無窮小的變化實現反轉的熱力學過程。如果這一過程是一個熱力學循環，則這種循環稱為可逆循環。由於這些變化都是無窮小的，熱力學系統在整個過程中都處於平衡態。由於在理論上這種過程所需時間為無窮大，完全理論意義上的可逆過程在實際中是不可能實現的。不過，如果系統對所發生變化的反應速度遠遠大於變化本身，過程中微小的不可逆性則可以忽略，因而理論上經常把無摩擦的准靜態過程看作可逆過程。在可逆循環中，系統和其外界環境在每一次循環結束時都保持完全相同的狀態。

可逆過程的另一種定義是，過程發生後能夠被復原並對系統本身或外界不產生任何影響的過程稱作可逆過程。在熱力學的語義中，一個過程「發生」是指這個熱力學系統從初始狀態發生變化直到終止狀態過程結束。

值得注意的是，物理過程可逆，是指在時間反演變換操作下物理定律形式保持不變。



不可逆性

當一個過程不可反轉時，它被稱作不可逆過程。在不可逆過程中發生的變化是有限的，因而系統在過程中並不處於平衡態。而在一個不可逆循環中，雖然系統在相同的點上都處於相同的狀態，但每經一次循環都對外界環境產生了永久性的改變，這種改變是無法通過過程反轉手段來恢復的。



可逆過程和熵變

當可逆過程改變系統狀態時，系統與外界的熵的總量改變為零；與之對應的是，系統經不可逆過程改變狀態後熵總是增加的，這是熱力學第二定律的體現。進一步地，可逆過程這一概念劃定了熱力學與工程上熱機效率的上限：由於可逆過程是系統無熱量「浪費」的過程，基於由可逆過程構成的可逆循環的熱機效率是所有熱機可能達到的最高效率（參見卡諾循環），實際熱機由於摩擦等因素只能進行不可逆的循環，任何熱機都無法達到可逆循環熱機的效率。

有些嚴格的場合需要區別可逆過程和准靜態過程（在某些不太嚴格的場合兩者屬於同義語）：可逆過程總是准靜態的，但反過來不一定成立。例如，在一個器壁存在摩擦的圓柱體容器中，對圓柱體和活塞之間的氣體進行無窮小的壓縮，這一過程是准靜態的但不是可逆的。雖然這個系統只是從平衡態發生了一個無窮小的改變，因摩擦產生的熱量損耗是不可逆的，僅僅把活塞向相反方向移動無窮小的距離也無法將這些熱量還原，由此可知存在能量耗散的准靜態過程不是可逆過程。

教科書中常提到的可逆過程 —— 可逆絕熱過程是等熵過程的一個例子，當封閉系統與外界沒有任何熱交換，並在無耗散的情況下自由膨脹或壓縮時，這一過程就是一個可逆絕熱過程。



工程古語

歷史上，「特斯拉原理」（Tesla principle）一詞曾被尼古拉・特斯拉用於描述某些特定的可逆過程，但這個詞語後來沒有再被延續使用。這個原理是說某些系統的熱力學過程可以被反轉。特斯拉在研究強度和方向都隨週期變化的交變電流時建立發展了這個原理。在特斯拉渦輪泵的演示中，隨著圓盤自轉固定在軸上的機械在發動機的推動下開始工作。而當渦輪泵的工作方向被反轉時，圓盤的行為相當於一個泵。



參見


* 卡諾循環

* 時間演化

* 量子線路

* 馬克士威妖



參考文獻



外部連結


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

* Reversible Computing （頁面存檔備份，存於網際網路檔案館）
可逆性後部腦病症候群 （PRES）（英文：Posterior reversible encephalopathy syndrome），或稱可逆性後部腦白質變性 （RPLS）（英語：reversible posterior leukoencephalopathy syndrome），是一種以頭痛、意識障礙、癲癇及視力受損為主的病症，首次被報導於 1996 年。病因多樣，可因惡性高血壓、子癇或應用某些藥物引起，在磁共振成像（MRI）上表現為片狀腦組織水腫。病症具有自限性，有時可殘留影像學改變。



病因

PRES 有幾大病因，包括免疫抑制劑治療、腎衰、子癇、極度高血壓及系統性紅斑狼瘡等，低鎂血症可以擴大 PRES 的影響。



症狀和體徵

典型的 PRES 常伴有頭痛、噁心、嘔吐、性情改變、癲癇、昏睡及視覺障礙，局灶性神經系統體徵罕見。



診斷

診斷常需藉助腦部 MRI 掃描，至少應掃描三組序列，病灶表現為長 T2 信號，腦血管造影能提供進一步診斷。



治療

治療方法取決於原發病症。比如：病變與高血壓有關，就該加強血壓控制；如與用藥相關就停用相關藥物。



預後

在控制血壓及解除原發病後，大部分病例可以在 1～2 周內恢復，但也可能遺留長期甚至永久的神經系統功能障礙。少數情況下，進行性腦水腫或腦出血可以造成患者死亡。



流行病學

發病率尚未明了，已知病例包括 2～90 歲患者，無明顯好發年齡，在女性之發病率可能略高。



參見


* 腦白質病



參考文獻
若方塊矩陣 $A\,$ 滿足條件 ${\rm {{det}(A)\neq 0}}$ ，則稱 $A\,$ 為非奇異方陣（nonsingular matrix），否則稱為奇異方陣（singular matrix）。非奇異方陣又被稱作非退化方陣（nondegenerate matrix）。



相關定理

方陣 $A\,$ 非奇異與以下論述等價：

 
* $A\,$ 是可逆的。

* $A^{T}A\,$ 是可逆的。

* $A\,$ 的行列式不為零。

* $A\,$ 的秩等於 $n\,$ （ $A\,$ 滿秩）。

* $A\,$ 的轉置矩陣 $A^{T}\,$ 也是可逆的。

* $A\,$ 代表的線性變換是個自同構。

* 存在一 $n\,$ 階方陣 $B\,$ 使得 $AB=I_{n}\,$ （ $I_{n}\,$ 是單位矩陣）。

* 存在一 $n\,$ 階方陣 $B\,$ 使得 $BA=I_{n}\,$ （ $I_{n}\,$ 是單位矩陣）。

* $A\,$ 的任意特徵值非零。



參見


* 逆陣

* 正定矩陣
可逆計算（英語：Reversible Computing），是一種計算模型，它的計算過程是可逆的。在這種計算模型中，使用的能量很低，熵的增加會最小化，換句話說，它幾乎不會產生額外的熱。

在可逆計算模型中，轉換函數的前一個狀態，與下一個狀態之間的關係，是一對一的反函數。因此，它的邏輯閘，除了產生出我們想要的答案之外，還需要包含許多額外的位元，用以記憶運算的歷史。最早提出可逆計算的先驅，是 IBM 的工程師羅夫・蘭道爾（Rolf Landauer）。



可逆電路

對於可逆電路的實現，人們一般以邏輯閘為模型研究可逆計算，並計算能量消耗，確定極限。例如，非門是可逆的，因為它的操作可以取消。異或門不可逆，因為它的輸出無法明確一對一地映射回它的輸入。不過，可控非門（CNOT），通過保存一個輸入狀態，成為異或門的可逆版本。具有三個輸入端的可控非門稱作 Toffoli 門。它保留了兩個輸入 $a$ 與 $b$ ，而把第三個輸入替換為 $c\oplus (a\cdot b)$ 。當 $c=1$ 時，其操作為與非門，而與非門是一種通用邏輯閘。這樣， Toffoli 門可以實現所有的可逆布爾函數。



參見


* 蘭道爾原理
在程式語言（尤其是函式語言程式設計語言）和類型論中，可選類型（英語：Option Type）是一種表示可選值的多型類型，也稱作可能類型（英語：Maybe Type）。例如，函式可以使用可選類型的返回值，表示執行該函式後可能返回有意義的值，也可能不返回。

可選類型的建構函式通常有兩種形式：一種形式不包含任何參數，表示空（常記作 `None` 或者 `Nothing`）；另一種形式包含原始資料類型 `A`（常記作 `Just A` 或者 `Some A`）。

物件導向程式設計領域可空類型的概念（常記作 `A?`）與可選類型類似，但並不完全相同，兩者之間的主要區別在於可選類型不支援巢狀（`Maybe(Maybe A)` ≠ `Maybe A`），而可空類型支援（`String??` = `String?`）。



另見


* 單子

* 標籤聯合

* 可空類型

* 空物件模式

* 哨兵值

* 例外處理
可通約性或者不可通約性是科學哲學的概念。對若干科學理論而言，如果它們可以被同一套術語所描述，使得人們可以通過比較的方式確定哪種理論更加有效或有用，那麼便稱這幾種科學理論是可以通約的。反之，如果這些科學理論建立在完全不同的概念框架上，而且這些框架的語言表述沒有太多的重疊，使得科學家無法比較這些理論或利用證據來支持其中的一方，則稱這幾種科學理論不可以通約。可通約性的概念由路德維克・弗萊克在 20 世紀 30 年代引入，並由托馬斯・庫恩在 20 世紀 60 年代推廣。



參考文獻
可道中學（嗇色園主辦） （英語：Ho Dao College (Sponsored by Sik Sik Yuen)）是一所位於香港新界元朗區洪水橋第七十四區（洪水橋洪順路 11 號）的中學，於 1990 年在深培中學 4 樓開辦，並於翌年遷入現址辦學，以中文教學。



辦學宗旨

1. 為區內青少年提供優質之教育服務；
2. 重視學生學業及品德之發展，強調五育並重之全人教育；
3. 積極推動學校與家庭之合作關係。



開設科目

中一至中三級


* 中文

* 英文

* 數學

* 中史

* 普通話

* 地理

* 歷史

* 視覺藝術

* 電腦

* 音樂

* 家政

* 設計與科技

* 體育

* 綜合科學

* 通識

中四至中六級

必修科目


* 中文

* 英文

* 數學

* 通識

選修科目


* 中史

* 歷史

* 地理

* 經濟

* 旅遊與款待

* 生物

* 物理

* 化學

* 資訊及通訊科技

* 企業、會計與財務概論

* 視覺藝術



歷任校長


* 陳達生先生（1990 年－1997 年）

* 周繼正先生（1997 年－2003 年）

* 蔡錦勇先生（2003 年－2005 年）

* 蕭志新先生（2006 年－2012 年）

* 彭惠蘭女士（2012 年－2019 年）

* 鄒志文先生（2019 年至今）



校風及學生支援


* 學校在學生成長支援方面已取得一定成就，校園內關顧文化已建立。

* 學校能為新學生提供適切的入學支援，以助學生盡快投入校園生活。

* 學校透過生活教育課程、早會、周會等，成功推行價值教育。

* 學校的獎懲制度恰當。校規清晰合理。

* 學校因應學生情況推行各項學生支援計劃，以發展學生多元智能，培養學生的自信心和責任感，拓闊生活體驗，方向正確。

* 教師愛護學生，關注學生需要。

* 學校成功落實「全校參與」輔助學生模式。

* 初中推行家訪計劃，加強家校之間溝通與合作，深受家長歡迎。

* 學校重視家校合作，並訂定清晰明確的家校合作政策。

* 家長認同及支持學校，並樂於提供意見。

* 學校文化方面，校長態度親切，作風民主，帶領學校營造關顧文化。教師大都認真盡責，互相扶持，關愛學生，師生關係融洽，學生能深切感受教師的關懷。

* 學生之間關係良好，制服隊伍有效提升集體紀律精神。



校歌

黃大仙頌



鄰近


* 尚城

* 洪水橋站

* 天主教崇德英文書院：與可道中學在禮堂部分相連，形成連鎖式平禧中學校舍



外部連結


* 可道中學（嗇色園主辦） （頁面存檔備份，存於網際網路檔案館）

* 可道中學（嗇色園主辦）：中學概覽 （頁面存檔備份，存於網際網路檔案館）
擊發調變槍械，也作可選射擊模式槍械、選射槍械、切換射擊模式槍械（英語：Selective Fire Weapon）等等，是至少具備兩種射擊模式、可通過撥動開關等方式立即（而非通過拆卸槍械、更改內部結構等手段）而在這些模式間切換的槍械。

用來切換射擊模式的選發開關（Selector）俗稱為快慢機、射擊選擇桿。

 
所謂射擊模式，通常包括以下幾種：


* 半自動
  
* 扣下扳機並在鬆開之前只發射一發子彈，下一發子彈可以自動上膛但不能自動擊發。
  
* 注意條件是「鬆開之前」，即不論「鬆扳機」這個動作是否引起槍械的擊發都不影響判斷。例如，Franklin Armory 生產的 Binary Firing System 扳機組套件可把只能單發的民用型 AR-15 改為扣鬆扳機各擊發一次，實現全自動射擊，但在定義上仍屬於半自動。
  
* 也稱單發點射。

* 短點射
  
* 扣下扳機發射 n>1 發子彈，同樣讓接下來的子彈自動上膛。此射擊模式是為避免士兵因緊張而在全自動射擊時按緊扳機而浪費子彈而設。
  
* 依據 n 的不同，可分別稱為「兩發點射」、「三發點射」等。典型的例子包括：
    
* AN-94：可兩發點射。
    
* MP5、M16A2/A4：可三發點射。其中 M16A2/A4 的三發點射比較特別，詳見其條目。

* 全自動
  
* 只要扣住扳機便可連續不斷發射子彈，直到子彈耗盡或發生故障為止。
  
* 一般以機槍而言，這是僅有的射擊模式；然而也存在可切換到半自動射擊的 HK21、M2 重機槍等款式。

不同的槍械，其可選擇的射擊模式也不同，但多數都會落入以上三種的範圍。

通常來說，通過撥動射擊選擇桿可在射擊模式間選擇，但如 M16 等槍械會把射擊選擇桿和保險做到一起，方便射手儘快開火。



參考文獻