zetavg/zh-tw-wikipedia huggingface dataset:
可见度

**能見度**又稱**可見度**，指觀察者離物體多遠時仍然可以清楚看見該物體。氣象學中，能見度被定義為大氣的透明度，因此在氣象學裏，同一空氣的能見度在白天和晚上是一樣的。能見度的單位一般為公尺或公里。能見度對於航空、航海和陸上運輸都非常重要。

## 能見度的高低

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

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?
* 可計算性邏輯課程（頁面存檔備份，存於網際網路檔案館）
可計算數

**可計算數**（英語：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）.

## 參考資料

### 引用

### 來源
可調式視訊編碼

**可適性視訊編碼（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)
可證偽性

**可否證性**（英語：Falsifiability、Refutability），又稱**可反證性**、**可證僞性**，在科學和科學哲學中用來表示由經驗得來的表述所具有的一種屬性，並使用嚴格的否證法（相對於實證法）來判別一個理論是否科學，即「這些結論必須容許邏輯上的反例的存在」。

作為可反證性對比的則包括形式上的或數學的表述，如恆真式或同義反覆（由於定義的原因它們總是真的），數學公理和定理 —— 這些表述不容許邏輯上反例的存在。

可證偽性是科學哲學家卡爾・波普爾在他 1934 年的著作科學發現的邏輯中引入的科學理論和假設的評估標準。他提出它作為解決歸納和劃界問題的基石。如果一個理論或假設可以被現有技術的實證檢驗在邏輯上抵觸，那麼它就是**可證偽**的（或**可反駁**的）。可證偽性的目的，甚至是一個邏輯標準，是使理論具有預測性和可測試性，從而在實踐中有用。

波普爾反對可驗證性概念。驗證「所有的天鵝都是白色的」這一說法在邏輯上需要觀察所有的天鵝，這在技術上是不可能的。相比之下，對單個黑天鵝的觀察在技術上是合理的，並且足以在邏輯上證偽這一主張。另一方面，皮耶・杜漢提出了杜漢 - 奎因論題。

在這種情況下，波普爾堅持認為在邏輯方面存在明顯的不對稱性，可證偽性不存在杜漢所提出的問題，因為它是一個邏輯標準，與拉卡托什・伊姆雷的證偽主義「被證明錯誤的能力」相關的概念不同。實驗方面和相關方法確實存在杜漢所提出的問題和其他問題，例如歸納問題（英語：Problem of induction），但是，對於波普爾來說，統計檢驗和其他數學工具，當一個理論是可證偽的時，這是可能的，在批判性討論中仍然對科學有用。

作為區分科學與非科學和偽科學的關鍵概念，可證偽性在許多科學爭議和應用中佔有突出地位，甚至被用作法律先例。

對理論的佐證雖然認可了合理性，但與邏輯實證主義經驗能證實理論的確證不同，佐證則是暫時的。一些哲學家和科學家（如卡爾・波普爾）宣稱：一切從經驗得來的假說、命題和理論必須邏輯上容許反例的存在，才是科學的。波普爾提出否證論（相對於實證論）作為科學真理的檢驗原則，且通過否證論說明科學理論只是假說，有可能被推翻。一個主張「可證偽」並不意味著這個主張是「假」的；不具可證偽性的科學理論則是屬於偽科學與失敗假設的範本。而非科學的人類活動如宗教、藝術、哲學等雖然是不可證偽的，但也不能說成是「錯誤」的，例如人們不會說達文西的最後的晚餐是錯誤的。

## 定義

如果一個主張是可否證的，則至少在理論上存在一種觀測的方法（即使實際上沒有進行這項觀測也無妨），來表明這個主張不符合重言式的標準（即這個主張不總是真的）。對某種描述進行觀測的邏輯前提是它描述的事物是存在的。科學活動中要不斷思考、批判、否證，而且結果不能保證永遠正確。

例如「所有的天鵝全都是白色的」這個主張可以被「存在黑色天鵝」的觀測否證，雖然這個觀測並不一定會發生。一個可否證的命題必須定義某些被禁止的情形。例如，在這個例子中，「所有的天鵝全都是白色的」這個主張禁止了「黑天鵝」的存在。由於理論上可能存在「觀測到黑色天鵝」這個反例，「所有的天鵝全都是白色的」這個主張是可否證的。
再比如假設現在有一個人宣稱「我說的話一直都是對的」，那麼我們考察他以前說過的話，如果有自相矛盾的地方，那麼這句話肯定是個假命題。然而，即使這個人過去一直貫徹一種想法，在他自己的言論中沒有自相矛盾之處，也不能作為足夠的證據證明這句話是個真命題。

## 科學理論的必要屬性

可否證性是一個科學理論的必要屬性。可否證性是由經驗得來的主張的必要屬性，卻不是充分屬性。一個主張需要更多的屬性及證據使其成為經驗上有意義的。

## 參見

* 卡爾・波普爾
* 本質主義
* 特例假設
* 黑天鵝效應
* 奧卡姆剃刀
* 科學哲學
* 科學方法
* 研究綱領
* 典範轉移

