zetavg/zh-tw-wikipedia huggingface dataset:
可足渾皇后

**可足渾皇后**（?—386 年前），十六國時期，前燕景昭帝慕容儁的皇后。生子慕容暐、慕容沖。

## 皇后

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

## 皇太后

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

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

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

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

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

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

## 身後

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

## 參考文獻

* 《資治通鑑・卷 99、卷 100、卷 101、卷 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、數位簽章等等。

## 參見

* 數位簽章
* 數位憑證認證中心
可載入核心模組

**可載入核心模組**（英語：Loadable kernel module，縮寫為 LKM）, 又譯為**載入式核心模組**、**可裝載模組**、**可載入核心模組**，或直接稱為**核心模組**，是一種目的檔（object file），在其中包含了能在作業系統核心空間運行的程式碼。它們運行在核心基底（base kernel），通常是用來支援新的硬體，新的檔案系統，或是新增的系統呼叫（system calls）。

Microsoft Windows 及類 UNIX 系統都支援這個功能，但在不同的作業系統中，它有不同的名稱，如 FreeBSD 稱為**核心載入模組**（kernel loadable module，縮寫為 kld），Mac OS X 稱為**核心擴充**（kernel extension，縮寫為 kext）。也有人稱它為**核心可載入模組**（Kernel Loadable Modules，縮寫為 KLM） ，或**核心模組**（Kernel Modules，KMOD）。

## 技術特點

可載入核心模組可以讓作業系統在需要新功能時動態載入隨機存取記憶體（RAM），減少開發及使用上的困難。若沒有此模組，作業系統需要在啟動時將所有可能需要的功能一次加入核心之中，但其中許多功能從來不會被使用；這不但浪費 RAM 空間，而且每次在增加新功能時，使用者需要重新編譯整個核心，之後重新啟動。

然而與微核心下的系統服務不同，核心模組並不是獨立行程，也沒有獨立的位址空間，而是與核心的其他部分共享核心位址空間。這對核心模組的品質提出了很高的要求，因為如果它出現了 bug，會有損害整個系統核心的危險。

## 參見

* 驅動程式
* DKMS
可轉債

**可轉換債券**（Convertible Bond，CB），簡稱**可轉債**，又作**可換股債券**，是一種混合債券及金融衍生品可按一定規則轉換為債券發行公司的股票；其轉換價格、轉換時間段會在發行前確定。由於附加了認股權證（期權）等多種權益，可轉換債券通常票面利率較一般企業債券低。從發行者的角度看，用可轉換債券融資的主要優勢在於可以減少利息費用，增加股權融資，降低負債率，但如果債券被轉換，公司原股東的股權將被稀釋。

2020 年，中國的可轉債市場火爆主要是因為可轉債規模小、T+0 交易，容易被市場投機資金盯上，短期出現炒作現象。10 月 23 日，證監會發布《可轉換公司債券管理辦法 (徵求意見稿)》表示，可轉債是企業再融資的重要渠道之一，針對近期出現的個別可轉債被過分炒作、大漲大跌現象，著重解決投資者適當性管理不適應、交易制度缺乏制衡等問題。同時還強調防範交易風險，加強投資者保護。

## 相關概念

* 轉股價格：指在轉股期內，多少面值的可轉債可以轉換成一股正股股票，例如以 15.78 元面值的可轉債兌換 1 股目標股票。如觸發轉股價下修條款，發行公司有權經股東大會通過後，下調轉股價格。
* 轉股價值：也叫平價，是可轉債按轉股價格轉換為股票正股後的市價。可轉債面值 / 轉股價 x 正股現價 = 轉股價值。
* 轉股溢價率：也叫平價溢價率，是可轉債市價高於轉股價值（平價）的幅度。轉債價格 / 轉股價值 - 1 = 轉股溢價率，假設某可轉換債券轉股溢價率為 - 5%，即在不考慮交易成本的情況下，按市價買入可轉債，並兌換成相應正股，按正股現價格計算，投資者可盈利 5%。
* 純債價值：也叫債底，底價，指可轉債內純債權益部分的價值，僅計算投資者購買可轉債至到期，所有債券本金及收益貼現後得出的貨幣價格。可轉債券純債價值 =（轉債票息 + 到期贖回價格 + 補償利率）/ 貼現率。
* 純債溢價率：是可轉債市價高於純債價值的幅度。純債溢價率 = 可轉債市價 / 純債價值 - 1，純債溢價率越低，越說明此可轉債的性質越接近於普通企業債券。
* 到期收益率：Yield To Maturity，簡稱 YTM，指投資者以當前的市場成交價購買債券，並持有到期時的全部收益貼現價值計算的平均年化收益率。
* 隱含波動率（Implied Volatility）：一個期權的隱含波動性是用某個期權定價模型，從該期權的市場價格（權利金）中計算出的波動性。
* 轉股價格下調：當正股收盤價多個交易日低於當期轉股價值的某個百分比時，例如，當公司股票在任意連續三十個交易日中有十五個交易日的收盤價低於當期轉股價格的 80% 時，公司有權提出轉股價下調方案，並在股東大會通過後實行。當公司發生送股，配股，派發現金紅利等操作時，公司也會相應調整轉股價格。
* 贖回：當可轉債價格觸發提前贖回條款時，公司有權利按債券面值加上應計利息的價格強制贖回可轉債，觸發條件一般為正股收盤價多個交易日高於當期轉股價值的某個百分比，例如公司股票在任意連續 30 個交易日中至少 15 個交易日的收盤價格不低於當期轉股價格的 130%（含 130%）時，這種情況叫「強制贖回」。當因可轉債未轉股餘額過少，觸發相關贖回機制時也會產生贖回，稱為「餘額贖回」。最後一種情況是可轉債到期後公司按約定贖回債券，叫「到期贖回」。
* 回售：在可轉債回售期限（一般在可轉債續存的最後兩個計息年度）內，正股收盤價連續多個交易日低於當期轉股價格的某個百分比時，例如公司股票在任何連續三十個交易日的收盤價低於當期轉股價格的 70% 時，公司有義務以事先約定的本息價格購買投資者手中全部或部分可轉債，這種情況簡稱「強制回售」。回售觸發條款會比轉股價下調觸發條款更難觸發。

## 價值評估

從定價的角度看，可轉換債券由債券和認股權證兩部分資產組成。對可轉換債券定價需要假定

* 所對應的股票的價格波動程度，從而對認股權證定價
* 固定收益部分的債券息差（credit spread），它由該公司的信用程度和該債券的優先償付等級（公司無法償付所有債務時對各類債務的償還次序）決定。

如果已知可轉換債券的市場價值，可以通過假定的債券息差來推算隱含的股價波動程度，反之亦然。

這種波動程度 / 信用的劃分是標準的可轉換債券的定價方法。除了上文提及的可交換債券，無法將股價波動程度和信用完全分開。高波動程度（有利於投資人）往往伴隨著惡化的信用（不利）。優秀的可轉換債券投資者是那些能在兩者間取得平衡的人。

一種簡單的可轉換債券的定價方法，是把未來的債券利息和本金的現值和認股權證的現值相加。但這種方法忽略了一些事實，比如，利率和債券息差都是隨機的，可轉換債券往往附帶可贖回或可回售條款，以及轉換比率的定期重置等等。最普遍的可轉換債券定價方法是有限差分模型，例如二叉或三叉樹。

## 可轉換證券分類

* 可轉換公司債券：按一定規則，持有者有權選擇將債券轉換為債券發行公司股票的一種企業債券。
* 可分離債券：又稱附認股權公司債或附認股權證公司債，英文 Bond with attached warrant 或 equity warrant bonds（簡稱 WBs），認股權證和債權相互獨立，可分別交易的可轉換公司債券。
* 可交換債券（Exchangeable Bond，簡稱 EB）：按一定規則，持有者有權將債券轉換為債券發行公司之外的其他指定上市公司股票的企業債券。
* 可轉換優先股（convertible preferred stock）：按一定規則，持有者有權將優先股轉換為普通股的優先股。
* 強制轉換證券（Mandatory Convertibles）：一種短期證券，通常收益率很高，多數為必須轉換為股票的企業債券。
* 應急可轉債

## 參見

* 風險管理
* 可贖回債券
* 可賣回債券

## 參考
可轉換債券

**可轉換債券**（Convertible Bond，CB），簡稱**可轉債**，又作**可換股債券**，是一種混合債券及金融衍生品可按一定規則轉換為債券發行公司的股票；其轉換價格、轉換時間段會在發行前確定。由於附加了認股權證（期權）等多種權益，可轉換債券通常票面利率較一般企業債券低。從發行者的角度看，用可轉換債券融資的主要優勢在於可以減少利息費用，增加股權融資，降低負債率，但如果債券被轉換，公司原股東的股權將被稀釋。

2020 年，中國的可轉債市場火爆主要是因為可轉債規模小、T+0 交易，容易被市場投機資金盯上，短期出現炒作現象。10 月 23 日，證監會發布《可轉換公司債券管理辦法 (徵求意見稿)》表示，可轉債是企業再融資的重要渠道之一，針對近期出現的個別可轉債被過分炒作、大漲大跌現象，著重解決投資者適當性管理不適應、交易制度缺乏制衡等問題。同時還強調防範交易風險，加強投資者保護。

## 相關概念

