zetavg/zh-tw-wikipedia huggingface dataset:
可喜可賀

《**可喜可賀**》（英語：_Congratulations_），是美國樂團 MGMT 的第二張專輯， 2010 年 4 月 13 日於北美發行。

## 創作歷程

MGMT 早於 2009 年初便開始為這張專輯作曲。兩人最終前往馬利布和前 Spacemen 3 團員 Pete Kember 一同進行錄音工作，此外合作對象還有 Royal Trux 及歌手 Jennifer Herrema。 VanWyngarden 提到:「這是我們試圖回應上一張專輯發行後所產生的衝擊效應，有些事並非想像中簡單。」首張專輯《Oracular Spectacular》發行後該團知名度大幅提高，連帶影響了這張專輯的產生。

據傳保羅・麥卡尼曾有意與該團一同合作，並希望「[與他們] 一起寫一些舞曲風格的音樂。」

2010 年 1 月 12 日，主唱 Andrew Van Wyngarden 在與《Spin Magazine》專訪中提到專輯已經完成，並說「 專輯已經混過音了，目前正等著上架前最後的流程。」

同年 1 月 18 日，MGMT 提到他們並不希望針對此專輯額外發行任何單曲。 在與《新音樂快遞》的專訪中，兩人提到了這張專輯的概念，他們認為這張專輯是一個一體性的產物而非一張主打單曲的集大成。Goldwasser 說:「我們希望歌迷能親自聽完整張專輯後找到他們喜歡的歌曲，而非一味地盲從於收音機連環播放的主打歌－前提是如果有任何電臺願意播的話！」他又解釋道:「在這張專輯裡，不會有像 'Time to Pretend' 或 'Kids' 那樣的主打歌存在。我們討論了很久，希望歌迷能依序聽完整張專輯，而非僅僅上網下載專輯裡前 3 名熱門主打歌，其餘的一律充耳不聞。」

2010 年 2 月 5 日，該團的官方網站上出現了一個倒數計時的時鐘程式，最終於 2010 年 4 月 13 日倒數停止，預示了該專輯上市的時間表。

2010 年 3 月 9 日，MGMT 提供了專輯收錄歌曲〈Flash Delirium〉作為免費下載。

2010 年 3 月 20 日，MGMT 在官方網站上提供了專輯全數曲目作為串流試聽用，並加註:「我們其實希望能讓大家免費下載整張專輯，但 [除了我們自己] 沒有人贊同這個點子。」

該專輯上市後立刻空降英國榜第 4 名，並於美國告示牌二百大專輯榜當中排名第 2 名。

在這張專輯的 iTunes 預售版本中另外收錄了一首新增的歌曲，歌名為〈Inbetween The Liners〉。

該專輯封面為藝術家 Anthony Ausgang 所設計。

## 曲目

## 市場票房

## 幕後人員

### 執行製作

* Andrew VanWyngarden - 製作
* Ben Goldwasser - 製作
* Peter "Sonic Boom" Kember - 製作、和聲、打擊
* Thunder Davis - 製作
* Billy Bennett - 技術
* Matt Boynton - 餘項製作
* Daniel Johnson - 技術助理
* Dave Fridmann - 混音、技術助理
* Greg Calbi - 母帶後期處理
* John Cheuse - 藝術指導、設計、映像
* Anthony Ausgang - 封面設計

### 音樂製作

* Andrew VanWyngarden - 主唱、吉他、鼓、貝斯、合音、鋼琴、笛音、口琴、西塔、打擊樂器
* Ben Goldwasser - 合音例帶、風琴、鋼琴、和弦器、數據、和聲、打擊樂器
* James Richardson - 吉他、合音、合成鼓、鐘琴、薩氏管、排簫、和聲、打擊樂器
* Matt Asti - 吉他、貝斯、鋼琴、和聲、錄音、打擊樂器
* Will Berman - 鼓、吉他、貝斯、和聲、合音、打擊樂器
* Britta Phillips - 和聲 ("It's Working")
* Jennifer Herrema - 和聲 ("Song For Dan Treacy" 及 "Flash Delirium")
* Gillian Rivers- 弦樂器
* Dave Kadden - 雙簧管、雜項 ("Siberian Breaks")

## 參考資料

## 外部連結

* Official website（頁面存檔備份，存於網際網路檔案館）
* Congratulations Album Blog
* http://www.mtv.com/news/articles/1631334/20100204/mgmt.jhtml（頁面存檔備份，存於網際網路檔案館）
* MGMT, "Congratulations"（頁面存檔備份，存於網際網路檔案館） by Billboard
可喜杜鹃

**可喜杜鵑**（學名：**_Rhododendron dichroanthum_ sp. _apodectum_**）為杜鵑花科杜鵑屬下的一個亞種。

## 參考文獻

## 擴展閱讀
可回售债券

**可賣回債券**（Putable Bond）是債券持有人可以按照特定價格在債券到期日之前強制賣給債券發行人的一種特殊債券。賣回的權利是針對債券持有人而言的，也稱為**可回售債券**。它可以視作一種內嵌了看跌期權（Put Option）的債券。

賣回價格通常為債券面值。當市場利率較高時，投資人可以將債券賣回並將所得資金投資於其他債券來獲得更高的收益。由於該條款對投資人有利，作為補償，投資人往往願意接受較低的票面利率。

## 參見

* 可贖回債券
可回收垃圾

**可回收垃圾**是一種可回收的垃圾分類。一般的可回收垃圾可分為下列數種：

* 塑膠
  * PET
  * HDPE
  * LDPE
* 金屬
  * 鐵（鐵罐和其他鐵製品）
  * 非鐵金屬（鋁罐、銅片和其他金屬製品）
* 玻璃（回收製成新的玻璃容器或當做粒料）
* 紙（可直接回收的可生物降解廢物）
* 可生物降解廢物，可以用做堆肥或生化氣體

## 另見

* 資源回收
* 垃圾分類
* 塑膠分類標誌
可因氏月橘

**調料九里香**（學名：_Murraya koenigii_）又名**麻絞葉**、**咖哩葉**、**咖哩樹**、**可因氏月橘**，是芸香科月橘屬的一種植物。原產於印度，分佈於熱帶與亞熱帶地區。以其葉子有咖哩的味道可做香料使用而得名。

植株為小喬木，可以生長至四至六公尺高，樹幹直徑可達四十公分粗。葉為羽狀複葉，有小葉 11-21 片，小葉長 2-4 公分，寬 1-2 公分。花小，白色，有香味。果實為小漿果，黑色。果實可以食用，不過裡面的種子具有毒性。

## 用途

本種葉子具有強烈的香味，可做香辛料使用，在印度及斯里蘭卡的料理裡，特別是在做咖哩料理時，常會加入這種葉子來當做調味料使用。新鮮的葉子保存期限很短，若是存放在冰箱內，則可以保存一個星期左右。市面上也可以買到乾燥的葉子，不過乾品的香味比較不香。
日本明治大學的研究顯示，咖喱葉提取物在實驗室環境下可殺死特定種類的癌細胞。

## 參考文獻
可园

**可園**可以指：

* 東莞可園，廣東四大名園之一
* 北京可園，北京的一座私家園林
* 蘇州可園，蘇州的一座園林
* 福州可園，福州的一座歷史建築
可园_(北京)

**可園**，位於北京市東城區帽兒胡同 9 號，原是清朝光緒年間大學士文煜的宅第（帽兒胡同 7-13 號）的花園部分，建於清朝咸豐十一年（1861 年），是北京著名的私家園林。

## 歷史

可園所屬的宅第位於帽兒胡同 7-13 號，是由五座院落並聯形成的大型宅第，占地面積 11000 平方米。這座宅第中的「可園」即帽兒胡同 9 號。1984 年，「可園」公布為北京市文物保護單位，並劃定帽兒胡同 7 至 11 號院為可園的保護範圍。2001 年由國務院公布為全國重點文物保護單位，文物保護範圍仍涵蓋帽兒胡同 7 至 11 號院，但不包括 13 號院。但文煜宅第位於南鑼鼓巷歷史文化保護區內，依照北京市人民政府 2002 年批准的《北京舊城 25 片歷史文化保護區保護規劃（南鑼鼓巷）》，13 號院同樣禁止拆遷。

文煜（？-1884 年）是滿洲正藍旗人，費莫氏，字星岩，大學士。文煜逝世後，該宅被他的後人出售給馮國璋。抗日戰爭時期，日本占領北平，此宅又歸偽軍司令張蘭峰。中華人民共和國成立後，此宅被分隔當作不同單位的宿舍，其中的帽兒胡同 9 號、11 號院還一度成為朝鮮駐華大使館。

2008 年秋，文煜宅第的產權人中華人民共和國外交部通過其行政司向北京市東城區房屋管理局提出在帽兒胡同 9 號、11 號和 13 號開展拆遷項目的申請，後獲得北京市東城區房屋管理局批准。2008 年 11 月 19 日起，民間公益組織北京文化遺產保護中心經網際網路公開呼籲，要求外交部不要在可園開展拆遷項目。經北京文化遺產保護中心呼籲以及其與媒體的合作，引起各方關注，使文煜宅第免遭拆除。

## 建築

這處宅園共有五座院落，其中帽兒胡同 7 號占有兩座院落，受到的破壞最嚴重，帽兒胡同 9 號即「可園」，帽兒胡同 11 號和 13 號都是平面狹長的大四合院，相互連通。五座院落分別擁有各自的南北中軸線，布局嚴謹但又有靈活之處，正中求變。

### 可園（9 號院）

可園內有文煜的侄子志和撰寫的園記石碑，記載該園建成於清朝咸豐十一年（1861 年）。園記稱，興建該園林「但可供游釣，備棲遲，足矣。命之曰『可』，亦竊比衛大夫『苟合苟完』之意云爾。」又稱該園「拓地十方，築室百堵，疏泉成沼，壘石為山，凡一花一木之栽培，一亭一榭之位置，皆著意經營，非復尋常。」

可園東西寬約 26 米，南北長約 97 米，面積大約 4 畝，分成前後兩進院落，前院的中心是沼池，後院的中心是假山。兩院各自獨立，東部有長廊連通兩院。兩院各有一座正房或者正廳位於院內正中央，坐北朝南，並且在西廂各設有一座小廳，和東部的長廊相對。

* 前院：可園東南角為大門，門內有疊石假山作為屏障，山上有一座小而精巧的六角亭。向西穿過山洞，繞過西廳前面，可到達水池上的小石橋。水池很小，平面呈曲折形狀，引出兩脈水流，一脈水流穿過石橋到西院牆而止，另一脈水流穿過南側的假山到達六角亭下，和山石相應而得山泉的意境。前院正廳，面闊五間，硬山頂，帶有耳房和遊廊。
* 後院：自前院正廳東側穿過長廊，沿一條綠竹掩映的斜徑，可到達後院，院內山石與松竹相間。後院正房，面闊五間，硬山頂，帶耳房和遊廊，前出三間歇山頂抱廈。後院東部的假山上有座軒館，面闊三間，歇山頂，是全園的制高點。該軒建築精巧，臨山面石，前面有一棵大槐樹，坐凳是美人靠。軒下用山石砌有淺壑，有雨水則為池，無雨水則為壑。

可園建築都是灰色筒瓦，牆面主要是清水磚牆，不刷白粉。廳榭等建築都是紅柱，長廊是綠柱。梁枋上有蘇式彩畫，但沒有滿鋪，僅僅在枋心包袱、箍頭位置裝飾。建築檐下的吊掛楣子都是精美的木雕，主要圖案有歲寒三友（松、竹、梅）、荷花、葫蘆等等。可園有中軸線與正廂觀念，布局疏朗，建築精巧，山水相映，園內還有多棵松樹、國槐、桑樹等古樹，整體保存較為完好，是北京晚清私家園林的代表作。

### 7 號院

可園東南部的遊廊折而向東，通往 7 號院假山上的一座敞軒，敞軒面闊三間，歇山頂。敞軒尚存，假山的山石均已失落，僅餘土堆。據 7 號院的現狀及建築的尺度分析，7 號院中的西院應當有前後兩進院落，主要為園林，東院應當是四進院落的四合院。

* 東院：東院現已遭很大拆改，僅餘一座面闊三間的正房以及後罩房，其他地方全是文化大革命後搭建的簡易房。
* 西院：西院保存情況稍好，除上述假山上的敞軒以外，大門及四間倒座房、後面的五間北房保存大致完好。廊子和假山與可園的遊廊和假山連接。西院假山北面原來是一座兩卷前後共十間的歇山頂大廳，後來被馮國璋家拆除，新建一座二層洋樓，現洋樓尚存，已經被改造，但保留著部分中華民國時期的建築風格。

### 11 號院

11 號院是五進四合院。主要建築有：

* 照壁：大門對面的胡同南側原來有一座大型照壁，現已無存。
* 大門：大門已被重新整修過，門前設有上馬石。
* 第一進院：平面扁長，大門內有一座磚砌影壁。院內南側的大門旁邊有倒座房七間。院內北側為垂花門，一殿一卷式，雕飾非常精美，垂花門前有一對石獅，但頭部已殘缺。
* 第二進院：從垂花門進入第二進院，院落平面接近正方形。正房三間，帶耳房，還有東西廂房。東西耳房旁邊通向第三進院，東側院牆上有屏門通往東部的可園。
* 第三進院：正房三間，帶耳房，還有東西廂房，有遊廊環繞連接。
* 第四進院：正房及廂房與第二、三進院相似，但院落的尺度很大，又在第三進院正房北側接建一卷南房，遊廊已多半殘毀。
* 第五進院：有後罩房九間。

### 13 號院

13 號院是五進四合院，布局和 11 號院相似。主要建築有：

* 大門：已毀。
* 第一進院：大門兩側有五間倒座房尚存。院北側的垂花門及兩側的遊廊已被拆除，原址興建了一座鍋爐房。
* 第二進院：正房三間，帶耳房，還有東西廂房。
* 第三進院：正房五間，帶耳房，還有東西廂房。東廂房除了前廊以外，進深不到 1 米，實為有外檐的假屋，其正中的四扇屏門可通往 11 號院。
* 第四進院：面積較大，並且擴展向西，兩側並不對稱。北面為正房，面闊三間，左右各帶兩間耳房，東連順山房三間。西廂現有一榭，前出一卷單間懸山抱廈，和東廂房相對應。院內的遊廊保存大致完好，院內還有一株棗樹、三株檜柏，都是樹齡超過百年的古樹。該院原是後花園，內有假山、水池、竹林、樹木，西廂房是池上居，假山上還有一座小亭，如今小亭、假山、水池均已無存。北廊偏西是井院，如今水井已無存，僅存兩間小房。
* 第五進院：有後罩房十多間。

## 參考文獻
可园_(福州)

**可園**是中國福州市的一處歷史建築，位於倉山區倉前街道馬廠街康山里 5 號，毗鄰以園。