## 參考文獻

## 外部連結

* Problems with Falsificationism （頁面存檔備份，存於網際網路檔案館） explained at The Galilean Library
* FALSIFIABILITY OR REFUTABILITY （頁面存檔備份，存於網際網路檔案館） "FALSIFIABILITY OR REFUTABILITY" at Sociology Index
可譽中學

**嗇色園主辦可譽中學暨可譽小學**（英語：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 bitrate**，簡稱 **VBR**）這是一個用來形容通信服務品質（QoS for Quality of Service）的術語。和該詞相對應的詞是固定位元速率，英文 constant bit rate，縮寫 CBR。

例如，使用 MP3 格式的音訊編解碼器，音訊檔可以以 8~320kbps 的變動位元速率進行壓縮，得到相對小的檔案來節約儲存空間。

當形容編解碼器的時候，VBR 編碼指的是編碼器的輸出位元速率（或者解碼器的輸入位元速率）可以根據編碼器的輸入源訊號的複雜度自適應的調整，目的是達到保持輸出品質保持不變而不是保持輸出位元速率保持不變。VBR 適用於儲存（不太適用於串流傳輸），可以更有效地利用有限的儲存空間：用比較多的碼字對複雜度高的段進行編碼，用比較少的碼字對複雜度低的段進行編碼。

像 Vorbis 這樣的編解碼器和幾乎所有的影片編解碼器內在的都是 VBR 的。MP3 檔案也可以以 VBR 的方式進行編碼。

## 參見

* 平均位元速率
* 固定位元速率
可變剪切

**選擇性剪接**（英語：Alternative splicing；又稱「**可變剪接**」）是基因表現的方式，在複雜的動物例如人類細胞是非常普遍的。真核細胞的基因序列中，包含了內含子（intron）與外顯子（exon），兩者交互穿插。其中內含子在基因轉錄成 mRNA 前體後會被 RNA 剪接體移除，剩下的外顯子才是能夠存在於成熟 mRNA（之後再進一步轉譯成蛋白質）的片段。

而選擇性剪接便是利用這樣的特性，一條未經剪接的 RNA，含有的多種外顯子被剪成的不同組合，可轉譯出不同的蛋白質。就能將同一基因中的外顯子以不同的組合方式來表現，使一個基因在不同時間、不同環境中能夠製造出不同的蛋白質（基因表現調控），可增加生理狀況下系統的複雜性或適應性。例如抗體的製造。
可變參數函數

在計算機程式設計，一個可變參數函式是指一個函式擁有不定引數，即是它接受一個可變數目的參數。不同的程式語言對可變參數函式的支援有很大差異。

一般而言，在設計函式時會遇到許多數學和邏輯操作，是需要一些可變功能。例如，計算數字串的總和、字串的聯接或其他操作過程，都可以存在任意數量的參數。

另一種許多語言都實現為可變參數函式的是格式輸出函式，在 C 語言的 `printf` 函式和 Common Lisp 的 `format` 函式就是例子。這些函式都需要一個參數，指定格式的輸出，再讀取可變參數的值進行格式化。

另外，可變參數函式在某些語言存在安全問題。例如 C 語言在沒有長度檢查和類型檢查，在傳入過少的參數或不符的類型時可能會出現溢位的情況，更可能會被利用為攻擊目標。所以，在設計函式時可以先考慮其他替補方案，例如以類型安全的方式 —— 重載。

## 例子

### C/C++

在 C 語言中，C 標準函式庫的 stdarg.h 標頭檔定義了提供可變參數函式使用的巨集。在 C++，應該使用標頭檔 cstdarg。

要建立一個可變參數函式，必須把省略號（...）放到參數列表後面。函式內部必須定義一個 `va_list` 變數。然後使用巨集 `va_start`、`va_arg` 和 `va_end` 來讀取。例如：

這個是一段計算平均數的程式碼，可以輸入任意數量的小數並計算平均數，注意計算以 0 停止計算。請注意，函式不知道參數的數量或它們的類型，這裡要求的類型是 `double`，而且第一個參數傳遞可變參數的數量。在另外的情況​​下，例如 `printf`，參數的數量和類型都設定在格式字串中。在這兩種情況下，程式員實際上需要提供正確的參數，如果參數傳遞少了或參數的類型不正確，導致讀入記憶體的無效區（溢位），這樣會有安全漏洞如格式字串攻擊。

C++ 允許函式多載。對於多載函式，有省略符的可變參數函式的匹配優先級最低。只有其它多載函式都不能匹配時，才會與候選的可變參數函式匹配。

### C++11/C++14

C++11 新增了 initializer\_list 物件，當編譯器遇到大括號陣列變成函式的參數時，會自動將大括號陣列轉型成 initializer\_list 物件，因此可以使用此原理來做出「相同型別」參數的可變參數函式。

### JavaScript

在 JavaScript (簡稱 js) 中，函式的可變參數用法很巧妙。

## 參見

* 可變參數模板
* 可變參數宏