* 轉股價格：指在轉股期內，多少面值的可轉債可以轉換成一股正股股票，例如以 15.78 元面值的可轉債兌換 1 股目標股票。如觸發轉股價下修條款，發行公司有權經股東大會通過後，下調轉股價格。
* 轉股價值：也叫平價，是可轉債按轉股價格轉換為股票正股後的市價。可轉債面值 / 轉股價 x 正股現價 = 轉股價值。
* 轉股溢價率：也叫平價溢價率，是可轉債市價高於轉股價值（平價）的幅度。轉債價格 / 轉股價值 - 1 = 轉股溢價率，假設某可轉換債券轉股溢價率為 - 5%，即在不考慮交易成本的情況下，按市價買入可轉債，並兌換成相應正股，按正股現價格計算，投資者可盈利 5%。
* 純債價值：也叫債底，底價，指可轉債內純債權益部分的價值，僅計算投資者購買可轉債至到期，所有債券本金及收益貼現後得出的貨幣價格。可轉債券純債價值 =（轉債票息 + 到期贖回價格 + 補償利率）/ 貼現率。
* 純債溢價率：是可轉債市價高於純債價值的幅度。純債溢價率 = 可轉債市價 / 純債價值 - 1，純債溢價率越低，越說明此可轉債的性質越接近於普通企業債券。
* 到期收益率：Yield To Maturity，簡稱 YTM，指投資者以當前的市場成交價購買債券，並持有到期時的全部收益貼現價值計算的平均年化收益率。
* 隱含波動率（Implied Volatility）：一個期權的隱含波動性是用某個期權定價模型，從該期權的市場價格（權利金）中計算出的波動性。
* 轉股價格下調：當正股收盤價多個交易日低於當期轉股價值的某個百分比時，例如，當公司股票在任意連續三十個交易日中有十五個交易日的收盤價低於當期轉股價格的 80% 時，公司有權提出轉股價下調方案，並在股東大會通過後實行。當公司發生送股，配股，派發現金紅利等操作時，公司也會相應調整轉股價格。
* 贖回：當可轉債價格觸發提前贖回條款時，公司有權利按債券面值加上應計利息的價格強制贖回可轉債，觸發條件一般為正股收盤價多個交易日高於當期轉股價值的某個百分比，例如公司股票在任意連續 30 個交易日中至少 15 個交易日的收盤價格不低於當期轉股價格的 130%（含 130%）時，這種情況叫「強制贖回」。當因可轉債未轉股餘額過少，觸發相關贖回機制時也會產生贖回，稱為「餘額贖回」。最後一種情況是可轉債到期後公司按約定贖回債券，叫「到期贖回」。
* 回售：在可轉債回售期限（一般在可轉債續存的最後兩個計息年度）內，正股收盤價連續多個交易日低於當期轉股價格的某個百分比時，例如公司股票在任何連續三十個交易日的收盤價低於當期轉股價格的 70% 時，公司有義務以事先約定的本息價格購買投資者手中全部或部分可轉債，這種情況簡稱「強制回售」。回售觸發條款會比轉股價下調觸發條款更難觸發。

## 價值評估

從定價的角度看，可轉換債券由債券和認股權證兩部分資產組成。對可轉換債券定價需要假定

* 所對應的股票的價格波動程度，從而對認股權證定價
* 固定收益部分的債券息差（credit spread），它由該公司的信用程度和該債券的優先償付等級（公司無法償付所有債務時對各類債務的償還次序）決定。

如果已知可轉換債券的市場價值，可以通過假定的債券息差來推算隱含的股價波動程度，反之亦然。

這種波動程度 / 信用的劃分是標準的可轉換債券的定價方法。除了上文提及的可交換債券，無法將股價波動程度和信用完全分開。高波動程度（有利於投資人）往往伴隨著惡化的信用（不利）。優秀的可轉換債券投資者是那些能在兩者間取得平衡的人。

一種簡單的可轉換債券的定價方法，是把未來的債券利息和本金的現值和認股權證的現值相加。但這種方法忽略了一些事實，比如，利率和債券息差都是隨機的，可轉換債券往往附帶可贖回或可回售條款，以及轉換比率的定期重置等等。最普遍的可轉換債券定價方法是有限差分模型，例如二叉或三叉樹。

## 可轉換證券分類

* 可轉換公司債券：按一定規則，持有者有權選擇將債券轉換為債券發行公司股票的一種企業債券。
* 可分離債券：又稱附認股權公司債或附認股權證公司債，英文 Bond with attached warrant 或 equity warrant bonds（簡稱 WBs），認股權證和債權相互獨立，可分別交易的可轉換公司債券。
* 可交換債券（Exchangeable Bond，簡稱 EB）：按一定規則，持有者有權將債券轉換為債券發行公司之外的其他指定上市公司股票的企業債券。
* 可轉換優先股（convertible preferred stock）：按一定規則，持有者有權將優先股轉換為普通股的優先股。
* 強制轉換證券（Mandatory Convertibles）：一種短期證券，通常收益率很高，多數為必須轉換為股票的企業債券。
* 應急可轉債

## 參見

* 風險管理
* 可贖回債券
* 可賣回債券

## 參考
可轉換公司債

**可轉換債券**（Convertible Bond，CB），簡稱**可轉債**，又作**可換股債券**，是一種混合債券及金融衍生品可按一定規則轉換為債券發行公司的股票；其轉換價格、轉換時間段會在發行前確定。由於附加了認股權證（期權）等多種權益，可轉換債券通常票面利率較一般企業債券低。從發行者的角度看，用可轉換債券融資的主要優勢在於可以減少利息費用，增加股權融資，降低負債率，但如果債券被轉換，公司原股東的股權將被稀釋。

2020 年，中國的可轉債市場火爆主要是因為可轉債規模小、T+0 交易，容易被市場投機資金盯上，短期出現炒作現象。10 月 23 日，證監會發布《可轉換公司債券管理辦法 (徵求意見稿)》表示，可轉債是企業再融資的重要渠道之一，針對近期出現的個別可轉債被過分炒作、大漲大跌現象，著重解決投資者適當性管理不適應、交易制度缺乏制衡等問題。同時還強調防範交易風險，加強投資者保護。

## 相關概念

* 轉股價格：指在轉股期內，多少面值的可轉債可以轉換成一股正股股票，例如以 15.78 元面值的可轉債兌換 1 股目標股票。如觸發轉股價下修條款，發行公司有權經股東大會通過後，下調轉股價格。
* 轉股價值：也叫平價，是可轉債按轉股價格轉換為股票正股後的市價。可轉債面值 / 轉股價 x 正股現價 = 轉股價值。
* 轉股溢價率：也叫平價溢價率，是可轉債市價高於轉股價值（平價）的幅度。轉債價格 / 轉股價值 - 1 = 轉股溢價率，假設某可轉換債券轉股溢價率為 - 5%，即在不考慮交易成本的情況下，按市價買入可轉債，並兌換成相應正股，按正股現價格計算，投資者可盈利 5%。
* 純債價值：也叫債底，底價，指可轉債內純債權益部分的價值，僅計算投資者購買可轉債至到期，所有債券本金及收益貼現後得出的貨幣價格。可轉債券純債價值 =（轉債票息 + 到期贖回價格 + 補償利率）/ 貼現率。
* 純債溢價率：是可轉債市價高於純債價值的幅度。純債溢價率 = 可轉債市價 / 純債價值 - 1，純債溢價率越低，越說明此可轉債的性質越接近於普通企業債券。
* 到期收益率：Yield To Maturity，簡稱 YTM，指投資者以當前的市場成交價購買債券，並持有到期時的全部收益貼現價值計算的平均年化收益率。
* 隱含波動率（Implied Volatility）：一個期權的隱含波動性是用某個期權定價模型，從該期權的市場價格（權利金）中計算出的波動性。
* 轉股價格下調：當正股收盤價多個交易日低於當期轉股價值的某個百分比時，例如，當公司股票在任意連續三十個交易日中有十五個交易日的收盤價低於當期轉股價格的 80% 時，公司有權提出轉股價下調方案，並在股東大會通過後實行。當公司發生送股，配股，派發現金紅利等操作時，公司也會相應調整轉股價格。
* 贖回：當可轉債價格觸發提前贖回條款時，公司有權利按債券面值加上應計利息的價格強制贖回可轉債，觸發條件一般為正股收盤價多個交易日高於當期轉股價值的某個百分比，例如公司股票在任意連續 30 個交易日中至少 15 個交易日的收盤價格不低於當期轉股價格的 130%（含 130%）時，這種情況叫「強制贖回」。當因可轉債未轉股餘額過少，觸發相關贖回機制時也會產生贖回，稱為「餘額贖回」。最後一種情況是可轉債到期後公司按約定贖回債券，叫「到期贖回」。
* 回售：在可轉債回售期限（一般在可轉債續存的最後兩個計息年度）內，正股收盤價連續多個交易日低於當期轉股價格的某個百分比時，例如公司股票在任何連續三十個交易日的收盤價低於當期轉股價格的 70% 時，公司有義務以事先約定的本息價格購買投資者手中全部或部分可轉債，這種情況簡稱「強制回售」。回售觸發條款會比轉股價下調觸發條款更難觸發。

## 價值評估

從定價的角度看，可轉換債券由債券和認股權證兩部分資產組成。對可轉換債券定價需要假定

* 所對應的股票的價格波動程度，從而對認股權證定價
* 固定收益部分的債券息差（credit spread），它由該公司的信用程度和該債券的優先償付等級（公司無法償付所有債務時對各類債務的償還次序）決定。

如果已知可轉換債券的市場價值，可以通過假定的債券息差來推算隱含的股價波動程度，反之亦然。

這種波動程度 / 信用的劃分是標準的可轉換債券的定價方法。除了上文提及的可交換債券，無法將股價波動程度和信用完全分開。高波動程度（有利於投資人）往往伴隨著惡化的信用（不利）。優秀的可轉換債券投資者是那些能在兩者間取得平衡的人。

一種簡單的可轉換債券的定價方法，是把未來的債券利息和本金的現值和認股權證的現值相加。但這種方法忽略了一些事實，比如，利率和債券息差都是隨機的，可轉換債券往往附帶可贖回或可回售條款，以及轉換比率的定期重置等等。最普遍的可轉換債券定價方法是有限差分模型，例如二叉或三叉樹。

## 可轉換證券分類

* 可轉換公司債券：按一定規則，持有者有權選擇將債券轉換為債券發行公司股票的一種企業債券。
* 可分離債券：又稱附認股權公司債或附認股權證公司債，英文 Bond with attached warrant 或 equity warrant bonds（簡稱 WBs），認股權證和債權相互獨立，可分別交易的可轉換公司債券。
* 可交換債券（Exchangeable Bond，簡稱 EB）：按一定規則，持有者有權將債券轉換為債券發行公司之外的其他指定上市公司股票的企業債券。
* 可轉換優先股（convertible preferred stock）：按一定規則，持有者有權將優先股轉換為普通股的優先股。
* 強制轉換證券（Mandatory Convertibles）：一種短期證券，通常收益率很高，多數為必須轉換為股票的企業債券。
* 應急可轉債