可園建於民國初年，原為鹽務官員鍾景竹所建，英式建築風格，紅磚砌築，包括兩座高三層公寓樓。

1923 年初，此處曾為王連俊寓所，在此舉行了歷時一個月的福音布道會，有數百人加入了新興的福州地方教會。1928 年 8 月，林徽因和梁思成夫妻蜜月期間，回到林氏故鄉福州探母，在此小住月余。此外，福州醫學院教授林梁誠、梵語專家羅世方、作家徐君藩都曾在可園居住。

2013 年，可園被福州市列為保留歷史建築，並被納入馬廠街歷史建築群範圍。

## 參考
可园_(苏州)

**可園**，中國江蘇省蘇州市的一座私家園林，位於姑蘇區人民路 708 號。

## 歷史

1963 年 3 月，可園被列為蘇州市文物保護單位。

## 參考
可地果螳属

**可地果螳屬**（學名：_Cotigaonopsis_）為谷螳科的一個屬。

## 下屬物種

本屬包括以下物種：

* 普羅維登斯可地果螳 _Cotigaonopsis providenceae_ Vyjayandi, 2009

## 參考文獻
可執行與可鏈接格式

**可執行與可連結格式**（英語：Executable and Linkable Format，縮寫 ELF，此前的寫法是 **Extensible Linking Format**），常被稱為 **ELF 格式**，在計算中，是一種用於可執行檔案、目的碼、共享庫和核心轉儲（core dump）的標準檔案格式。首次發布於一個名為 System V Release 4（SVR4）的 Unix 作業系統版本中關於應用二進位介面（ABI）的規範中，並且此後不久發布於工具介面標準（Tool Interface Standard），隨後很快被不同 Unix 發行商所接受。1999 年，這種格式被 86open 專案選為 x86 架構處理器上的 Unix 和類 Unix 系統的標準二進位檔案格式。

按照設計，ELF 格式靈活性高、可延伸，並且跨平台。比如它支援不同的位元組序和位址範圍，所以它不會不相容某一特別的 CPU 或指令架構。這也使得 ELF 格式能夠被執行於眾多不同平台的各種作業系統所廣泛採納。

## 檔案格式

每個 ELF 檔案都由一個 ELF 首部和緊跟其後的檔案資料部分組成。資料部分可以包含：

* 程式頭表（Program header table）：描述 0 個或多個記憶體段資訊。
* 分段頭表（Section header table）：描述 0 段或多段連結與重定位需要的資料。
* 程式頭表與分段頭表參照的資料，比如 .text .data。

　
: :

記憶體段中包含了用於某個 ELF 檔案執行時執行所需的資訊，而片段中包含了用於連結和重定位的重要資料。整個檔案中的任何一個位元組至多只能屬於一個片段，也就是說可能存在不屬於任何片段的孤立位元組。

## 技術規範

Linux 標準規範（LSB）增修了上述一些規格中所指定的架構中相關的部分。例如關於 System V ABI、AMD64 Supplement 的案例。

## 工具

* GNU Binutils 是用來處理許多格式的目的檔 (包括 elf 檔案) 一整套的程式語言工具程式，包括 readelf，objdump，objcopy, nm, strings, strip, as, ar。
* `readelf` 顯示 elf 檔案
* `objdump` 顯示 elf 和 object 格式檔案，解碼 elf 檔案中高階語言語句所對應的機器語言語句段落，組合語言語句段落。
* `nm` 顯示 elf 檔案中變數名和位址

## 參照
可塑性澱粉材料

**可塑性澱粉材料**全名為 Plastarch Material (**PSM**)，是一種可生物降解的熱塑性塑料。PSM 於 2005 年開始商用。經過酯化、交聯、接枝共聚等高分子化學加工工藝製成生物塑膠，通過對玉米澱粉和其他可再生資源的改性和塑化，使其為集剛性、韌性和彈性於一體的新型環保材料，原料可再生、降解。可以與傳統泛用塑料聚乙烯 (PE) / 聚丙烯 (PP) / 聚苯乙烯 (PS) / 聚氯乙烯 (PVC) / 乙烯 / 醋酸乙烯酯共聚物 (EVA) / 可熱塑性橡膠 (TPR) 等材質共混成為生物基塑料使用。

## 來源

以植物澱粉和纖維素等天然高分子材料為主要原料，資源可再生，能夠節約大量的石油資源。

## 材料特性與塑料替代

PSM 具有加工性能，可用普通的塑料加工設備加工成各類製品，產品可具有的使用性能：防水、防油、無毒無害（不含鄰苯類增塑劑、雙酚 A）、耐熱、耐冷。加工生產過程無廢水、廢氣、廢渣的「三廢」排放，符合 RoHS, REACH 等認證環保標準。它也是吸濕性。

由於 PSM 與其他塑料（如聚丙烯 (PP)）類似，PSM 可以運行在許多現有的吹塑成型、片材（吸塑）成型、射出成型（注塑）、發泡成型的生產線，加工溫度 320°F（160℃）-356°F（180℃）。

## 應用

PSM 目前用於各種各樣的應用在塑料市場：

1. 內外包裝的製品有：食品包裝、電子產品包裝、花缽和底碟、育苗花缽、醫藥包裝、酒店用品、防震包裝（珍珠板）、無定型泡沫緩衝材料（peanut packaging，台灣在相關產業常稱之為「乖乖」）。
2. 膜與膜類的製品有：工業和農用薄膜、生物全降解膜袋、澱粉基購物袋、收縮膜、重包裝袋、背心袋、生物降解塑膠袋。
3. 怡客相關製品：垃圾袋、男女鞋套、密實袋、桌布、澱粉基水杯、澱粉基餐碗、刀叉勺、餐具、杯盤碗碟、餐盒、無毒玩具。
4. 文體用品的製品有：高爾夫球釘、文具。
5. 其他製品還有牙膏蓋和牙刷、廚具、衣架、個人護理用品等等。

PSM 在生物塑料套袋應用上，成功解決普遍家電套袋中，利用回收聚乙烯 (PE) 或聚乙烯 (PE) 中填充大量的碳酸鈣產生的密度由 0.93 增大到 1.0-1.6 公克 / 立方公分（成本提高）、影響物理性能（容易掉粉）問題，PSM 成型膜袋密度約為 0.75 公克 / 立方公分。PSM 應用在三層吹瓶上，產品表面與一般 PE 一樣有光澤，無異常粉末或片狀物，無起泡，印刷和封口不受 PSM 材料用量影響。PSM 運用在生物降解塑料時，可堆肥性已經經國際權威的檢測機構比利時 OWS 進行 EN13432 和 ASTM D6400 標準檢測，並由獨立的第三方認證機構 DIN CERTCO 和 VINCOTTE 進行認證，取得了 "Compostable" 標識和 "OK Compost" 標識。

因為 PSM 是來自可再生資源（玉米澱粉），它已成為一個有吸引力的石油衍生的替代產品。

## 回收

PSM 生物降解材料及製品使用後的廢棄物可完全生物降解，​​能夠實現垃圾堆肥化和無害化處理。在大氣中的穩定的，但在適當的潮濕的土壤、淡水、海水，和活性污泥中的微生物存在條件下可生物降解（依據 EN13432 標準第 2 部分）的堆肥。90% 以上的 PSM 生物降解塑料僅需 80 天就成功轉為二氧化碳，水，能源和生物碳。

不像一般泛用塑料，PSM 也可以被焚燒處理。中國北京國家塑膠品質監督檢驗中心出具體的檢測報告顯示：每噸普通塑膠（如聚丙烯 (PP)）二氧化碳 CO2 排放量為 3.13 噸，每噸 PSM 二氧化碳 CO2 淨排放量為 0.6 噸。二氧化碳淨排放量只有傳統塑料二氧化碳排放量的 10～20%，能夠有效減少二氧化碳的排放。燃燒產生的是無毒煙霧和白色殘餘物，殘餘物可以用來作為肥料。[來源請求？]

如果與泛用塑料聚乙烯 (PE) / 聚丙烯 (PP) / 聚苯乙烯 (PS) / 聚氯乙烯 (PVC) / 乙烯 / 醋酸乙烯酯共聚物 (EVA) / 可熱塑性橡膠 (TPR) 等材質共混成為生物基塑料使用時，可依據共混材質回收。例如 PSM 與聚乙烯 (PE) 共混，則進入到聚乙烯 (PE) 類的回收系統。
可塑炸药

**塑性炸藥**（**Plastic explosive**）是一種可塑型、黏土狀的炸藥配方，可依需要捏成各種形狀，混合塑化劑和氯酸鉀可以做成塑性炸彈。有 C4、C3 等分類，其組合成分依製造法各有不同。它的形態上有如黏土可耐強壓、揉擠甚至防水，除依特定引信引爆外，純粹高溫或遇火不會讓它自動爆炸。它的引爆方式很多，一般在炸藥上插定時信管，或用遙控、電流等，均可引爆，威力則不亞於 TNT。塑性炸彈不能被金屬探測器發現又可以製作成任意形狀而常被恐怖分子所利用。發生於 1988 年 12 月 21 日的洛克比空難就是由製成布狀的塑性炸彈造成的。

## 參考

* 黏著榴彈
可塘镇

**可塘鎮**，是中華人民共和國廣東省汕尾市海豐縣下轄的一個鄉鎮級行政單位。

## 行政區劃

可塘鎮下轄以下地區：

可塘社區居民委、​隴東村、​倉前村、​上達村、​下達村、​埔隴村、​羅南村、​羅西村、​黃厝港村、​羅東村、​羅北村、​羅山村、​城格山村、​陳厝坡村、​長橋村、​可北村、​可新村、​聯金村、​豐山村、​溪頭村、​下可塘村和東新村。

## 參考資料
可塞

**O2U 海盜式偵察機**，或音譯為「可塞」，於 1925 年由錢斯・沃特公司研製的偵察機、教練機和水上飛機，此機又可大約被分成早期型的 O2U 和後期型的 O3U，兩者皆被稱為海盜式，此機和第二次世界大戰時錢斯沃特公司另一款有名的艦載戰鬥機 F4U 戰鬥機同名。

## 設計特點

O2U 的機身骨架為鋼管焊接主樑再加鋁合金支架而成，前機身為鋁合金蒙皮而後機身為帆布，前座位被油箱包圍，機翼為樺木製而上方主翼向後掠 4.75 度。

O2U 為後三點式固定起落架，固定式起落架為有伸縮式減震器，若果是水上飛機型號為浮筒。

其發動機沒有整流罩的是早型形 O2U，若有的話是後期型的 O3U，在其機頭和後座皆有一挺 M1919 機槍作為武裝。

1926 年 11 月試飛成功並且飛行成績良好，速度比一般雙座位飛機要快而且可以比美戰鬥機，其飛行穩定性也佳故也可作為教練機使用，其機身也容易做維修。

## 主要型號

* O2U-1

頭一批 130 架生產型，當中大部份是水上飛機，其中 6 架陸基型於 1927 年派駐給尼加拉瓜的海軍陸戰隊使用，而且外銷日本 3 架，日本人仿製成為九 O 式二號水上偵察機

* O2U-2

艦載機型，裝有著艦鉤和上翼的中段翼切加大並可在機腹掛上一杖 500 磅炸彈，O2U-2 共生產了 37 架

* O2U-3

修改機上的纜繩和把垂直尾翼重新設計成曲線的形狀，此機尾也為後來的型號沿用

* O2U-4

和 O2U-3 相近但換了設備

* O3U-1

由 O2U-4 發展而來，加裝發動機整流罩，速度明顯加快，故又名海盜二式

* O3U-2

取代 O2U-2 的艦載機型，又名 SU-2

* O3U-3

裝有拋擲式回收系統的水上飛機

* O3U-4

O3U-2 的改良型，又名 SU-4

* V-65

O3U-2/SU-2 的外銷型

* V-92

由 V-65 發展而來的外銷型，前方駕駛艙改為封閉式，當中外銷泰國的被稱為 V-93

## 基本資料 (O2U-1)

* 乘員：2 人
* 機長：7.32 米
* 翼展：10.97 米
* 機高：3.35 米
* 空重：1,021 公斤
* 載重：1,680 公斤
* 翼面積：44.54 平方米
* 最快時速：145 公里 / 小時
* 航程：724 公里
* 昇限：6,126 米
* 發動機：普惠 R-1340 胡蜂式風冷式星形發動機 (450 匹馬力)
* 武裝：上機翼上面有安裝兩挺 7.62 毫米口徑 M1919 機槍和後座安裝一挺同型機槍，下機翼下方武器掛架可懸掛四枚 116 磅的炸彈。

## 可塞機在中國

1929 年 10 月國民政府軍政部航空署署長張恵長從美國錢斯・沃特公司購買 12 架 O2U-1 偵察機，該機裝有炸彈掛架和機槍，是武裝型觀察機。交由廣東航校第 3 期畢業生 20 人做飛行員，隨即用於內戰。至 1933 年，總計購買了 42 架出口型 O2U-1 飛機。1933–1934 年，購買了 21 架出口型 O3U 飛機。前者被稱為舊可塞而後者被稱為新可塞，

### 列寧號

**列寧號**是中國工農紅軍的第一架軍用飛機，現存河南信陽鄂豫皖革命紀念館。

1930 年 3 月 16 日，國民政府軍政部航空署出動美製錢斯沃特 **O2U 海盜式偵察機**從漢口飛往開封，飛行員是龍文光上尉，但回航時遇上大霧，龍文光駕機迫降在宣化店，他隨後被鄂豫皖紅軍第一師三團二營手槍連俘虜，之後龍文光願意加入紅軍，而這架 O2U 被改名為**列寧號**。

### 中日戰爭

中國在抗日戰爭前夕已購買了 V-65（42 架）和 V-92（21 架），此兩型皆被稱為新可塞，1936 年西安事變後一架 V-92 負責接送中共代表周恩來往返延安和西安之間，1937 年七七事變引致中日戰爭並隨即發生 813 淞滬會戰，8 月 15 日，中國空軍的 V-65（O3U-2）偵察機隊也掛上炸彈和 A-16 攻擊機隊一起轟炸駐上海日軍的公大紗廠（已被日本人改為軍事基地）等軍事目標，之後又用於華北戰場，該年年底退出戰場，作為航校教練機使用

## 使用國家

* 美國（生產國）
* 阿根廷
* 巴西
* 中華民國
* 德國
* 日本
* 墨西哥
* 秘魯
* 泰國

## 參考文獻

* 航空知識雜誌 2012 年 2 月號
* 航空知識雜誌 2012 年 9 月號

## 外部連結

* 安內攘外戰役中立第一功的美製可塞偵巡機
可壓縮係數