## 外部連結

* Variadic function （頁面存檔備份，存於網際網路檔案館）. Rosetta Code task showing the implementation of variadic functions in over fifty programming languages.
* Variable Argument Functions — A tutorial on Variable Argument Functions for C++
* GNU libc manual （頁面存檔備份，存於網際網路檔案館）
可變式後掠翼

**可變後掠翼**（Variable-sweep wing）是一種可隨不同飛行情況而改變掠角的設計。這樣的設計可以同時利用後掠翼在高速以及直線機翼在低速下的優點，但會增加飛機重量和結構複雜度。

## 概念

可變後掠翼的飛機的概念，是從一些用來測試掠翼性能的實驗用飛機而來的。而首部此類型的實驗機種就是 Messerschmitt Me P.1101。它的掠角只能在地面調較，而在飛行時卻不能。以不同的掠角作出了的試飛後，就可找出當中最合乎中道的掠角。

## 歷史

第二次世界大戰結束時 Me P.1101 戰鬥機被帶到美國貝爾飛機作更深入的研究，製造了一批可於飛行時改變翼角的版本。在測試貝爾 X-5，他們發現當機翼向前展開時，壓力中心亦隨之向前，把機鼻推向下。為了解決這個根本性的問題，這類的設計一定要添加一個特別的系統才可使用。

對於不論速度高低都能飛行的飛機來說，可變後掠翼十分實用。故此可變後掠翼最初應用於軍用航空飛行器上。

1952 年的格魯門 XF-10F 美洲豹戰鬥機 | F-10F 美洲豹（Jaguar）是美國首部可變後掠翼曾經服役戰鬥機。不過 F-10F 是一個失敗之作而且美國海軍亦對此機沒有很大的興趣。飛機的重量不斷上升，翼的載重亦隨之而上升。直至 1960 年代可變後掠翼的意念再被提出，藉降低飛機重量和翼載重來提高升降的性能。美國政府最後於實驗性戰術戰鬥機計劃 TFX (Tactical Fighter Experimental Program) 中採用了可變後掠翼裝置，研發出首部可變後掠翼飛機通用動力 F-111。

戰後不久，巴恩斯・沃利斯就開始著手於可變後掠翼，將超音速飛行的成本降至最低。最初他是為軍方「野鵝計劃」效力，之後他去到「燕子」，計劃目標是於 10 小時內來回歐洲和澳洲。1950 年代他成功測試一個超過 2 馬赫的設計，但最後政府卻放棄繼續支持他。後來沃利斯和他的團隊到美國尋求資助他繼續研究，但卻得不到人支持他。

蘇聯亦有類似的需要，由中央空氣動力學研究所（TsAGI）負責研究可變後掠翼飛機的可行性。研究所開發出兩個不同的平面形狀 planform，主要的分別是一對翼轉軸之間的距離佔整個翼展的百份比。更寬的翼轉軸間距不僅可以減少改變後掠翼時產生的不利的氣動效應，而且提供了一個可作為起落架或 stores pylon 的更大的固定翼。這事實上可以或多或少對於機身有所適應，蘇聯人不久後，在蘇霍伊 Su-17（基於早期後掠翼的蘇霍伊 Su-7）和圖波列夫 Tu-22M（基於圖波列夫 Tu-22）上做了改進。但更寬的翼轉軸間距的局限在於它在減少了技術難度的同時也減少了可變幾何翼面帶來的好處。中央空氣動力學研究所（TsAGI）設計了一種類似於 F-111 的更窄的空間安排。這種設計被用於（雖然規模不同）米格 - 23 戰鬥機和 Su-24 戰鬥轟炸機，它的原型機完成於上世紀 60 年代，並於上世紀 70 年代初開始服役。

歐洲（北約）在可變後掠翼的應用代表是由英德意三國（聯合成立了帕那維亞飛機公司）聯合研製的龍捲風戰機。可變後掠翼技術的應用在冷戰末期達到最高水平，代表作是美國的 B-1「槍騎兵」（Lancer）和前蘇聯的圖 - 160。

 
自 70 年代後再沒有新設計的戰機使用可變後掠翼，這有多方原因：

* 第四代戰機追求機動性，對速度的要求下降，到了 90 年代的 F/A-18E/F，即極速只得 1.6 馬赫也會接受，速度低了，降低阻力也就不再那樣重要。
* 隨計算機技術進步，可以設計出以更低的代價實現相差不大的性能的傳統機翼
* 應對低速時的可控性、升力需要可以用幾何可變機翼，例如翼面擾流板、前緣機動襟翼等，不一定要用可變後掠翼。
* 降低阻力並不再像以往那麼重要，因為，引擎技術改進，推力比以往增加了不少，最佳例子就是 F-22 的 F119-PW-100，那使氣動阻力不比以住有大改善也能做到超音速巡航。
* 隱身性能成了近乎必要，可變後掠翼會增加設計難度或降低隱身效果。
* 可變後掠翼架構複雜（以 F-14 的翼盒為例），後勤維修較難，成本和重量皆比傳統機翼大。