## 參見

* 風險管理
* 可贖回債券
* 可賣回債券

## 參考
可轉換有價證券

**可轉換有價證劵**是一種特別的固定收益有價證劵（債劵或是特別股），他的特性是投資人可以將其轉換為特定股數的普通股。可轉換公司債和可轉換特別股提供債劵或特別股的固定收益，並提供普通股價格上漲的（資本利得）可能性。
可轉移單票制

**可轉移單票制**（英文：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 討論可辨識聯合的論文
可达鸭

**可達鴨**（日語：コダック，英語：Psyduck，香港舊譯**傻鴨**）是任天堂和 Game Freak 所特許經營的《精靈寶可夢》系列裡的虛構生物「寶可夢」之一，在《精靈寶可夢 紅》與《精靈寶可夢 綠》中首次被引入，並出現在該系列的後續作品及改編作品中。可達鴨的外型類似一隻鴨子，長期受到頭痛的困擾。當它具有足夠的經驗值時，會進化成哥達鴨。

## 設計

可達鴨是首次出現於《精靈寶可夢 紅》與《精靈寶可夢 綠》的第一世代寶可夢，由杉森建設計。

## 電影中的可達鴨

2019 年電影《POKÉMON 名偵探皮卡丘》，女主角的神奇寶貝。

## 反響

可達鴨受到 GameSpy 的讚揚，且被描述為「愚蠢至極」。《紐約時報》則將之與鴨嘴獸做對比，稱可達鴨為「看起來超蠢」。GameDaily 則認為可達鴨是很獨特的寶可夢，且即使是將範圍拉大到整個系列來看，這個評價也不為過。IGN 指出這個角色之所以受歡迎是因為它感到困惑的怪異外表，更表示可達鴨是他們辦公室成員最愛的角色之一。GamesRadar 也稱可達鴨是第一世代遊戲中最受歡迎的寶可夢之一 。《Coventry Evening Telegraph》將可達鴨與傑尼龜相提並論，並讚揚它們的設計。

部份臺灣的網友認為可達鴨的外型與台北市長柯文哲很相似，林昶佐、郝龍斌等政治人物也曾以此消遣柯文哲，但柯文哲本人表示自己不像可達鴨。

2022 年 5 月 21 日，中國大陸區肯德基餐廳推出兒童節限定套餐，購買 69-109 元不等的指定套餐可獲得隨機一款寶可夢聯名玩具，共有三款（2 款均為皮卡丘），另一款則是可達鴨。由於可達鴨玩具頗受顧客歡迎，因此導致多家肯德基餐廳出現斷貨的情況，在二手交易平台更出現了高價銷售的連結。

## 參考來源

## 外部連結

* 網際網路電影資料庫上可達鴨的資料
可迈丁

**華法林**（英語：Warfarin，又名**華法令**、**可邁丁**、**殺鼠靈**）是一種只可口服的抗凝劑，學名為**苄丙酮香豆素**，一般都以苄丙酮香豆素鈉來儲存及處方，較著名的品牌有 Coumadin®。華法林能夠干擾維他命 K 環氧還原酶的運作，降低患者血液凝結的風險。不過也由於它的強效，一般只會處方與血凝結風險比較高的患者使用，比如心律不整或者有人工心臟瓣膜的患者。

## 藥理作用機制

一般來說，維生素 K 會在肝臟裡轉化成為環氧維生素 K（vitamin K epoxide），之後再由維他命 K 環氧還原酶還原。華法林會抑制此酶，進而影響凝血因子的運作。

## 功用

### 醫療用途

華法林適用於預防或治療靜脈血栓及其延伸和肺栓塞，預防或治療心房顫動或與心臟瓣膜置換關聯的血栓併發症，降低死亡、再發性心肌梗死和血栓事件（例如中風或心肌梗死後的系統性栓塞）的風險。

### 防治蟲鼠

其毒性必須在第二次食用才易顯現出來，家鼠或幼鼠可能對它產生抗藥性，因此苯甲香豆醇已被其他藥效更強的殺蟲劑取代。

## 副作用

可口服的華法林俗稱「**薄血丸**」，但服用後必須注意飲食，有兩種維生素會影響藥物效能，如下：

* 維生素 E：會加強華法林之效用，易引起內出血。
* 維生素 K：會減弱華法林之功效。

## 立體化學

華法林含有一個立體中心，由兩種對映體組成。 這是一個外消旋體，即（「R」）和（「S」）形式的 1：1 混合物：

## 歷史

「華法林」（Warfarin）一詞的前綴 WARF - 來自威斯康星校友研究基金會（Wisconsin Alumni Research Foundation）的縮寫，後綴 - arin 為香豆素（coumarin）的後綴。

## 參考文獻

## 外部連結

* Warfarin pesticide profile from US Department of Agriculture
* Warfarin factsheet from the Royal Society of Chemistry
可运行

**執行檔**在電腦科學中指一種內容可被電腦解釋為程式的電腦檔案。通常執行檔內，含有以二進制編碼的微處理器指令，也因此執行檔有時稱為二進制檔。這些二進制微處理器指令的編碼，於各種微處理器有所不同，故此執行檔多數要分開不同的微處理版本。一個電腦檔案是否為執行檔，主要由作業系統的傳統決定。例如根據特定的命名方法（如副檔名為 exe）或檔案的元資料資訊（例如 UNIX 系統設定「可執行」權限）。

## 現代的執行檔

在現代的各種電腦架構，執行檔除了有程式的資訊之外，還有其他資訊，例如讓程式運行的作業系統設定值數據、除錯資料等等。

## 二進制檔

作此含義特指無法廣泛應用於其他計算機針對特定操作系統組態的軟體發行模式。

## 系統調用

除了微處理器指令，執行檔也具有系統調用資料，讓程式可使用作業系統提供的服務。因為系統調用資料，在各作業系統都有所不同，因此執行檔除多數要分開不同的微處理版本，也有分開不同作業系統版本。

## 常見執行檔的副檔名

* .exe（Dos、Windows 系列）
* .com（Dos、Windows 系列）
* .App（以檔案夾存在，Mac OS X）
* .run（Linux Ubuntu）

## 指令碼

不是所有的執行檔，都只存有電腦能閱讀的資料。以手稿語言撰寫的指令碼檔案，都可以是執行檔，而且內含的資料可被人類閱讀，多數以 ASCII 文字存檔。原因是：手稿語言無需經過編譯器預先編譯，就可經過直譯器（如 Perl、Python、Shell）執行。

## 參看

* 原始碼
* 編譯器
* 機器語言
可追溯性

**追溯性**可以指：

* 法律上，**追溯法令**以新制度或新法律改變新法設立前已發生或已裁決之案件的法律後果，與不溯及既往原則或祖父條款相反。
* 物流管理上，**可追溯性 (物流)** 是指沿著產銷供應鏈追蹤貨品位置、狀況等資料的能力。
* 軟體開發中，**需求可追溯性**是指可以從產品的需求往前連結到其原因，往後連結到對應的架構設計、程式碼及其測試用例的能力。
可追溯性_(物流)