在熱力學中，**壓縮因子**(_Z_)，是一種修正係數，用於描述真實氣體與理想氣體行為的偏差。它簡單地定義為在相同溫度和壓力下，氣體的摩爾體積與理想氣體的摩爾體積之比。 這是修正理想氣體定律以解釋真實氣體行為的有用熱力學性質。一般來說，氣體越接近相變、溫度越低或壓力越大，與理想行為的偏差變得越明顯。壓縮因子值通常通過狀態方程 (EOS) 計算獲得，例如以化合物特定的經驗常數作為輸入的維里方程。 對於由兩種或多種純氣體（例如空氣或天然氣）混合而成的氣體，在計算可壓縮性之前必須知道氣體成分。

## 定義

在統計力學中，壓縮因子定義的描述是：

　
: $Z={\frac {p{\tilde {V}}}{RT}}$

其中，

 * $\ p$ 為壓力；
* $\ {\tilde {V}}$ 為氣體的摩爾體積；
* $\ T$ 為溫度；
* $\ R$ 為氣體常數。

可以看出，Z 是同樣條件下真實氣體摩爾體積與理想氣體摩爾體積的比值，它的大小反映出真實氣體偏離理想氣體的程度。理想氣體的 Z 值在任何條件下恆為 1。Z 小於 1 說明真實氣體的摩爾體積比同樣條件下理想氣體的為小，真實氣體比理想氣體更易壓縮。Z 大於 1 則相反。由於它反映出真實氣體的壓縮難易程度，所以稱為壓縮因子。壓縮因子的量綱為一。

在非常高的壓力下，所有氣體的 Z 值都大於 1，說明此時分子間排斥力起主要作用。在很低的壓力下，所有氣體的 Z 值都接近 1，此時真實氣體的行為類似於理想氣體。兩者壓力之間，多數氣體 Z<1，意味著分子間吸引力的存在降低了氣體的摩爾體積。

用壓縮因子表示的維里方程如下：

　
: ${\frac {P{\tilde {V}}}{RT}}=1+{\frac {B}{\tilde {V}}}+{\frac {C}{{\tilde {V}}^{2}}}+{\frac {D}{{\tilde {V}}^{3}}}+\dots $

對 p 取導數可以看到，真實氣體的 $\ Z-p$ 圖在 $\ p\to 0$ 時的斜率並不為 1，而是趨於一個維里係數值。但對於理想氣體 $\ dZ/dp=0$ （因為所有壓力下 Z 均 = 1）。維里係數是溫度的函數；在壓力低或摩爾體積大的情況下，使 $\ dZ/dp$ 在 $\ Z\to 1$ 時為 0 的溫度，稱為波義耳溫度。

此外可以類似地使用 $\ Z-p$ 等溫線代替 $\ pV_{m}-p$ 等溫線，反映出真實氣體對理想情況的偏差隨壓力的變化。所有氣體在 $\ p\to 0$ 時均趨近理想氣體，所以任何 $\ Z-p$ 等溫線在 $\ p\to 0$ 時均趨於 $\ Z=1$ 。

將壓縮因子的概念應用於臨界點，可以類似地得到「臨界壓縮因子」：

　
: $\ Z_{c}={\frac {p_{c}V_{m,c}}{RT_{c}}}$

利用范德瓦耳斯方程預測的 $\ Z_{c}$ 值為 0.375。但實際上將各物質的臨界點數據代入上式，得到的 $\ Z_{c}$ 值多小於這個值，表明範德瓦耳斯方程只是一個近似的模型，與真實情況還有一定的距離。不過這也說明 $\ Z_{c}$ 是個大致與氣體性質無關的常數，為對應狀態原理作下鋪墊。

## 參考資料

* Peter Atkins, Julio de Paula. Atkins' Physical Chemistry 8th ed. Oxford University Press. 2006.  引文格式 1 維護：冗餘文本 (link) ISBN 9780198700722.
可复用发射载具

**可重複使用發射系統**(英文：reusable launch system) 是指能夠部分或全部回收火箭部件，並重複使用的發射系統。到目前為止，各國已飛行了幾種可完全重用的次軌道飛行系統和可部分重用的軌道飛行系統。

第一個可重用軌道飛行載具是太空梭，但它無法實現「將發射成本降低至低於一次性運載系統」的目標。SpaceX 首席執行官伊隆・馬斯克表示，如果能夠做到像飛機般可重複使用的火箭，那麼進入太空的成本將減少至百分之一以下。

在 21 世紀，市場對於可重複使用發射系統的興趣日益濃厚，使數種擁有此技術的太空飛行載具誕生。SpaceX 具有可重用第一級推進器、可回收太空艙（天龍號太空船）和一次性第二級推進器的獵鷹九號，太空飛船公司（The Spaceship Company）可重複使用的次軌道太空船 2 號，和藍色起源（Blue Origin）具有可回收第一級推進器和太空艙的次軌道新雪帕德火箭。

## 載具配置

現時尚未能證明單級入軌（SSTO）的方法是可行的，而幾種可部分重用的兩級入軌飛行器正在使用中或已經達到最後發展階段。

如果將飛機視為發射載具中的第一階段，則可以將從飛機發射的消耗性火箭彈歸類爲可部分重用。使用這種配置的其中一個例子是軌道科學公司的飛馬座運載火箭。

 

### 降落

### 發射部件 / 降落燃料重用

## 歷史

隨著 20 世紀上半葉發明火箭推進技術，太空旅行成為一種技術可能性。

單級可重複使用的太空飛機的早期想法被證明是不現實的，儘管即使第一批實用火箭運載工具（V-2）也可以到達太空邊緣，但可重複使用的技術卻過於沉重。另外，作為運輸核彈頭等武器的載具，許多早期的火箭不可能被設計為可回收火箭。多級火箭解決了早期火箭質量效率不足的問題。1981 年，美國航天飛機問世，這是第一個階段的可重複使用太空飛行器。

現代可重複使用的軌道飛行器包括 X-37 和 Dream Chaser。

### 20 世紀

美國航空航天局（NASA）在 1960 年代後期開始了航天飛機的設計過程，其願景是在 1970 年代使用乘員反激式助推器製造完全可重複使用的航天飛機。 這種設計被證明過於昂貴且無法及時開發，因此該設計被縮減為使用可重複使用的固體火箭助推器和消耗性的外槽。實踐證明，航天飛機在其整個生命週期（1981 年至 2011 年）中要比消耗性的發射系統昂貴得多。

1986 年，羅納德・裡根總統（Ronald Reagan）呼籲使用噴氣式超燃沖壓發動機國家航空飛機（NASP）/ X-30。 該項目由於嚴重的技術問題而失敗，並於 1993 年被取消。

在 1990 年代，麥克唐納・道格拉斯（McDonnell Douglas）Delta Clipper VTOL SSTO 提議進入了測試階段。 DC-X 原型展示了快速的周轉時間和自動計算機控制功能。

在 1990 年中期，英國的研究將早期的 HOTOL 設計演變為前景更為廣闊的 Skylon 設計，該設計仍在開發中。

從商業角度來說，Rocketplane Kistler 和 Rotary Rocket 試圖在破產之前製造可重複使用的私人開發火箭。

美國宇航局提出了危險的可重用概念，以取代航天飛機技術，這將在 X-33 和 X-34 計劃中得到證明，由於成本上升和技術問題，它們在 2000 年代初均被取消。

### 21 世紀

Ansari X Prize 競賽旨在開發私人亞軌道可重複使用載具。 許多私營公司與獲勝者 Scaled Composites 競爭，在兩週的時間內憑藉其可重複使用的 SpaceShipOne 兩次到達了 Kármán 線。

2012 年，SpaceX 開始使用實驗載具進行飛行測試計劃。 這些後來導致開發了 Falcon 9 可重複使用的火箭發射器。

2015 年 11 月 23 日，新雪帕德火箭成為第一架通過卡爾曼線 (Karman line)（100 km 或 62 mi）進入太空的垂直起飛 / 著陸（VTOL）亞軌道火箭，達到 329,839 英尺（100,535 m），然後返回並使用降落傘降落。
在協助將 11 顆 Orbcomm OG-2 商業衛星送入低地球軌道之後，SpaceX 於 2015 年 12 月 21 日實現了可重複使用軌道火箭級的第一次垂直軟著陸。

獵鷹 9 號第二次飛行是在 2017 年 3 月 30 日進行的。現在，SpaceX 通常會恢復並重新使用其第一階段，同時也打算重新使用整流罩。

截至 2020 年 5 月，唯一可操作的可重複使用的軌道級發射系統是獵鷹 9 號運載火箭和獵鷹重型運載火箭。 SpaceX 還正在開發可完全重用的星艦，預計於 2022 年進行首次軌道飛行測試

## 可重複使用發射系統列表

## 參考資料

## 參見
可多拉

**第三世代的寶可夢**是指在 2002 年發售的《寶可夢 紅寶石／藍寶石》與 2004 年的《寶可夢 火紅／葉綠》中引入的 135 種新的虛構生物，下表列出第三世代的寶可夢，以遊戲中名為「寶可夢圖鑑」的百科全書所提供的編號排列，自編號 252 的木守宮至編號 386 的代歐奇希斯。

## 設計與開發

Nintendo Life 在回顧中指出，第三世代的寶可夢的感覺和前兩代有很大的不同，這 135 個新寶可夢裡，除了露力麗和小果然以外，其它的寶可夢和前兩代的寶可夢沒有太大的關連。

由於第一和第二世代裡罕有「惡」和「鋼」屬性的寶可夢，因此《紅寶石》和《藍寶石》裡新增了許多這兩個屬性的寶可夢。而《硬蕊玩家》也注意到比起前兩個世代，這一代的寶可夢具有兩個屬性的比例較高。

## 列表

## 迴響

《硬蕊玩家》雜誌的艾列克斯・卡爾森（Alex Carlson）在 2014 年寫道，第三世代的寶可夢並沒有受到系列玩家們的好評，有些人認為這一代是系列史上最糟糕的。一部份的原因是因為《紅寶石／藍寶石》不允許玩家將他們在前幾代的寶可夢轉移至這一代，而且直到《火紅／葉綠》發售之前，許多舊版的寶可夢都沒有出現在《紅寶石／藍寶石》中 。除此之外，部分新寶可夢如火稚雞、醜醜魚、愛心魚、飄浮泡泡和珍珠貝等寶可夢被批為原創性不高。

## 註釋

## 參考來源
可大乡

**可大鄉**，是中華人民共和國重慶市酉陽土家族苗族自治縣下轄的一個鄉鎮級行政單位。

## 行政區劃

可大鄉下轄以下地區：

可大村、​吳家村、​中壩村、​七分村、​昔比村、​新溪村、​客寨村和程香村。

## 中國傳統村落

2013 年 8 月，七分村被評為第二批中國傳統村落。

## 參考資料
可姬蜂属

**可姬蜂屬**（學名：_Xestopelta_）是姬蜂科下的一個屬。

## 下屬物種

本屬包括以下物種：

* _Xestopelta alutacea_ (Benoit, 1955)
* 亮可姬蜂 _Xestopelta gracillima_ (Schmiedeknecht, 1926)
* _Xestopelta lugens_ (Seyrig, 1934)
* _Xestopelta sexcincta_ (Brauns, 1896)
* _Xestopelta vertebrata_ (Cushman, 1922)

## 參考文獻
可它爱着这个世界

《**可它愛著這個世界**》是中國男歌手周深演唱的首支自己作曲的歌曲。周深因此曲獲得微博 2019 十大影響力原創音樂人獎項。在 2018 年度流行音樂全金榜的音樂旅程中，周深參加了多場「音樂面對面」活動，在全國各地的歌迷們面前現場演繹了《可它愛著這個世界》等眾多優秀的音樂作品，周深因此在 2019 年 5 月獲得了流行音樂全金榜頒發的「年度最佳舞臺演繹」獎。歌曲於 2018 年 9 月 29 日作為數字單曲發布。

## 背景和風格

2018 年 9 月 29 日，這一天是歌手周深 26 歲生日，也是他演唱的首支由作曲人周深創作的歌曲《可它愛著這個世界》在音樂平台作為單曲發布的日子。周深介紹說，這首歌的創作靈感來自《夏目友人帳》中露神那一集，被那些「妖怪」們之間的溫暖感動，於是寫下了最初的旋律。後來經過多次修改，終於在四年後的這一天發表了這第一支自己的原創單曲。

上海普陀分享了這首治癒的歌曲，並評論：「周深 #歌聲里緘默的溫柔為我們推開去往精奇古怪的可愛世界的大門，用光芒里的最耀眼最旖旎直擊你內心的柔軟。」

## 創作者

以下內容整理自豆瓣音樂和 QQ 音樂：

## 重要演出

2018 年 12 月，周深在流行音樂全金榜長春和南寧的「音樂面對面」活動現場分別演唱了《可它愛著這個世界》。

2021 年 12 月 31 日，周深在 Bilibili 最美的夜跨年晚會現場演唱了《可它愛著這個世界》與《Just Like Fire》。

## 排行榜

《可它愛著這個世界》自上線就好評不斷，歌曲在各個榜單中也拿到了前三的好名次。

## 榮譽

## 參考文獻

## 外部連結

* YouTube 上的 b 站跨年晚會現場視頻
可安装文件系统

**可安裝檔案系統**（英語：Installable File System，縮寫 **IFS**）也稱**可安裝的檔案系統**，它是 MS-DOS/PC DOS 4.x、IBM OS/2 和 Microsoft Windows 中的一個檔案系統 API，使作業系統能夠辨識和載入用於檔案系統的驅動程式。

## 歷史

在 IBM 和微軟聯合開發 OS/2 時，他們意識到 FAT 檔案系統沒有提供現代作業系統所需要的一些特性，因此微軟開始開發代號為「Pinball」的高效能檔案系統（HPFS）。

相比 FAT 在作業系統核心中編寫代碼，微軟開發了一個基於驅動程式的檔案系統 API，以便他們和其他開發者可以在不對核心做修改的情況下添加新檔案系統。

當微軟停止就 OS/2 的開發時，IBM 繼續使用該 IFS 介面，而微軟在 Windows NT 中實現了類似的介面。

## Windows 3.11 和 9x 中的 IFS

**IFSHLP.SYS**（Installable File System Helper）是一個 MS-DOS 裝置驅動程式，最早作為微軟 Windows 3.11 的一部分發布。它以繞過 16 位元 DOS API 並確保沒有其他真實模式驅動程式攔截 INT 21h 呼叫的方式使 Windows 386 增強模式下支援原生 32 位元檔案存取。

IFSHLP.SYS 的保護模式對應 Windows 3.11 中的 IFSMGR.386 和 Windows 95 以及 Windows 98 中的 IFSMGR.VXD。

## Windows NT 中的 IFS

IFS API 是 Windows Driver Kit 的一部分。

當微軟停止開發 OS/2 並專注於當時稱為 OS/2 NT 的系統時，他們採用了 IFS 的想法與 HPFS 檔案系統。