實際上並不是有其他設計可以完全取代可變後掠翼做到的性能，例如取代有可變後掠翼的 F-14 的 F/A-18 在酬載量、航程上都較 F-14 大幅減少，其中一個主因正是機翼設計上的分別。可變後掠翼做成的的重量增加也不是嚴重得不可接受，例如以 60 年代尾以複合材料等技術製造的 F-14，空重跟以 90 年代技術製造的 F-22 幾乎相同，而且有低後多的翼負荷（F-14 是 234.4kg/m²，F-22 是 377 kg/m²）。而可變後掠翼也可能可以有一定隱身能力。使用與否在乎設計者所追求的是那一方的性能，以及兼顧可維修性及成本。

## 例子

* B-1 槍騎兵戰略轟炸機
* F-14 雄貓式戰鬥機
* F-111 戰鬥轟炸機
* 米格 - 23 戰鬥機
* 米格 - 27 攻擊機
* 蘇 - 17 攻擊機
* 蘇 - 24 戰鬥轟炸機
* 龍捲風戰鬥轟炸機
* 圖 - 22M 轟炸機
* 圖 - 160 轟炸機
可變後掠翼

**可變後掠翼**（Variable-sweep wing）是一種可隨不同飛行情況而改變掠角的設計。這樣的設計可以同時利用後掠翼在高速以及直線機翼在低速下的優點，但會增加飛機重量和結構複雜度。

## 概念

可變後掠翼的飛機的概念，是從一些用來測試掠翼性能的實驗用飛機而來的。而首部此類型的實驗機種就是 Messerschmitt Me P.1101。它的掠角只能在地面調較，而在飛行時卻不能。以不同的掠角作出了的試飛後，就可找出當中最合乎中道的掠角。

## 歷史

第二次世界大戰結束時 Me P.1101 戰鬥機被帶到美國貝爾飛機作更深入的研究，製造了一批可於飛行時改變翼角的版本。在測試貝爾 X-5，他們發現當機翼向前展開時，壓力中心亦隨之向前，把機鼻推向下。為了解決這個根本性的問題，這類的設計一定要添加一個特別的系統才可使用。

對於不論速度高低都能飛行的飛機來說，可變後掠翼十分實用。故此可變後掠翼最初應用於軍用航空飛行器上。

1952 年的格魯門 XF-10F 美洲豹戰鬥機 | F-10F 美洲豹（Jaguar）是美國首部可變後掠翼曾經服役戰鬥機。不過 F-10F 是一個失敗之作而且美國海軍亦對此機沒有很大的興趣。飛機的重量不斷上升，翼的載重亦隨之而上升。直至 1960 年代可變後掠翼的意念再被提出，藉降低飛機重量和翼載重來提高升降的性能。美國政府最後於實驗性戰術戰鬥機計劃 TFX (Tactical Fighter Experimental Program) 中採用了可變後掠翼裝置，研發出首部可變後掠翼飛機通用動力 F-111。

戰後不久，巴恩斯・沃利斯就開始著手於可變後掠翼，將超音速飛行的成本降至最低。最初他是為軍方「野鵝計劃」效力，之後他去到「燕子」，計劃目標是於 10 小時內來回歐洲和澳洲。1950 年代他成功測試一個超過 2 馬赫的設計，但最後政府卻放棄繼續支持他。後來沃利斯和他的團隊到美國尋求資助他繼續研究，但卻得不到人支持他。

蘇聯亦有類似的需要，由中央空氣動力學研究所（TsAGI）負責研究可變後掠翼飛機的可行性。研究所開發出兩個不同的平面形狀 planform，主要的分別是一對翼轉軸之間的距離佔整個翼展的百份比。更寬的翼轉軸間距不僅可以減少改變後掠翼時產生的不利的氣動效應，而且提供了一個可作為起落架或 stores pylon 的更大的固定翼。這事實上可以或多或少對於機身有所適應，蘇聯人不久後，在蘇霍伊 Su-17（基於早期後掠翼的蘇霍伊 Su-7）和圖波列夫 Tu-22M（基於圖波列夫 Tu-22）上做了改進。但更寬的翼轉軸間距的局限在於它在減少了技術難度的同時也減少了可變幾何翼面帶來的好處。中央空氣動力學研究所（TsAGI）設計了一種類似於 F-111 的更窄的空間安排。這種設計被用於（雖然規模不同）米格 - 23 戰鬥機和 Su-24 戰鬥轟炸機，它的原型機完成於上世紀 60 年代，並於上世紀 70 年代初開始服役。

歐洲（北約）在可變後掠翼的應用代表是由英德意三國（聯合成立了帕那維亞飛機公司）聯合研製的龍捲風戰機。可變後掠翼技術的應用在冷戰末期達到最高水平，代表作是美國的 B-1「槍騎兵」（Lancer）和前蘇聯的圖 - 160。

 
自 70 年代後再沒有新設計的戰機使用可變後掠翼，這有多方原因：