在物流管理中，**可追溯性**(英語：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
可逆

**可逆**可以指：

* 逆元素
* 可逆矩陣
* 可逆函數：有反函數的函數
* 熱力學中的可逆過程
* 化學中的可逆反應
可逆元

單位又被稱為可逆元素。在數學裡，於一 (有單位的) 環 $R\,$ 內的**可逆元素**是指一 $R\,$ 的可逆元素，即一元素 $u\,$ 使得存在一於 $R\,$ 內的 $v\,$ 有下列性質： $uv=vu=1_{R}\,$ ，其中 $1_{R}\,$ 是乘法單位元素。

亦即， $u\,$ 是 $R\,$ 內乘法么半群的一_可逆_元素。

## 可逆元素群

　
: _主條目：單位群_

 $R\,$ 的可逆元素組成了一於乘法下的群 $U(R)\,$ ，稱做 $R\,$ 的**可逆元素群**(或單位群)。可逆元素群 _U_(_R_) 有時亦被標記成 _R_\* 或 _R_×。

在一可交換單作環 _R_ 內，可逆元素群 _U_(_R_) 以乘法作用於 _R_ 上頭。此一作用的軌道 (orbit) 被稱為_結合_集合；換句話說，存在一於 _R_ 上的等價關係～，且當 _r_~_s_ 時，表示存在一可逆元素 _u_ 使得 _r_=_us_。

_U_ 是一由環範疇至群範疇的函子：每一個環同態 _f_ : _R_ → _S_ 都可導出一群同態 _U_(_f_) : _U_(_R_) → _U_(_S_)，當 _f_ 會將可逆元素映射至可逆元素時。此一函數子有為整數群環結構的左伴隨。

一個環 _R_ 是一個除環若且唯若 _R_\* = _R_ \ {0}。

## 例子

* 在整數環 $\mathbb {Z} $ 裡，可逆元素為 ±1。其每一軌道內都有兩個元素 _n_ 和−_n_。
* 任一單位根均是某一單作環 $R$ 內的可逆元素。（若 $r$ 是一單位根，且 $r^{n}=1$ ，則 $r^{-1}=r^{n-1}$ 亦為 $R$ 的元素）。
* 在代數數論裡，狄利克雷單位定理證明了許多代數整數環內可逆元素的存在域。例如，在環 $\mathbb {Z} ({\sqrt {5}})$ ， $({\sqrt {5}}+2)({\sqrt {5}}-2)=1$ ，因此 $({\sqrt {5}}+2),({\sqrt {5}}-2),1$ 都是可逆元素。
* 在環 $M(n,F)$ ，於一體 $F$ 上的 $n\times n$ 矩陣內，其可逆元素恰好就是可逆矩陣。
可逆元素

數學中，**反元素**（英語：Inverse element）推廣了加法中的反數和乘法中的倒數。

## 定義

設 _S_ 為一有二元運算 \* 的集合。若 _e_ 為 (_S_,\*) 的單位元素且 _a_\*_b_=_e_，則 _a_ 稱為 _b_ 的**左反元素**且 _b_ 稱為 _a_ 的**右反元素**。若一元素 _x_ 同時是 _y_ 的左反元素和右反元素時，_x_ 稱為 _y_ 的**兩面反元素**或簡稱為**反元素**。_S_ 內的一有兩面反元素的元素被稱為在 _S_ 內為**可逆的**。

正如 _(S,\*)_ 可以有數個左單位元素或右單位元素一般，一元素同時有數個左反元素或右反元素也是有可能的。甚至有可能有數個左反元素_和_右反元素。

若其運算 \* 具有結合律，則當一元素有一左反元素和一右反元素時，這兩個會是相同且唯一的。在這一情形之下，可逆元素的集合會是個群，稱為 _S_ 的可逆元素群，且標記為 _U_(_S_) 或 $S^{*}$ 。

## 例子

每一實數 _x_ 都會有一加法反元素（即加法上的反元素）-_x_。每一非零實數 _x_ 都會有一倒數（即乘法上的反元素） ${\frac {1}{x}}$ 。此外，零沒有倒數。

一元素在一體 _K_ 內的方陣 _M_ 為可逆的（在所有相同大小方陣的集合內，於矩陣乘法下）若且唯若其行列式不等於零。若 _M_ 的行列式為零，它便不可能會有一單面反元素，因此一單面反元素必為兩面反元素。更多詳情請參見逆矩陣。

更一般地，一元素在一可交換環 _R_ 內的方陣是可逆的若且唯若其行列式在 _R_ 是可逆的。

一函數 _g_ 是一函數 _f_ 的左（右）反元素（在複合函數之下），若且唯若當 $g\circ f$ （ $f\circ g$ ）為 _f_ 定義域（對應域）上的恆等函數。在這一例子裡，一函數有右反元素而無左反元素，或許相反，是很常見的。

## 另見

* 加法反元素
* 倒數
* 群
* 擬群
* 除環
* 可逆元素
可逆函數

在數學裡，**反函數**，也稱為**逆函數**（英語：Inverse function），為對一個定函數做逆運算的函數。

## 定義

設 $f$ 為一函數，其定義域為 $X$ ，值域為 $Y$ 。如果存在一函數 $g$ ，其定義域和值域分別為 $Y,\,X$ ，並對每一 $x\in X$ 有： $g(f(x))=x\,$ 則稱 $g$ 為 $f$ 的反函數，記之為 $f^{-1}$ 。

例如，若給定一函數 $f:x\mapsto 3x+2$ ，則其反函數為 $f^{-1}:x\mapsto {\frac {x-2}{3}}$ 。
若一函數有反函數，此函數便稱為**可逆的**。

## 簡單規則

一般而言，當 $f(x)$ 為一任意函數，且 $g$ 為其反函數，則 $g(f(x))=x$ ， $f(g(y))=y$ 。換句話說，反函數撤銷了原函數的運算。

在上述例子，可以證明 $f^{-1}$ 確為反函數，以將 ${\frac {x-2}{3}}$ 代入 $f$ 的方式，如此

　
: $3\times {\frac {x-2}{3}}+2=x$ 。

類似地，也可以將 _$f$_ 代入 $f^{-1}$ 來證明。

確實， _$f$_ 的反函數 _$g$_ 的一等價定義，就是 $g\circ f$ 為於 _$f$_ 定義域上的恆等函數，且 $f\circ g$ 為 _$f$_ 值域上的恆等函數。

## 存在性

如果一函數 _$f$_ 有反函數， _$f$_ 必須是一對射函數，即：

* 單射：對應域上的每一元素都只被 _$f$_ 映射至多一次。
* 滿射：對應域上的每一元素都必須被 _$f$_ 映射到。

不然將沒有辦法對某些元素定義 _$f$_ 的反函數。

設 _$f$_ 為一實函數。若 _$f$_ 有一反函數，它必通過水平線測試，即一放在 _$f$_ 圖上的水平線 $y=k$ 必對所有實數 $k$ ，至多通過一次。換言之，當 _$k$_ 位於 _$f$_ 的值域時， $y=k$ 恰好通過 _f_ 圖一次。

## 性質

* 原函數的定義域、值域分別是反函數的值域、定義域。
* 原函數與其反函數的函數圖像關於函數 $y=x$ 的圖像對稱。
* 嚴格單調函數一定存在反函數，且反函數與原函數的單調性一致。
* 擁有反函數的函數不一定是嚴格單調函數，例如 $y=x^{-3}$

## 注釋

## 另見

* 值域
* 逆關係
* 反函數定理
可逆加成断裂链转移

**可逆加成斷裂鏈轉移**（英語：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）的概念。
在傳統的自由基聚合體系中，自由基濃度較高，容易發生自由基的終止反應，導致反應不可控。如果在聚合體系中加入鏈轉移常數高的特種鏈轉移劑，使得增長自由基和該鏈轉移劑之間進行退化轉移，從而降低自由基的濃度，就有可能實現活性自由基聚合。
可逆反应

**可逆反應**（英語：reversible reaction）是指通常在同一條件下正反應方向和逆反應方向均能進行的化學反應，例如：

　
: ${\ce {a\ {A}+b\ B<=>c\ {C}+d\ D}}$

生成物變為反應物的速率小到可以忽略的反應則稱做不可逆反應

事實上，絕大多數的反應都是可逆反應，只不過其可逆程度較小，一般被認為是不可逆反應。

可逆反應必須要處於一個封閉系統之內，否則當生成物是氣體，則有可能會令生成物進入大氣，令逆向反應不能發生，最後變成不可逆反應。

當**正向反應**（正反應，向右的反應）的速率與**逆向反應**（逆反應）的速率相等時，可逆反應達到化學平衡 (動態平衡)。

弱電解質的電離平衡，強酸弱鹼鹽和強鹼弱酸鹽的水解平衡，還有大多數的有機反應都是可逆反應。

## 特點

1. 正負兩個反應具有即對立又統一的關係，即正反應與逆反應是兩個方向完全相反的不同的化學反應。但它們又同時存在，不可分離。
2. 正反應與逆反應發生的條件相同，**在不同條件下能向兩個方向進行的反應不能稱之為可逆反應**。
3. 可逆反應不能進行到底，反應物總有剩餘。

## 反應

### 物理變化

* A 為一種元素或化合物
* (l) 為液體狀態
* (g) 為氣體狀態

　
: ${\ce {A\ {(l)}<=> A\ {(g)}}}$

### 化學變化

* AB,CD,AC,BD 為化合物
* a,b,c,d 為平衡係數

　
: ${\ce {a\ {AB}+b\ CD<=>c\ {AC}+d\ BD}}$

## 參見

* 化學平衡
* 不可逆反應
可逆反應

**可逆反應**（英語：reversible reaction）是指通常在同一條件下正反應方向和逆反應方向均能進行的化學反應，例如：

　
: ${\ce {a\ {A}+b\ B<=>c\ {C}+d\ D}}$

生成物變為反應物的速率小到可以忽略的反應則稱做不可逆反應

事實上，絕大多數的反應都是可逆反應，只不過其可逆程度較小，一般被認為是不可逆反應。

可逆反應必須要處於一個封閉系統之內，否則當生成物是氣體，則有可能會令生成物進入大氣，令逆向反應不能發生，最後變成不可逆反應。

當**正向反應**（正反應，向右的反應）的速率與**逆向反應**（逆反應）的速率相等時，可逆反應達到化學平衡 (動態平衡)。

弱電解質的電離平衡，強酸弱鹼鹽和強鹼弱酸鹽的水解平衡，還有大多數的有機反應都是可逆反應。

## 特點

1. 正負兩個反應具有即對立又統一的關係，即正反應與逆反應是兩個方向完全相反的不同的化學反應。但它們又同時存在，不可分離。
2. 正反應與逆反應發生的條件相同，**在不同條件下能向兩個方向進行的反應不能稱之為可逆反應**。
3. 可逆反應不能進行到底，反應物總有剩餘。

## 反應

### 物理變化

* A 為一種元素或化合物
* (l) 為液體狀態
* (g) 為氣體狀態

　
: ${\ce {A\ {(l)}<=> A\ {(g)}}}$

### 化學變化

* AB,CD,AC,BD 為化合物
* a,b,c,d 為平衡係數

　
: ${\ce {a\ {AB}+b\ CD<=>c\ {AC}+d\ BD}}$

## 參見

* 化學平衡
* 不可逆反應
可逆层

在代數幾何學中，可逆層是在賦環空間 _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 年至今）

## 校風及學生支援

* 學校在學生成長支援方面已取得一定成就，校園內關顧文化已建立。
* 學校能為新學生提供適切的入學支援，以助學生盡快投入校園生活。
* 學校透過生活教育課程、早會、周會等，成功推行價值教育。
* 學校的獎懲制度恰當。校規清晰合理。
* 學校因應學生情況推行各項學生支援計劃，以發展學生多元智能，培養學生的自信心和責任感，拓闊生活體驗，方向正確。
* 教師愛護學生，關注學生需要。
* 學校成功落實「全校參與」輔助學生模式。
* 初中推行家訪計劃，加強家校之間溝通與合作，深受家長歡迎。
* 學校重視家校合作，並訂定清晰明確的家校合作政策。
* 家長認同及支持學校，並樂於提供意見。
* 學校文化方面，校長態度親切，作風民主，帶領學校營造關顧文化。教師大都認真盡責，互相扶持，關愛學生，師生關係融洽，學生能深切感受教師的關懷。
* 學生之間關係良好，制服隊伍有效提升集體紀律精神。

## 校歌

### 黃大仙頌

## 鄰近

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

## 外部連結

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

**可達鴨**（日語：コダック，英語：Psyduck，香港舊譯**傻鴨**）是任天堂和 Game Freak 所特許經營的《精靈寶可夢》系列裡的虛構生物「寶可夢」之一，在《精靈寶可夢 紅》與《精靈寶可夢 綠》中首次被引入，並出現在該系列的後續作品及改編作品中。可達鴨的外型類似一隻鴨子，長期受到頭痛的困擾。當它具有足夠的經驗值時，會進化成哥達鴨。

## 設計

可達鴨是首次出現於《精靈寶可夢 紅》與《精靈寶可夢 綠》的第一世代寶可夢，由杉森建設計。

## 電影中的可達鴨

2019 年電影《POKÉMON 名偵探皮卡丘》，女主角的神奇寶貝。

## 反響

可達鴨受到 GameSpy 的讚揚，且被描述為「愚蠢至極」。《紐約時報》則將之與鴨嘴獸做對比，稱可達鴨為「看起來超蠢」。GameDaily 則認為可達鴨是很獨特的寶可夢，且即使是將範圍拉大到整個系列來看，這個評價也不為過。IGN 指出這個角色之所以受歡迎是因為它感到困惑的怪異外表，更表示可達鴨是他們辦公室成員最愛的角色之一。GamesRadar 也稱可達鴨是第一世代遊戲中最受歡迎的寶可夢之一 。《Coventry Evening Telegraph》將可達鴨與傑尼龜相提並論，並讚揚它們的設計。

部份臺灣的網友認為可達鴨的外型與台北市長柯文哲很相似，林昶佐、郝龍斌等政治人物也曾以此消遣柯文哲，但柯文哲本人表示自己不像可達鴨。

2022 年 5 月 21 日，中國大陸區肯德基餐廳推出兒童節限定套餐，購買 69-109 元不等的指定套餐可獲得隨機一款寶可夢聯名玩具，共有三款（2 款均為皮卡丘），另一款則是可達鴨。由於可達鴨玩具頗受顧客歡迎，因此導致多家肯德基餐廳出現斷貨的情況，在二手交易平台更出現了高價銷售的連結。

## 參考來源

## 外部連結

* 網際網路電影資料庫上可達鴨的資料
可適性視訊編碼

**可適性視訊編碼（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. （頁面存檔備份，存於網際網路檔案館）

## 參考資料
可選擇射擊模式

**擊發調變槍械**，也作**可選射擊模式槍械**、**選射槍械**、**切換射擊模式槍械**（英語：Selective Fire Weapon）等等，是至少具備兩種射擊模式、可通過撥動開關等方式立即（而非通過拆卸槍械、更改內部結構等手段）而在這些模式間切換的槍械。

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

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

* 半自動
  * 扣下扳機**並在鬆開之前**只發射一發子彈，下一發子彈可以自動上膛但不能自動擊發。
  * 注意條件是「鬆開之前」，即不論「鬆扳機」這個動作是否引起槍械的擊發都不影響判斷。例如，Franklin Armory 生產的 Binary Firing System 扳機組套件可把只能單發的民用型 AR-15 改為扣鬆扳機各擊發一次，實現全自動射擊，但在定義上仍屬於半自動。
  * 也稱單發點射。
* 短點射
  * 扣下扳機發射 n>1 發子彈，同樣讓接下來的子彈自動上膛。此射擊模式是為避免士兵因緊張而在全自動射擊時按緊扳機而浪費子彈而設。
  * 依據 n 的不同，可分別稱為「兩發點射」、「三發點射」等。典型的例子包括：
    * AN-94：可兩發點射。
    * MP5、M16A2/A4：可三發點射。其中 M16A2/A4 的三發點射比較特別，詳見其條目。
* 全自動
  * 只要扣住扳機便可連續不斷發射子彈，直到子彈耗盡或發生故障為止。
  * 一般以機槍而言，這是僅有的射擊模式；然而也存在可切換到半自動射擊的 HK21、M2 重機槍等款式。

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

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

## 參考文獻
可部站

**可部車站**（日語：可部駅／かべえき _Kabe eki_ \*/?）是位於廣島縣廣島市安佐北區可部二丁目，西日本旅客鐵道（JR 西日本）的可部線車站。車站編號為 **JR-B14**。

在 1911 年（明治 44 年）7 月 13 日車站啟用至 1936 年（昭和 11 年）10 月 13 日之間，以及在 2003 年（平成 15 年）12 月 1 日至 2017 年（平成 29 年）3 月 3 日之間，此站為可部線終點站。

## 歷史

在車站啟用當初為終點站，後來於 1936 年把路線延伸，成為中途站。隨後，此站成為可部線電氣化區間和非電氣化區間的邊界車站。非電氣化區間在 2003 年（平成 15 年）11 月 30 日廢止，使此站回復成為終點站。但是在，2017 年（平成 29 年）3 月 4 日，可部線此站至安藝龜山站之間開通，使此站再次成為中途站。

* 1911 年（明治 44 年）7 月 13 日 - 大日本軌道廣島支社線太田川橋（現時：上八木站）至此站之間開通，此終點站**可部車站**啟用。為一般車站。
* 日期不詳 - 車站改名為**可部町站**（日語：可部町駅／かべちょうえき）。
* 1919 年（大正 8 年）3 月 11 日 - 大日本軌道廣島支社線轉議至可部軌道，成為可部軌道的車站。
* 1926 年（大正 15 年）5 月 1 日 - 可部軌道與廣島電氣合併，成為廣島電氣車站。
* 1928 年（昭和 3 年）11 月 9 日 - 改軌距和電氣化工程使車站暫停營業。
* 1929 年（昭和 4 年）12 月 2 日 - 車站恢復營業。
* 1931 年（昭和 6 年）7 月 1 日 - 廣島電氣線轉讓給廣濱鐵道，成為廣濱鐵道車站。
* 1933 年（昭和 8 年）4 月 20 日 - 車站改名為**廣濱可部車站**（日語：広浜可部駅／こうひんかべえき）。
* 1936 年（昭和 11 年）
  * 9 月 1 日 - 廣濱鐵道被國有化，成為國有鐵道可部線車站。同時改名為**可部車站**。
  * 10 月 13 日 - 可部線此站至安藝飯室站之間開通，成為中途站。
* 1984 年（昭和 59 年）
  * 1 月 1 日 - 結束車載貨物業務（成為旅客車站）。
  * 2 月 1 日 - 結束行李起卸業務。
* 1987 年（昭和 62 年）
  * 2 月 1 日 - 開設綠色窗口。
  * 4 月 1 日 - 伴隨國鐵分割民營化，車站由西日本旅客鐵道（JR 西日本）營運。
* 2003 年（平成 15 年）12 月 1 日 - 可部線此站至三段峽站之間的非電氣化區間廢止，在 67 年後再次成為終點站。
* 2005 年（平成 17 年）10 月 1 日 - 4 卡編成的列車靠近廣島的 1 卡會實施選擇性車門操作。
* 2007 年（平成 19 年）
  * 7 月 26 日 - 設置可支援 ICOCA 的簡易型自動閘機。
  * 9 月 1 日 - 此站開始可以使用 IC 卡「ICOCA」。
* 2008 年（平成 20 年）3 月 15 日 - 4 卡編成列車的選擇性車門操作解決。
* 2010 年（平成 22 年）7 月 1 日 - 此站開始管理可部線三瀧站至中島站之間各站。
* 2014 年（平成 26 年）8 月 20 日 - 受到 2014 年 8 月日本暴雨的影響，廣島市發生泥石流。綠井站至可部車站之間於當天至 8 月 31 日之間暫停服務。
* 2016 年（平成 28 年）
  * 12 月 1 日 - 東西行人通道開始使用。
  * 12 月 18 日 - 新 2 號月台開始使用。舊 1、2 號月台停止使用，3 號月台改為 1 號月台。
* 2017 年（平成 29 年）3 月 4 日 - 可部線此站至安藝龜山站之間開通，使此站再次成為中途站。使沒有列車從此站出發或成為終點站。

## 車站構造

車站是一座地面車站，設有 2 面 2 線的相對式月台。

此站是直營車站，站內原本設有可部鐵道部，後來於 2006 年（平成 18 年）6 月關閉。同時把可部線各站的管理權轉移至西廣島站。在 2010 年（平成 22 年）7 月起，此站再次管理可部線各站（橫川站除外）。此站設有綠色窗口。車站可以使用 ICOCA 與其互相可以使用的 IC 卡。此站位於 JR 特定都區市內制度中，「廣島市內」的車站。車站印章為「以「安藝之高野山」而名的福王寺之車站」。

### 月台

在延伸至安藝龜山站前，兩月台均前往橫川方向。當時此站還設有夜間停泊措施。另外，1 號月台和 2 號月台的閘口是獨立的，兩月台沒有通道連接。

## 利用狀況

以下為各年度的使用人次。

以上的 1 日平均乘車人次中，假設乘車和下車人次是相同，是以該年度總人次除以 365（在閏年度，即 1963、1967、1971 和 1975 年度除以 366），然後取捨至一位小數點。

在 1994 年大町站啟用前，此站為可部線最多人使用的車站。在 2008 年度起被下祇園站追越，在 2017 年度此站至安藝龜山站之間開業，成為中途站，便被安藝長束站和綠井站追越。

**乘車人次圖表**

## 車站周邊

車站西邊設有國道 183 號（國道 191 號、國道 261 號的重疊區間）。在國道對面設有大和重工總部。西出口對出近年進行重建，新設了可部車站西口廣場。在 2007 年（平成 19 年）12 月，把原本的可部車站公車站和可部車站前公車站合併，上述公車站遷移至可部車站西口廣場的公車站。

在此站至已廢止的河戶站中間位置中，設有廣島市安佐北區公所、可部區檢察廳、可部簡易裁判所、安佐北警署（舊、可部警察署）、廣島北稅務署。在鐵路線延伸至安藝龜山站後，上述設施比較接近河戶帆待川站。

## 相鄰車站

**西日本旅客鐵道**
: **可部線**

　
: 中島（JR-B13）－**可部（JR-B14）** －河戶帆待川（JR-B15）

### 曾經存在的路線

**西日本旅客鐵道**
: 可部線

　
: **可部**－河戶

## 注腳

### 參考資料

### 廣報資料、新聞發布資料

## 相關條目

* 日本鐵路車站列表 Ka

## 外部連結

* 可部車站｜車站資訊：JR 出門網 - 西日本旅客鐵道
可部線

**可部線**（日語：可部線／かべせん _Kabe sen_ \*/?）是一條連結日本廣島縣廣島市西區的橫川站至同市安佐北區的安藝龜山站，屬於西日本旅客鐵道（JR 西日本）的鐵路線（地方交通線）。

## 概要

此線為 JR 集團的地方交通線之中，每日平均搭車人次最多且為僅有兩條每日搭車人次超過 1 萬人次路線之一 (另一條為 JR 北海道的札沼線)，2008 年度達 18,635 人次。因此地方上爭取可部車站至河戶車站 1.3 公里間復站，已獲 JR 西日本同意並獲得國土交通省許可，原預定於 2016 年完工通車。因用地徵收問題延至 2017 年春季通車。

全線由廣島支社管轄，位於 IC 乘車卡「ICOCA」的岡山、廣島地域的廣島地區，所有車站根據 JR 的旅客營業規則都是特定都區市內制度的「廣島市內」車站。

## 路線資料

### 營業中的路段

※輸送量等的資料是橫川站－可部站間的數值。

* 管轄（事業類別）：西日本旅客鐵道（第一種鐵道事業者）
* 路線距離（營業距離）：15.6 公里
* 軌距：1067 毫米
* 站數：14 個（包括起終點站）
  * 若只限屬於可部線的車站，排除屬於山陽本線的橫川站則為 13 個。
* 複線路段：沒有（全線單線）
* 電氣化路段：全線（直流 1500V）
* 閉塞方式：特殊自動閉塞式（軌道迴路檢知式）
* 最高速度
  * 橫川站－可部站間：65 公里 / 小時
  * 可部站－安藝龜山站間：45 公里 / 小時
* 運轉指令所：廣島綜合指令所
* 平均通過人員
  * 1987 年：11,361 人
  * 2008 年：18,635 人
  * 2013 年：19,105 人
  * 2014 年：19,021 人
  * 2015 年：18,474 人
  * 2016 年：18,720 人

### 廢除路段

包括可部站－安藝龜山站間相當路段。

* 管轄（事業類別）：西日本旅客鐵道（第一種鐵道事業者）
* 路線距離（營業距離）：46.2 公里
* 軌距：1067 毫米
* 站數：21 個（可部站除外）
* 複線路段：沒有（全線單線）
* 電氣化路段：沒有（全線非電氣化）
* 閉塞方式：
  * 可部站－加計站間：特殊自動閉塞式
  * 加計站－三段峽站間：Staff 閉塞式（至 1992 年 3 月為止是單線自動閉塞式）

## 運行形態

列車以廣島車站為起點運行，一部份列車直通至山陽本線、吳線方面。

## 歷史

可部線的現存區間是 1936 年將私鐵開業的區間國有化而來。1909 年，同區間是大日本軌道廣島支社依輕便鐵道規格開業，中間歷經多次變更所有者，買收時的所有者是廣濱鐵道。

2003 年，非電化區間的可部 - 三段峽間廢止。

2011 年 2 月，JR 西日本廣島分公司與廣島市政府達成初步共識，將恢復可部站起約 2 公里已廢線路段的營運，由廣島市與國家負擔大部份工程費用。

2017 年 3 月 4 日，可部站起 1.6 公里區間整修工程竣工後恢復營運，並新設河戶帆待川站與安藝龜山兩座車站。此為 JR 集團於 1987 年成立後，第一個復駛的 JR 廢線。

## 車站列表

### 營業中的路段

為方便起見，所有列車直通的山陽本線廣島站－橫川站間車站一併記載。

* 所有車站都位於廣島縣廣島市，根據特定都區市內制度是「廣島市內」地域（）車站。
* 所有列車普通列車（停靠所有車站）
  * 吳線直通的快速列車在可部線內作為普通（各站停車）運行
* 軌道（可部線內全線單線） … ◇、∨、∧：可進行列車交會，｜：不可列車交會，∥：複線（山陽本線內）

#### 廢站

廢除路段車站參見後節。（）內是橫川站起計的營業距離

* 1943 年廢除
  * 新庄橋站：三瀧站－安藝長束站間（1.8）
  * 安藝山本站：安藝長束站－下祇園站間（3.3）
  * 祇園站：下祇園站－古市橋站間（4.4）
  * 安站：大町站附近（6.7）
  * 七軒屋站：七軒茶屋站－梅林站間（8.9）
  * 中八木站：梅林站－上八木站間（10.9）
* 1943 年以前廢除
  * 松原停留場：三瀧站附近、1928 年廢除
  * 古市停留場：古市橋站－綠井站間、1929 年廢除
  * 大田川橋東詰停留場：上八木站－中島站間、1933 年廢除

### 廢除路段

所在地的自治體名以廢除時為準。所有車站都位於廣島縣。加計町、筒賀村、戶河內町是現在的安藝太田町的一部分，湯來町是現在的廣島市佐伯區的一部分。
（）顯示的車站是根據特定都區市內制度「廣島市內」地域車站。

* 軌道（此路段全線單線） … ◇：可進行列車交會，｜：不可進行列車交會

## 腳註

## 參考文獻

* 今尾惠介『日本鉄道旅行地図帳 - 全線・全駅・全廃線 11 中國四國』新潮社、2009 年。ISBN 978-4-10-790029-6。

## 關連項目

* 廣島都市網路
可里可里可里，巴巴变

《**泡泡先生**》（Barbapapa）是一部漫畫及其主人公的名字。1970 年由法裔美國作家 Annette Tison 和 Talus Taylor 夫婦用法語創作，之後有《**Barbapapa**》的 30 多種語言版本出版，其中文譯本曾在 1980 年代於香港發行。於 1975 年被拍攝成 45 集 5 分鐘的動畫片後，至今在超過 40 個國家播放過。1986 年曾在中國中央電視台《七巧板》欄目播放，當時譯名為《**可里可里可里，巴巴變**》，此版為引進的德語版，並在最後為其製作了一期專題節目《再見，巴巴爸爸》。2015 年 5 月，谷歌慶祝了其 45 週年的出版紀念日。

## 語意

在法語中，「Barbe à papa」是棉花糖的意思，也可作「爸爸的鬍鬚」，「泡泡先生」這個角色名就兼有棉花糖與爸爸的意思。 
法國的棉花糖呈現粉紅色是因為加入了草莓汁。

## 家庭成員

泡泡先生的成員有：

大部分英文譯名和少量法文名字體現了角色的性格。例如 belle 是法語「美麗」的意思，相應的，Barbabelle 就很愛美。

## 參考來源
可重入

若一個程式或子程式可以「在任意時刻被中斷然後作業系統調度執行另一段程式碼，這段程式碼又使用了該副程式不會出錯」，則稱其為**可重入**（reentrant 或 re-entrant）的。即當該副程式正在運作時，執行執行緒可以再次進入並執行它，仍然可得到符合設計時所預期的結果。與多執行緒併發執行的執行緒安全不同，可重入強調對單一執行緒執行時重新進入同一個子程式仍然是安全的。

可重入概念是在單執行緒作業系統的時代提出的。一個子程式的重入，可能由於自身原因，如執行了 jmp 或者 call，類似於子程式的遞迴呼叫；或者由於作業系統的中斷回應。UNIX 系統的 signal 的處理，即子程式被中斷處理程式或者 signal 處理程式呼叫。所以，可重入也可稱作「非同步訊號安全」。這裡的非同步是指訊號中斷可發生在任意時刻。 重入的子程式，按照後進先出線性序依次執行。

若一個函式是可重入的，則該函式應當滿足下述條件：

* 不能含有靜態（全域）非常數資料。
* 不能返回靜態（全域）非常數資料的位址。
* 只能處理由呼叫者提供的資料。
* 不能依賴於單例模式資源的鎖。
* 呼叫（call）的函式也必需是可重入的。

上述條件就是要求可重入函式使用的所有變數都儲存在呼叫堆疊的目前函式棧（frame）上，因此同一執行執行緒重入執行該函式時載入了新的函式影格，與前一次執行該函式時使用的函式影格不衝突、不互相覆蓋，從而保證了可重入執行安全。

多「使用者 / 物件 / 行程優先級」以及多元處理（Multiple processes），一般會使得對可重入代碼的控制變得複雜。同時，IO 代碼通常不是可重入的，因為他們依賴於像磁碟這樣共享的、單獨的（類似編程中的靜態、全域）資源。

可重入性是函式語言程式設計的關鍵特性之一。

## 例子

在以下的 C 語言代碼中，函式 `f` 和函式 `g` 都不是可重入的。

以上代碼中，`f` 使用了全域變數 _g\_var_，所以，如果兩個執行緒同時執行它並存取 `g_var`，則返回的結果取決於執行的時間。因此，`f` 不可重入。而 `g` 呼叫了 `f`，所以它也不可重入。

稍作修改後，兩個函式都是可重入的：

## 與執行緒安全的關係

可重入與執行緒安全兩個概念都關係到函式處理資源的方式。但是，他們有重大區別

* 可重入概念會影響函式的外部介面，而執行緒安全只關心函式的實現。
  * 大多數情況下，要將不可重入函式改為可重入的，需要修改函式介面，使得所有的資料都通過函式的呼叫者提供。
  * 要將非執行緒安全的函式改為執行緒安全的，則只需要修改函式的實現部分。一般通過加入同步機制以保護共享的資源，使之不會被幾個執行緒同時存取。
* 作業系統背景與 CPU 排程策略：
  * 可重入是在單執行緒作業系統背景下，重入的函式或者子程式，按照後進先出的線性序依次執行完畢。
  * 多執行緒執行的函式或子程式，各個執行緒的執行時機是由作業系統排程，不可預期的，但是該函式的每個執行執行緒都會不時的獲得 CPU 的時間片，不斷向前推進執行進度。
* 可重入函式未必是執行緒安全的；執行緒安全函式未必是可重入的。
  * 例如，一個函式打開某個檔案並讀入資料。這個函式是可重入的，因為它的多個實例同時執行不會造成衝突；但它不是執行緒安全的，因為在它讀入檔案時可能有別的執行緒正在修改該檔案，為了執行緒安全必須對檔案加「同步鎖」。
  * 另一個例子，函式在它的函式體內部存取共享資源使用了加鎖、解鎖操作，所以它是執行緒安全的，但是卻不可重入。因為若該函式一個實例執行到已經執行加鎖但未執行解鎖時被停下來，系統又啟動該函式的另外一個實例，則新的實例在加鎖處將轉入等待。如果該函式是一個中斷處理服務，在中斷處理時又發生新的中斷將導致資源死結。`fprintf` 函式就是執行緒安全但不可重入。

下述例子，是執行緒安全的，但不是可重入的。

多執行緒執行時，獲得了互斥鎖的執行緒總能獲得 CPU 時間片，向前推進執行進度，最終解開互斥鎖，使得別的執行緒也能獲得互斥鎖進入臨界區。但是，如果在單執行緒背景下第一次執行該函式時已經獲得互斥鎖進入臨界區，這時該函式被重入執行，這將在重新申請互斥鎖時被餓死 (starvation)，因為獲得了互斥鎖的該函式的第一次執行將永遠沒有機會再獲得 CPU 時間片。

## 參見

* 參照透明
* 冪等

## 外部連結

* Article "Use reentrant functions for safer signal handling" by Dipak K Jha
* "Writing Reentrant and Thread-Safe Code," from _AIX Version 4.3 General Programming Concepts: Writing and Debugging Programs_, 2nd edition, 1999.
可重入互斥锁

電腦科學中，**可重入互斥鎖**（英語：reentrant mutex）是互斥鎖的一種，同一執行緒對其多次加鎖不會產生死結。可重入互斥鎖也稱**遞迴互斥鎖**（英語：recursive mutex）或**遞迴鎖**（英語：recursive lock）。

如果對已經上鎖的普通互斥鎖進行「加鎖」操作，其結果要麼失敗，要麼會阻塞至解鎖。而如果換作可重入互斥鎖，若且唯若嘗試加鎖的執行緒就是持有該鎖的執行緒時，類似的加鎖操作就會成功。可重入互斥鎖一般都會記錄被加鎖的次數，只有執行相同次數的解鎖操作才會真正解鎖。

遞迴互斥鎖解決了普通互斥鎖不可重入的問題：如果函式先持有鎖，然後執行回呼，但回呼的內容是呼叫它自己，就會產生死結。

## 另見

* 互斥鎖

## 參考文獻
可重复使用发射系统技术研发项目

**SpaceX 可重複使用的發射系統開發計劃**(英文：**SpaceX reusable launch system development program**) 是一個私人資助的計劃，用於為軌道發射系統開發一套新技術，目的為使火箭能成為飛機一樣可多次重複使用的運輸載具。SpaceX 多年來一直在開發此技術，以促進達成太空運載火箭的全面可重複使用。該項目的長期目標包括：在幾分鐘內將運載火箭的第一級返回發射場，並在與發射場軌道重合併在 24 小時內重新進入大氣層之後，將第二級返回發射台。SpaceX 的長期目標是將其軌道運載火箭的兩個階段設計為允許在返回後幾個小時內重複使用。

## 歷史

SpaceX 最初試圖通過降落傘降落獵鷹 1 號的第一階段，但是該階段在重新進入大氣層後仍然無法成功。他們在 2010 年之後的最早的 Falcon 9 航班上繼續使用降落傘進行實驗，但未成功。SpaceX 隨後將重點轉移到開發動力下降著陸系統上。

可重複使用發射系統的概述於 2011 年 9 月首次公開描述，SpaceX 表示，它將嘗試開發動力下降系統並恢復獵鷹 9 號的兩個階段，即全垂直起飛，垂直著陸（VTVL）火箭。該公司製作了一段計算機動畫視頻，描述了動力下降的第一階段和尾部先返回的概念圖，以及帶有隔熱罩的第二階段的概念圖，先進入頭部再旋轉以進行動力下降。2012 年 9 月，SpaceX 開始使用亞軌道蚱蜢火箭在可重複使用的第一階段原型機上進行飛行測試。這些測試一直持續到 2014 年，包括測試第二輛及更大的原型車 F9R Dev1。

幾天前，當美國聯邦航空局發布了德克薩斯州 SpaceX 試驗場的環境影響評估草案時，有關蚱蜢測試火箭的消息已經公開。2012 年 5 月，SpaceX 在 NASA 馬歇爾太空飛行中心風洞測試設施中進行了 176 次測試，獲得了一套用於恢復獵鷹 9 號第一階段的大氣測試數據。這項工作是由 SpaceX 根據與美國國家航空航天局簽訂的《太空法》可償還協議簽訂的。

預計在 2012 年，可重複使用的獵鷹九號火箭的第一階段分離將以大約 6 馬赫（4,600 mph； 2.0 km /s）的速度發生，而不是 10 馬赫（7,600 mph； 3.4 km /s）的速度。 消耗性的獵鷹 9，提供減速和轉向操作以及受控的下降和著陸所需的剩餘燃料。

2012 年 11 月，首席執行官埃隆・馬斯克（Elon Musk）宣布了 SpaceX 的計劃，該計劃將建造第二套更大的可重複使用的火箭系統，該系統將由 LOX / 甲烷驅動，而不是 Falcon 9 和 Falcon Heavy 上使用的 LOX / RP-1。 新系統將是「 SpaceX Falcon 9 助推器的發展」，SpaceX 重申了他們對在垂直著陸技術方面取得突破的承諾。[18] 到 2012 年底，示範測試車 Grasshopper 進行了 3 次 VTVL 測試飛行，其中包括 2012 年 12 月 17 日進行了 29 秒的懸停飛行，飛行 40 米（130 英尺）。2013 年 3 月上旬，SpaceX 第四次飛向 80 米（260 英尺）以上的高度，成功地測試了 Grasshopper。

2013 年 3 月，SpaceX 宣布將對 Falcon 9 的後續第一階段進行測試和裝備，作為受控下降測試飛行器，併計劃從 2013 年開始對水上加速減速的模擬著陸進行計劃，以期將飛行器返回發射場 可能最早在 2014 年中進行動力登陸。2013 年 4 月，擬議中的 SpaceX 南德克薩斯發射場的環境影響聲明草案包括為 Falcon 9 第一階段助推器返回發射場提供的具體設施。2013 年 4 月，埃隆・馬斯克（Elon Musk）首次公開將可重複使用的 Falcon 9 稱為 Falcon 9-R。
可重复使用试验航天器

**可重複使用試驗太空載具**，是中華人民共和國研製的一種在軌空天飛機。

## 歷史

2020 年 9 月 4 日，中國在酒泉衛星發射中心由長征二號 F 運載火箭發射一型可重複使用試驗太空載具（具體型號不明，亦沒有任何圖片），此太空載具將在軌道運行一段時間後返回國內預定著陸場，期間將按計劃開展可重複使用的技術驗證。

2020 年 9 月 6 日，中國宣布，在酒泉衛星發射中心成功發射的可重複使用太空載具在軌飛行 2 天後，成功返回預定著陸場。新華社稱「這次試驗的圓滿成功，標誌著我國可重複使用太空載具技術研究取得重要突破，後續可為和平利用太空提供更加便捷、廉價的往返方式。」

2022 年 8 月 5 日，中國在酒泉衛星發射中心由長征二號 F 運載火箭發射一型可重複使用試驗太空載具（具體型號不明，亦沒有任何圖片），此太空載具將在軌道運行一段時間後返回國內預定著陸場，期間將按計劃開展可重複使用和在軌服務技術驗證。

## 飛行記錄

## 參考文獻

## 參見

* 太空梭
* 空天飛機
* 太空飛機
* 波音 X-37
* 雲霄塔
* 跨大氣層飛行器
可重复充电电池

**蓄電池**（storage battery）又稱**可充電電池**（rechargeable battery）、**二次電池**（secondary cell），俗稱**電瓶**，泛指所有在電量用到一定程度之後可以被再次充電、反覆使用的化學能電池總稱。之所以可以充電是因為在接上外部電源後其化學作用能反向進行。製成蓄電池的化學品有很多種，其設計上亦各有不同；因此，其電壓、容量、外觀大小、重量也各有不同。

現在日常生活中普通使用的有：

* 與一次電池相同尺寸（如 AA 或 AAA）的鎳氫電池或鎳鎘電池，
* 鋰離子電池，
* 汽車引擎發動時供電的鉛酸電池。

現時，蓄電池被廣泛地應用於各設備上，包括汽車起動器、各種手提設備及工具、不斷電系統等。混合動力車輛及純電動車對蓄電池的要求使得蓄電池的技術不斷改進，以求減低成本，改善性能，例如減輕其重量及增加其壽命。相對一次電池，蓄電池對環境的影響較低，以整個壽命週期計碳排放較少，而大多數的蓄電池都可以循環再造。雖然蓄電池的的起始成本較高，但由於可以多次重複使用，平均計其成本反而比一次電池便宜。嘗試給非蓄電池（原電池）充電是不可取的，因為這可能引起電源漏出有害的液體、發熱、起火甚至爆炸。

## 常見蓄電池種類

### 鉛蓄電池（Pb）

早在 1859 在年已經面世，是最早發明的蓄電池。容量低，重量重，但可以提供非常穩定的電流，被廣泛使用於汽車用電，替引擎提供啟動電流。但因為鉛對環境有害、硫酸為腐蝕性液體，使用時應注意，棄置處理時需要小心回收，。

### 鎳鎘電池（Ni-Cd）

電壓 1.2V，在放電過程電壓也相當平穩，與廣泛應用的碳鋅電池（簡稱碳電）及鹼性電池的 1.5V 相近，所以多被製成與碳電及鹼性電池同樣的外觀大小，以取代這些一次性電池，也因此曾被廣泛應用於手持裝置。容量高於鉛酸電池，但成本較鉛酸電池高，而且自放電較大、有記憶效應。不過鎘是有害環境物質，並不環保，廢棄時應確實回收。鎳鎘電池漸漸被改良後的鎳氫電池取代。

### 鎳氫電池（Ni-MH）

電壓與鎳鎘同樣是 1.2V，早期容量只略大於鎳鎘電池，而輸出電流比鎳鎘低及自放電較大，但隨著技術成熟，鎳氫電池的容量大增，輸出電流比鎳鎘電池更大，特定產品更能輸出電流達 10C 以上（這類鎳氫容量會較一般形號略細），也不像鎳鎘電池含有毒物質，算是環保電池，而且無記憶效應，2005 年更推出了新款的低自放電鎳氫電池大大改善了自放電的問題，甚至比鋰離子電池還低，因此鎳氫電池可以說已經完全取代鎳鎘電池，應用面更廣泛。

除了手持電子產品，高功率版本的鎳氫電池也應用於混合動力車上，當中代表者是豐田的 Prius，運作日子最久的一個個案，其鎳氫電池已經使用了超過 10 年。在日本，鎳氫電池的市佔率為 22%，在瑞士更高達 60%，但近年開始下降，多是因為部份被鋰離子電池取代。

### 鋰離子電池（Li-ion）

鋰離子電池電壓約 3.6-3.7V（完全充滿時 4.2V），是目前被廣泛應用的蓄電池之中能量密度最高者，也即最輕，而且無記憶效應及低自放電，但仍有缺點，製造成本較其他廣泛使用的蓄電池高，安全性較差。也曾有行動電話、筆記電腦的鋰電池冒煙、起火、爆炸等案例（大部份多由不當使用或劣質電芯肇因）。鋰離子電池的自放電，狀況最差時，飽電下在室溫 25℃環境中每三個月約失去總容量 20%。然而先進的鋰離子電池製程技術可以克服這項缺點，安全性也提高，但其成本相對較高。

多數電子產品所使用的鋰離子電池常為鈷酸鋰（LiCoO2），能量密度較高（容量較大），其他種類例如 LiFeP、LiMnO、LiNiMnCoO 等，容量較低、較昂貴。由於成本較高，而且需要外加保護電路避免過充放電，進一步增加成本，早期的鋰離子電池多用在售價較高的產品上，例如筆記電腦、行動電話等，現行已較為普及。由於鋰離子電池無記憶效應，因此即使是新電池，也不需將其電力耗盡再充電。鋰離子電池發展迅速，安全性續增，純電動車也開始採用，另外於航電、軍備也漸漸發現鋰離子電池的應用。

### 鋰離子聚合物電池（Li-Poly）

鋰離子聚合物電池基本結構與鋰離子電池相同，分別在於鋰離子聚合物電池以固態的聚合物取代在鋰離子電池中的有機溶液，相比鋰離子電池，其優點是可以減低成本，易於生產出多種不同形狀，略較為可靠。缺點是容量略為較低。縝密設計過的鋰聚合物電池具有高放電能力，其持續放電係數甚至高達 90C 或更高。

## 蓄電池種類列表

## 相關條目

* 電池
* 記憶效應 (電池)
* 鉛蓄電池
* 鎳鎘電池
* 鎳氫電池
* 低自放電鎳氫電池
* 鋰離子電池
* 充電器
* 磷酸鋰鐵

## 參考資料
可重复构建

**可重現構建**（英語：Reproducible builds）也被稱為**確定性編譯**（英語：deterministic compilation），這是一個編譯軟體的過程，能夠確保生成的二進位代碼（也就是機器碼）可以重現。使用確定性編譯編譯的原始碼將始終輸出相同的二進位文件。

可重現構建可以作為信任鏈的一部分，這是因為原始碼可以簽名，這樣就可以證明二進位文件是從受信任的原始碼編譯的。

## 參考文獻
可重构计算

**可重組計算**（**Reconfigurable computing**） 是一種具有高度彈性運算組織構造的電腦處理方式。和使用平常的微處理器主要不同的地方在於，可重組計算具有能力對資料路徑和控制流程做實質上的改變。

## 歷史與特性

可重組計算的概念，在六零年代（1960s），當 Gerald Estrin 指標性的文章中，提出一台電腦裡擁有一個標準處理器和一個可重組硬體矩陣的概念時就已經普及。主要的處理器負責控制可重組硬體。可重組硬體將被客製成執行一項特殊的工作，比如影像處理或模式比對，如同特製一部分硬體一般快。當某個工作完成，硬體會被調整適合執行另一項工作。這種混合的電腦結構擁有軟體的彈性伴隨著硬體的速度。不幸的是這個想法遠遠超過了當時的電子技術。

## 粒度

指可重組計算模組的最小位寬。影響重構的代價和效率。顆粒度小，重構靈活性大，但組態資訊多，重構開銷大；顆粒度大，重構靈活性小，組態資訊少，處理低位寬資料會浪費計算單元降低效率。

## 重組速率

## 與主運算單元耦合

## 繞線 / 相互連結

在可重組裝置上所謂的靈活性（flexibility）主要取決於他們之間路徑的互連（interconnect）。其中一種普及的互連的型式為島狀組態（island style layout）產生於場效可程式規化閘陣列（FPGA）廠商，如 Xilinx 和 Altera，其中區塊（blocks）被排列成矩陣利用垂直和平行方向繞線（routing）。一個不適當繞線（routing）的佈局（layout）會使其缺少彈性（flexibility）和有著較低的資源利用程度（resource utilization），因此而提供有限的效能。如果有太多的互連（interconnect）則會有較多不必要的電晶體，因此需要較大的矽晶空間，較長的電線和較多的能源消耗。

## 使用工具流程

通常，可組合計算系統（configurable computing system）的工具可以分成兩個部分，用在可重組矩陣（reconfigurable array）的電腦輔助設計工具（CAD）和用在 CPU 方面的編譯（compilation）工具。前端（front-end）的編譯器（complier）是一種整合的工具，會產生結構化的硬體描述（hardware represatation）當成硬體設計流程（hardware design flow）的輸入。可重組結構（reconfigurable architecture）的硬體設計流程可以利用設計程式（design process）的三個主要階段來分類，技術對映（technology mapping），擺置演算法（placement algorithm），繞線演算法（routing algorithm）。

有一些類型的可重組計算機是被微程式化（microcoded）的處理器，其中微程式被存在隨機存取記憶體（RAM）或 EEPROM 中，而且可以在重新啟動（reboot）改變或執行中（on the fly）改變。像是 AMD 2900 系列的 bit slice 處理器可以在重新啟動辦到，而 FPGA 可以在執行中辦到。

有些基於資料流的處理器是利用可重組計算的概念完成的。

## 模式的轉移

## 專業用語

## 參見

* C-One
* Sprinter

## 參考文獻

* G. Estrin, "Organization of Computer Systems—The Fixed Plus Variable Structure Computer," _Proc. Western Joint Computer Conf._, Western Joint Computer Conference, New York, 1960, pp. 33-40.
* N. Tredennick: The Case for Reconfigurable Computing; Microprocessor Report, Vol. 10 No. 10, 5 Aug 1996, pp 25-27.

## 外部連結

* IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM) （頁面存檔備份，存於網際網路檔案館）
* International Conference on Field-Programmable Logic and Applications (FPL) （頁面存檔備份，存於網際網路檔案館）
* BYU Configurable Computing Laboratory's FPGA CAD tool set
* The Morphware Page
* The OpenFPGA effort（頁面存檔備份，存於網際網路檔案館）
* RC Education Workshop （頁面存檔備份，存於網際網路檔案館）
* Reconfigurable Architectures Workshop （頁面存檔備份，存於網際網路檔案館）
* Reconfigurable Computing: Coming of Age
* The Virginia Tech Configurable Computing Laboratory
* The University of Florida High-Performance Computing & Simulation Research Laboratory
* The University of Kansas Hybridthreads Project - OS for Hybrid CPU/FPGA chips （頁面存檔備份，存於網際網路檔案館）
* Why we need Reconfigurable Computing Education
可重用性