相比原來的四份方案，NT IFS 被重新設計為兩份方案，microIFS 和 miniIFS 被從方案中移除，IFS 和 Helper 保持不變。Windows NT 4.0 中增添了碎片整理助手（DEFRAG）。微軟原 NTLDR 被編寫為從 FAT、HPFS 或 NTFS 編寫 NT 核心，不過隨後的版本放棄了對 HPFS 的支援。上述所有驅動程式和助手程式都是 32 位元 PE 可執行檔。FAT 檔案系統從核心中移除，轉移到一個 IFS，並利用 32 位元處理能力進行了大量效能最佳化（稱為 FASTFAT）。

最初的 Windows NT 3.1 包含 FAT、HPFS (Pinball) 和新建立的 NTFS 驅動程式，以及一個新且改進的 CD-ROM 檔案系統驅動程式，其支援 Microsoft Joliet 檔案系統所用的長檔名。

Windows NT 3.51 向 NTFS 和 IFS 介面增添了單個檔案的壓縮。Windows NT 4.0 中，HPFS 被移除。在 Windows 2000 中，FASTFAT 的更新增添了 FAT32 和通用光碟格式（UDF）的支援。

Windows 2000 修改了 IFS 介面以增添單個檔案的加密能力。

網路共享檔案系統和防病毒程式也使用 IFS 實現。

蘋果公司自 Mac OS X 10.6 的 Boot Camp 中開始包含唯讀的 HFS + 驅動程式，以供 Windows XP、Windows Vista 和 Windows 7 使用。

## 參考書目

* O'Reilly - Windows NT File System Internals, A Developer's Guide - By Rajeev Nagar - ISBN 1-56592-249-2
* Microsoft Press - Inside Windows NT File System - By Helen Custer - ISBN 1-55615-660-X
* Microsoft Press - Inside Windows NT - By Helen Custer - ISBN 1-55615-481-X

## 參見

* 虛擬檔案系統
* 檔案系統列表
* 檔案系統的對比

## 參考資料

## 外部連結

* Microsoft's IFSKit （頁面存檔備份，存於網際網路檔案館）（英文）
可定

**瑞舒伐他汀**（英語：**Rosuvastatin**），商品名為 **Crestor**，中文商品名在中國大陸為**可定**、在台灣為**冠脂妥**，是一種他汀類藥物，與運動、飲食控制和減肥聯合來治療高膽固醇血症和其他相關症狀，也用來預防心血管疾病。瑞舒伐他汀由鹽野義製藥研發。可定是美國藥品銷量排行榜的第四名，2013 年創造的銷售額約為 52 億美元。

## 醫療用途

瑞舒伐他汀主要用來治療血脂異常。建議只有在通過飲食控制、運動和減肥後仍無法控制血脂濃度的情況下才使用瑞舒伐他汀。

## 適應症和監管

### FDA 對東亞患者的建議

FDA 指出，亞裔美國人使用瑞舒伐他汀治療導致肌肉疾病的風險增高

> 瑞舒伐他汀的生產廠商阿斯利康製藥指出，由於亞洲人對藥物的代謝過程不同，使用標準劑量的一半便能取得滿意的降低血脂的效果，而使用標準劑量則可能增加副作用發生的風險。
> 
> 

因此，醫師應該調低亞裔美國人或東亞患者的起始劑量。

## 偽藥事件

2017 年 3 月 2 日，台灣新北市一間社區藥局藥師為病人調劑藥品時，發現冠脂妥的藥品色澤和以往不同，向中華民國藥師公會全國聯合會反映，通報衛生福利部食品藥物管理署與生產廠商阿斯特捷利康製藥（AstraZeneca）介入調查。經調查後懷疑冠脂妥批號「MV503」可能有偽藥，於同年 3 月 4 日緊急要求各藥局及醫院先行下架此批號的冠脂妥。

## 引用
可定义数

**可定義數**（英語：definable number）是指能夠以有限的文字描述出來的數。自然數、有理數、代數數、圓周率等都有明確的定義，都屬於可定義數的範疇。事實上，整個人類歷史上所有文獻提到過的所有的數都是可定義的，因為它們都已經被人們描述出來了。

## 參考文獻

* matrix67. 比根号 2 更 “无理” 的数. [2013-11-04]. （原始內容存檔於 2019-06-05）.
可宜

**可宜**（英語：Natalie Mitchell，1984 年 6 月 28 日 —），港英混血兒，於香港土生土長，早年就讀聖保祿學校，並曾到英國留學，2008 年經香港有線電視主播大募集而入行，曾為有線娛樂新聞台主播，在 2016 年 10 月離職。丈夫是香港籃球員鄭錦興。

## 演出

### 節目主持（香港有線電視）

* 2008 年 - 2016 年：有線娛樂新聞台主播
* 2010 年：絲路・千年一嘆
* 2011 年：怪談・靈異直播
* 2013 年：美少女的奇幻漂流
* 2014 年：今日觀點 夏日對決
* 2014 年：我是香港人
* 2015 年：娛樂熱辣辣

### 節目主持（ViuTV）

* 2018 年：晚吹 — 罪光燈

### 節目主持（香港開電視）

* 2022 年：有種老闆娘

### 其他演出

* 2017 年：第 11 屆亞洲電影大獎主持
* 2017 年：ViuTV《晚吹 — 總有一件喺左近》（第 24 集嘉賓）

## 參考資料

## 外部連結

* 可宜的 Facebook 專頁（繁體中文）
* 可宜的 Instagram 帳戶（繁體中文）
可实现性

**可實現性**是可用來處理關於公式的信息而不是關於公式的證明的那部分證明論。自然數 _n_ 被稱為實現了自然數算術的語言中一個陳述。其他邏輯和數學陳述也是可實現的，假如提供了解釋合式公式一種方法，而不用藉助達成這些公式的證明。

## 起源

史蒂芬・科爾・克萊尼在 1945 年介入了可實現性的概念，寄希望於它成為直覺邏輯推理的忠實典範，但這個設想最初由 Rose 反證了一個可實現的命題公式的例子，它在直覺演算中是不可證明的。可實現性似乎由於它的複雜度而難於公理化，但它可以通過高階 Heyting 算術（HA）來達成。

## 後來發展

改進可實現性使用有類型 lambda 演算作為語言實現者。改進可實現性是展示馬爾科夫原理在直覺邏輯中不可推導的一種方式。正相反，它允許構造性的證實前提的獨立性原理： $(\neg A\rightarrow \exists x\;P(x))\rightarrow \exists x\;(\neg A\rightarrow P(x))$ 。

相對可實現性是非必需可計算的資料結構的遞歸或遞歸可枚舉元素的直覺主義分析，比如在實數在數字計算機系統上只能近似表示的時候在所有實數上的可計算的運算。

## 計算機科學應用

改進可實現性證實了實施於某些證明輔助工具比如 Coq 中的「證明提取」過程。

## 引用

* Birkedal, Lars; Jaap van Oosten. Relative and modified relative realizability. 2000.
* Kreisel G. (1959). "Interpretation of Analysis by Means of Constructive Functionals of Finite Types", in: Constructivity in Mathematics, edited by A. Heyting, North-Holland, pp. 101--128.
* Kleene, S. C. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic. 1945, **10**: 109–124.
* Kleene, S. C. (1973). "Realizability: a retrospective survey" from Mathias, A. R. D.; Hartley Rogers. Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971. Berlin: Springer. 1973. ISBN 354005569X.  , pp. 95-112.
* Oosten, Jaap van. Realizability: An Historical Essay. 2000.
* Rose, G. F. Propositional calculus and realizability. Transactions of the American Mathematical Society. 1953, **75**: 1–19.

## 注釋
可容纳规则

在邏輯中，特別是數理邏輯中，**推理規則**（推論規則）是構造有效推論的方案。這些方案建立在一組叫做**前提**的公式和叫做**結論**的斷言之間的語法關係。這些語法關係用於推理過程中，新的真的斷言從其他已知的斷言得出。規則也適用於非形式邏輯和邏輯論證，但是形式化更加困難和有爭議。

按照規定，推理規則的應用純粹是語法過程。儘管如此它必須是有效的，或者更精確地說保持有效性。為了使保持有效性的要求有意義，某種形式的語義與推理規則有關和推理規則自身的斷言是必需的。對於在推理規則和和語義之間相互關係的討論請參見命題邏輯。

命題邏輯中推理規則的顯著例子是肯定前件和否定後件規則。對於一階謂詞邏輯，推理規則需要處理邏輯量詞。對這種論證的更詳細的描述請參見有效性。在一階謂詞邏輯中把所有推理規則作為一個單一規則來統一處理請參見一階歸結。

注意有很多不同的形式邏輯系統，每個都帶有合式公式、推理規則和語義的自己的集合。參見時間邏輯、模態邏輯或直覺邏輯的實例。量子邏輯也是一種不同尋常形式的邏輯。參見證明論。在謂詞演算中，需要一個補充的推理規則。它叫做普遍化。

在形式邏輯的設置（和很多有關領域）中，推理規則通常用如下形式給出：

前提 #1 
前提 #2 
 **...**
  
前提 #n
  
結論

這個表達式聲稱，在某個邏輯推導期間已經獲得了給定前提，同樣可以認可特定結論。用來描述前提和結論二者的的精確的形式語言依賴於推導的實際上下文。在一個簡單的情況下，你可以使用邏輯公式，比如

 A→B
  
 A   
  
 B

它是命題邏輯的肯定前件規則。推理規則通常通過使用全稱變量而公式化為**規則模式**。在上面的規則（模式）中，A 和 B 可以被實例化為論域（有時約定為某種受限制的子集比如命題）的任何元素，來形成推理規則的無限集合。

證明系統形成自一組規則，它們可以被連結在一起形成證明或_推導_。任何推導都只有一個最終結論，它是要證明或推導的陳述。如果在推導中留下了未滿足的前提，則推導就是_假言_陳述："_如果_前提成立，_那麼_結論成立 "。

## 可接納性和可推導性

在規則的集合中，一個推理規則可能是多餘的，在它是「可接納的」或「可推導的」的意義上。一個可推導規則是可以使用其他規則從它的前提推導出它的結論的規則。可接納規則是只要前提成立結論就成立的規則。所有可推導規則都是可接納規則。要鑑別它們的區別，考慮定義自然數的下列規則集合（判斷 $n\,\,{\mathsf {nat}}$ 斷言 $n$ 是自然數的事實）:

　
: ${\begin{matrix}{\frac {}{\mathbf {0} \,\,{\mathsf {nat}}}}&{\frac {n\,\,{\mathsf {nat}}}{\mathbf {s(} n\mathbf {)} \,\,{\mathsf {nat}}}}\\\end{matrix}}$

第一個規則聲稱 **0** 是自然數，第二個聲稱 **s（n）** 是自然數，如果 _n_ 是自然數。在這個證明系統中，下列規則示範了自然數的第二個後繼者也是自然數，是可推導的：

　
: ${\frac {n\,\,{\mathsf {nat}}}{\mathbf {s(s(} n\mathbf {))} \,\,{\mathsf {nat}}}}$

它的推導只是上述後繼規則的兩次使用的複合。下列規則斷言任何非零自然數有前驅者存在，只是可接納的：

　
: ${\frac {\mathbf {s(} n\mathbf {)} \,\,{\mathsf {nat}}}{n\,\,{\mathsf {nat}}}}$

這是自然數的事實，並可以通過數學歸納法證明。（要證明這個規則是可接納的，你可以假定這個前提的一個推導，並在其上歸納出生成 $n\,\,{\mathsf {nat}}$ 的推導）。但是，它不是可推導的，因為它依賴於前提的推導的結構。為此「可推導性」在增加到證明系統下是**穩定的**，而「可接納性」不是。要看出區別，假設下列無意義規則被增加到證明系統：

　
: ${\frac {}{\mathbf {s(-3)} \,\,{\mathsf {nat}}}}$

在這個新系統中，雙後繼規則仍是可推導的。但是，找到前驅者的規則不再是可接納的，因為沒有方式來得到 $\mathbf {-3} \,\,{\mathsf {nat}}$ 。可接受性的脆弱來自它被證明的方式：因為這個證明可以歸納於前提的推導的結構上，對系統的擴展向這個證明增加了新情況，而它可能不再成立。

可接納規則可以被認為是一個證明系統的定理。例如，在相繼式演算中切消成立，「切」規則是可接納的。

## 其他考慮

推理規則也可以用如下形式陳述：（1）某些（比如零）前提，（2）十字轉門（turnstile）符號 $\vdash $ ，它意味著 "推出"、"證明" 或 "得出"，（3）一個結論。十字轉門符號化了執行能力。蘊涵符號 $\rightarrow $ 沒有這種能力：它只指示_潛在的_推理。 $\rightarrow $ 是另一個邏輯運算符，它運算於真值之上。 $\vdash $ 不是邏輯運算符。它是一個催化劑，代謝真陳述來建立新陳述。

推理規則必須區別於一個理論的公理，它是被假定為真而無須證明的斷言。依據語義，公理是有效的斷言。公理通常被當作應用推理規則和生成一組結論的起點。注意在推理規則和公理之間沒有明確的區別，在規則可以被人工編碼為公理或反之的意義上。例如，一個規則的前提的集合可以為空，所以結論總是為真。反過來說，一個公理通常假定是一個單一子句，但是實際上你可以指定生成一個公理的無限集合的模式，它淺薄的有著和推理規則有一樣的形式。

或者用更少的技術術語：

規則是關於系統的陳述，公理是系統內的陳述。例如：

* 規則從 $\vdash p$ 推出 $\vdash Provable(p)$ 是個陳述，聲稱如果你已經證明了 p 則 p 是可證明的（通常是合理的主張）。
* 公理 $p\to Provable(p)$ 將意味著所有真的陳述都是可證明的（通常不是個合理的主張）。

在證明論中，推理規則在邏輯演算比如相繼式演算和自然演繹的規定中扮演了關鍵角色。

## 參見

* 命題演算
* 自然演繹
* 推理規則列表
可寒

**可汗**（拼音：Kèhán（叶音）；古突厥語：𐰴𐰍𐰣‬ _Qaghan_；蒙古語：ᠬᠠᠭᠠᠨ，鮑培轉寫：_qaγan_，八思巴文：ꡢꡖꡋ，秘史記音：中合罕，西里爾字母：хаан）或**大汗**，又譯為**可寒**、**合罕**，通**黑汗**，統治者頭銜，原意王朝、神靈和上天，類似漢語所說的天子，或是皇帝。

可汗為位於歐亞大草原游牧部落的一個歷史頭銜，汗國的統治者，用來代指酋長或統治者，廣泛使用於遊牧民族地區，在古代鮮卑、回紇、柔然、高車、突厥、吐谷渾、鐵勒、女真等建立的汗國，其君主或最高政治首領皆稱可汗或大汗。

## 起源

可汗最早的記錄出現於 3 世紀（283-289 年間），鮮卑部落首次使用「可汗」作為其首領的頭銜，最初，可汗只領導相對較小的部落實體，通常在廣闊的蒙古和中國北方草原中或附近，游牧民族幾乎無窮無盡的遊行進入鄰近定居地區的歷史。有些人在一段時間內設法建立了一些重要的公國，因為他們的軍事力量一再證明對東亞和中亞等地區的國家構成嚴重威脅。