* 第四代戰機追求機動性，對速度的要求下降，到了 90 年代的 F/A-18E/F，即極速只得 1.6 馬赫也會接受，速度低了，降低阻力也就不再那樣重要。
* 隨計算機技術進步，可以設計出以更低的代價實現相差不大的性能的傳統機翼
* 應對低速時的可控性、升力需要可以用幾何可變機翼，例如翼面擾流板、前緣機動襟翼等，不一定要用可變後掠翼。
* 降低阻力並不再像以往那麼重要，因為，引擎技術改進，推力比以往增加了不少，最佳例子就是 F-22 的 F119-PW-100，那使氣動阻力不比以住有大改善也能做到超音速巡航。
* 隱身性能成了近乎必要，可變後掠翼會增加設計難度或降低隱身效果。
* 可變後掠翼架構複雜（以 F-14 的翼盒為例），後勤維修較難，成本和重量皆比傳統機翼大。

實際上並不是有其他設計可以完全取代可變後掠翼做到的性能，例如取代有可變後掠翼的 F-14 的 F/A-18 在酬載量、航程上都較 F-14 大幅減少，其中一個主因正是機翼設計上的分別。可變後掠翼做成的的重量增加也不是嚴重得不可接受，例如以 60 年代尾以複合材料等技術製造的 F-14，空重跟以 90 年代技術製造的 F-22 幾乎相同，而且有低後多的翼負荷（F-14 是 234.4kg/m²，F-22 是 377 kg/m²）。而可變後掠翼也可能可以有一定隱身能力。使用與否在乎設計者所追求的是那一方的性能，以及兼顧可維修性及成本。

## 例子

* B-1 槍騎兵戰略轟炸機
* F-14 雄貓式戰鬥機
* F-111 戰鬥轟炸機
* 米格 - 23 戰鬥機
* 米格 - 27 攻擊機
* 蘇 - 17 攻擊機
* 蘇 - 24 戰鬥轟炸機
* 龍捲風戰鬥轟炸機
* 圖 - 22M 轟炸機
* 圖 - 160 轟炸機
可變成本法

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

## 參考文獻
可變汽門正時

**可變氣門正時**（VVT, Variable Valve Timing），是一種用於汽車活塞式發動機中的技術。VVT 技術可以調節發動機進氣排氣系統的重疊時間與正時（其中一部分或者全部），降低油耗並提升效率。

## 工作原理

活塞式發動機通常通過提升節流閥來進氣與排氣，提升閥直接或間接地被凸輪軸上的凸輪驅動。在每個進氣排氣循環中，凸輪驅動氣門打開（_升程_）一定時間（_重疊時間_）。

在高轉速下，發動機需要更多的空氣，但是進氣氣門可能在所需空氣完全進入前關閉，造成性能降低，因此氣門打開和關閉的正時十分重要。持續打開的氣門會導致燃料未經燃燒便排出發動機，會降低發動機的性能並增加排氣污染，所以比賽用發動機怠速不能過低。另一方面，如果凸輪持續令氣門打開較長時間，像賽車的情況，在較低轉速下便會出現問題。

曲軸通過正時皮帶、齒輪或鏈條來驅動凸輪軸，凸輪軸上凸輪的輪廓與位置通常是為特定的發動機轉速而優化，通常這會降低發動機在低轉速情況下的扭矩和高轉速情況下的功率。VVT 技術能夠使其根據發動機工況進行改變，提高了發動機的效率與動力。

## 歷史

環境與燃油經濟性法規的壓力使車商選用 VVT 技術作為解決方案。50 年代晚期義大利 FIAT 汽車最早獲得汽車使用的可變汽門正時與揚程專利，並在 1980 年推出最早使用可變汽門技術引擎的汽車 Alfa Romeo Spider 2.0L（US Patent 4,231,330）。1975 年通用汽車為了減少汽車廢氣污染發明可變汽門揚程專利技術，但並未實用化。機械式的 VVT 系統可以提前或延後進氣排氣氣門的正時。其他的像本田的 VTEC 技術可在不同發動機轉速下在兩組凸輪中切換。1991 年美國 Clemson 大學發明更先進的進排氣門連續可變汽門正時並獲得專利（American Society of Mechanical Engineers, Clemson camshaft boosts auto fuel economy, Mechanical Engineering-CIME（1991-12-01）），在此之後 BMW 汽車公司與該校機械系成為密切合作的夥伴。1995 年英國 Rover 汽車集團領先合作夥伴 Honda 汽車，發明另一種連續可變汽門正時技術 VVC。

## 各個車廠的名稱

* VTEC、i-VTEC、VTEC-E - 本田技研工業的名稱。
* MIVEC - 三菱汽車的統稱。
* AVCS - 富士重工業的名稱，為 **A**ctive **V**alve **C**ontrol **S**ystem 的簡稱。
* NVCS、CVTC、eVTC、NEO VVL、VVEL、VEL- 日産汽車的名稱。
* VVT-i、VVTL-i、VVT-iE、VALVEMATIC - 豐田汽車的名稱。
* VVT、VC - 鈴木公司的名稱。前者用在汽車上、後者用於摩托車。
* DVVT - 大發汽車的名稱。
* S-VT - 馬自達的名稱。
* VarioCam、VarioCam Plus - 保時捷的名稱。
* VANOS、Valvetronic - BMW 的名稱。
* CVVT、D-CVVT - 吉利汽車及現代汽車的名稱。
* TiVCT - 福特汽車的名稱

 