電腦科學和軟體工程中的**可重用性**（reusability），是指可以重新使用以某種軟體開發過程下產生的已有「資產」（assets）。「資產」是指在軟體開發生命週期中產生的產品以及副產品，可以是程式碼、軟體模組、測試套件、設計以及檔案。代碼複用就是程式碼可重用性的呈現。另外一種概念稱為「槓桿」（leverage），是指為了符合特定的系統需求，修改現有的資產。因為重用可以減少同一資產的不同版本，因此在版本管理上會比槓桿要好。

以程式碼來說，子程式或函式是可以重用的最小單位。一長串的程式碼一般會用模組或命名空間進行管理，區分為不同的層次。一些支持者認為物件以及軟體組件是可重用性更高的型式。不過很難客觀的衡量可重用性，為其定義等級或是評分。

可重用性非常依賴由較小的部份建構出較大東西的能力，而且要可以識別出這些部份的共性。可重用性是系統平台軟體必要的特質。可重用性也帶出許多軟體開發中的不同層面，若沒有可重用性，這些層面可以不需要考慮。

可重用性表示對於軟體組建、包裝、分銷、安裝程式、組態、軟體部署、軟體維護和升級，有一些具體的管理方式。若沒有考慮這些議題，可能在軟體設計的觀點來看，可以復用程式，但在實務上仍然無法復用。

軟體可重用性更多的是指軟體單元（或是許多軟體單元）在設計上的特質，這個特質使其適合於復用。

許多復用的設計原則是在 WISR 的 workshop 中提出的。

以下是一些軟體重用旳設計特徵：

* 適應性
* 簡短：長度不長
* 一致性
* 正確性
* 可延伸性
* 速率
* 靈活的
* 泛型
* 不穩定（可變）設計假設的在地化（David Parnas）
* 模組化編程
* 正交
* 參數化
* 簡單：低複雜性
* 在需求變化下可以保持穩定。

有關上述特徵中，哪一個比較重要，或是在特定應用下，那一個議題影響比較大，目前也還沒有共識。

## 相關條目

* 代碼復用

## 參考資料