「可汗」最早在鮮卑系的柔然人中使用，據《宋書》記載乙那婁與慕容吐谷渾對話，稱吐谷渾為「**可寒**」：

> 樓喜拜曰：「**處可寒**。」虜言「**處可寒**」，宋言爾官家也。即使所從二千騎共遮馬令回，不盈三百步，欻然悲鳴突走，聲若頹山。如是者十餘輩，一向一遠。樓力屈，又跪曰：「**可寒**，此非復人事。」渾謂其部落曰：「我兄弟子孫，並應昌盛，廆當傳子及曾孫玄孫，其間可百餘年，我乃玄孫間始當顯耳。」於是遂西附陰山。
> 
> 

此外著名的北魏太武帝時期的嘎仙洞石壁祝文有「皇祖先**可寒**」、「皇妣先**可敦**」，柔然覆滅後其變體出現在古突厥（Göktürks），在塞爾柱帝國，它是最高的貴族頭銜，高於馬利克（阿拉伯語的「國王」）和埃米爾（王子）。

Dybo（2007）根據 Benveniste（1966）的觀點，認為 Khagan 的最終詞源來自中古伊朗語 \*hva-kama-「自治者，皇帝」。Savelyev 和 Jeong（2020）指出，Khagan 及其對應的女性詞 Khatun 的詞源都可能源自東伊朗語言，特別是源自「早期薩卡語 \*hvatuñ，參見經證實的粟特語單詞 xwt'w 'ruler' (<\*hva-tāvya-) 和 xwt'yn ' 統治者的妻子 ' (<\*hva-tāvyani)」。

在蒙古帝國「汗」表示一個部落的統治者，而所有蒙古人的統治者是可汗或大可汗。這個頭銜的重要性隨後下降。在薩法維王朝，這是省長的頭銜，而在蒙兀兒帝國，這是僅限朝臣的高級貴族。在蒙兀兒帝國垮台後，它被濫用並降格成為一個氏族稱號。

蒙古及突厥語中「汗」是部落或軍事領袖的意思。「可汗」有「大汗」或「諸汗之汗」的意思，由柔然汗國開始用作君主稱號，代替了匈奴的「單于」稱號。在花剌子模，可汗是對總督的敬稱。在當代的土耳其，「可汗」（Kağan 或 Kaan）是常見的名字（當代土耳其語「ğ」近乎無聲），在當代的巴基斯坦與阿富汗，「汗」（Khan）也是一個姓氏。

## 歷史

可汗作為一國之主的稱號最早始於公元 402 年柔然首領社崘自稱**丘豆伐可汗**。《隋書》錄沙缽略在給隋文帝信中自稱「伊利俱盧設莫何始波羅可汗」，隋文帝覆信中亦稱對方「伊利俱盧設莫何沙缽略可汗」。

漢人君主也稱可汗，但非自稱，《樂府詩集・木蘭詩》即有：「昨夜見軍帖，可汗大點兵。」之句，但北魏乃鮮卑建立的政權，隋文帝與隋煬帝被東突厥人稱為「聖人莫緣可汗」，但此可汗非彼可汗，只是一人（即啟民可汗）對隋朝皇帝之尊稱；中國皇帝被廣大的突厥語族部落稱為可汗要等到 7 世紀唐太宗之時。唐朝貞觀四年，擊敗東突厥後，西域各國君主在長安尊唐太宗為「天可汗」，貞觀二十一年滅薛延陀第二次在靈州被 15 部鐵勒諸部酋長尊為天可汗，其地位在游牧民族語義中比聖人可汗還高，「天」在突厥語中具有很高尚、有權力的含義，其後在中亞掌權的突厥國王吐火羅葉護、石國吐屯王也稱唐玄宗為「天可汗」，在安史之亂後唐代宗也被回紇人藥葛羅稱為「天可汗」：

> 四夷君長詣闕請上為**天可汗**，上曰：「我為大唐天子，又下行可汗事乎？」群臣及四夷皆稱萬歲。是後以璽書賜西北君長，皆稱**天可汗**。
> 
> 

> 上至靈州，敕勒諸部俟斤遣使相繼詣靈州者數千人，咸云：「願得天至尊為奴等**天可汗**，子子孫孫常為天至尊奴，死無所恨。」
> 
> 

> 奴身罪逆不孝，慈父身被大食統押。應徹天聰，頌奉**天可汗**進旨云：「大食欺侵，我即與你氣力。」奴身今被大食重稅，欺苦實深。若不得**天可汗**救活，奴身自活不得，國土必遭破散，求防守**天可汗**西門不得。伏望**天可汗**慈憫，與奴身多少氣力，使得活路。又承**天可汗**處分突厥施可汗云：「西頭事委你，即鬚髮兵除卻大食。」其事若實，望**天可汗**卻垂處分奴身，緣大食稅急，不求得好物奉進，望**天可汗**照之。所欲驅遣奴身，及須已西方物，並請處分奴身，一一頭戴，不敢怠慢。
> 
> 

> 奴身千代已來，忠赤於國，只如突厥騎施可忠赤之日，部落安貼，後背**天可汗**，腳底火起。今突厥屬**天可汗**，在於西頭為患，唯有大食，莫逾突厥。伏乞天恩不棄突厥部落，打破大食，諸國自然安貼。
> 
> 

> 藥葛羅曰：「懷恩欺我，言**天可汗**已晏駕，令公亦捐館，中國無主，我是以敢與之來。今知**天可汗**在上都，令公復總兵於此，懷恩又為天所殺，我曹豈肯與令公戰乎！」
> 
> 

從蒙古帝國時代開始，蒙古族的最高首領稱為大汗（合罕），等於皇帝，高於「汗」。

## 小可汗

西突厥處羅可汗立小可汗，置二人，分統所部。在大可汗統轄下的可汗，也稱為小可汗。比如突厥分裂之前的西部室點密可汗、達頭可汗、阿波可汗，東突厥頡利可汗時代的突利可汗等。

## 可汗相關術語

* Khanzadeh (韃靼語：Xanzadä) – 王子，可汗的兒子
* Khanbikeh (韃靼語：Xanbikä) – 女王，可汗的妻子
* 汗八里（大都） - 元朝首都，後來發展成為現代北京。
* Ilkhan（伊爾汗）
* 可敦 - 可汗夫人，相當於女性的可汗

## 參考文獻

## 參見

* 汗 (頭銜)
* 單于、可敦
* 天子、天可汗、博格達汗
* 蒙古大汗
可尺规作图的多边形

在數學中，**可作圖多邊形**是可以用尺規作圖的方式作出的正多邊形。例如，正五邊形可以只使用圓規和直尺作出，而正七邊形卻不可以。

## 可作圖的條件

一些正多邊形很容易地用圓規和直尺作出，而另一些卻不行。於是便提出了一個問題：是否所有的正 _n_ 邊形，都可以用圓規和直尺作出？若不能，哪些正 _n_ 邊形可以，哪些不可以？

德國數學家卡爾・弗里德里希・高斯在 1796 年證明了作出正十七邊形的可能性。五年後，他在他的《算術研究》一書中提出了高斯週期（英語：Gaussian period）理論，這一理論可推導出一個正 _n_ 邊形是可作圖多邊形的充分條件：

　
: 如果 _n_ 是 2 的 _k_ 次方和任意個（可為 0 個）相異費馬質數的乘積，那麼這個正 _n_ 邊形可以用圓規和直尺作出。

高斯認為這個條件也是必要條件，但是他一直沒有發表他的證明。1837 年，Pierre Wantzel 給出了一份完整的必要性的證明，因此這個定理被叫做 **Gauss–Wantzel 定理**。

### 詳細結論

已知的費馬數中只有前五個是質數：

　
: _F_0 = 3, _F_1 = 5, _F_2 = 17, _F_3 = 257, 和 _F_4 = 65537 （OEIS 數列 A019434）

接下來的二十八個費馬數，從 _F_5 到 _F_32，已證實都是合數。

因此正 _n_ 邊形如果

　
: _n_ = 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40, 48, 51, 60, 64, ... （OEIS 數列 A003401）

則可以用圓規和直尺作出，如果

　
: _n_ = 7, 9, 11, 13, 14, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 31, 33, 35, 36, ... （OEIS 數列 A004169）

則不能。

### 與楊輝三角的聯繫

相異費馬質數的乘積，3, 5, 15, 17, 51, 85, 255, 257, ..., 65535, 65537, ..., 4294967295 （OEIS 數列 A004729），相對應的 31 個奇數邊正多邊形均為可作圖多邊形。約翰・何頓・康威（英語：John Horton Conway）在《The Book of Numbers》中評論，當把這 31 個數寫成二進位時，正好等於楊輝三角前 32 行的模 2 同餘，拋去第一行。但這種模式在第 33 行之後就不成立了，因為第 6 個費馬數是合數，所以剩下的那些行就不符合條件了。目前還不知道是否存在更多的費馬質數，因而就不知道有多少個奇數邊可作圖多邊形。一般的，如果有 _x_ 個費馬質數，就有 $2^{x}-1$ 個奇數邊可作圖多邊形。

## 普遍理論

根據伽羅瓦理論（英語：Galois theory），這些證明的原理已經變得十分清晰。它直接展示了解析幾何中可做圖長度必須用基礎長度通過解一系列二次方程式得到。在體論中，這樣的長度一定包含在由一系列二次擴張生成的擴張體中。由此可見，這樣的域的度數相對基體而言總是 $2^{n}$ 。

在特定的情況下，作出正 _n_ 邊形的問題轉變為作出長度

　
: $\cos {\frac {2\pi }{n}}$ 。

這個實數就在 _n_ 次分圓體之中 —— 事實上它的實子體就是一個全實域，是一個有理的維度為

　
: ${\frac {1}{2}}\phi (n)$

的矢量空間，其中 $\phi (n)$ 是歐拉函數。Wantzel 的計算結果表明當 $\phi (n)$ 可以寫成 2 的幾次冪的時候正是這種特殊情況。

## 尺規作圖

可作圖多邊形的作圖方法都是已知的。如果 $n=pq$ （_p_ 和 _q_ 互質）：

* 當 $p=2$ 時，先作一個 _q_ 邊形，再作出任意一個中心角的角平分線，這樣就可以作出一個 2_q_ 邊形了。
* 當 $p>2$ 時，在同一個圓中作出一個 _p_ 邊形和一個 _q_ 邊形，這兩個多邊形要有公共頂點。因為 _p_ 和 _q_ 是互質的，所以一定存在整數 _a_ 和 _b_ 使得 $ap+bq=1$ ，於是 ${\frac {2a\pi }{q}}+{\frac {2b\pi }{p}}={\frac {2\pi }{pq}}$ 。這樣就可以作出一個 _pq_ 邊形了。

因而唯一需要做的就是找到正 _n_ 邊形（_n_ 為費馬質數）的作圖方法。

* 正三角形的作圖方法很簡單，早在古代就已知了。參見正三角形。
* 正五邊形的作圖方法在歐幾里德（古希臘語：Εὐκλείδης）的《幾何原本》（古希臘語：Στοιχεῖα，公元前 300 年）和托勒密（古希臘語：Κλαύδιος Πτολεμαῖος）的《天文學大成》（古希臘語：Μαθηματικἠ Σύνταξις，公元前 150 年）中都已有描述。參見正五邊形。
* 儘管高斯證明了正十七邊形可以用圓規和直尺作出，但他並沒有直接給出作圖的方法。第一個作圖方法是由 Erchinger 在幾年之後給出的。參見正十七邊形。
* 第一個明確的正 257 邊形的作圖方法是由 Friedrich Julius Richelot（1832）給出的。參見正 257 邊形。
* 第一個給出正 65537 邊形的作圖方法的人是約翰・古斯塔夫・愛馬仕（1894），作圖極其麻煩，Hermes 花費了十年時間填滿了 200 多頁的手稿。（但是，康威對 Hermes 的作圖方法的有效性表示懷疑。）參見正 65537 邊形。

## 其他作圖

應該強調的是本文中討論的作圖專指尺規作圖。如果允許使用其他的工具，作出更多的正 _n_ 邊形也是可能的。例如，所謂的二刻尺，就是有兩個刻度的直尺。用二刻尺作圖可以作出正三角形一直到正二十二邊形，儘管剩下許多多邊形仍然無法作出。

當 _n_ 等於 $2^{r}3^{s}p_{1}p_{2}\cdots p_{k},$ ，其中 _r, s, k_ ≥ 0 且 _p_i 是大於三的皮爾龐特質數（符合 $2^{t}3^{u}+1$ 形式的質數，此時 _t_ 和 _u_ 是正整數），正 _n_ 邊形可以由直尺、圓規以及三等份角作出：

## 參見

* 多邊形

## 參考來源
可尼琥珀蜗牛

**可尼琥珀蝸牛**（學名：_Guppya coneyi_）是柄眼目琥珀蝸牛科 _Guppya_ 的一種。本物種的種小名是紀念軟體動物學家 Coney。

## 分佈

主要分布於台灣，常棲息在落葉堆下。

## 參考文獻

## 外部連結
可居岛

**可居島**（韓語：가거도／可居島 _Gageo do_ \*/?）舊稱**嘉佳島**或**可佳島**（韓語：**가가도**），是韓國西南部海域中的一座島嶼，木浦市西南方 145 公里處，面積 9.18 平方千米，海岸線長度達 22 公里，海岸多岩石。

## 參考資料

## 外部連結

* m.doopedia.co.kr （頁面存檔備份，存於網際網路檔案館）
可居礁

**日向礁**是中國黃海上的一個不可居住的暗礁石，乃江蘇省鹽城市外海沙洲島，離水面下 7.8 米，距離韓國可居島西側 48 公里。日向礁不是島嶼，不可作為領海基點和專屬經濟區的起點。2012 年初，大韓民國主張日向礁屬韓國領土，改名為**可居礁**（**가거초**），劃歸全羅南道新安郡黑山面管理，並開始興建觀察基地人工島。

## 歷史

該礁位於中國海域東端，是中國漁民世代賴以為生的傳統漁場。以中國海上漁民的立場來看，有「日出之方向」的意思。1927 年 3 月 29 日，日本「日向」 號軍艦在此觸礁，同年 8 月 14 日日軍對該暗礁進行調查，並據船名命名為「日向礁」。

## 參考資料

## 參看

* 蘇岩礁
可展曲面

**可展曲面**是在其上每一點處高斯曲率為零的曲面。有一個一般性的定理表明：一片具有常數高斯曲率的曲面能夠經彎曲（非拉伸、收縮、皺褶或撕裂）而變為任何一片具有相同常數高斯曲率的曲面。因為平面就是在每一點處高斯曲率為常數零的特殊曲面，所以每一點處曲率為零的任何一片曲面，能夠經彎曲而展開成一片平面。這就是可展曲面這個術語所要表達的。另外，三維空間中可展曲面都是直紋曲面（反之不成立，三維空間中的雙曲面是非可展的直紋曲面的例子），但是在高維空間中可以舉出非直紋曲面的可展曲面的例子。