## 相關條目

* 可變氣門揚程

## 參見

* 凸輪軸
* 頂置凸輪軸
* Repair kit for Vanos unit www.Vanos-BMW.com （頁面存檔備份，存於網際網路檔案館）
可變資本

**不變資本**（德語：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_ （頁面存檔備份，存於網際網路檔案館）
可變軌距列車

**軌距可變列車**（英語：**F**ree **G**auge **T**rain，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 不同軌距的變軌需求。

## 伸延閱讀

* 軌距
* 標準軌距
* 軌距列表

## 註釋

## 參考文獻
可變電阻

**電位器**（英文：Potentiometer，通俗上也簡稱 Pot，少數直譯成電位計），中文通常又稱為**可變電阻器**（VR，Variable Resistor）或簡稱**可變電阻**，是種多數具有三個端子，其中有兩個固定接點與一個滑動接點，可經由滑動而改變滑動端與兩個固定端間電阻值的電子零件，屬於被動元件，使用時可形成不同的分壓比率，改變滑動點的電位，因而得名。

至於只有兩個端子的可變電阻器（rheostat）（或已將滑動端與其中一個固定端保持連接，對外實際只有兩個有效端子的）並不稱為電位器，只能稱為可變電阻（variable resistor）。

常見的碳膜或陶瓷金屬膜的電位器可以透過銅箔或銅片與印刷膜接觸，經旋轉或滑動產生輸出、輸入端的不同電阻。至於需要較大功率的電位器則是使用線繞式。

電位器有時會合併附帶其他功能，例如某些音量控制用的電位器附開關，可兼作音量與電源開關的功能，此時通常是在音量最小的一端附帶關閉電源。

## 用途

電位器最常見的用途是各式音響聲源設備裡的音量控制，或電子設備裡的各式準位與功率等的控制，也可以作為位置或角度的傳感器，或者是作為鎢絲燈泡調光器或電熱絲功率調節器的控制元件等。 但某些用途，如前述例子中的後者，通常將電位器接成兩端子可變電阻（rheostat）形式來使用。

## 分類

### 電阻材質分類

* 碳膜式（Carbon Film）：使用碳膜作為電阻膜。
* 瓷金膜（Cermet Film）：使用以陶瓷（**cer**amic）與金屬（**met**al）材質混合製成的特殊瓷金（cermet）膜作為電阻膜。
* 線繞式（Wirewound）：使用金屬線繞製作為電阻。比起碳膜或瓷金膜而言，可承受較大功率。

### 構造分類

* 旋轉式：常見的形式。
  * 單圈式：常見的形式，一般旋轉角度約 270～300 度。
  * 多圈式：用於須精密調整的場合。
* 直線滑動式：通常用於混音器，便於立即看出音量 / 均衡的位置與做淡入淡出控制，俗稱「推子」。部分高級的混音器更帶有動作機構，可依據信號而給出位置反饋。

### 數量分類

* 單聯式：一轉軸只控制單一電位計。
* 雙聯式：兩個電位器使用同一轉軸控制，主要用於雙聲道中，可同時控制兩個聲道。

### 電阻值變化尺度分類

* 線性尺度式：電阻值的變化與旋轉角度或移動距離呈**線性**關係，此種電位器稱為 **B 型**電位器。
* 對數尺度式：電阻值的變化與旋轉角度或移動距離呈**對數**關係，此種電位器主要用途是音量控制，其中常用的是 **A 型**電位器，適合順時針方向為大音量、逆時針方向為小音量的場合；此外還有對數尺度的變化方向與 A 型相反的 **C 型**電位器。

### 其他特別型式

* 附開關電位器：通常用於將音量開關與電源開關合一，即逆時針旋轉至底使開關切斷而關閉電源。

### 微調用電位器或可變電阻

作為微調用的電位器或可變電阻，通常位於設備內部、印刷電路板上，用於不需經常調整的地方，這種小型電位器或可變電阻，中文一般稱為半可變電阻，英文一般稱為 trimpot 或 trimmer（微調器。如不特別說明，trimmer 雖以可變電阻為多，但也可能是可變電容）。

## 數位電位器

數位電位器（Digital Potentiometer，簡稱 Digital Pot）是使用電子電路製成，IC 型態的電位器，以數位訊號控制內部電子開關，以改變所接的電阻數值。

IC 型數位電位器各接腳的訊號電壓，不能超過該電位器 IC 的電源電壓，設計電路時須留意此點。

## 參考資料與外部連結

* (英文，.PDF 版本) Carl David Todd 編，"The Potentiometer Handbook", McGraw Hill, New York 1975 ISBN 0-07-006690-6 （頁面存檔備份，存於網際網路檔案館）
可變電阻式記憶體

**可變電阻式記憶體**（英語：**Resistive random-access memory**，縮寫為 **RRAM** 或 **ReRAM**），是一種新型的非揮發性記憶體，和另一種新型的磁阻式隨機存取記憶體一起屬於新世代的記憶體。類似的技術還有 CBRAM 與相變化記憶體，目前許多公司都正在發展這種技術。

對於即將迎來的物聯網時代需要即時資料儲存需求、低能耗、資料耐久度高、每次寫入或儲存的資料單位小等層面，綜觀上面的需要，NAND 快閃記憶體並不是一個合適的選項，不過由於 ReRAM 的操作電壓較低，消耗的電力亦較少，且 ReRAM 的寫入資訊速度比同樣是非揮發性記憶體的 NAND 快閃記憶體快 1 萬倍，因此在這個即將面臨而來的挑戰，可變電阻式記憶體絕對是一個不可或缺的存在。

最基本的可變電阻式記憶體是由上下兩層金屬電極以及中間一層過渡金屬氧化物 (Transition metal oxide, TMO) 所組成，主要的操作原理是利用過渡金屬氧化物的阻值，會隨著所加偏壓改變而產生不同的阻值，而如何辦別內部儲存的值，則由內部的阻值高低來做分別。通常會先對剛生產好的可變電阻式記憶體進行初始化，此過程被稱為 Forming，必須對元件施加偏壓，當電場超過臨界值時介電層會發生崩潰現象，使介電層從高阻值轉為低阻值。而從 Forming 之後發生改變阻值的現象，若是從高阻態到低阻態的過程稱之為 SET，相反地，從低阻態到高阻態的過程稱之為 RESET。

## 技術簡介

## 歷史
可计算函数

在可計算性理論中，**可計算函數**（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_ : **N**k→ **N**, _f_(_n_1,..._n_k) := _n_。
* 加法 _f_ : **N**2→ **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）。

### 不可解度

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

## 更強的模型

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

## 定理

* 波斯特定理
* 克萊尼–波斯特定理
* 弗里德堡–穆奇尼克定理
* 波斯納–羅賓遜定理
* 跳躍逆轉定理

## 外部連結

* 可計算性理論
可计算性逻辑

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

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

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

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

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

## 參見

* 可計算性的邏輯
* 博弈語義
* 交互計算
* 直覺主義
* BHK 釋義
* 直覺類型論
* 經典邏輯
* 中間邏輯
* 線性邏輯
* 構造性證明
* Curry-Howard 對應
* 博弈語義

## 參考文獻

## 外部連結

* Computability Logic Homepage
* Giorgi Japaridze\*Game Semantics or Linear Logic?
* 可計算性邏輯課程（頁面存檔備份，存於網際網路檔案館）
可计算文档格式

**可計算文檔格式**（**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
可证伪

**可否證性**（英語：Falsifiability、Refutability），又稱**可反證性**、**可證僞性**，在科學和科學哲學中用來表示由經驗得來的表述所具有的一種屬性，並使用嚴格的否證法（相對於實證法）來判別一個理論是否科學，即「這些結論必須容許邏輯上的反例的存在」。

作為可反證性對比的則包括形式上的或數學的表述，如恆真式或同義反覆（由於定義的原因它們總是真的），數學公理和定理 —— 這些表述不容許邏輯上反例的存在。

可證偽性是科學哲學家卡爾・波普爾在他 1934 年的著作科學發現的邏輯中引入的科學理論和假設的評估標準。他提出它作為解決歸納和劃界問題的基石。如果一個理論或假設可以被現有技術的實證檢驗在邏輯上抵觸，那麼它就是**可證偽**的（或**可反駁**的）。可證偽性的目的，甚至是一個邏輯標準，是使理論具有預測性和可測試性，從而在實踐中有用。

波普爾反對可驗證性概念。驗證「所有的天鵝都是白色的」這一說法在邏輯上需要觀察所有的天鵝，這在技術上是不可能的。相比之下，對單個黑天鵝的觀察在技術上是合理的，並且足以在邏輯上證偽這一主張。另一方面，皮耶・杜漢提出了杜漢 - 奎因論題。

在這種情況下，波普爾堅持認為在邏輯方面存在明顯的不對稱性，可證偽性不存在杜漢所提出的問題，因為它是一個邏輯標準，與拉卡托什・伊姆雷的證偽主義「被證明錯誤的能力」相關的概念不同。實驗方面和相關方法確實存在杜漢所提出的問題和其他問題，例如歸納問題（英語：Problem of induction），但是，對於波普爾來說，統計檢驗和其他數學工具，當一個理論是可證偽的時，這是可能的，在批判性討論中仍然對科學有用。

作為區分科學與非科學和偽科學的關鍵概念，可證偽性在許多科學爭議和應用中佔有突出地位，甚至被用作法律先例。