## 例子

* 平面是最簡單的可展曲面。
* 柱面是可展曲面。
* 錐面是可展曲面。
* Oloid 是可展曲面。

## 形成可展曲面的方式

* 彎曲一個已知的可展曲面，可以形成一個新的可展曲面。
* 任何一個單參數平面族所包絡的曲面是可展曲面。並且命題的逆也成立：任意可展曲面都是某個單參數平面族所包絡的曲面。（但是要注意，單參數直線族才描述所有的直紋曲面，而它們並不都是是可展曲面。）
* （一般情況下）空間曲線的切線族所描述的曲面是以這個空間曲線為邊界的可展曲面。並且，不能以這樣的方式獲得的可展曲面僅僅還剩下錐面和柱面（平面可以視為特殊的柱面）。因此，這構成了可展曲面的一種分類（分為三類）。

## 參考

* Hilbert, David; Cohn-Vossen, Stephan (1952), Geometry and the Imagination (2nd ed.), New York: Chelsea, pp. 341–342, ISBN 978-0-8284-1087-8
可岚

**可嵐**（英語：**Colleen Lau**，1985 年 11 月 5 日 —），原名**劉珏琳**，2008 年出道，生於香港，香港女歌手。

2010 年 9 月 22 日，當日適逢中秋節，可嵐和從事飲食的圈外人於尖沙咀教堂舉行結婚典禮，並且在半島酒店筵開十席婚宴。其已於 2011 年 4 月成為母親，兒子名為尤俊。可嵐在 2014 年 7 月 10 日被傳媒爆出家暴風波。其後決定離婚，獨自撫養兒子。

2018 年 12 月 1 日，可嵐於旺角麥花臣場館舉行其十周年演唱會。

2022 年 8 月，可嵐於社交平台宣佈已懷有第二胎，其後確定為男孩，名為 Henrik。

## 出道歷程

可嵐曾就讀上海南洋模範中學、馬鞍山聖若瑟中學及馬鞍山崇真中學，後分別於 2003 年和 2007 年畢業於北京電影學院導演系和廣州暨南大學廣告系（新聞與傳播學院），曾於市場推廣公司工作。因日常的工作是聯絡藝人，令熱愛歌唱的她決意成為歌手。

其後她辭去市場推廣一職，開始了寄自己錄音的 demo 到唱片公司，及尋找演出的機會。由剛剛開始，都是在屋苑及商場的表演，直到她在某一商會的表演上，遇上了現在的唱片公司恆藝亞洲的同事，試音後簽約成為歌手，成為了 2008 年女新人。事前，她曾於 2005 年參加過 TVB 全球華人新秀歌唱大賽。

## 音樂作品

### 唱片

**2008 年**

* 《女生不哭》EP
* 《女生不哭》慶功版，收錄了新歌《安全感》

### 單曲

**2014 年**

* 《愛・傷了》

**2015 年**

* 《內傷》
* 《匆匆一生》

**2016 年**

* 《十指緊抱》

**2017 年**

* 《如果... 信》

**2021 年**

* 大地（「音樂永續」作品，翻唱 Beyond 歌曲）

## 派台歌曲成績

## 曾獲獎項

**2008 年**

* 香港第二十屆 Cash 流行歌曲創作大賽 - 冠軍歌曲獎 《安全感》
* 廣東電台聯頒 9+2 音樂先鋒榜 - 最佳女新人獎
* 新城勁爆頒獎典禮 - 新城勁爆新登場女歌手獎
* 勁歌金曲頒獎典禮 - 最佳改編歌曲銅獎 《千嬌百媚》

**2009 年**

* 勁歌金榜冠軍歌《安全感》

**2015 年**

* 新城勁爆頒獎典禮 - 新城勁爆飛躍歌手
* 新城勁爆頒獎典禮 - 新城國語力原創歌曲《愛。傷了》

```
**2016年**
```

* 《中國好聲音》深圳選區群星挑戰賽冠軍

```
**2017年**
```

* AEG 年度鑽石合唱金曲 - 《如果… 信》
* VIP 音樂流行榜「熱播金曲獎」- 《如果… 信》

```
**2018年**
```

* 『創 + 作微電影比賽』最佳微電影女主角獎

```
**2019年**
```

* VIP 音樂流行榜「熱播金曲獎」 - 《九號風球》
* VIP 音樂流行榜「優秀偶像」

```
**2020年**
```

* VIP 音樂流行榜「全能藝人 - 銅獎」

## 參考資料

## 外部連結

* 可嵐的 Facebook 專頁
* 可嵐的新浪微博
* 可嵐官方網站
* 可嵐官方討論區
* 日日見報　借家暴 - 谷事業　可嵐 - 好打得 - 扮弱 （頁面存檔備份，存於網際網路檔案館）
可岛雀

**可可斯島雀**（中國大陸作**可島雀**，學名：_Pinaroloxias inornata_），是雀形目唐納雀科的一種鳥類，是**可可斯島雀屬**（學名：_Pinaroloxias_）的唯一物種。

可可斯島雀體重約 13.1 克，翼長約 62.2 公釐，嘴峰長約 14.5 公釐，喙寬度約 4.2 公釐，喙厚度約 5.5 公釐，跗蹠長約 20.6 公釐，尾長約 40.2 公釐。可可斯島雀在其分布區內為留鳥，其棲息在半開放的高大樹木組成的森林中，食性為雜食性。

可可斯島雀分布於哥斯大黎加西部可可斯島沿海地帶的森林。該物種是單型物種，沒有亞種分化。

## 參考資料
可巴雅

**可峇雅**、**峇雅服**或**娘惹衫**（馬來語：kebaya）是一種傳統的女性衣裳，起源於爪哇麻婆王國。早期，可峇雅流行於印度尼西亞、馬來西亞、新加坡、汶萊、緬甸、泰國南部、柬埔寨和菲律賓南部。製作可峇雅的布料是絲綢、棉布、半透明尼龍或聚酯等等。可峇雅大多以刺繡作為裝飾，以野花野草或各種各樣的花卉作為花樣。可峇雅常常會與紗籠、傳統蠟染布料、織金錦或五顏六色的布料一起穿搭。

可峇雅作為印度尼西亞的民族服裝，影響了整個爪哇群島的服飾。

## 詞源

可峇雅一詞相信是源自阿拉伯語，當時阿拉伯人把 abaya (直譯為「衣服」) 傳入爪哇本土，隨著時間的推移慢慢演變成「kebaya」這個詞彙。
可平行化

數學中，一個 _n_ 維光滑流形 _M_ 為**可平行化流形** 是指具有向量場

　
: _V_1, ..., _V_n,

使得在 _M_ 中任何一點 _P_ 的切向量

　
: _V_i, _P_

組成 _P_ 點切空間的一組基。等價地說，切叢是平凡叢，所以相伴的線性標架主叢有一個 _M_ 的整體截面。

選取 _M_ 上這樣特定的一組向量場的基稱為 _M_ 的一個**平行化**或**絕對平行化**。

## 例子

_n_=1 的一個例子是圓周：我們取 _V_1 為單位切向量場，比如都指向逆時針方向。_n_ 維環面也可以平行化，因為可以看作是圓周的笛卡爾積。譬如取 _n_=2，將正方形坐標紙的對邊粘貼起來便組成了一個環面，取每個點的兩個切方向即可。更一般地，任何李群 _G_ 可平行化，因為在單位元的切空間上一組基可以通過變換群 _G_ 在 _G_ 上的作用移到任何一點。（任何變換是一個微分同胚從而這些微分同胚誘導了 _G_ 上點的切空間的一個線性同構。）

一個經典問題是確定一個球面 _S_n 是否可平行化。_S_1 即為圓周，可以平行化已經解釋了。毛球定理指出 _S_2 _n_ 不能平行化。但是 _S_3 可以平行化，因為它就是李群 SU (2)。剩下惟一可平行化的球面是 _S_7；1958 年被 Michel Kervaire 證明，拉烏爾・博特和約翰・米爾諾也獨立地得到了這個結論。

## 注

* 術語**標架流形**（或**裝備流形**）通常用於給定了一個法叢的平凡化的嵌入流形。
可并用單位

**可並用單位**（英文：Non-SI units mentioned in the SI）是國際單位制（SI）有提及的單位，但沒有給定精確定義。因為國際度量衡大會認為他們是標準單位的倍數且被人們廣泛使用 。

## 被接受的單位

## 參考文獻
可庄

**王仁堪**（1848 年 —1893 年），字**可莊**、**忍庵**，號**公定**，福建省福州府閩縣（今福州市區）人，清末文狀元、政治人物。為福州歷史上的最後一名狀元。

## 生平

王仁堪生於清道光二十八年（1848 年），同治九年（1870 年）庚午科舉人，光緒三年（1877 年）中狀元，授翰林院修撰。歷任提督山西學政，貴州、江南、廣東鄉試副考官，後任武英殿纂修。光緒五年時曾彈劾崇厚與俄國簽訂的《里瓦幾亞條約》為喪權辱國，崇厚最終被判有罪。光緒十四年（1888 年）時因進諫停止頤和園工程而觸怒慈禧太后，被外放至江蘇任鎮江府知府，任內又發生了丹陽教案，處置較為妥當。三年考核政績列江蘇省第一。光緒十九年（1893 年）調任蘇州府知府，同年病逝於任上，因其政績被破格提入國史館立傳，蘇州群眾也為他立祠紀念。《清史稿》有傳。

## 著作

作品編入《王蘇州遺書》。

## 事跡

光緒十九年（1893 年），浙江恩科鄉試考官殷汝璋、周錫恩行船至蘇州，前內閣中書、紹興人周福清派人向殷汝璋賄賂請託。事情敗露，殷汝璋將人交予王仁堪處理，最終周福清也下杭州獄。

## 延伸閱讀

[編]

　
: 《清史稿 / 卷 486》

　
: 《清史稿・卷 479》，出自趙爾巽《清史稿》

　
:

## 參考文獻

### 引文

### 書目

* 《福州市志》，方志出版社，1998.12，ISBN 7-80122-400-0
* 《清史稿》，中華書局點校本

## 外部連結

* 狀元王仁堪家事 （頁面存檔備份，存於網際網路檔案館） 福州新聞網
可序列化

**可串行性**（英語：Serializability）是指在計算機里一種多個事務先後之間穿插的用於執行正確調度方式的主要準則，亦是事務之間最高級別的隔離，在並發控制中起著至關重要的作用，其中多個事務並發時的執行順序要對數據的一致性沒有影響。

而**可串行化**（英語：Serializable）是指並發控制的資料庫、事務處理以及各種事務性應用程式（例如，事務內存和軟體事務內存）的集中式和分布式事務排程。調度的可串行性意味對於存在共同操作對象的多個並發執行的相同事務串行執行結果（如：生成資料庫狀態、數據值）「等價」於某個「串行化調度」（即連續的受時間上沒有事務重疊影響）。

如果事務之間沒有共同的操作對象，則事務之間的執行順序與前後置換都是沒有關係的，但是如果事物間存在共同的操作對象，則事務間先後執行順序需要區分。事務通常是並發執行的（重疊的），因這是最有效的方法。

自 20 世紀 70 年代早期以來，在大多數資料庫系統 (以各種變體) 中都使用了一種流行的可串行機制 —— 強兩階段加鎖 (SS2PL)。

**可串行性理論**（英語：Serializability theory）為推理和分析可串行化及其技術提供了形式框架。儘管本質上是數學，但下面非正式地介紹了它的基本原理（沒有數學符號）。

## 正確性

### 可串行性

**可串行性** 用於保持數據項中的數據處於一致的狀態。可串行性是事務排程的屬性。 它與資料庫事務的「隔離」屬性有關。

　
: 排程的**可串行性**意味著 (在結果，資料庫狀態、數據值) 與「串行進度」(在時間上沒有事務重疊) 使用相同的事務。它是判斷並發事務調度是否正確的主要標準，因此在所有通用資料庫系統中都支持它.

　
: **可串行性背後的基本原理** 如下:

　
: 如果每個事務本身是正確的，即滿足一定的完整性條件，則包含這些事務的任何「串行」執行的調度都是正確的 (其事務仍然滿足其條件): 完全的「隔離」彼此之間存在。如果事務之間不存在依賴關係，則事務的任何順序都是合法的，這是假設的。因此，包含與這些事務的任何串行執行 (在結果上) 等價的任何串行執行 (不一定是串行執行) 的調度是正確的。

無法可串行化的調度可能會產生錯誤的結果。眾所周知的例子是使用貨幣作為借貸帳戶的交易：如果相關的排程是不可串行化的，那麼貨幣的總數可能不會被保留。錢可以消失，也可以憑空產生。這和其他的可能需要不變保存的是由一個事務寫入造成違規一樣，並且在另一個事務寫入的內容成為資料庫中的永久內容之前，並清除「布進式」。如果保持可串行性，則不會發生這種情況。

## 參考文獻
可废止推理

**有疏漏性推理**是對推理形式的研究，它儘管令人信服，卻不如演繹推理那麼形式化和嚴格。它已經在哲學中，和最近在人工智慧中討論過了。

其他演繹推理的替代者包括歸納推理和逆推推理。它們在傳統上不被術語「有疏漏性推理」所覆蓋。

## 哲學起源

儘管亞里斯多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理（參見辯證法和修辭學）區分了開來，後來的哲學家主要關心演繹推理。

直到邏輯實證主義開始失寵，哲學家羅德里克・奇澤姆和 John L. Pollock 復興了對有疏漏性推理的興趣。

## 人工智慧

大約在同一個時期，人工智慧的先驅如約翰・麥卡錫和 Patrick J. Hayes 在遇到框架問題和限定問題的時候，提出了某種形式的有疏漏性推理。

已提出的一些形式的有疏漏性推理：

* McCarthy 提出的方案是限制的邏輯原理
* Raymond Reiter 提出了預設邏輯系統和封閉世界假定的形式化
* McDermott 和 Doyle 提出了非單調邏輯
* Robert C. Moore 提出了自動認識邏輯
* Donald Nute 提出了有疏漏性邏輯

## 參見

* 常識
* 信念修正

## 外部連結

* Article on Defeasible Reasoning（頁面存檔備份，存於網際網路檔案館） in the Stanford Encyclopedia of Philosophy
* An example of defeasible reasoning in action
可废止逻辑

**有疏漏性邏輯**是 Donald Nute 提出的用來形式化有疏漏性推理的非單調邏輯。在預設邏輯中，有三種不同類型的命題：

* 硬性規則：指定一個事實總是另一個事實的結論；
* 有疏漏性規則：指定一個事實典型的是另一個事實的結論；
* 廢止者：指定對有疏漏性規則的例外。