對理論的佐證雖然認可了合理性，但與邏輯實證主義經驗能證實理論的確證不同，佐證則是暫時的。一些哲學家和科學家（如卡爾・波普爾）宣稱：一切從經驗得來的假說、命題和理論必須邏輯上容許反例的存在，才是科學的。波普爾提出否證論（相對於實證論）作為科學真理的檢驗原則，且通過否證論說明科學理論只是假說，有可能被推翻。一個主張「可證偽」並不意味著這個主張是「假」的；不具可證偽性的科學理論則是屬於偽科學與失敗假設的範本。而非科學的人類活動如宗教、藝術、哲學等雖然是不可證偽的，但也不能說成是「錯誤」的，例如人們不會說達文西的最後的晚餐是錯誤的。

## 定義

如果一個主張是可否證的，則至少在理論上存在一種觀測的方法（即使實際上沒有進行這項觀測也無妨），來表明這個主張不符合重言式的標準（即這個主張不總是真的）。對某種描述進行觀測的邏輯前提是它描述的事物是存在的。科學活動中要不斷思考、批判、否證，而且結果不能保證永遠正確。

例如「所有的天鵝全都是白色的」這個主張可以被「存在黑色天鵝」的觀測否證，雖然這個觀測並不一定會發生。一個可否證的命題必須定義某些被禁止的情形。例如，在這個例子中，「所有的天鵝全都是白色的」這個主張禁止了「黑天鵝」的存在。由於理論上可能存在「觀測到黑色天鵝」這個反例，「所有的天鵝全都是白色的」這個主張是可否證的。
再比如假設現在有一個人宣稱「我說的話一直都是對的」，那麼我們考察他以前說過的話，如果有自相矛盾的地方，那麼這句話肯定是個假命題。然而，即使這個人過去一直貫徹一種想法，在他自己的言論中沒有自相矛盾之處，也不能作為足夠的證據證明這句話是個真命題。

## 科學理論的必要屬性

可否證性是一個科學理論的必要屬性。可否證性是由經驗得來的主張的必要屬性，卻不是充分屬性。一個主張需要更多的屬性及證據使其成為經驗上有意義的。

## 參見

* 卡爾・波普爾
* 本質主義
* 特例假設
* 黑天鵝效應
* 奧卡姆剃刀
* 科學哲學
* 科學方法
* 研究綱領
* 典範轉移

## 參考文獻

## 外部連結

* Problems with Falsificationism （頁面存檔備份，存於網際網路檔案館） explained at The Galilean Library
* FALSIFIABILITY OR REFUTABILITY （頁面存檔備份，存於網際網路檔案館） "FALSIFIABILITY OR REFUTABILITY" at Sociology Index
可识别语言

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

## 定義

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

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

## 例子

如果 _M_ 是在某個字母表 $\Sigma $ 上自由么半群 $\Sigma ^{*}$ ，則家族 $REC\left(\Sigma ^{*}\right)$ 是正則語言 $REG\left(\Sigma ^{*}\right)$ 的家族。
可读性

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

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

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

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

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

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

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

## 相關條目

* 可讀性測試

## 參考文獻
可读性测试

**可讀性測試**，或**可讀性公式**、**可讀性計量**，即運用公式對文本的可讀性加以評估，其間一般需要計算音節、字詞和句子的數量。可讀性測試經常用於替代對待測文本實施自然人讀者的實際統計調查（即「可讀性調查」）。文字處理程序往往自帶可讀性測試的功能，在文檔的編輯過程當中就可以運行。

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

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

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

## 各種可讀性測試

* Accelerated Reader 軟體中的 ATOS 公式
* 自動化可讀性指數（ARI）
* 柯爾曼 — 劉指數
* 戴爾 — 喬爾可讀性公式
* 佛萊士 — 金凱德可讀性測試：
  * 佛萊士易讀度
  * 佛萊士 — 金凱德年級水平
* 福賴可讀性公式
* 甘寧灰霧指數
* 萊克塞爾閱讀框架
* 林舍爾寫作公式
* SMOG 測量
* 斯巴夏可讀性公式
可读框

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

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

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

## 開放閱讀框

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

## 閱讀框架重疊

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

## 參考

## 參見

* 遺傳密碼
* 開放閱讀框架
可賀敦

**可敦**（蒙古語：ᠬᠠᠲᠤᠨ，鮑培轉寫：_qatun_，西里爾字母：хатан），是鮮卑、突厥、契丹、蒙古女性的頭銜，初為**可孫**，最早見於《南齊書》，指北魏皇后，一般認為源自 1 世紀至 3 世紀的鮮卑部落，柔然亦有此稱呼。與可汗一樣用在統治者身上。可敦常作為君主配偶的稱號。蒙古時代又譯作**哈屯**。

在鄂圖曼帝國，以可敦來稱呼蘇丹的母親、女兒、及后妃，這一用法在 16 世紀之後被「蘇丹娜」代替。但之後可敦仍被用作對女性的敬稱。

現在孟加拉國女性穆斯林也有使用此頭銜。

## 參見

* 可汗
* 福晉

## 注釋
可賓氏骨螺

**可賓氏骨螺**（學名：_**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》