可以在有疏漏性規則和廢止者上給出優先級。在演繹期間，硬性規則總是使用，而有疏漏性規則只能在沒有更高優先級的廢止者指定它不能用的時候使用。

## 參見

* 常識
* 非單調邏輯
* 預設邏輯
* 有疏漏性推理

## 引用

* D. Nute (1994). Defeasible logic. In _Handbook of logic in artificial intelligence and logic programming_, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press.
* G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. _ACM Transactions on Computational Logic_, 2 (2):255-287.
可度者

**可度者**（?—?），唐朝奚族部落聯盟領袖。

唐太宗貞觀二十二年（648 年），可度者率其所部內屬唐朝，太宗置饒樂都督府，任命可度者為右領軍兼饒樂都督、持節都督六州諸軍事，封樓煩縣公，賜姓李氏。以阿會部為弱水州，處和部為祁黎州，奧失部為洛瑰州，度稽部為太魯州，元俟折部為渴野州。唐高宗顯慶元年（656 年），又授右監門大將軍。可度者去世後，顯慶五年（660 年），奚族和契丹叛唐，唐高宗以定襄都督阿史德樞賓、左武候將軍延陀梯真、居延州都督李合珠為冷岍道行軍總管，率軍討奚，命尚書右丞崔餘慶充使總護三部兵，奚遣使降唐。阿史德樞賓等為沙磚道行軍總管討契丹，擒契丹松漠都督大賀阿卜固送東都。

## 參考文獻

* 《舊唐書》卷 199 下
* 《新唐書》卷 219
可度量化

**可度量化**（metrizable）是一種拓撲空間的性質。

## 定義

一個拓撲空間中被說成是可度量的，如果有一個度量 $(X,\tau )$
 $d\colon X\times X\to [0,\infty )$ 並且這拓撲 $\tau $ 由 _d_ 誘導產生。
烏雷松度量化定理給出了一個拓撲空間是可度量化的充分條件

## 有關定理

如果 X 是一個可度量化的拓撲空間，而 Y 與 X 同胚，那麼 Y 是可度量化的。
這反映了可度量化是一種拓撲性質。

## 參考

《拓撲學基礎及應用》/（美）亞當斯（Adams.C）等著；沈以淡等譯.- 北京：機械工業出版社，2010.2 ISBN：978-7-111-28809-1
可度量空间

**可度量化**（metrizable）是一種拓撲空間的性質。

## 定義

一個拓撲空間中被說成是可度量的，如果有一個度量 $(X,\tau )$
 $d\colon X\times X\to [0,\infty )$ 並且這拓撲 $\tau $ 由 _d_ 誘導產生。
烏雷松度量化定理給出了一個拓撲空間是可度量化的充分條件

## 有關定理

如果 X 是一個可度量化的拓撲空間，而 Y 與 X 同胚，那麼 Y 是可度量化的。
這反映了可度量化是一種拓撲性質。

## 參考

《拓撲學基礎及應用》/（美）亞當斯（Adams.C）等著；沈以淡等譯.- 北京：機械工業出版社，2010.2 ISBN：978-7-111-28809-1
可延續發展

**可持續發展**（英語：sustainable development，縮寫：**SD**）或**永續發展**，「可持續性」其最常見的定義出自布倫特蘭委員會的《我們共同的未來》：「既能滿足我們現今的需求，又不損害子孫後代，能滿足他們的需求的發展模式。」 永續發展努力實現環境保護、經濟和永續發展的目標。

## 定義

「永續發展」的出現，就是要糾正過去的錯誤，避免其他國家重蹈覆轍。「永續發展」強調經濟體系內的發展必須環環相扣，並得以自給自足。

目前世界對「永續發展」的公認概念，其定義源於 1987 年世界環境與發展委員會提出，並於聯合國第四十二屆大會公佈的報告 ——《我們共同的未來》：

> 永續發展是既滿足當代人的需要，又不損害後代人滿足其需要的能力的發展。它包含兩個關鍵概念：資源永續廣義的定義 1、在提升和創造當代的同時，不能以降低福祉為代價；2、以善用所有生態體系的自然資源為原則，不可降低其環境基本存量，在利用生物與生態體系時。長期單純追求經濟增長的發展模式導致環境的破壞，各種環境危機浮現，人們認識到經濟發展受環境承載力制約。永續發展源於 1980 年代的「綠色運動」，由於 1960 年代已開發國家在非洲及南美洲大量收購農地種植咖啡和甘蔗，並用所得的金錢購買糧食，以供應給當地居民。然而，由於土地發展過度，且缺乏規劃，令咖啡和糖的期貨在短時間內貶值。南美各國經濟頓時崩潰，加上水土流失、濫用農藥及過度消費行為持續擴大，令土地貧瘠，甚至沙漠化，引致飢荒。\* 「需要」的概念，特別是世界上窮人的基本需要，應給予最優先的重視；以及
> 
> * 技術和社會組織的狀態對環境滿足當前和未來需要的能力所施加的限制。
> 

## 三要素

永續發展不簡單的等同於生態化或者環境保護，一般認為它由三方面內容構成。

* **環境要素（Environmental aspect）**

　
: 指儘量減少對環境的損害（environmental impact）。儘管這一原則得到各方人士的認可，然而，往往不同社會群體對於社會發展有不同的想像，不同的視角，有不同的價值評判標準，因此對於問題有不同的詮釋。例如核電站，支持人士認為它可以減少溫室氣體排放，是環保的，反對人士認為核廢料有長期放射性污染，核廢料處置存在爭議，同時核電站存在安全隱患是不環保的。

* **社會要素（Social aspect）**

　
: 指仍然要滿足人類自身的需要。永續發展並非要人類回到原始社會，儘管那時候的人類對環境的損害是最小的。

* **經濟要素（Economic aspect）**

　
: 指必須在經濟上有利可圖。這有兩個方面的含義，一是只有經濟上有利可圖的發展項目才有可能得到推廣，才有可能維持其可持續性；二是經濟上在虧損的項目必然要從其他盈利的項目上獲取補貼才可能收支平衡正常運轉，由此就可能造成此地的環保以彼地更嚴重的環境損害為代價。

永續發展強調三要素協調發展，促進社會的總體進步，避免一方面的受益以犧牲其他方面的發展和社會總體受益為代價。

## 社會

由於人口和財富的激增，地球自然資源無法滿足人類的需求，人與自然的矛盾更加突出。因此必須禁止那種不顧子孫後代而任意糟蹋自然資源的行為，並建立一個永續發展的社會。而永續發展的社會應具備以下特徵：

1. 不僅實現代際正義，更要實現代內正義，即當代一部份人的發展不應損害另一部份人的利益。
2. 經濟與社會的發展要符合地球生態系統的動態平衡的法則和資源可持續利用的原則。
3. 改變不合理的資源消耗式的消費模式。
4. 解決全球的貧窮問題，窮人的生活質量有所提高。
5. 地球環境惡化得到抑制並得到根本的改善。
6. 在平等公正和尊重國家主權的前提下解決國際爭端，以對話代替對抗。
7. 依靠科技進一步解決永續發展中的主要問題。
8. 建立節約資源型﹑環境友好型的社會。

## 目標

永續發展目標（英語：Sustainable Development Goals，簡稱 SDGs）是聯合國的一系列目標，這些目標於 2015 年底替換千年發展目標。這些目標將從 2016 年一直持續到 2030 年。這一系列目標共有 169 項具體目標。

變革世界的 17 個目標

永續發展目標呼籲所有國家（不論該國是貧窮、富裕還是中等收入）行動起來，在促進經濟繁榮的同時保護地球。目標指出，消除貧困必須與一系列戰略齊頭並進，包括促進經濟增長，解決教育、衛生、社會保護和就業機會的社會需求，遏制氣候變化和保護環境。

## 文化

公元前 241 年，秦・呂不韋主持編纂《呂氏春秋・義賞》中提到：「竭澤而漁，豈不獲得？而來年無魚；焚藪而田，豈不獲得？而來年無獸。詐偽之道，雖今偷可，後將無復，非長術也。」

## 參見

## 參考資料

### 參考書目

* 周兆祥，《綠色思想》（1989）
* 周兆祥，《綠色政治》（1988）
* Rita Yi Man Li, 2011, Building Our Sustainable Cities, US, Common Ground Publishing.

## 外部連結

* （繁體中文） SDGs 懶人包》什麼是永續發展目標 SDGs？17 項目標一次掌握 - 未來城市 @天下 （頁面存檔備份，存於網際網路檔案館）
* （簡體中文） 可持續發展小詞典
* 《全球聚焦》特刊企業的永續發展
* （英文） Jonathan T. Scott 當代創業導師：永續發展經營模式推行者
* （繁體中文） 節能減碳行動網（頁面存檔備份，存於網際網路檔案館）
* （繁體中文） 永續發展相關新聞
* （繁體中文） 香港樹仁大學永續發展房地產研究中心 （頁面存檔備份，存於網際網路檔案館）
可延量

在物理學中，**內含性質**（英語：**intensive property**）是指系統中不隨系統大小或系統中物質多少而改變的物理性質，內含性質是尺度不變的物理量。

相反的，**外延性質**（英語：**extensive property**）是指系統中會和系統大小或系統中物質多少成比例改變的物理性質，二個個別獨立，不相關的系統，其外延性質有加成性，個別系統外延性質的和就是總系統的外延性質。

例如，密度和物質的多少無關，因此是物質的內含性質。物質的量常用質量及體積來表示，這二個都是外延性質。

## 內含性質

內含性質是不隨物質多少或系統大小而改變的物理性質。例如一個熱平衡的系統，其溫度為一定值，若將此系統分割為二個子系統，子系統的溫度也會和原系統的溫度相同。一個均質系統的密度也有相同的特性，若將系統分割為二半，其質量及體積都會變化，但其密度不變。

根據狀態原則，一個相當簡單的系統只需要二個獨立的內含性質就可以完整描述其狀態，其他的內含性質可以由這二種內含性質衍生而來。

有些內含性質（例如粘度）是宏觀的物理量，不適用在一些特別小的系統中。

### 舉例

以下列出一些內含性質：

## 外延性質

依 IUPAC 綠皮書的定義，外延性質是一種物理性質，系統中此性質的量可由組成此系統所有子系統中對應性質的量相加而得。外延性質具有可加成性，往往也和物質的量或系統的大小有關。

將二個外延性質相除常會得到另一個內含性質，例如質量及體積二者均為外延性質，二者相除所得的密度即為一內含性質。

### 舉例

以下列出一些外延性質：

## 相關的內含及外延性質

有許多性質有其對應的內含性質或外延性質，其中許多是熱力學性質。熱力學性質中的外延性質和熱力學系統的大小有關，包括體積（_V_）、內能（_U_）、焓（_H_）、熵（_S_）、吉布斯能（_G_）、亥姆霍茲自由能（_A_）及熱容（_C_V 及 _C_p）。上述外延性質的符號均使用大寫，除了體積外，都和熱力學系統中的粒子數有關。

對於均質的物體，上述的外延性質都有其對應的內含性質，是單位質量下的外延性質，和熱力學系統的大小無關，而且會用小寫的字母表示符號。上一段外延性質對應的內含性質有比容（_v_，即密度的倒數）、比內能（_u_）、比焓（_h_）、比熵（_s_）、比吉布斯能（_g_）、比亥姆霍茲自由能（_a_）及比熱容（_c_V 及 _c_p）。這些熱力學性質均為材料性質，會隨溫度、壓力、材料成份而改變，不過不會隨熱力學系統的大小或粒子的數量而改變。以下是相關的列表

　
: \* L = 公升，J = 焦耳

　
: \*\* 上述內含性質均是以單位質量為準

　
: \*\*\* 比容是密度的倒數

若物質的分子量已知，或者系統中的莫耳數已知，上述的熱力學性質可以表示以單位莫耳的量來表示，此時的熱力學性質為內含性質，但會沿用外延性質的名稱，在前面加上「莫耳」作為識別：例如莫耳體積、莫耳內能、莫耳焓、莫耳熵等。其符號有時會和上述單位質量的熱力學性質一樣使用小寫字母，不過有時會使用大寫字母，再另外註明是單位莫耳下的性質。單位莫耳下的性質中，最廣為人知的就是理想氣體在標準狀況（標準溫度與標準壓力）下的莫耳體積 = 22.41 升 / 莫耳。莫耳吉布斯能常稱為化學勢，符號為 μ，若是討論混合物中的莫耳吉布斯能，常用 μi 對應其中第 i 種成份的莫耳吉布斯能。

## 反例

有些性質既不是內含性質，也不是外延性質。例如二個電阻器的電阻值只有在串聯時才是二電阻個別阻值的和，若二電阻並聯時，就不滿足此條件。電阻不滿足加成性，因此不是外延性質。二個相同材質，在相同溫度及壓力下的電阻器，其電阻和長度成正比，和面積成反比，因此也會隨尺寸而變化，因此也不是內含性質。

另一個反例是相對論中的不變質量，若二個子系統彼此有相對運動，此時不變質量沒有加成性，因此不變質量不是外延性質，而不變質量也不是內含性質。

## 參考資料
可彎砂岩

**可彎砂岩**（英語：Itacolumite）
是一種天然的多孔黃色砂岩，在切割成較薄的板片時具有柔韌性。 標準產地在巴西米納斯吉拉斯州南部的 Itacolumi，因此而被命名它的名字。 其他產地在於印度哈里亞納邦的 Charkhi Dadri 區的 Kaliana 村.，美國的喬治亞州以及北卡羅來納州的 Stokes 和 McDowell 縣。 它是柔性砂岩中最好和最廣為人知的例子，巴西米納斯吉拉斯地區也是發現的鑽石產地。

在可彎砂岩的裂開面上，可以看到綠色雲母鱗片，但事實上，該岩石似乎是由石英組成的。 一塊 30-60 厘米長、幾厘米厚的岩石板片，由兩端支撐，它會因自身重量而逐漸彎曲。 如果然後將其翻轉，它會向相反方向彎曲變直。 一兩毫米厚的該岩石薄片可以在手指之間彎曲，也會發出吱吱作響的聲音，但只有整個岩石的一小部分，才具這種特性的標本。

### 彎曲性成因

石英砂粒之間的雲母片曾經被建議是彎曲性成因。因爲雲母片可能讓相鄰石英晶粒之間進行一定量的移動。 但更可能的原因是岩石的多孔特性以及各個顆粒之間的互鎖連接。 孔隙率允許孔隙間運動，而鉸鏈狀的顆粒連接讓它們固定在一起，不產生位移。

風化作用也能造成彎曲性。風化作用能去除原始岩石的基質成分，而造成孔隙。部分孔隙被後期二氧化矽充填，也連接相鄰顆粒之間的不規則表面，使它們互鎖 結合在一起。 大多數已知的可彎砂岩是細粒度的。 據說它們在乾燥一段時間後會失去彎曲性，這可能是由於間隙物質的硬化，但也有在乾燥環境中，可彎砂岩能保存多年的這種特性。

## 參考文獻
可录光碟

**可錄光碟**（英語：**compact disc-recordable**, **CD-R**）是一種可單次錄寫的唯讀記憶光碟。

早期的可錄光碟用銀作塗層，容量只有 650MB。後來推出保存期更長、用金作塗層的可錄光碟。不過由於後來金的價格不斷上漲，使生產商想盡辦法製作塗層更薄的碟片。

後來有機化學技術的進展，使可錄光碟可以無需採用金或銀作塗層，而且使較高容量的可錄光碟 (700MB) 生產更划算。2009 年在香港，一般牌子的可錄光碟只需要大約 1 港元就可以買到，使可錄光碟變得極為普遍。

## 原理

CD-R 與 CD-ROM 的工作原理相同，都是通過雷射照射到碟片上的「凹陷」和「平地」其反射光的變化來讀取的；不同之處在於 CD-ROM 的「凹陷」是印製的，而 CD-R 是由刻錄機燒制而成。所以 CD 刻錄盤的存儲壽命要低於壓製的光碟。視光碟質量而定，一般 3-10 年左右，光碟就會損壞。CD 碟片中加了一層染色層，光碟刻錄機的鐳射頭所發出的光束強度可以隨時變化，這樣就能改變碟片染料層的狀態。鐳射光根據數據的不同，在空白的 CD 碟片上燒出可供讀取的的反光點，數據也就被記錄。

## 超刻

該行為主要使用 NERO 等軟體進行 CD-R 的超容量刻錄。根據光碟質量的不同，超刻的量也不同。一般的碟片能超刻約 20MB。可以在超刻之前對光碟進行測試，測出其的超刻能力。

## 相關

* CD-ROM
* DVD
* DVD 播放機
* CD 錄播機

## 參考資料
可待因

**可待因**（Codeine），化學式為 C18H21NO3，是一種鴉片類藥物（opioid），有止痛、止咳和止瀉的藥效，它的硫酸鹽或磷酸鹽常用於藥品中。

可待因是一種存在於鴉片中的生物鹼，含量約佔 0.7-2.5%。它可從鴉片中提取，也可用化學方法自嗎啡製造。

## 用途

作為藥物，用於

* 止咳
* 止瀉
* 止痛（輕度至中等的痛楚）
* 激躁性結腸症

可待因在市場上有時會與撲熱息痛（paracetamol，美國稱 acetaminophen）混合成 co-codamol（在北美常見的商品名為「Tylenol 3」），與阿司匹靈混合成 co-codaprin，或是與異丁苯丙酸（布洛芬）混合，這些混和藥劑提供比其它藥劑更好的止痛效果。

## 受管制物質

可待因是聯合國於 1961 年的《麻醉品單一公約》下的列表 II 的成癮性較低的麻醉藥物，在世界各地受到嚴格管制。但有很多國家或地區容許民眾不需醫生處方而購買若干含可待因的藥品，例如咳嗽藥水，但那些藥品的可待因含量較低，而每次售賣的數量亦通常有限制，甚至賣方需要登記購買者的個人資料。但由於這些藥品很容易從中提鍊出高濃度的可待因，成為加工成毒品的原料之一，故仍有不少國家明令禁止民眾攜帶此類藥品入境，例如：泰國。

## 藥物動力學

可待因進入人體後，約有 10% 的吸收份量在體內經代謝作用轉化成嗎啡。由於不是所有進入體內的可待因能轉成嗎啡，所以可待因的藥效較嗎啡弱，其成癮性亦較嗎啡少。

## 服量

口服，每日服 3 至 4 次。成人及 12 歲以上，每次 15 至 30 毫克；5 至 12 歲，每次 7.5 至 15 毫克；1 至 5 歲，每次 3 毫克。不過 12 歲以下兒童通常不建議服用可待因。

1 歲以下兒童應避免服用可待因。

## 不良反應

常見之不良反應有：瘙癢、噁心、嘔吐、昏睡、口乾、瞳孔縮小、姿態性低血壓（orthostatic hypotension）、小便不暢、便秘。

長期使用時，身體可對可待因產生耐藥性，令藥效減弱，並有可能產生依賴性。

與其它鴉片類藥物一樣，可待因的其中一個潛在的嚴重不良反應是壓抑呼吸，通常與服用過量有關，可引致死亡。

## 濫用

由於含可待因的藥品比較容易得到，它們常被濫用，通常服食過量以感受興奮反應，但濫用對身體的害處甚多，包括上癮、上文所列的副作用等，服用過量可令人產生幻覺，令吸食者神志不清，甚至死亡。中國瀋陽曾發生過為購買複方磷酸可待因溶液而搶劫的事件，搶劫者服用此止咳藥水已有十年，因購買這一藥水而花光積蓄，從而搶劫。

由於含可待因的咳藥水多數含有大量糖份，濫用者有較大機會產生蛀牙。

## 參考資料

## 外部連結

* [1] （頁面存檔備份，存於網際網路檔案館） （英文）
可得峰

**可得峰**（韓語：가득봉）是一座位於韓國江原道麟蹄郡的山峰，主峰標高海拔 1060 公尺。

## 參考資料
可得性偏差

**可得性捷思法**（英語：Availability Heuristic）或**可得性偏差**(英語：Availability Bias)，是指人們在討論一個特定的主題、概念、方法或做出決定時，依賴於腦海中直接浮現的例子。其操作基於這樣一個信念，如果某件事情能夠被當場回憶起來，或者是越容易想到的情境（例如最近才發生，或是很常發生，讓人們印象特別深刻），此時個人會認為此事一定是重要的，發生的機率也越高，或者至少比那些不那麼容易被回憶起來的替代解決方案更重要。特別是如果一個人對回憶的內容深信不疑，他們會更依賴所回憶的內容。例如在判斷某對夫妻是否會離婚時，腦中可能會浮現有多少跟他們情況類似的夫妻。如果記憶中這些夫妻離婚占多數，那麼這個人就會認為這對夫妻離婚的可能性很高。

## 參考文獻
可得性捷思法

**可得性捷思法**（英語：Availability Heuristic）或**可得性偏差**(英語：Availability Bias)，是指人們在討論一個特定的主題、概念、方法或做出決定時，依賴於腦海中直接浮現的例子。其操作基於這樣一個信念，如果某件事情能夠被當場回憶起來，或者是越容易想到的情境（例如最近才發生，或是很常發生，讓人們印象特別深刻），此時個人會認為此事一定是重要的，發生的機率也越高，或者至少比那些不那麼容易被回憶起來的替代解決方案更重要。特別是如果一個人對回憶的內容深信不疑，他們會更依賴所回憶的內容。例如在判斷某對夫妻是否會離婚時，腦中可能會浮現有多少跟他們情況類似的夫妻。如果記憶中這些夫妻離婚占多數，那麼這個人就會認為這對夫妻離婚的可能性很高。

## 參考文獻
可得然

**熱凝膠多糖**，又名可得然膠、卡德蘭，是一種 β-1,3 - 葡聚醣，是由葡萄糖組合而成的高分子聚合物。它包含了 β-(1,3)- 葡萄糖的殘餘物，並可經於其所構成的似水懸浮液中加熱，形成具有彈性的膠狀物質，稱為**卡德蘭膠**。

它是經由非病原細菌 _Agrobacterium biobar 1_（菌種發現時經鑒定為 _Alcaligenes faecalis var. myxogenes_）所生產出的。

熱凝膠多糖是歐盟認可的食品添加物之一，E 編碼為 E424
，有些魚漿製品為改善食物的粘性和 Q 度，會加入熱凝膠多糖。

## 參考資料
可復式保險絲

**PPTC**（Polymeric Positive Temperature Coefficient），即**高分子聚合物正係數溫度元件**。又稱**可復式保險絲**（Resettable Fuse）或**聚合物保險絲**（Polyfuse），在中國大陸的電子業界俗稱**自恢復保險絲**或**過流保護片**。在西方電子業界多稱為 Polyswitch，這是泰科電子的產品商標。

## 歷史與市場

PPTC 是美商 Raychem（現已經併入 Tyco Elelctronics）在 1981 年發明，主要應用在電池、計算機、電機、通訊行業的過電流保護上。目前全球的年市場規模大約 4 億美元。其中 Tyco Elelctronics 市場占有率約 65%-70%。

## 材料與作用機制

PPTC 核心由高分子材料和導電顆粒製成。兩端以鎳製成電極。外部包以樹脂或塑料薄膜。

在低溫時，聚合物結晶間的導電粒子構成三維網絡，呈導通狀態。當電流過大，致使溫度升高時，體積膨脹，聚合物由結晶態轉為非結晶態，使導電粒子的連繫網絡斷裂，因而不導通或絕緣。當溫度降低，且不再有大電流後，待一小段時間恢復結晶狀態，又可導通。

## 特性與應用

PPTC 特性是在正常電流情況下呈現低電阻，約數毫歐到數歐姆之間。在過電流故障下，電阻急劇升高，從而保護後端電路。由於具有優異的可恢復特性，用於過電流保護時，在故障消除之後，電路可自動恢復到導通狀態，省去傳統保險絲熔斷後需更換的不便。

## 主要供應商與商標

PPTC 主要的供應商與他們對可復式保險絲所使用的商標或註冊商標有：

* Tyco Elelctronics/Raychem （註冊商標：PolySwitch）
* FUZETEC 富致科技
* Way-on
* Bourns （註冊商標：Multifuse）
* Polytronics （註冊商標：EVERFUSE）
* Littelfuse （註冊商標：POLYFUSE）

上述商標有時可能也當作可復式保險絲的別稱。

## PPTC 的選用方法

每一種 PPTC 都有「耐壓」、「耐流」、「維持電流」及「動作時間」等參數。可以根據具體電路的要求並對照產品的參數進行選擇。

1. 確定被保護電路正常工作時的最大環境溫度、電路中的工作電流、熱敏電阻動作後需承受的最大電壓及需要的動作時間等參數；
2. 根據被保護電路或產品的特點選擇「晶片型」、「徑向引出型」、「軸向引出型」或「表面貼裝型」等不同形狀的熱敏電阻；
3. 根據最大工作電壓，選擇「耐壓」等級大於或等於最大工作電壓的產品系列；
4. 根據最大環境溫度及電路中的工作電流，選擇「維持電流」大於工作電流的產品規格；
5. 確認該種規格熱敏電阻的動作時間小於保護電路需要的時間；
6. 對照規格書中提供的數據，確認該種規格熱敏電阻的尺寸符合要求。

## 另見

* 被動元件
* 電阻
* 無熔絲開關

## 附註與參考資料
可微

**可微分函數**（英語：Differentiable function）在微積分學中是指那些在定義域中所有點都存在導數的函數。可微函數的圖像在定義域內的每一點上必存在非垂直切線。因此，可微函數的圖像是相對光滑的，沒有間斷點、尖點或任何有垂直切線的點。

一般來說，若 _X_0 是函數 _f_ 定義域上的一點，且 _f_′(_X_0) 有定義，則稱 _f_ 在 _X_0 點可微。這就是說 _f_ 的圖像在 (_X_0, _f_(_X_0)) 點有非垂直切線，且該點不是間斷點、尖點。

## 可微性與連續性

若 _f_ 在 _X_0 點可微，則 _f_ 在該點必連續。特別的，所有可微函數在其定義域內任一點必連續。逆命題則不成立：一個連續函數未必可微。比如，一個有折點、尖點或垂直切線的函數可能是連續的，但在異常點不可微。

實踐中運用的函數大多在所有點可微，或幾乎處處可微。但斯特凡・巴拿赫聲稱可微函數在所有函數構成的集合中卻是少數。這表示可微函數在連續函數中不具代表性。人們發現的第一個處處連續但處處不可微的函數是魏爾斯特拉斯函數。

## 連續可微的分類

函數 _f_ 是連續可微（continuously differentiable），如果導數 _f'(x)_ 存在且是連續函數。可微函數 _f(x)_ 之導數 _f'(x)_ 不可能有跳躍不連續點，但可能有本性不連續點。例如考慮以下函數 _f(x)_：

　
: $f(x)\;=\;{\begin{cases}x^{2}\sin(1/x)&{\text{if }}x\neq 0\\0&{\text{if }}x=0\end{cases}}$

此函數在 _x_=0 處可微，可照定義求出 f'(0)：

　
: $f'(0)=\lim _{\epsilon \to 0}\left({\frac {\epsilon ^{2}\sin(1/\epsilon )-0}{\epsilon }}\right)=0,$

但對 _x_≠0，

　
: $f'(x)=2x\sin(1/x)-\cos(1/x)$

當 _x_ 趨近於 0 時，_f'(x)_ 的極限並不存在。

連續可微函數被稱作 $C^{1}$ 函數。一個函數稱作' $C^{2}$ 函數如果函數的一階、二階導數存在且連續。更一般的，一個函數稱作 $C^{k}$ 函數如果前 _k_ 階導數 _f_′(_x_), _f_″(_x_), ..., _f_(_k_)(_x_) 都存在且連續。如果對於所有正整數 n，f(n) 存在，這個函數被稱為光滑函數或稱 $C^{\infty }$ 函數。

## 多元函數的可微性

如果一個函數的所有偏導數在某點的鄰域內存在且連續，那麼該函數在該點可微，而且是 class _C_1。(這是可微的一個充分不必要條件)

形式上，一個多元實值函數 **f**: **R**m → **R**n 在點 **x0** 處可微，如果存在線性映射 **J**: **R**m → **R**n 滿足

　
: $\lim _{\mathbf {h} \to \mathbf {0} }{\frac {\|\mathbf {f} (\mathbf {x_{0}} +\mathbf {h} )-\mathbf {f} (\mathbf {x_{0}} )-\mathbf {J} \mathbf {(h)} \|_{\mathbf {R} ^{n}}}{\|\mathbf {h} \|_{\mathbf {R} ^{m}}}}=0.$

注意，偏導數（甚至所有方向導數）都存在並不能保證函數在該點可微，考慮以下函數 _f_: **R**2 → **R**：

　
: $f(x,y)={\begin{cases}x&{\text{if }}y\neq x^{2}\\0&{\text{if }}y=x^{2}\end{cases}}$

此函數在 (0, 0) 並不可微，但其所有偏導數及方向導數在該點皆存在。以下是一個連續的例子：

　
: $f(x,y)={\begin{cases}y^{3}/(x^{2}+y^{2})&{\text{if }}(x,y)\neq (0,0)\\0&{\text{if }}(x,y)=(0,0)\end{cases}}$

此函數在 (0, 0) 並不可微，但其所有偏導數及方向導數在該點皆存在。

## 複變函數的可微性

在複分析中，任何在某點附近可微的複變函數被稱為全純函數，這類函數也將會是無限可微，甚至是解析函數。

## 參考資料