zaibd/wkpdtw huggingface dataset:
可再生燃料是由可再生資源生產的燃料。例子包括：生物燃料（例如燃料植物油、乙醇、來自清潔能源和二氧化碳或生物質的甲醇和生物柴油）和氫燃料（當採用可再生工藝生產時）。這與天然氣、液化石油氣（丙烷）、石油和其他化石燃料以及核能等不可再生燃料形成鮮明對比。可再生燃料可以包括由可再生能源合成的燃料，例如風能和太陽能。可再生燃料因其可持續性、對碳循環的貢獻低而受到歡迎。這些燃料的地緣政治影響也令人感興趣，特別是對於希望獨立於中東石油的工業化經濟體。



可再生燃料的基本原理

國際能源署的《 _2006 年世界能源展望_》得出結論，石油需求的增長如果不加以控制，將加劇消費國對嚴重供應中斷和由此產生的價格衝擊的脆弱性。用於運輸的可再生生物燃料是石油產品多樣化的關鍵來源。來自溫帶地區的穀物和甜菜的生物燃料可以發揮作用，但它們相對昂貴，而且它們的能源效率和 CO2 減排效益各不相同。來自甘蔗和其他高產熱帶作物的生物燃料更具競爭力和效益。但所有第一代生物燃料最終都會與糧食生產爭奪土地、水和其他資源。需要更加努力地開發和商業化第二代生物燃料技術，例如生物精煉技術和纖維素乙醇，以實現從非食用植物材料靈活生產生物燃料和其他產品。 

Hubbert 的石油峰值理論表明，石油是一種正在迅速枯竭的有限資源。全球剩餘石油總儲量約 1,277,702,000,000 桶（203.1384 立方公里） （約為原始原始儲量的二分之一），全球使用率為 25,000,000,000 桶（4.0 立方公里） 每年，預計只有大約 50 年的石油價值會以目前的消耗速度保持不變。石油對於以下行業是必不可少的：燃料（家庭取暖、噴氣燃料、汽油、柴油等）運輸、農業、製藥、塑料 / 樹脂、人造纖維、合成橡膠和炸藥。如果現代世界仍然依賴石油作為能源，原油價格可能會顯著上漲，從而破壞全球經濟的穩定。因此，可再生燃料的發展助力包括：高油價、貿易不平衡、世界石油出口地區的不穩定、2005 年能源政策法案、美國農民和工業獲得意外利潤的潛力、避免經濟蕭條、避免稀缺由於預計最早於 2021 年開始出現波動的「哈伯特頂點」情景， （儘管石油峰值並不是一個新想法）以及全球暖化的放緩可能會導致前所未有的氣候變化，從而導致產品數量減少。

此外，人為溫室氣體排放正在導致氣候變化的結論，以及區域地緣政治的不穩定，已經對各國採取行動開發替代能源和碳中和能源提出了挑戰。因此，可再生燃料對許多政府越來越有吸引力，他們開始將可持續能源獨立視為一項寶貴資產。

 

根據國際能源署 (IEA) 的說法，纖維素乙醇的商業化可以讓乙醇燃料在未來發揮比以前想像的更大的作用。 纖維素乙醇可以由植物物質製成，主要由不可食用的纖維素纖維組成，這些纖維素纖維形成大多數植物的莖和枝。專用能源作物，如柳枝稷，也是可在美國許多地區生產的有前途的纖維素來源。 



生物燃料

生物燃料是一種燃料，其能量來源於生物碳固定。生物燃料包括來自生物質轉化的燃料，以及固體生物質、液體燃料和各種沼氣。 儘管化石燃料起源於古老的碳固定，但根據普遍接受的定義，它們不被視為生物燃料，因為它們所含的碳已經「脫離」了碳循環很長時間了。在油價飆升、提高能源安全的需要、對化石燃料溫室氣體排放的擔憂以及政府補貼的支持等因素的推動下，生物燃料越來越受到公眾和科學界的關注。

生物乙醇是一種通過發酵製成的酒精，主要來自糖類或澱粉作物（如玉米或甘蔗）中產生的碳水化合物。源自樹木和草等非食物來源的纖維素生物質也被開發作為乙醇生產的原料。乙醇可以以其純淨形式用作車輛燃料，但通常用作汽油添加劑以增加辛烷值並改善車輛排放。生物乙醇在美國和巴西廣泛使用。當前的工廠設計不提供通過發酵將植物原材料的木質素部分轉化為燃料成分。

生物柴油由植物油和動物脂肪製成。生物柴油可以以其純淨形式用作車輛的燃料，但通常用作柴油添加劑以降低柴油動力車輛的顆粒物、一氧化碳和碳氫化合物的含量。生物柴油是通過酯交換由油或脂肪生產的，是歐洲最常見的生物燃料。

2010 年全球生物燃料產量達到 1050 億升（280 億加侖美國），比 2009 年增長 17%，生物燃料提供了 2.7% 的世界道路運輸燃料，主要包括乙醇和生物柴油。 2010 年全球乙醇燃料產量達到 860 億升（230 億加侖），美國和巴西是世界最大的生產國，合計占全球產量的 90%。世界上最大的生物柴油生產國是歐盟，占 2010 年所有生物柴油產量的 53%。 截至 2011 年，在 31 個國家的國家層面和 29 個州 / 省存在混合生物燃料的授權。 據國際能源署稱，到 2050 年，生物燃料有可能滿足世界四分之一以上的交通燃料需求。 

熱解油是衍生自生物質的木質纖維素部分的另一種燃料。通過在沒有氧氣的情況下快速加熱生物質（熱解），可以形成液體原油，可以進一步加工成可用的生物油。與其他生物燃料不同，熱解油使用生物質的不可食用部分，並且可以在毫秒級發生，並且不需要大型發酵反應器。 



氫燃料

氫燃料是指使用氫氣（H2）作為能量載體。從廣義上講，可再生氫燃料的生產方式可分為兩大類：生物衍生生產和化學生產。 這是當前研究的一個領域，在迅速發展過程中。

自 1970 年代以來，氫燃料的生物生產就是一個重要的研究主題。氫氣可以從農業和森林殘餘物、消費廢物和其他特定農作物等生物質來源生產。 具體而言，氫燃料通過稱為氣化的過程生產，其中生物質被加工成可燃氣體然後燃燒，或通過熱解，可產生適用於燃料電池應用的氫氣的相關過程。一個持續的研究主題是在這兩個過程中產生不需要的副產品。其他污染氣體的存在通常取決於生物質源的特定組成，這可能難以控制。 另一個生物生產氫燃料的來源是藻類。在 1990 年代後期，人們發現如果藻類被脫硫，它們會像正常的光合作用一樣從產生氧氣轉向產生氫氣。 實驗性藻類農場正試圖使藻類成為經濟上可行的能源。 

 
還有幾種產生氫氣的物理化學方法。大多數這些方法都需要電解水。當這個過程從風力渦輪機或光伏電池等可再生能源中獲取電力時，生產幾乎不需要消耗不可再生資源。當由風能或太陽能等可再生能源生產時，氫燃料是一種被稱為綠氫的可再生燃料 。



加工工程燃料

PEF 是水泥窯中化石燃料的部分替代品。它具有顯著的熱值，可在高燃燒設施中用作煤和天然氣的燃料替代品。 PEF 設施通常將垃圾從垃圾填埋場轉移，從而減少對不可再生煤的需求並減少垃圾填埋場。



另見


* 電動燃料

* 國際可再生能源機構

* 電轉氣

* 可再生天然氣

* 太陽能燃料

* 合成氣
可再生能源比例標準（英語：RPS, Renewable Portfolio Standard），也被稱為可再生能源配額制（在英國稱作可再生能源義務），是指給予電力公司的指標，要求他們所發的電力有一定比例來自於可再生能源。此一比例由政府確立，通常會逐年上升。這些能源可以來自風能、太陽能、生物質能或者地熱能等。在實行可再生能源比例標準的地方，使用綠色能源每向電網輸送 1000 千瓦・時的電力，就可以獲得一個單位的可再生能源證書。電力公司為了滿足政府規定的指標，就需要購買這些證書，直到他們攢齊足夠的證書向監察當局證明其滿足了指標。

因為引入了市場機制，可再生能源比例標準與上網電價補貼政策不同，並不能保證所有可再生能源都能獲取固定價格的政府補貼，而是依賴市場上「證書」的自由定價。可再生能源比例標準的支持者們認為，這種市場機制會帶來良性競爭，推進能源的效率，鼓勵創新，最終使得可再生能源的成本可以與傳統化石燃料相抗衡。雖然，不同種類的綠色能源之間的競爭可能存在不均衡的現象，但它可以通過具體的比例和特定加乘的方法得以緩解。

可再生能源比例標準已經為許多國家所採納，包括英國、義大利、波蘭、瑞典、比利時和智利。不過它最成功的地方，還是在美國。雖然當前還沒有聯邦一級的政策，但在美國 50 個州中已有 30 個確立了可再生能源比例標準。這些政策與多個聯邦稅扣除項目一起有力地推動了美國綠色能源的應用。

電力同業公會則反對可再生能源比例標準，認為它將「導致用戶電價上漲，並引起各州之間的不平等。」



參見


* 淨計量電價

* 可再生能源



參考材料
可再生能源證書（Renewable Energy Certificates）也稱為綠色標籤、可交易再生能源證書，以及歐洲的綠色證書，是一種可以在市場上交易的能源商品。由專門的認證機構給可再生能源產生的每 1000 千瓦・時電力頒發一個專有的號碼證明其有效性。也即是說，1 兆瓦電力就是 1 個單位的證書。由於太陽能光伏的特殊性，美國還有專門的可再生太陽能證書（_Solar Renewable Energy Certificates_）。

可再生能源證書代表了使用清潔能源發電對環境的價值，因此，證書可以與其產生的電力本身分開交易。綠色證書是可再生能源比例標準的重要一環，它借用市場機制形成了一項對使用者的補貼，以此鼓勵綠色能源的廣泛應用。需要指出的是，與世界性的碳交易不同，綠色證書的市場是一個國內市場，只在實行相應比例標準的地區內交易。

具體而言，每個國家合資格的可再生能源的種類都不一樣。不過通常，以下幾種能源都可以獲得認可：


* 風能（包括陸上的和離岸發電）

* 太陽能（包括集熱式太陽能和太陽能光伏）

* 潮汐能（包括近岸和海洋）

* 地熱能

* 小型水力發電

* 生物質能（也稱為生物燃料）

在美國，目前像加州、紐約州等規定到每一年全州電力的一定比率必須是可再生能源電力（如加州到 2020 年要達到 33%），這構成了綠色證書的主要消費市場；另外，有很多個人用戶，大公司為了支持清潔能源事業，也願意花錢購買。在沒有可再生能源比例標準的州份，證書通常以較為便宜的價格賣給這些自願買主。

在 2006 年，可再生能源證書價格從 5 美元到 90 美元不等，均價約 20 美元。



參見


* 排污交易

* 可再生太陽能證書

* 上網電價補貼政策

* 可再生能源比例標準

* 可再生能源

* 能源開發
《可再生與可持續能源期刊》（Journal of Renewable and Sustainable Energy）是一份 2009 年發行的線上學術期刊。該期刊每月出版一次，內容涵蓋再生能源及可持續能源相關的物理和工程議題。目前，期刊的主編是 P. Craig Taylor 和 John A. Turner。據 2012 年的期刊引證報告指，《可再生與可持續能源期刊》的影響因子為 1.514。



資料來源



外部連結


* 官方網站
《可再生與可持續能源評論》（Renewable and Sustainable Energy Reviews）是一份 1997 年發行的學術期刊。該期刊每年出版 9 次，內容涵蓋可再生能源和可持續能源的應用、政策以及對環境的影響。目前，期刊的主編是美國國家可再生能源實驗室的 L. Kazmerski。據 2011 年的期刊引證報告指，《可再生與可持續能源評論》的影響因子為 6.018。



資料來源



外部連結


* 官方網站
可再生資源，也稱爲流動資源， 是一種自然資源，能夠在一定時間內透過自然收生產或其他循環過程來補充及替代耗盡的資源。當資源的再生率不可能超過人類時間尺度時，這些資源稱爲永久資源。 可再生資源是地球自然環境的一部分，也是生態圈最大組成部分。正面的生命周期評估是資源可持續性的關鍵指標。

可再生資源的定義也包括農業生產，如農產品和水資源。 1962 年， 保羅・阿爾弗雷德・韋斯定義可再生資源是「所有為人類_提供生命、纖維等的生命體_ " 。 另一種可再生資源是可再生能源。可再生能源的常見來源包括太陽能、地熱能和風能，這些都歸類為可再生資源。淡水也是可再生資源的例子。



參見



腳註



參考文獻



閲讀書目


* Krzeminska, Joanna, Are Support Schemes for Renewable Energies Compatible with Competition Objectives? An Assessment of National and Community Rules, Yearbook of European Environmental Law (Oxford University Press), Volume VII, Nov. 2007, p. 125

* Masters, G. M. (2004). Renewable and Efficient Electric Power Systems. Hoboken, NJ:John Wiley & Sons.

* Panwar, N. L., Kaushik, S. C., & Kothari, S. (2011, April). Role of renewable energy sources in environmental protection: A review. Renewable & Sustainable Energy Reviews, 15(3), 1513–1524.

* Sawin, Janet. "Charting a New Energy Future." State of the World 2003. By Lester R. Brown. Boston & Company, Incorporated, 2003.
可林斯（Collins）是一類雞尾酒，這種雞尾酒一般要加檸檬汁和糖粉，搖後，裝在已經放冰塊的坦布勒杯，再加滿冰鎮蘇打水飲用。


* 蘭姆可林斯（Rum Collins）

* 波本可林斯（Bourbon Collins）

* 湯姆可林斯（Tom Collins）

* 約翰可林斯（John Collins）

一般配方以 2:1:1/2 的酒，檸檬汁（或青檸汁）和糖為基礎，搖晃後加滿蘇打即可。
《可凡傾聽》是上海廣播電視台紀實人文頻道一檔以「傳播精英文化」為主旨的文化名人訪談類節目，主持人曹可凡是上海的電視綜藝節目主持人，他以自己的知性和風趣，傾聽智者的聲音。



嘉賓



參見


* 觀看《可凡傾聽》 （頁面存檔備份，存於網際網路檔案館）

* 東視文藝頻道
可分離代換的偏微分方程式（PDE）是指一種偏微分方程式，在求解時可以用分離代換法分離為一組階數較低的微分方程式。這一般是因為偏微分方程式滿足某種形式或是對稱。因此可以利用求解一組較簡單的偏微分方程式來求解原問題，若可以簡化為一維的問題，甚至可以用變成常微分方程式。

分離代換法最常見的形式是其解可以假設為幾個函數的積，而每個函數只有一個自代換。例如給予一個 $n$ 元函數 $F(x_{1},\ x_{2},\ \dots ,\ x_{n})$ 的偏微分方程式，猜想解答的形式為

　
: $F=F_{1}(x_{1})F_{2}(x_{2})\cdots F_{n}(x_{n})$ 。

這是一種特別的分離代換法，稱為 $R$ - 分離代換法，此方式是將解寫成和座標有關的固定函數，以及以各座標為自代換函數的乘積。 ${\mathbb {R} }^{n}$ 上的拉普拉斯方程式是一個可以用 $R$ - 分離代換法求解的偏微分方程式的例子，在三維空間下會用六維球面座標轉換來求解。

偏微分方程式的分離代換法和常微分方程式的分離代換法不同，後者是指問題可以變成二個積分相等的形式。



範例

例如，考慮非時變的薛丁格方程式

　
: $[-\nabla ^{2}+V(\mathbf {x} )]\psi (\mathbf {x} )=E\psi (\mathbf {x} )$

針對函數 $\psi (\mathbf {x} )$ （為簡化問題，其為無因次量）（等效的作法是考慮非齊次的亥姆霍茲方程式）。若三維函數 $V(\mathbf {x} )$ 形式如下

　
: $V(x_{1},x_{2},x_{3})=V_{1}(x_{1})+V_{2}(x_{2})+V_{3}(x_{3}),$

則此問題可以分解為三個一維的常微分方程式，函數分別是 $\psi _{1}(x_{1})$ 、 $\psi _{2}(x_{2})$ 及 $\psi _{3}(x_{3})$ ，最後的解可以寫成 $\psi (\mathbf {x} )=\psi _{1}(x_{1})\cdot \psi _{2}(x_{2})\cdot \psi _{3}(x_{3})$ 。（薛丁格方程式中可以分離代換求解的例子已由艾森哈特（Eisenhart）在 1948 年列舉）。
可分擴張是抽象代數之體擴張理論中的概念。如果一個代數擴張 L/K 滿足：任何一個 L 中元素在基域 K 上的極小多項式都是可分多項式，那麼這個擴張就稱作可分擴張。由於特徵為 0 的域（包括常見的有理數域 $\mathbb {Q} $ ）以及有限體都是完美域，任何這些域上的代數擴張都是可分擴張，因此可分擴張在體論研究中十分重要。可分擴張還是伽羅瓦擴張的條件之一，因此它在伽羅瓦理論中也扮演了重要的角色。



簡介

體擴張理論和多項式有緊密的關係。給定一個基體 K 並固定其某個代數閉包 _K_alg，所有 K-多項式 f（即以 K 中元素為係數的多項式）都在 _K_alg 中有根，即存在 rf，使得 _f_(_rf_) = 0。考慮集合 $Z_{f}=\{r\in K^{\mathrm {alg} };\;f(r)=0\}$ 。Zf 包含了 f 所有的相異的根，它的元素個數不會超過多項式 f 的次數，但也不總等於多項式 f 的次數。例如有理數係數的三次多項式 $X^{3}-X$ 有三個不同的根：1、0 和 - 1，相異根的個數等於多項式次數。但同樣是三次多項式 $X(X-1)^{2}$ 就只有兩個根：0 和 1。

儘管隨著代數閉包 _K_alg 變化，多項式 f 的根的形式可以不一樣，但多項式相異根的個數是它的內稟屬性。這個屬性對應著體擴張理論中的可分擴張與不可分擴張。



多項式的重根與可分多項式

給定體擴張 L/K 以及 K-多項式 f。如果某個 L 中元素 α 是 f 的根，那麼 f 可以分解為兩個 L-多項式的乘積：

　
: : $f=(X-\alpha )g$ .

其中 g 是一個次數比 f 少 1 的多項式。如果 α 也是 g 的根，那麼 α 就被稱作是多項式 f 的重根。有重根的多項式，相異根的個數必然嚴格小於它的次數。這樣的多項式稱為不可分多項式。反之稱為可分多項式。

在 f 的分裂體中，可以更清楚的看到重根。給定 f 的分裂體 F/K 後，由於 f 在 F 中可以完全分解為一次因式的乘積：

　
: : $f=\kappa (X-\alpha _{1})(X-\alpha _{2})\cdots (X-\alpha _{k}),\;\kappa \in K,\;\alpha _{1},\alpha _{2},\cdots ,\alpha _{k}\in F$ .

因此可以看出是否有兩個根相同。

儘管 f 的根常常在擴張體中，但「f 是否有重根」的判斷可以直接在 K 中進行。考慮 f 的形式導數多項式 D( _f_ )。如果 f 和 D( _f_ ) 互質，則 f 沒有重根。否則，f 和 D( _f_ ) 的公因子就是由 f 的重根組成的多項式。互質的具體判別方式為：

　
: 如果存在 K-多項式 p 和 q，使得 _pf_ + _q_D( _f_ ) = 1，則 f 和 D( _f_ ) 互質。



定義

一個代數擴張 L/K 是可分擴張，若且唯若對 L 中任一給定元素 α，α 在 K 上的極小多項式沒有重根。



可分元素與可分次數

給定一個體擴張 L/K，如果 L 中某個元素 α 在 K 上的極小多項式沒有重根，就稱它為 K 上的可分元素。顯然所有 K 中元素都是 K 上的可分元素。所有可分元素構成一個域，記作 Ls 是體擴張 L/K 的中間域。子擴張 Ls/K 的次數[_L_s : _K_]稱為 L/K 的可分次數，記作[_L_ : _K_]s。如果 _L_s = _L_，則 L/K 是可分擴張。

當 L/K 是有限擴張時，可以定義不可分次數[_L_ : _K_]i := [_L_ : _K_]/[_L_ : _K_]s。L/K 是可分擴張等價於說不可分次數等於 1。



性質


* 如果 L/F、F/K 都是代數擴張，那 L/K 是可分擴張若且唯若 L/F 和 F/K 都是可分擴張。

* 假設 L/K 是可分擴張，M/K 是任意擴張，並且 LM 存在，那麼 LM/K 也是可分擴張。

* 由以上兩個性質可以推出，對於任何域 K，在它的代數閉包 _K_alg 里，所有在 K 上可分的元素可以構成一個域。稱這個域為 K 的可分閉包，記作 _K_sep。

* 如果 L/K 是有限可分擴張，那 L/K 之間只存在有限多個中間域，由本原元定理得出，L/K 存在本原元，即存在 $\alpha \in L$ 使得 $L=K(\alpha )$ 。



參見


* 完美域

* 本原元定理



參考文獻


* Serge Lang. Algebra. Springer-Verlag. 2002. ISBN 978-0-387-95385-4.
數學中，可分多項式在不同的作者的書下有兩個略微不同的定義。

最常見的一個定義是：當在一個給定域 K 上的多項式 P (X) 在 K 的代數閉包中有不同的根時，稱多項式為可分的。換言之它的互異根的數量需要等於多項式的次數。在多項式因式分解的觀點下，這樣的多項式是無平方多項式。

第二個定義，當 P (X) 在 K [X] 中的每個不可約因子在 K 的代數閉包中的根互不相同，此時稱 P (X) 是可分的。這意味著每個不可約因子是無平方項的。在這個定義中，可分性依賴於 K，比如任何一個不可分的不可約多項式 P 在它的分裂域上都變成可分的了。並且在這個定義下，每個完美域上的多項式是可分的，這包含了 0 特徵域和所有有限域。

兩個定義對於 K 上不可約多項式是等價的，這個被用來定義域 K 的可分擴張。

在條目的餘下部分我們只用第一個定義。

一個多項式可分若且唯若它與它的形式導數 P'(X) 互素。



域的可分擴張

可分多項式被用於定義可分擴張：一個域擴張 $K\subset L$ 是一個可分擴張若且唯若對任意的代數元 $\alpha \in L$ ， $\alpha $ 在 K 上的極小多項式是可分多項式。

不可分擴張只可能在特徵為 p 的域上出現。

由定義可以立馬得到如果 P 是不可約的並且不可分，那麼 P'(X)=0. 因此必須有：

_P_(_X_) = _Q_(Xp) 

對某個 K 上多項式 Q 成立，當中 p 是 K 的特徵。

對此，我們能夠構造一個例子：

_P_(_X_) = _X_p − _T_

當中 K 是在有限域 Fp 上的不定元 T 的有理函數組成的域。
這裡可以直接證明 P (X) 是不可約的，並且不可分。事實上這是為什麼不可分性需要被強調的一個例子；用幾何的語言來說，P 代表了有限域上的一個射影直線，將坐標取 p 次冪。這樣的映射對有限域上的代數幾何是基礎的。換言之，存在一些不能用伽羅華理論來描述的覆蓋。（見根態射（radical morphism）條目尋找更高層次的闡述）

若 L 是域擴張

　
: _K_(_T_1/_p_),

換言之是 P 的分裂域，則 L/K 是一個純不可分域擴張的例子。它的次數是 p，但是除了恆等映射沒有保 K 不變的態射，因為 _T_1/_p_ 是 P 的唯一一個根。這直接證明了伽羅華理論在這裡不適用。一個沒有此類擴張的域稱為完美域。

可以證明 L 和它自己在 K 上的張量積有非零的冪零元。這又一次證明了不可分性：這是說域上的張量積操作不需要形成一個域的積環（因此沒有交換的半單環）。

若 P (X) 是可分的，且它的根形成了一個群（域 K 的子群），則 P (X) 稱為一個加性多項式。



伽羅華理論中的應用

可分多項式常在伽羅華理論中出現。

比如，令 P 是一個整係數不可約多項式而 p 是一個不整除 P 首項係數的素數。Q 是有限域 Fp 上的上由 P 模 p 約化而來的多項式。則若 Q 可分則 Q 不可約因子的次數是 P 的伽羅華群的某個置換的長度。

另一個例子：P 同上，一個群 G 的預解式 R 是一個係數為 p 為係數的多項式的多項式，R 提供了關於 P 的伽羅華群的信息。更準確的說，若 R 是可分的並且有有理根則 P 的伽羅華群包含於 G。例如若 D 是 P 的判別式，則 X2-D 是交錯群的預解式。當 P 是可約的這個預解式總是可分的，但是大多的預解式是不可分的。



參考資料


* Pages 240-241 of Lang, Serge, Algebra Third, Reading, Mass.: Addison-Wesley Pub. Co., 1993, ISBN 978-0-201-55540-0
可分物(拉丁語：res dividuae，德語：teibare Sachen，法語：choses divisibles) 為分割後仍可保持原本性質及其價值的物，可分物可作為可分債權，與不可分物相對，數人分割共有可分物時，可將原物分配，如金錢、米、酒、穀物及土地等屬之。



參見


* 不可分物



參考文獻
$$ 可分離代換的微分方程式也叫做代換分離方程式，指的是形如 ${\frac {dy}{dx}}=f(x)\varphi (y)$ 的方程式.



等價定義

可化為 $g(y)dy=f(x)dx$ 的方程式，稱為可分離代換的微分方程式.



一般解法 (求通解)

分離代換法：

對 ${\frac {dy}{dx}}=f(x)\varphi (y)$ ，若 $\varphi (y)\neq 0$ 則 ${\frac {dy}{\varphi (y)}}=f(x)dx$ ，兩邊取不定積分，得 $\int {\frac {dy}{\varphi (y)}}=\int f(x)dx\,+c$ ，這裡 $\int {\frac {dy}{\varphi (y)}}$ 和 $\int f(x)dx\,$ 理解為某個確定的原函數， $c$ 為任意常數.

對 $g(y)dy=f(x)dx$ 也是一樣的解法.



初值問題（求特解）

1. 不定積分法

以 $g(y)dy=f(x)dx$ 為例，若給初始條件 $y\mid _{x=x_{0}}=y_{0}$ , 則對 $g(y)dy=f(x)dx$ 兩邊取不定積分，得

 $\int g(y)dy=\int f(x)dx+c$ , 將初始條件代入，求得

 $c=c_{0}$ , 再代回原方程式即得所要求的特解 $F(x,y)$ .

 
2. 變上限積分法

仍以 $g(y)dy=f(x)dx$ 為例，若給初始條件 $y\mid _{x=x_{0}}=y_{0}$ , 對 $g(y)dy=f(x)dx$ 兩邊取不定積分，得

 $G(y)=F(x)+c$ , 其中 $G(y),F(x)$ 分別為 $g(y),f(x)$ 的一個原函數，代入初始條件，有

 $G(y_{0})=F(x_{0})+c\Rightarrow c=G(y_{0})-F(x_{0})$ , 代回原方程式得特解為 $G(y)=F(x)+G(y_{0})-F(x_{0})$ , 即

 $G(y)-G(y_{0})=F(x)-F(x_{0})$ , 根據牛頓 — 萊布尼茨公式，可知

 $\int _{y_{0}}^{y}g(u)du=\int _{x_{0}}^{x}f(v)dv$ , 在不混淆的時候，可寫為

 $\int _{y_{0}}^{y}g(y)dy=\int _{x_{0}}^{x}f(x)dx$ .

 
所以可以用兩邊取變上限積分的方法求這類初值問題.

 
若又給條件 $y\mid _{x=x_{1}}=y_{1}$ , 將此條件代入 $G(y)-G(y_{0})=F(x)-F(x_{0})$ , 得

 $G(y_{1})-G(y_{0})=F(x_{1})-F(x_{0})$ , 即

 $\int _{y_{0}}^{y_{1}}g(y)dy=\int _{x_{0}}^{x_{1}}f(x)dx$ .



參考資料

1.《常微分方程式（第三版）》王高雄、周之銘等編 高等教育出版社

2.《高等數學（第六版）》同濟大學

3.《微積分（第二版）》同濟大學應用數學系

4.《微積分學習指導書》同濟大學應用數學系
在數學中，一個拓撲空間被稱為可分空間當它包含一個可數的稠密子集，也就是說，存在一個序列 $\{x_{n}\}_{n=1}^{\infty }$ ，使得此空間中的每個非空的開子集都有這個序列中的至少一個元素。

如可數性公理一樣，可分性是一種對空間「大小」的「限制」，雖然這個限制並不一定就是對空間中元素多少的限制（然而在豪斯多夫公理成立的時候這兩者是一樣的）。特別地，可分空間中的每個連續函數，只要其圖像是某個豪斯多夫空間的子集的話，就會被其在某個可數的稠密子集上的取值所確定。

一般來說，對於經典分析學和幾何學中的空間來說，可分性是一個很有用的技術性假設，也被認為是比較弱的假設。



例子

首先，所有的由有限集或者可數集構成的空間都是可分空間。由不可數集所構成的拓撲空間中，一個可分空間的重要例子是由所有實數組成的實數集空間，因為所有的有理數在其中構成了一個可數的稠密子集。類似地，所有由向量 $(r_{1},\ldots ,r_{n})$ 所構成的空間 $\mathbb {R} ^{n}$ 也是可分空間，也即是說，所有的有限維歐幾里德空間都是可分的。

不可分空間的一個簡單例子是基數不可數的離散空間。



可分性與第二可數性

每個第二可數空間都是可分的：如果 $\{U_{n}\}$ 是一個可數基底，那麼只要選擇任意一個 $x_{n}\in U_{n}$ 就可以得到一個可數並且稠密的子集。反過來說，一個度量空間可分若且唯若它是第二可數的或林德洛夫空間。



參考來源
可分離動詞是一種由單詞核心與可分離助詞組成的動詞。在某些句子中的位置，核心動詞與助詞結合成一個單詞，而在其他位置時核心動詞與助詞則需分離。這裡的助詞不能算是前綴，因為他能夠與核心動詞分開。德語、荷蘭語、南非語 以及匈牙利語 擁有許多可分離動詞。可分離動詞的存在對句子結構理論提出挑戰，因為當它們分離時，看不出要如何了解意義的複合性。
這種動詞的分離被稱為插詞法 (tmesis)。
在數學上，可數集，或稱可列集，是與自然數集的某個子集具有相同基數（等勢）的集合。在這個意義下，可數集由有限可數集和無限可數集組成。不是可數集的無窮集稱為不可數集。這個術語是康托爾創造的。可數集的元素，正如其名，是「可以計數」的：儘管計數有可能永遠無法終止，集合中每一個特定的元素都將對應一個自然數。

「可數集」這個術語有時也指代可數無窮集，即僅代表能和自然數集本身一一對應的集合。兩個定義的差別在於有限集合在前者中算作可數集，而在後者中不算作可數集。

為了避免歧義，前一種意義上的可數有時稱為至多可數，後一種可數集則稱為無限可數集。



定義

如果存在從 $S$ 到自然數集合 $\mathbb {N} =\left\{1,2,3,\ldots \right\}$ 存在單射函數，則 _$S$_ 稱為可數集。

如果 _$S$_ 還是滿射，則同樣是雙射，則稱 $S$ 是無限可數集。

換句話說，一個集合要想是無限可數集，它要和自然數集 $\mathbb {N} $ 有一一對應關係。

如上所述，這個術語不普遍：一些作者在這裡使用可數來表示被稱為「無限可數」，並沒有包括有限集。



介紹

由定義易知所有偶數所構成的集合為可列的，因為我們可以將所有的 $n$ 都對應到 $2n$ ，如此就完成了一一對應。類似地，不難證明所有整數構成的集合 $\mathbb {Z} $ 、所有有理數構成的集合 $\mathbb {Q} $ 、甚至所有代數數構成的集合都是可列的。

並非所有的無窮集都可數。喬治・康托首先指出存在有不可列的無窮集合。他利用他發明的對角論證法證明了由所有實數構成的集合 $\mathbb {R} $ 是不可列的，即 $\mathbb {R} $ 與 $\mathbb {N} $ 之間不可能存在一種一一對應。這同時也表示實數當中存在有一些數不是代數數，因為剛才已經說過代數數是可列的；於是這就給出了一種超越數存在的非構造性證明。



正規定義和性質

由定義，如果存在從 _$S$_ 到自然數集合 $\mathbb {N} =\left\{0,1,2,3,\ldots \right\}$ 存在單射函數 $f:S\rightarrow \mathbb {N} $ ，則 _$S$_ 稱為可數集。

這似乎自然地把集合劃分為不同類別：把所有包含一個元素的集合放在一起；包含兩個元素的集合在一起...... 最後，把所有無限集合放在一起，並認為它們具有相同的大小。然而，在大小的自然定義下，這種觀點是不確切的。

為了闡述這一點，我們需要一個雙射的概念。雖然雙射看起來比數更加高深，但原本數學發展中集論定義函數要先於數字。因為它們都是基於更簡單的集合。這就引出了雙射的概念：

　
: $a\leftrightarrow 1,b\leftrightarrow 2,c\leftrightarrow 3$

由於 $\left\{a,b,c\right\}$ 的每個元素都可以和 $\left\{1,2,3\right\}$ 中_準確的一個_配對，_並且_反過來也同樣，這就定義了一個雙射。

我們將這個情境一般化，定義若且唯若它們之間存在雙射，兩個集合的大小相同。對於有限集，這裡給出了「大小相同」的常用定義。那麼對於無限集呢？

考慮集合 $A=\left\{1,2,3,\ldots \right\}$ （正整數集），和 $B=\left\{2,4,6,\ldots \right\}$ （正偶數集）。我們說，在我們的定義下，這些集合有相同的大小，並且因此 _B_ 是無限可數集。我們需要證明它們之間存在雙射。但這是很簡單的，運用 $n\leftrightarrow 2n$ ，那麼

　
: $1\leftrightarrow 2,2\leftrightarrow 4,3\leftrightarrow 6,4\leftrightarrow 8,\ldots $

正如前面的例子， $A$ 的每個元素都已和 $B$ 中_準確的一個_配對，_並且_反過來也同樣。因而它們大小相同。這給出了一個集合與其一個合適的子集大小相同的例子，這種情形在有限集中是不可能的。

同樣，自然數的有序對的集合，也就是自然數集合的笛卡爾積 $\mathbb {N} \times \mathbb {N} $ ，是無限可數集，可以沿著圖中的一種路徑：

配對結果就像這樣：

　
: $0\leftrightarrow (0,0),1\leftrightarrow (1,0),2\leftrightarrow (0,1),3\leftrightarrow (2,0),4\leftrightarrow (1,1),5\leftrightarrow (0,2),6\leftrightarrow (3,0),\ldots $

顯然這個映射可以覆蓋所有這些有序對。另一個證明方法是可以定義一個從自然數集合的笛卡爾積 $\mathbb {N} \times \mathbb {N} $ 到自然數集合 $\mathbb {N} $ 的單射函數 $f(p,q)=2^{p}3^{q}$ 。

利用數學歸納法，可知在 n 是個有限的自然數時，自然數集合的 n - 元笛卡爾積 $\prod _{i=1}^{n}\mathbb {N} =\{(x_{1},\ldots ,x_{n})\ |\ x_{1}\land \;\ldots \;\land \;x_{n}\in \mathbb {N} \}$ 是可數的。利用自然數集的笛卡爾積是可數的這點，可以證明整數集和有理數集是可數集，這是因為整數可以視為自然數的有序對（可將正整數 $n$ 給視為 $(n,0)$ ，將負整數 $-n$ 給視為 $(0,n)$ ），而以最簡分數形式表示的有理數 $p/q$ 也可視為整數的有序對 $(p,q)$ 所致。

另外，可數無限多個可數集的聯集是可數的，這是因為可以定義一個單射函數，將可數無限多個可數集的聯集給映至自然數集合的笛卡爾積 $\mathbb {N} \times \mathbb {N} $ 之故。

不過可數無限多個自然數集合的笛卡爾積不是可數的，這可以透過康托的對角論證法證明。



參見


* Aleph 數

* 計數

* 希爾伯特旅館悖論

* 不可數集

* 有限集合



註解



參考資料


* Lang, Serge, Real and Functional Analysis, Berlin, New York: Springer-Verlag, 1993, ISBN 0-387-94001-4

* Rudin, Walter, Principles of Mathematical Analysis, New York: McGraw-Hill, 1976, ISBN 0-07-054235-X
語言的可判定性

一個語言 $L$ ，是一個集合，且其補集為 ${\overline {L}}$ 。 
當 $L$ 是圖靈機可識別時，語言 $L$ 則稱為半可判定。 
當語言 $L$ 不是圖靈機可識別，則為不可判定語言。 
若且唯若 $L$ 和 ${\bar {L}}$ 都是圖靈機可識別的時候，L 才能稱為可判定語言。



一般意義上的可判定性

指一個詢問真 / 假的問題是否可被回答。若不論一個問題答案為真或為假時均能得出該答案，則稱這個問題、或解決該問題時所用的算法為可判定的；若只能在答案為真時得出、但在答案為假時不能做出判斷，那麼稱為半可判定的；若根本不能得出為真或為假的結論，那麼稱為不可判定的。



參考


* 遞歸集合

* 假死機
可利亞，是一家台灣火鍋餐飲，創立於 1968 年，是台灣歷史最悠久的石頭火鍋和火烤兩吃連鎖火鍋店。



經歷

創立於 1968 年，曾經稱霸一時的可利亞餐廳，在民國 58 年以「石頭火鍋」起家，之後更改良成「火烤兩吃」風靡台灣市場，民國 81 年首創自助吃到飽當噱頭之後市場上吃到飽餐廳如雨後春筍，實在難以匹敵，民國 80 年間，全盛時期全台可利亞連鎖店有 34 家，現在僅存 1 家 (位於高雄市前鎮區和平二路 209 號)。其吃到飽的經營模式被認為帶起 1990 年代的台灣吃到飽風潮



參見


* 火鍋

* 石頭爆炒火鍋

* 奶油火烤兩吃



參考文獻



外部連結


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

* 可利亞臉書粉絲團 https://www.facebook.com/koriya.kh
嗜熱產氫菌屬（學名：_Thermohydrogenium_）為真細菌目共養單胞菌科的一屬革蘭氏陰性的桿菌。棲息於工業酵母的生物製品中。此屬的模式種也是唯一種為可利市嗜熱產氫菌 (_Thermohydrogenium kirishiense_)。



下屬物種


* 可利市嗜熱產氫菌 _Thermohydrogenium kirishiense_ Zacharova et al. 1996



參考文獻


* LPSN - List of Prokaryotic names with Standing in Nomenclature
三甘胺醯賴胺酸加壓素（Terlipressin，N-Alpha-Triglycyl-(8-Lysine)-Vasopressin）是血管加壓素的合成類似物，可用於治療低血壓，有時以正腎上腺素治療無效時，試用此藥可能有助病情。

使用的適應症包括以正腎上腺素治療無效的敗血性休克 和肝腎症候群， 以及治療食道靜脈曲張破裂出血。本藥在美國與加拿大並未上市，但紐西蘭、澳洲、印度、巴基斯坦、台灣等地皆核准本藥物之使用。



禁忌症

妊娠期間不得使用。



參考文獻
蘇格蘭牧羊犬（Rough Collie）從英文字義上看又被稱為粗毛牧羊犬，而可利牧羊犬是常見的俗稱。此類犬種為歷史悠久的牧羊犬，原產於蘇格蘭。因為知名電視劇《靈犬萊西》而廣為眾人所知。



體型特點

頭為楔形，輪廓平滑而乾淨，吻不尖，平滑而渾圓，下顎較強，為剪式咬合，鼻尖通常為黑色，眼不大，呈杏仁狀，暗褐色；顱部平坦，眉毛多為弓形；耳較小，有折耳和立耳之分。頸長，直立，頸背稍拱起，有厚重飾毛，胸深達肘部，肋深，背結實，腰部微拱，後臀彎曲不大，腹部略微上收，尾長而下垂，靜止時稍彎，運動時尾舉起擺動，四肢直，腳呈橢圓形，步伐優美，稍呈跳躍，奔跑步大。公犬體重約為 27 至 34 千克，肩高為 61 至 66 厘米；母犬體重為 22.7 至 27 千克，肩高為 56 至 61 厘米。



毛色

雲石色 (Blue Merle)、貂色 (Sable) 和三色 (Tri Color)。



和喜樂蒂牧羊犬的辨別方法

蘇格蘭牧羊犬無論是毛色分布和外觀都與喜樂蒂牧羊犬神似，請參見喜樂蒂牧羊犬。



相關影視作品


* 美國著名電視劇《靈犬萊西》，敘述一隻忠犬的故事。

* 日本動畫《名犬萊西》。
可麗餅（法語：Crêpe，法語發音：[kʁɛp] （ 聆聽），魁北克法語發音：[kʁaɛ̯p] （ 聆聽），英語發音：/ˈkreɪp/ ），又可翻譯為烤薄餅、法式煎餅、法式薄餅或法國蛋餅，一種有甜有鹹的法國布列塔尼地區的傳統煎餅，可以作為甜點或三明治食用。

正統的可麗餅麵皮需要用專門的烤盤和刮刀製成，但在家中也可使普通平底鍋烹製。其中內餡主要分為兩種口味，即甜味和鹹味。甜味的可麗餅使用的是小麥粉和蕎麥粉，還會在麵皮中加入奶油和牛奶，在內餡中加入鮮奶油、焦糖、草莓、香蕉、巧克力醬和卡士達醬；而鹹味的可麗餅則使用純蕎麥或黑麥粉，並在麵皮中加入會配上太陽蛋、培根、鮪魚、蔬菜沙拉和起司。



名稱

香港人亦將其與班戟（Picklete）混同，稱其為「手卷班戟」；台灣人因為在先接受了日本改良過的可麗餅，所以對於正宗的法國可麗餅會加上「法式可麗餅」的文字區別。



起源

可麗餅源自法國西北部的布列塔尼地區（法語：Bretagne），但 crêpe 這個名字則是源自一個從拉丁詞語演變來的詞。這個詞的原來意思是彎曲 skers。一般的可麗餅都是甜味，用小麥粉製作，但亦有用蕎麥粉製作，味道比較清淡的口味。吃的時候，會在餅內加入水果糖漿、漿果、新鮮水果或檸檬奶油等調味。

根據當地文化工作者的訊息，今日推測這種食品源自布列塔尼地區的主要因素是很有趣的，由於當地土壤貧瘠，對於小麥的生長相當不利，為了度日勉強將就作成薄餅，配以其他食物食用，而傳統上，這個地區食用可麗餅還會配上蘋果酒（法語：Cidre）一同搭配享用。



日式可麗餅

東亞流行的捲筒狀可麗餅型態，源自 1977 年日本東京原宿竹下通的可麗餅店。 餅皮被改良的比較光滑，但整體口感與法式可麗餅差別不大。和法式可麗餅一樣，香港人常將其與班戟混淆，但其口感與日式可麗餅完全不同。

日式可麗餅只有甜的，會加上起司蛋糕、巧克力蛋糕、草莓醬、抹茶醬、日本產鮮奶油、日式麻糬等日本特色產品，其內容物比原本法式可麗餅豐富許多；但缺點也很明顯，幾乎所有食材都集中在上半部，為了呈現表面的「豪華感」，而下半部為空虛、無內容物的情況較多。



台式可麗餅

台灣的可麗餅初期是仿照日本而製作，但不久之後就演化出自己的風格。台式的通常在烤盤上烤得酥脆，折起來色澤圓滑漂亮，然後裝在特製紙筒裡，日本的材料基本都可以加，還會加上冰淇淋（香草、草莓、香蕉、薄荷、巧克力等）、棉花糖、巧克力棒、彩虹糖等台灣人愛吃的食品。



港式雞蛋仔可麗餅

把雞蛋仔當做可麗餅，裡面裝入和台式可麗餅差不多的醬料，實現雙重享受。

製備


* 在沙拉碗中攪拌麵粉和食鹽，將雞蛋打在麵粉上。以木製湯匙混合均勻。(有些專業的大型店家也會用不鏽鋼 T 型棒)

* 一點一點地加入鮮乳。較長的時間可以讓牛乳和麵團更完美地融合。為了方便，乾料可以分開加。請盡情用力地攪拌它。

* 根據麵粉質量和所需的餅皮韌度加入適當的清水。

* 當麵糊呈均勻的液狀時加入少許的食鹽，再放入溶化奶油，最後放調味料（一勺朗姆酒，或一勺橙子水、肉桂等香料）。

* 靜置數個小時，最佳的時間是前一日準備後一日的麵糊，而要使用時再用一些水使其鬆化。

變化

雞蛋的使用可隨個人喜好增減，也可以加入一些啤酒軟化餅皮，或以葵花油取代奶油（10 公撮比上述配方）、加入融熔巧克力、增加些許甜度、以蘭姆酒增添香氣、加入君度力嬌 (利口酒)（見 Suzette 可麗餅）或是 anis 茴香都是不錯的選擇。



裝飾配菜

鹹可麗餅在製作餅皮的同時便加入了像是乳酪、火腿、雞蛋、燉燜蔬菜、香菇、各式肉品、鮪魚等各式可能的配料烹調；甜可麗餅則是在餅皮製作完成後才做裝飾，灑糖粉、抹果醬、包覆水果丁，搭配融熔巧克力，或同冰淇淋等配料一起食用。

Suzette 可麗餅

Suzette 可麗餅是將柳橙果肉，柳橙汁加上糖和酒燒成的調味汁澆在餅上。用 50g 糖、加 50g 牛油、烈酒和 20cc 橙汁在平底鍋裡燒熱，等鍋裡的火熄滅後，加橙肉，調味汁用小火燒成深棕色。將調味汁澆在盤裡的餅上，然後把餅的兩端摺向中心，最後在表面灑上砂糖。傳統食法是擺到餐桌上後，將調味汁點燃，有助營造氣氛。



參看


* 香蕉可麗餅

* 烤餅

* 中國煎餅

* 煎餅果子

* 越式燒餅



附註



外部連結


* （法文）Crêpe recipe with step-by-step pictures

* （英文）how to make a nutella crepe （頁面存檔備份，存於網際網路檔案館）
在編譯器理論中，一個指令的定義可達性（Reaching Definition）必然是另外一個指令，而這個指令則是一個沒有交錯賦值指令的目標變數，舉例來說：

```
d1 : y := 3
d2 : x := y
```

在 `d2` 中，`d1` 為定義可達性，而在下列的範例中：

```
d1 : y := 3
d2 : y := 4
d3 : x := y
```

`d1` 在 `d3` 不再是定義可達性，因為 `d2` 使它不再可能被到達。



作為分析用途

定義可達性也可稱為數據流分析，它靜態的決定在程式碼當中哪些定義可以被到達，由於他相當簡單，它在教課書當中通常被使用作數據分析的經典範例。數據流匯流運算（data-flow confluence operator）則是使用聯集，而他的分析則是正向流動。定義可達性被使用在計算 UD 鏈以及 DU 鏈。

資料流方程式，給定一個基本區塊 $S$ 在定義可達性：

 
* ${\rm {REACH}}_{\rm {in}}[S]=\bigcup _{p\in pred[S]}{\rm {REACH}}_{\rm {out}}[p]$

* ${\rm {REACH}}_{\rm {out}}[S]={\rm {GEN}}[S]\cup ({\rm {REACH}}_{\rm {in}}[S]-{\rm {KILL}}[S])$

換句話說，定義可達性的集合為 $S$ ， $pred[S]$ 為 $S$ 的前身，在控制流程圖（Control flow graph）中， $pred[S]$ 包含所有在 $S$ 區塊前的基本區塊。定義可達性出來的 $S$ ，為所有定義可達性自己前身減掉那些被 $S$ 剃除掉的變數，再加上 $S$ 產生的新的定義。

我們定義通用的指令 ${\rm {GEN}}$ 及 ${\rm {KILL}}$ 如下：

 
* ${\rm {GEN}}[d:y\leftarrow f(x_{1},\cdots ,x_{n})]=\{d\}$

* ${\rm {KILL}}[d:y\leftarrow f(x_{1},\cdots ,x_{n})]={\rm {DEFS}}[y]-\{d\}$

 ${\rm {DEFS}}[y]$ 為所有賦值給 $y$ 變數定義的集合， $d$ 是一個獨立的標籤附加在賦值的指令，那麼定義可達性的值域就是這些指令標簽。



延伸閱讀


* Aho, Alfred V.; Sethi, Ravi; & Ullman, Jeffrey D. Compilers: Principles, Techniques, and Tools. Addison Wesley. 1986. ISBN 0-201-10088-6.

* Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge University Press. 1999. ISBN 0-521-58274-1.

* Cooper, Keith D.; & Torczon, Linda. Engineering a Compiler. Morgan Kaufmann. 2005. ISBN 1-55860-698-X.

* Muchnick, Steven S. Advanced Compiler Design and Implementation. Morgan Kaufmann. 1997. ISBN 1-55860-320-4.



另見


* 靜態單賦值形式
可加性是指對於某種變換來說，特定的「加法」和該變換的順序可顛倒而不影響結果，這樣一種性質。

例如對於兩個實數 x 和 y，我們可以先執行加法 x+y、後把結果乘以二；也可以先各自乘以二然後再相加，兩邊結果是一樣的。那麼我們說變換「乘以二」具有可加性。



定義

一個函數 f:A→B，其定義域 A 和陪域 B 上分別定義了某種加法 $+_{A}$ 和 $+_{B}$ 。若該函數滿足：∀x,y∈A，有 $f(x+_{A}y)=f(x)+_{B}f(y)$ 。則稱 f 對於 $+_{A}$ 和 $+_{B}$ 滿足可加性。在上下文對於 $+_{A}$ 和 $+_{B}$ 都很明確的情況下，通常簡稱為 f 滿足可加性，亦稱 f 為可加函數。

若上述函數 f 滿足：∀有限集 $\{x_{i}|x_{i}\in A,i=1\cdots n\}$ ，有 $f\left(\sum _{k=1}^{n}x_{i}\right)=\sum _{k=1}^{n}f(x_{i})$ ，則稱 f 滿足有限可加性。

若上述函數 f 滿足：∀可列集 $\{x_{i}|x_{i}\in A,i=1\cdots \infty \}$ ，有 $f\left(\sum _{k=1}^{\infty }x_{i}\right)=\sum _{k=1}^{\infty }f(x_{i})$ ，則稱 f 滿足可列可加性。



示例


* 定積分的可加性：設 $a\leqslant b\leqslant c$ ，那麼 $\int _{a}^{b}f(x)\operatorname {d} \!x+\int _{b}^{c}f(x)\operatorname {d} \!x=\int _{a}^{c}f(x)\operatorname {d} \!x$ —— 積分區間是可加的。

* 集函數的可加性：定義域為集類 S，值域為 [0, ∞] 上的廣義實值集函數 f，若：
   
* $\forall A,B\in S$ ，有 $f(A\cup B)=f(A)+f(B)$ ，則稱 f 為可加的。
  
* $\forall {A_{i}}\in S,i=1\cdots n$ ，有 $f\left(\bigcup _{i=1}^{n}A_{i}\right)=\sum _{i=1}^{n}f(A_{i})$ ，則稱 f 為有限可加的。
  
* $\forall {A_{i}}\in S,i=1\cdots \infty $ ，有 $f\left(\bigcup _{i=1}^{\infty }A_{i}\right)=\sum _{i=1}^{\infty }f(A_{i})$ ，則稱 f 為可列可加的。
可載入核心模組（英語：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
可動心道岔（英語：swingnose crossing/moveable point frog）是一種用於消除道岔尖軌處可能造成損壞和噪音的「有害空間」的鐵路道岔裝置。



固定道岔

在普通鐵路道岔上，如果車輪角度出現一分誤差（例如二十分之一），就會在尖軌處走向錯誤方向。此問題限制了道岔的最大通行時速。

此外，普通道岔尖軌處的過大間隙在路軌上形成了一個薄弱點，重軌列車轉向架必須通過這十厘米的間隙，且僅由在翼軌上的車輪踏面支撐全車。此舉會嚴重撞擊導軌，造成鋼軌變形、磨損或二者同步。這種損壞極易擴散到車輛其他部位（包括車輪）並產生可能使人厭惡的噪音。在交通繁忙的地方，維修損壞的設備也可能是一個問題。

可動心道岔實際上消除了岔心處的「有害空間」，繼而允許列車以更高車速運轉。

通過將尖軌同步與道岔開通方向進行移動，可動心道岔解決了該問題。車輪可以在軌面上得到完全支撐，避免噪音和振動產生。

在不同車型的重軌 / 輕軌車輛共用一條軌道的情況下，可動心道岔也很有用。



擺翼式道岔

有多種可動心道岔適用於在高速鐵路切割正線使列車進入支線的區域。在該裝置中，尖軌無需配置單獨的轉轍器，僅需使在側線運轉的列車擠岔即可變岔。列車通過後，阻尼彈簧會將其推回原位。



參數

可動心道岔使用細度小於二十分之一的 V 形軌，以及超 25 公噸的軸載。



運轉

尖軌需要與其對應的道岔同時運轉。對於人工操作者，或將需要投入更多人力，並需要操作路線切換器。道岔和尖軌需要獨立設備。



菱形道岔

菱形可動心道岔相較於一般菱形道岔，其固定尖軌被活動尖軌取代。



參考文獻
可動遺傳因子（英語：Mobile genetic elements，MGE）是指能在基因組內轉移的一類 DNA，包括:


* 轉座子（也叫轉座元件）
  
* 反轉錄轉座子（I 型轉座子）
  
* DNA 轉座子（II 型轉座子）

* 質粒

* 噬菌體元件，比如 Mu 噬菌體，能隨機整合到基因組中

* II 型內含子

一個基因組中的所有可動遺傳因子統稱為 mobilome。巴巴拉・麥克林托克因其「發現可移動的遺傳元素」而獲得 1983 年諾貝爾生理學或醫學獎。

可動遺傳因子在毒力因子如外毒素、胞外酶等在細菌之間的傳播中起到了關鍵的作用。以這些特定的毒力因子和可移動遺傳元件為靶標來治療某些細菌感染的的策略已被提出。



另見


* 基因水平轉移

* Classification of mobile genetic elements，一個可動遺傳因子資料庫

* 毒力因子



參考文獻


* Miller, W. J.; Capy, P. (編), Mobile genetic elements : protocols and genomic applications, Humana Press, 2004, ISBN 1-58829-007-7 .

* Shapiro, J.A. (編), Mobile genetic elements, Academic Press, 1983, ISBN 0-12-638680-3 .
可勃櫛鱗鰨沙，又稱褐斑櫛鱗鰨，俗名龍舌、鰨沙、比目魚，為條鰭魚綱鰈形目鰨科的一種。



分布

本魚分布於西太平洋區，包括日本、朝鮮半島、中國、台灣及香港等海域。



深度

水深 80-100 公尺。



特徵

本魚體極側扁，呈卵圓形，口小，雙眼位於右側，魚體黃褐色；尾柄明顯，尾鰭圓形，體長可達 10 公分。



生態

本魚棲息於溫帶及亞熱帶海域，偶爾會進入河口區。平時大多停棲於海底，並將魚體埋藏於沙泥中，只露出兩眼觀察四周，能隨環境略為改變體色，游泳能力不佳，以波浪狀的方式上下擺動魚體來游泳，屬肉食性，以小型無脊椎動物為食。



經濟利用

數量少，不具經濟價值。



參考文獻

1. FishBase
2. 台灣魚類資料庫（頁面存檔備份，存於網際網路檔案館）
可動人偶（英語：Action figure）或稱作可動式人物模型，是一種手腳可動的人型玩偶，大多由塑膠或其他材料製作而成，且經常根據電影、漫畫、軍事、電子遊戲、歷史或電視劇中的角色來設計。這些人偶多半銷售給小男孩及成人收藏家。

根據瑞典的一項研究指出，傳統男性特徵的可動人偶的客群主要針對男孩。雖然該物最常見的是當作兒童玩具來銷售，但可動人偶也獲得了成人收藏家的廣大認可。對於成人收藏家而言，可動人偶能在假設僅被買來收藏而非把玩的情況下生產和設計。



另見


* Toy Biz 訴美國案：該裁決認定，Toy Biz 的可動人偶是玩具而非玩偶（因其為「非人類生物」）。該決定有效地將其關稅稅率從 12% 降至 6.8%。

* figma，由 Max Factory 製作的一系列精細可動人偶。
開啟橋（英語：Moveable bridge），亦稱活動橋、開合橋或可動橋，是為通航需要，橋身能以立轉、平轉、直升等方式開合的橋梁。適用於交通不很頻繁而須航行高大船隻的河道或港口，優點是墩台較低，因而能減少兩岸引橋和路堤的工程量；但需要增加機械維修費用。



種類

空橋

空橋，或稱登機橋，是一種機場航站樓內的設施，從登機門延伸至機艙艙門，方便乘客進出機艙。

在空橋問世之前，乘客必須步行與地面同高的柏油路上，再爬上移動式登機梯，此種登機方法仍在世界多數機場使用，但通常都是只能容納小型飛機的小型機場。首座美國的空橋在 1959 年 7 月於舊金山國際機場搭建。

 

 

 



著名例子

倫敦塔橋

倫敦塔橋（Tower Bridge）是位於英國倫敦一座橫跨泰晤士河的鐵橋，因位於倫敦塔附近而得名。倫敦塔橋有時被誤稱為倫敦橋（London Bridge），其實真正的倫敦橋是另一座完全不同的橋梁，位於倫敦塔橋的上游。

飛馬橋

飛馬橋（Pegasus Bridge）座落於卡昂運河（Caen Canal）上，鄰近兀斯特罕（Ouistreham），是君主行動時，英軍第 6 空降師的主要目標，該師部隊於 1944 年 6 月 6 日乘滑翔機於飛馬橋附近著陸。飛馬橋就是以當時英軍士兵臂章上的飛馬命名，以紀念這次戰事。



圖片



外部連結


* （英文）Moveable Bridges in the British Isles （頁面存檔備份，存於網際網路檔案館）
可賣回債券（Putable Bond）是債券持有人可以按照特定價格在債券到期日之前強制賣給債券發行人的一種特殊債券。賣回的權利是針對債券持有人而言的，也稱為可回售債券。它可以視作一種內嵌了看跌期權（Put Option）的債券。

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



參見


* 可贖回債券
可博汗（?—?），吐谷渾王族，可汗夸呂的兒子，被立為太子。

581 年，吐谷渾侵犯涼州，隋文帝派行軍元帥、樂安公元諧等率兵數萬反擊吐谷渾，在青海湖打敗可博汗，夸呂帶領親兵逃奔遠方。夸呂可汗在位時間很長，吐谷渾太子經常被誇呂可汗殺掉，太子懼怕，密謀劫持夸呂可汗降隋，遣使向隋朝邊兵求援，秦州總管、河間王楊弘請朝廷派兵接應，隋文帝不同意。太子密謀泄露，被誇呂可汗殺掉，夸呂又立他的小兒子嵬王訶為太子。



參考文獻


* 《隋書・吐谷渾傳》

* 《北史・吐谷渾傳》
《熊蓋毒》（英語：_Cocaine Bear_）是一部 2023 年美國恐怖喜劇片，靈感來自一隻名叫「古柯鹼熊」的美洲黑熊在 1985 年吞下了近 75 磅（34 公斤）古柯鹼的真實故事。電影由伊莉莎白・班克絲執導，吉米・沃登編劇。主演陣容包括凱莉・羅素、小歐席亞・傑克森、克利斯汀・康佛瑞、艾登・艾倫瑞克、布魯克琳・普林斯、小伊塞亞・維特洛克、瑪戈・馬丁代爾和雷・李歐塔。本片是李歐塔的遺作。

《熊蓋毒》由環球影業排定於 2023 年 2 月 24 日美國上映，電影整體的評價褒貶不一，影評界對片裡的黑色幽默反應不一，但普遍批評編劇與角色刻劃的漏洞。



演員


* 凱莉・羅素飾演莎莉（Sari）

* 小歐席亞・傑克森飾演戴維德（Daveed）

* 克利斯汀・康佛瑞飾演亨利（Henry）

* 艾登・艾倫瑞克飾演艾迪・丹特伍德（Eddie Dentwood）

* 傑西・泰勒・弗格森飾演彼得（Peter）

* 布魯克琳・普林斯飾演蒂蒂（Dee Dee）

* 小伊塞亞・維特洛克飾演巴布（Bob）

* 克里斯多佛・希夫哲飾演歐拉夫（Olaf）

* 漢娜・霍克斯崔飾演艾爾莎（Elsa）

* 瑪戈・馬丁代爾飾演護林員莉茲（Ranger Liz）

* 雷・李歐塔飾演席德（Syd）

* 馬修・瑞斯飾演安德魯・桑頓二世



製作

該片靈感來自於 1985 年 12 月，一隻 175 磅重的美洲黑熊攝入一個裝滿古柯鹼的行李袋後死亡的真實故事。古柯鹼是前緝毒官安德魯・C・松頓二世所駕駛的飛機因為超載而掉下去，後來警方於喬治亞州北部發現黑熊屍體以及 40 個已打開的古柯鹼塑膠容器，經法醫驗證確認黑熊的死因是攝入過量古柯鹼。

2019 年 12 月，宣布菲爾・洛德與克里斯多福・米勒正在製作一部受「古柯鹼熊」啟發的電影。該片由伊莉莎白・班克絲執導，吉米・沃登（Jimmy Warden）編劇。2021 年 3 月，環球影業宣布電影正在開發中，並確認由班克斯執導，班克斯、麥斯・漢特曼、洛德、米勒、阿迪亞・蘇德（Aditya Sood）和布萊恩・杜菲爾德擔任製片人。2021 年 7 月，凱莉・羅素、小歐席亞・傑克森、雷・李歐塔、艾登・艾倫瑞克和傑西・泰勒・弗格森加入演員陣容。2021 年 8 月，瑪戈・馬丁代爾、克里斯多佛・希夫哲、克利斯汀・康佛瑞、布魯克琳・普林斯、金佳賢（Kahyun Kim）以及新人演員史考特・塞斯（Scott Seiss）加入演員陣容。

拍攝

主體拍攝於 2021 年 8 月 20 日至 10 月 17 日在威克洛進行。



發行

《熊蓋毒》由環球影業排定於 2023 年 2 月 24 日美國上映。



參考資料



外部連結


* 網際網路電影資料庫（IMDb）上《熊蓋毒》的資料（英文）
《古柯鹼牛仔》（Cocaine Cowboys）是一部於 2006 年拍攝的紀錄片，由比利・科本執導，阿爾弗雷德・斯皮爾曼和比利・科本製片，影片由他們在邁阿密的 Rakontur 媒體工作室進行拍攝。這部影片描述了 20 世紀 70 和 80 年代由於古柯鹼的興起，導致席捲美國佛羅里達邁阿密的犯罪浪潮。《古柯鹼牛仔》的製片人通過採訪執法人員、記者、律師、毒品走私犯和黑幫成員，為人們提供了這場邁阿密毒品戰爭的第一手資料。



劇情簡介

《古柯鹼牛仔》按照時間順序，除使用當時的新聞鏡頭外，通過採訪執法人員和黑幫頭目，展示了二十世紀七十和八十年代邁阿密非法毒品交易的發展狀況。在影片裡，20 世紀 60 年代和 70 年代早期，大麻是流入該地區的主要毒品。到了 20 世紀 70 年代，流入的大麻被更有利可圖的古柯鹼所取代。 隨著越來越多的古柯鹼被走私到美國，導致古柯鹼價格下跌，使得古柯鹼轉向「藍領階層」，因而出現在更多的市場上。毒販們會採用多種不同方式將毒品偷運至佛羅里達。

運輸毒品主要靠船隻或飛機。另外，毒販們還偷運毒品的方法也是複雜多樣，其組織工作包括購買和資助合法企業為非法經營活動提供掩護、使用先進的電子制導裝置以及其他精心策劃的運輸方案。有時，這些毒販將他們所有賺來的錢保存起來卻頗為費力，因而他們與巴拿馬總統諾列加建立關係。此外他們也會買下整個住宅區或是將錢投在基礎設施建設上，或是投在諸如賽馬業這樣的其他副業上。這部影片對此也進行了描述。

毒品流通渠道也是非常複雜，當地和國內其他地方很多人都會吸食偷運入境的古柯鹼。毒販們透露，他們會購買靠近海上航線的公寓，使之成為監測海岸警衛隊和本地警察巡邏艇的監測點。他們還透露，他們會採用高科技無線電監測設備監測聯邦、州和當地執法機關的無線電頻率，以便對運輸毒品的船隻和飛機發出警告。

這部影片披露，邁阿密在這段期間的經濟增長主要受益於毒品交易。由於從事毒品交易的成員賺取了大量的錢，這些錢大量流入合法企業。其結果是，這些販毒賺來的錢為佛羅里達州南部大量現代化摩天大樓的興建提供了資金。此後，執法機關的打擊清除了很多重要的販毒集團，大量高檔商鋪和企業因銷售大幅下滑而關閉。
影片同時記錄了伴隨著毒品交易而來的黑社會暴力現象。影片中那些受採訪者指出，臭名昭著的犯罪家族首領格麗塞爾達・布蘭科在邁阿密和美國其他城市的毒品交易史里扮演了主要角色。 正是布蘭科的毒品勾當造成的無法無天和腐敗橫生的環境，使得黑幫成員被稱為「古柯鹼牛仔」。



發行

該片於 2006 年 4 月在美國翠貝卡電影節上首映，木蘭影業公司獲得了該影片在英語國家的發行權。影片於 2006 年 10 月 27 日在美國各地影院開始有限放映。該影片的原創音樂由簡・海默譜曲和演奏。



相關媒體

這部影片於 2007 年 12 月 7 日在 Showtime 上首次上映。



後記

《電訊報》記者傑基・格爾達寫道，販毒集團「將二十世紀八十年代的邁阿密變成了自芝加哥禁酒令時期後最暴力的城市 --- 從而促成了電視系列片《邁阿密風雲》和影片《疤面煞星》的拍攝（1983）」。



參見


* 麗塞爾達・布蘭科

* 《古柯鹼牛仔 2》

* 馬列爾偷渡事件



參考文獻



參考文獻


* 傑姆斯・凱利（作者）、伯納德・迪德里克和威廉・麥克沃特（記者）. 《南佛罗里达：天堂里的烦恼》 118 (21). 邁阿密. 1981 年 11 月 23 日 [2014 年 4 月 11 日]. （原始內容存檔於 2013 年 8 月 11 日）.  其他連結（頁面存檔備份，存於網際網路檔案館）

* 馬爾科姆・科克，攝影記者. 《迈阿密：美国的卡萨布兰卡 -- 国内以色列战争面临新的阿拉伯式的挑战》 CXI (4). 1988 年 1 月 25 日 [2014 年 4 月 11 日]. （原始內容存檔於 2016 年 3 月 5 日）.

* 科頓・特利斯塔，《大故事、大屏幕：兩名邁阿密紀錄片製作人在古柯鹼牛仔中捕捉到的時間和地點》， 《邁阿密時報》，2005 年 10 月 10 日，於 2006 年 11 月 13 日查閱。

* 希爾・羅根，《評論家精選：古柯鹼牛仔》 （頁面存檔備份，存於網際網路檔案館）， 《紐約雜誌》，2006 年 5 月 4 日，於 2006 年 11 月 13 日查閱。

* 戈爾茨坦・格雷格，《木蘭影業公司 ' 古柯鹼 ' 權利》，《好萊塢報導》，2006 年 7 月 10 日，於 2006 年 9 月 13 日查閱。

* 卡特蘇里斯・珍妮特，《電影審查：古柯鹼牛仔》， 《紐約時報》，2006 年 10 月 27 日，於 2006 年 11 月 13 日查閱。



外部連結


* 網際網路電影資料庫（IMDb）上《Cocaine Cowboys》的資料（英文）

* AllMovie 上《Cocaine Cowboys》 》的資料（英文）

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

* _Cocaine Cowboys_ an extended synopsis of the film
可卡犬（英語：Cocker Spaniel）可以指：


* 美國可卡犬

* 英國可卡犬
可即可（法語：Cogeco；英語：Cogeco）是一家加拿大電信和媒體公司，總部位於魁北克省蒙特婁，通過各子公司為住宅和商業客戶提供服務。該公司為安大略省、魁北克省及美國部分地區的消費者提供有線電視、電話和網際網路連接服務。其子公司通過其光纖和數據中心網絡在新斯科舍省運營廣播電台和公共運輸廣告公司，以及可能的商業電信和信息技術服務。

「可即可」是法語「通用通訊公司」（法語：Compagnie Générale de Communication）的首字母縮略字。



參考文獻
在複分析中，一個全純函數的可去奇異點（removable singularity），有時稱為裝飾性奇異點（cosmetic singularity）是這樣的點，在此處函數表面上沒有定義，但是通細緻地分析，函數的定義域可以擴大到該奇異點，使得延拓後的函數仍然全純。

例如函數：

　
: $f(z)={\frac {\sin z}{z}}$

對 _z_ ≠ 0 有一個奇異點 _z_ = 0。藉由定義 _f_(0)=1，可將此奇異點消去，並得到全純的 sinc 函數。

確切地，如果 _U_ 是複數平面 C 的一個開集，_a_ 是 _U_ 中一點，_f_ : _U_ - {_a_} → C 是一個全純函數，如果存在一個在 _U_ - {_a_} 與 _f_ 相等的全純函數 _g_ : _U_ → C，則 _a_ 稱為 _f_ 的一個可去奇異點。如果這樣的 _g_ 存在，我們說 _f_ 在 _a_ 是可全純延拓的。



黎曼定理

黎曼關於可去奇異點的定理指出了何時一個奇異點是可去的：

定理下列情形是等價的：

　
: i) _f_ 可全純延拓到 _a_。

　
: ii) _f_ 可連續延拓到 _a_。

　
: iii) 存在 _a_ 的一個鄰域，在它上面 _f_ 有界。

　
: iv) limz → _a_(_z - a_) _f_(_z_) = 0.

蘊含關係 i) ⇒ ii) ⇒ iii) ⇒ iv) 是平凡的。為了證明 iv) ⇒ i)，我們首先回憶到一個函數在 _a_ 的全純性等價於解析，即有一個冪級數表示。定義

　
: $h(z)={\begin{cases}(z-a)^{2}f(z)&z\neq a,\\0&z=a.\\\end{cases}}$

則

　
: $h(z)-h(a)=(z-a)(z-a)f(z),\,$

這裡由假設 (_z - a_)_f_(_z_) 可以視為一個 _D_ 上的連續函數。換句話說，_h_ 在 _D_ 上全純從而有在 _a_ 的泰勒級數：

　
: $h(z)=a_{2}(z-a)^{2}+a_{3}(z-a)^{3}+\cdots .$

所以

　
: $g(z)={\frac {h(z)}{(z-a)^{2}}}$

是 _f_ 在 _a_ 的全純延拓，這就證明了先前的斷言。



其它類型奇異點

不像實變數函數，全純函數有足夠的剛性使得其孤立奇異點可完全分類。一個全純函數的奇異點要麼其實不是真正的奇異點，即可去奇異點，要麼是如下兩類居其一：

1. 受黎曼定理啟示，給定一個不可去奇異點，我們可能問是否存在一個自然數 _m_ 使得 limz → _a_(_z - a_)m+1_f_(_z_) = 0。如果存在，_a_ 稱為 _f_ 的一個極點，這樣最小的 _m_ 稱為 _a_ 的階數。所以可去奇異點恰好是零階極點。一個全純函數在極點附近一致發散到無窮遠點。
1. 如果 _f_ 的一個孤立奇異點 _a_ 既非可去奇異點也非極點，則稱本性奇異點。皮卡定理指出 _f_ 將任意穿孔開鄰域 _U_ - {_a_} 映滿整個複數平面，至多少一個可能的例外點。



參見


* 解析容度

* 可去不連續點
可及關係是在可能世界之間的二元關係 _R_，它在模態邏輯的形式化 / 理論方面非常有用，它同樣也用於知識論、形上學和價值理論。



(命題) 模態邏輯的基本概述

為了真正理解什麼是_可及關係_，需要一些對模態邏輯基礎的背景解說。出於簡化的目的，我們將限制於命題模態邏輯。命題模態邏輯只是帶有兩個關鍵一元算子的傳統句子邏輯: $\Box $ 意味著 "... 是必然的" 和 $\Diamond $ 表示 "... 是可能的"。這些算子可以附加到一個單獨的句子上來形成一個新的複合句子。對於任何 (簡單的或複合的) 句子 A，我們可以由此形成複合句子 $\Box A$ 和 $\Diamond A$ 。

現在，使用 _p_、_q_ _等_來表示我們語言的語句，_x_、_y_ _等_來表示對象，而 P、Q _等_來表示謂詞，我們可以寫出幾乎所有模態邏輯的六個基本公理:

　
: : 
* $\Box p\leftrightarrow \lnot \Diamond \lnot p$

* $\Diamond p\leftrightarrow \lnot \Box \lnot p$

* $p\rightarrow \Diamond p$

* $\Box (p\land q)\leftrightarrow (\Box p\land \Box q)$

* $(\Box p\lor \Box q)\rightarrow \Box (p\lor q)$

* $\Box (p\to q)\to (\Box p\to \Box q)$

多數其他_公理_關注有爭議而沒有達成廣泛一致的模態算子。下面是其中最經常使用和討論的:

　
: : (T) $\Box p\rightarrow p$

　
: (4) $\Box p\rightarrow \Box \Box p$

　
: (5) $\Diamond p\rightarrow \Box \Diamond p$

　
: (B) $p\rightarrow \Box \Diamond p$

這裡的 "(T)"、"(4)"、"(E)" 和 "(B)" 表示這些公理 (或原理) 的傳統名字。

依據模態邏輯的傳統可能世界語義，由模態算子形成的複合句子要用量化於可能世界上的方式來解釋，訴諸於可及 (accessibility) 關係。可及關係現在可以定義為 (無法解釋的) 關係 $R(w_{1},w_{2})\,$ ，它成立於可能世界 $w_{1}\,$ 和 $w_{2}\,$ 之間，只在可以從 $w_{1}\,$ 到達 $w_{2}\,$ 的情況下。



在形式語義中可及關係的重要性

設 _w\*_ 指示真實世界，我們還要服從可能世界語義的兩個基礎變換模式:


* (TS) 必然的 p 意味著 p 在 R (w\*,w) 的_所有_可能世界 _w_ 中是真的。可能的 p 意味著 p 在 R (w\*,w) 的_某些_可能世界 _w_ 中是真的。

要在技術 / 形式層面看到可及關係的能力和用途，注意下列聯繫成立:


* 公理 (T) 成立，如果可及關係 _R_ 是自反的。如果每個世界可以訪問到自身，則 _A_ 在其中為真的任何世界都是從它可到達 _A_ 在其中為真的一個可及世界的一個世界。

* 公理 (4) 成立，如果 _R_ 是傳遞的。 $\Box A$ 在一個世界 _w_ 中為真，只在從 _w_ 可到達的所有世界 $w'$ 中 _A_ 都為真的情況下。所以， $\Box \Box A$ 在一個世界 _w_ 中為真，只在從 _w_ 可到達的所有世界 $w'$ 可到達的所有世界 $w''$ 中 _A_ 都是真的情況下。

* 公理 (5) 成立，如果 _R_ 是歐幾里得的。 $\Diamond A$ 在一個世界 _w_ 為真，若且唯若 _A_ 在從 _w_ 可到達的某個世界為真。 $\Box \Diamond A$ 在一個世界 _w_ 為真，若且唯若對於從 _w_ 可以達到的所有世界 $w'$ ，有從 $w'$ 可到達的一個世界 $w''$ ，_A_ 在其中為真。如果 _A_ 在從 _w_ 可到達的一個世界 $w''$ 中為真，那麼根據歐幾里得性質從 _w_ 可到達的所有其他世界都能達到這個世界 $w''$ ，所以對於從 _w_ 可到達的所有世界 $w'$ ，都有 _A_ 在其中為真的一個可到達的世界 $w''$ ，這保證了這個公理為真理。

* 公理 (B) 成立，如果 _R_ 是對稱的。如果 _A_ 在一個世界 _w_ 中為真，則在從 _w_ 可到達的所有世界 $w'$ 中，有從 $w'$ 可到達的一個世界，_A_ 在中為真。對稱性提供從 $w'$ 可到達 _w_，這保證了這個公理為真理。

按大衛・劉易斯所說，結果是 " 舊爭論讓位於新爭論。不再提問莫名其妙的問題，是否現實的東西必然是可能的，我們可以簡單的提問：關係 _R_ 是對稱的嗎？"(劉易斯，1996)。



參見


* 模態邏輯

* 關係語義

* 可能世界



引用


* Fitelson, Brandon. _Notes on "Accessibility" and Modality_. 2003.

* Brown, Curtis. _Propositional Modal Logic: A Few First Steps_. 2002.

* Kripke, Saul. _Naming and Necessity_. Oxford. 1980.

* Lewis, D.K.. _Counterpart Theory and Quantified Modal Logic._ Journal of Philosophy. 1968

* List of Logic Systems List of most of the more popular modal logics.
在普通法和民法中，可反駁的推定是指法院做出的推定或假設，除非有人站出來質疑並證明不是這樣，否則假設就會被認為是真實無誤。例如，刑事案件中的被告在被證明有罪之前被推定為無罪。可反駁的推定通常與初步證據有關。
可發酵糖是通常在發酵行業用到的術語。指可被酵母菌利用被轉化為酒精和其它副產物的糖類。包括蔗糖、麥芽糖、葡萄糖、果糖和半乳糖等。
可變權益實體（英：variable interest entity, VIE）是美國財務會計標準委員會（FASB）在其頒布的第 46 號修訂案中制定的一個術語。投資人如果擁有對某一實體的控制股權，且這一控制股權並非藉由多數投票而獲得，那麼相應的這樣的實體（即投資標的）則被稱為可變權益實體。VIE 的概念與特設機構緊密相關。這個術語概念的重要性在於，如果某個公司是一個 VIE 的主要受益人，那麼該公司在提交報表的時候必須將該 VIE 整合進報表中。

註：FASB 在發布第 167 條解釋時，第 46 號修訂案以及第 46 號修訂案（修改版）中對 VIE 的指導性描述已經有了更改。



判定標準

根據 FASB ASC 810-10，即原第 46 號修訂案（修改版），當某個實體符合下列三條標準中任一條時，可被認定為 VIE。

1. 風險權益不足以支撐該實體的活動（如：該實體的資本化不充分、股東權益的所有人並無實質投票權，等等）；或
2. 風險權益的持有人作為一個整體，不足以控制該實體；或
3. 該實體的經濟行為與投票利益不一致（即「反濫用規則」）。



中國企業與可變權益實體

由於中國內地限制外國投資者投資部分產業，例如電訊、網絡和教育。一些前往美國上市的中國企業會在中國以外的另一個司法管轄區設立的離岸公司，並轉移所有收入和利潤至該離岸公司。

2021 年 7 月 30 日，美國證券交易委員會主席 Gary Gensler 發表聲明指不少在美國上市的中國公司採用可變利益實體結構，而投資者往往沒有意識到自己持有的是在中國以外的另一個司法管轄區設立的離岸公司的股票，而並非以中國為總部、在中國營運的公司的股票。



資考資料



外部連結


* fin 46 consolidation of SPEs

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

* Subscribe to read | Financial Times （頁面存檔備份，存於網際網路檔案館）

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

而選擇性剪接便是利用這樣的特性，一條未經剪接的 RNA，含有的多種外顯子被剪成的不同組合，可轉譯出不同的蛋白質。就能將同一基因中的外顯子以不同的組合方式來表現，使一個基因在不同時間、不同環境中能夠製造出不同的蛋白質（基因表現調控），可增加生理狀況下系統的複雜性或適應性。例如抗體的製造。
可變壓縮比（Variable compression ratio）是一種動態調整內燃機壓縮比的技術。在不同的負載情況下可變壓縮比可以提高燃料效率。高負載時需要較低的壓縮比，而低負載需要高的壓縮比。



外部資料


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

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

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

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



例子

C/C++

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

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

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

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

C++11/C++14

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

JavaScript

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



參見


* 可變參數模板

* 可變參數宏



外部連結


* Variadic function （頁面存檔備份，存於網際網路檔案館）. Rosetta Code task showing the implementation of variadic functions in over fifty programming languages.

* Variable Argument Functions — A tutorial on Variable Argument Functions for C++

* GNU libc manual （頁面存檔備份，存於網際網路檔案館）
可變參數巨集是 C 語言與 C++ 語言的函式巨集的參數個數可以是 0 個或多個。這一語言特性由 C99 引入。C++11 也開始支援。



聲明語法

聲明語法類似於可變參數函式：逗號後面三個句點 "..."，表示一個或多個參數。但常見編譯器也允許傳遞 0 個參數。巨集擴充時使用特殊識別碼 \_\_VA\_ARGS\_\_ 表示所傳遞的參數的替換。

沒辦法存取可變參數列內的單個參數，也不能獲知多少個參數被傳遞。



實現支援

C/C++ 編譯器支援：


* GNU Compiler Collection 3.0,

* Clang ,

* Visual Studio 2005,

* C++Builder 2006,

* Oracle Solaris Studio (Sun Studio) Forte Developer 6 update 2 (C++ version 5.3).



尾部逗號

對於可變參數為空情形，Visual Studio 直接去掉可變參數前面的逗號；GCC 需要在 \_\_VA\_ARGS\_\_前面放上 

以去除逗號。

對於

擴充為：

它等價於：

但對於例子：

擴充為

GCC 將會編譯報錯.

GCC 支援下述不可移植的擴充:

這將刪除空的 \_\_VA\_ARGS\_\_尾部逗號。



參見


* 可變參數函式



參考文獻
OpenType 可變字型（英語：OpenType variable fonts）是字型格式 OpenType 在 1.8 版規範中引入的擴充規範，由蘋果、微軟、Google 和 Adobe 聯合開發，於 2016 年 9 月 14 日正式發布。支援這一規範的電腦字型可以儲存輪廓變化資料，在初始字形輪廓的基礎上自動生成豐富的變化造型，使使用者可以自由調整文字的外觀。

一個可變字型檔案可以儲存一個設計的多個變體，相當於是包含了一個含有無數個字型的字體。



歷史

對於可變字型技術的探索始於 20 世紀 90 年代。Adobe 曾於 1991 年推出多重母版技術，蘋果也隨後推出 TrueType GX 可變技術，但因為蘋果和 Adobe 等企業之間的相互競爭等諸多原因，這些技術都沒有得到廣泛的應用。2013 年左右，微軟開始對可變字型技術的研究，並於 2015 年獲得蘋果支援，將其 TrueType GX 可變技術整合到 OpenType 中。2016 年 1 月，Google 開發者貝赫達德・埃斯法赫博德獨立發表了 OpenType GX 提案，微軟與蘋果團隊隨後與其聯絡。同年 2 月，專案獲得 Adobe 支援，微軟、蘋果、Google、Adobe 開始聯合開發。在同年 9 月 14 日於波蘭華沙召開的第 60 屆 ATypI 研討會上，OpenType 可變字型隨 OpenType 1.8 版正式發布。



技術

OpenType 可變字型以 TrueType GX 可變技術為基礎，將其整合到 OpenType 格式的各個方面。TrueType GX 的工程師邁克・里德（Mike Reed）提出通過記錄字形輪廓點的變化量來實現字形的插值變化。相比於多重母版技術需要從極端值的母版中插值生成字形，可變字型繼承自 TrueType GX 的策略可以從變化區間中的任意一種設計開始擴充，並且不同的字形變化（如字重和寬度）可以疊加，不需要另外新增設計。此外，變化量資料占用的儲存空間很小，這一策略可以顯著減小字型家族的整體體積。這使得網頁等場合在可以使用更多字型樣式的同時減少頁面載入的時間。



支援

微軟在 Windows 10 版本 1709 中內建了名為「Bahnschrift」的可變字型，其字形來源於 DIN 1451。

Adobe Creative Cloud 2018 版本中的 Photoshop 和 Illustrator 增加了對可變字型的支援，並提供了 Acumin、Minion、Myriad、Source Code、Source Sans 及 Source Serif 的可變版本。

Google 開發的 Noto 字體系列支援可變字體。Google 和 Adobe 共同開發的思源黑體（Google 稱 Noto Sans CJK）亦支援可變字體。



參考資料



外部連結


* V-Fonts （頁面存檔備份，存於網際網路檔案館），可變字型展示網站（英文）

* Axis-Praxis （頁面存檔備份，存於網際網路檔案館），可變字型展示網站，收錄了文鼎、方正等廠商開發的中文可變字型（英文）

* 可變字型指南 （頁面存檔備份，存於網際網路檔案館）（簡體中文）

* 網頁中的可變字型 （頁面存檔備份，存於網際網路檔案館）（英文）
可變寬度編碼是一種字元編碼方案，其中藉由不同長度的代碼，對字元集（符號庫）進行編碼以表示文字，通常使用於電腦中。最常見的可變寬度編碼為多位元組編碼，它使用不同數量的位元組（或稱八位位元組）來編碼不同的字元。（有些作者，尤其在微軟文件中，使用「多位元組字元集」這一術語。但這樣實屬用詞不當，因表示大小是編碼的屬性，而非字元集的屬性。 )

在早期的微型電腦的冒險遊戲中，有時為將英文文字打包成更少的位元組，使用每個字元少於一個位元組的早期可變寬度編碼。然而，因與磁帶不同，它允許隨機存取，允許按需載入文字的磁碟的產生與電腦記憶體的增加和通用壓縮演算法的運用，使這些技巧在很大程度上已經過時。

多位元組編碼多為因增加字元數量而不致破壞與已存在的限制之間的向下相容性而產生。例如，若每個字元以一個位元組（8 位元）儲存，則最多可編碼 256 個可能的字元；故為了編碼數量超過 256 個的字元，顯而易見的選擇則是每個編碼單元使用兩個及以上數量的位元組，如兩個位元組（16 位元）可編碼 65536 個可能的字元，但這樣的改變將會破壞與已存在之系統的相容性，故可能根本便不可行。



註釋



參考文獻
可變當量在現代核武器中十分常見，它允許核武器的操作者選擇核彈爆炸時產生的爆炸當量，也就是爆炸所釋放出來的威力。這使得同一種核武器可以在不同的情況下通過改變其爆炸當量，而達到不同的打擊效果。可變當量技術最早在 20 世紀的六十年代就已經出現。B61、B83、W80、W85 和 WE177A 等型號的核彈頭均擁有這一功能。

達到這一目的的方法之一便是通過核融合加速中子。製造者在裂變式核彈內鑿出一個真空凹槽，並注入氘 - 氚氣體（DT）。當核彈的操作者轉動設定爆炸當量所用的轉盤時，一個閥門會被開啟，並將少量的氘 - 氚氣體釋放到核彈的核心部分，並影響爆炸所釋放的能量。

美軍使用的潛射彈道飛彈所安裝的 W88 核彈頭便使用了這一方法來改變爆炸當量。當氚被釋放時，核爆炸可以產生 475 千噸當量，但當沒有氚的時候，爆炸所釋放的能量僅僅為 20 千噸當量。

英國軍隊將可變當量作為核彈頭的一個必備設置。



參見


* 核武器



外部連結


* nuclear weapons archive
可變數目串聯重複（或 VNTR）是基因組中的位置，其中短核苷酸序列被組織為串聯重複。這些可以在許多染色體上找到，並且經常顯示個體之間的長度變化（重複的數量）。 每個變體充當遺傳等位基因，允許它們用於個人或父母身份識別。 他們的分析在遺傳學和生物學研究，法醫學和 DNA 指紋分析中很有用。



參考文獻



外部連結


* 醫學主題詞表（MeSH）：_Variable+Number+of+Tandem+Repeats_
可變桿菌屬（_Amoebobacter_），是光合細菌下的著色桿菌科的一種革蘭氏陰性菌。單個細胞圓形。生長於含硫化氫的池塘和湖泊的泥及靜止水體中；在含有可降解有機物的廢水氧化塘中可與桃紅莢硫菌一起成為水華的主體菌。

該屬的模式種也是惟一種為玫瑰色可變桿菌（_Amoebobacter roseus_）。



下屬物種


* 玫瑰色可變桿菌 _Amoebobacter roseus_

* 懸掛可變桿菌 _Amoebobacter pendens_

* 紫紅可變桿菌 _Amoebobacter purpureus_

* 片狀可變桿菌 _Amoebobacter pedioformis_
可變比沖磁電漿體火箭（英語：VASIMR engine）是用於太空飛行器推進的一種電磁推進器。它利用無線電波電離並加熱推進劑，並用一個磁場來加速產生的電漿體產生推力。它是一種電推進系統。

加熱電漿體的方法最早來源於核融合技術。VASIMR 發動機理論上能夠以低推力、高效率或高推力、低效率方式運行。



原理

可變比沖磁電漿體火箭是一種電熱磁電漿體推進器。在這類型的發動機中，無線電波對惰性推進劑進行電離和加熱，然後用磁場加速產生的電漿體以產生推力。

推進劑是一種中性氣體，如氬氣或氙氣。推進劑首先被注入一個表面有電磁鐵的空心圓柱體中。螺旋射頻天線以 10 至 50 MHz 頻率的電磁輻射把推進劑加熱成電漿體，把電子從推進劑原子中剝離，產生由離子和自由電子組成的電漿體。電漿體會通過被稱為離子迴旋加速器加熱 (ICH) 的第二個射頻天線，通過減少耦合器的磁場以發射與電漿體的軌跡共振的電磁波。共振使電漿體粒子的運動速度減慢，並進一步加熱至 1,000,000 攝氏度以上（1,800,000 華氏度），大約比太陽表面溫度高 173 倍。電離電漿體再通過一個充當火箭發動機噴管的電磁體引導，以高達每秒 50,000 米的高速排出發動機產生推力。
通過改變電磁輻射的能量和電漿體的含量，VASIMR 理論上能夠以低推力、高比衝排氣或較高推力、低比衝排氣方式運行。

優點

與傳統的迴旋共振加熱過程相比，VASMIR 發動機中的電漿體在達到熱力分佈之前立即從磁性噴嘴中噴出。離子迴旋加速器波中的幾乎所有能量都在單程迴旋加速器吸收過程中均勻地轉移到電離電漿體，使電漿體以非常窄的能量分佈離開磁性噴嘴，並顯著簡化發動機中的磁力佈置。

VASIMR 發動機不使用電極，它通過磁力屏蔽電漿體以避免影響大多數硬體部件的運作，從而消除腐蝕及磨損。 
傳統火箭發動機一般擁有非常複雜的管道、高性能閥門、執行器和渦輪泵以保持高效率運作。相比之下，VASIMR 除了如氣閥的小型部件之外幾乎沒有活動部件，最大限度地提升壽命。

缺點

根據 Ad Astra 公司，VX-200 可變比沖磁電漿體發動機產生 5 N 的推力，需要 200 kW 的電力。 相比之下， NEXT 離子發動機產生 0.327 N 的推力則只需 7.7 kW（24 kW/N）。 NEXT 發動機的電力效率幾乎是 VASMIR 發動機的兩倍。目前的技術不足以為 VASIMR 發動機提供快速行星際旅行所需的能量。

在運行過程，VASMIR 會產生大量需要在不產生熱力過載的情況下被引導走廢熱。此外，用於產生電漿體的超導磁鐵會產生巨大的磁場，並會影響其他設備的運作及通過與磁層相互作用產生多餘的扭力。為了抵​​消這個效應，兩個推進器可裝成具有相反方向的磁場，從而形成一個抵​​消扭力磁四極。

 



研究與開發

麻省理工學院於 1983 年進行了第一次 VASIMR 試驗，並在 1990 年代引入改進，包括螺旋電漿源，取代最初設想的電漿槍及電極，增加了耐用性和壽命。直到 2010 年，VASIMR 的開發轉移到 Ad Astra 公司。Ad Astra 於 2005 年 6 月 23 日簽署了第一個太空法案協議，將 VASIMR 技術私有化。
變動位元速率（英語：Variable bitrate，簡稱 VBR）這是一個用來形容通信服務品質（QoS for Quality of Service）的術語。和該詞相對應的詞是固定位元速率，英文 constant bit rate，縮寫 CBR。

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

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

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



參見


* 平均位元速率

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



工作原理

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

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

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



歷史

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



各個車廠的名稱


* VTEC、i-VTEC、VTEC-E - 本田技研工業的名稱。

* MIVEC - 三菱汽車的統稱。

* AVCS - 富士重工業的名稱，為 Active Valve Control System 的簡稱。

* NVCS、CVTC、eVTC、NEO VVL、VVEL、VEL- 日産汽車的名稱。

* VVT-i、VVTL-i、VVT-iE、VALVEMATIC - 豐田汽車的名稱。

* VVT、VC - 鈴木公司的名稱。前者用在汽車上、後者用於摩托車。

* DVVT - 大發汽車的名稱。

* S-VT - 馬自達的名稱。

* VarioCam、VarioCam Plus - 保時捷的名稱。

* VANOS、Valvetronic - BMW 的名稱。

* CVVT、D-CVVT - 吉利汽車及現代汽車的名稱。

* TiVCT - 福特汽車的名稱

 



相關條目


* 可變氣門揚程



參見


* 凸輪軸

* 頂置凸輪軸

* Repair kit for Vanos unit www.Vanos-BMW.com （頁面存檔備份，存於網際網路檔案館）
可變彙編語言（Variable Assembly Language, VAL）是一個設計給 George Devol 工業機器人用的電腦控制系統及程式語言。VAL 機器人語言是會被永久地儲存於系統內，這包括了個體應用軟體的導向。VAL 能從容熟諳人類語法，它使用了明瞭，簡潔的自我學習機能，所有對機器人的命令或通話都由簡明的單字與數字序列組成。VAL 的連續軌道計算程式允許機器人在有效發揮記憶體資源下，實時移動複雜的路線、在線接受操作者的程式上的指揮及其修改。
可變電阻式記憶體（英語：Resistive random-access memory，縮寫為 RRAM 或 ReRAM），是一種新型的非揮發性記憶體，和另一種新型的磁阻式隨機存取記憶體一起屬於新世代的記憶體。類似的技術還有 CBRAM 與相變化記憶體，目前許多公司都正在發展這種技術。

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

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



技術簡介



歷史
資訊可變標誌（英語：Changeable Message Sign、Variable Message Sign，簡稱 CMS、VMS）是一種電子道路交通標誌，常運用於道路，為旅行者提供有關特殊事件的資訊。



參考資料



外部連結


* _Changeable Message Sign Operation and Messaging Handbook_. Operations Office of Travel Management, Federal Highway Administration, August 2004. Retrieved 2009-12-07.

* Chapter 2L: Changeable Message Signs. U.S. Manual on Uniform Traffic Control Devices, 2009 ed. with Revisions 1 and 2.
陝西省體育場（即「陝西上實城開體育場」；因緊鄰朱雀大街又稱「朱雀體育場」，俗稱「聖朱雀」），座落在西安市南二環長安立交西北部，長安北路和朱雀大街之間；1954 年 12 月建成，始稱「西北人民體育場」，1971 年改稱「陝西省人民體育場」。為承辦第四屆全國城市運動會，1996 年由陝西省人民政府投資 2.5 億元人民幣改造擴建，建築面積 9.7 萬平方米，於 1999 年落成投入使用。建築物為橢圓型鋼筋鹼框架結構，場內建有符合國際田聯比賽要求的塑膠跑道及標準草地足球場，為多功能用途綜合場館。看台分為 A-H 八個區域。曾為陝西長安競技俱樂部的主場，也是中國國家足球隊的固定主場之一。2019 年起，為舉辦第十四屆全國運動會，陝西省體育場開始改造工作，2020 年 7 月完成。

體育場配有國際展覽中心、大型停車場地、商務寫字樓、技術辦公區及多功能健身區等設施。



重要活動

體育場曾於 1999 年承辦全國第四屆城市運動會的主會場，並多次舉辦各類大型文藝演出，曾經是中國甲 A 聯賽球隊陝西國力、中超聯賽球隊中新滻灞的主場。

2012 年 5 月 29 日，中國足協確立陝西省體育場和其他六座球場為足球項目「中國之隊」未來的七個固定主場之一。「中國之隊」包含男足項目的國家隊、國奧隊、國青隊和國少隊，女足項目的國家隊、國青隊和國少隊，一共 7 支隊伍。



歷次更名


* 西北人民體育場（1954 年 - 1971 年）。

* 陝西人民體育場（1971 年 - 1999 年）。

* 陝西省體育場（1999 年 - 2001 年）。改造後的體育場被命名為陝西省體育場，是 1999 年全國城市運動會的主體育場。

* 陝西交大瑞森體育場 (2001 年 - 2004 年)。2001 年 12 月，西安交大瑞森集團獲得陝西省體育場冠名權，以及省體周邊數千平方米的戶外廣告。

* 陝西可口可樂體育場 (2005 年 - 2010 年)。2005 年 4 月，西安中萃可口可樂飲料有限公司獲得省體育場冠名權。

* 陝西中新滻灞體育場 (2010 年 - 2011 年)。2010 年 3 月，滻灞俱樂部以「中新滻灞」的名義冠名陝西省體育場三年。

* 陝西上實城開體育場 (2011 年 - 至今)。2011 年年初，上海實業城市開發集團購買了原「中新滻灞」旗下的幾處項目，並斥資贊助滻灞足球隊；同時，上實城開要求代替「中新滻灞」對省體育場繼續冠名。



交通

西安地鐵 2 號線在此設置體育場站。
可口可樂希臘裝瓶公司（Coca-Cola HBC AG、Coca-Cola Hellenic Bottling Company ，簡稱 Coca-Cola Hellenic），是一家可口可樂裝瓶公司，在倫敦證券交易所上市，在雅典證券交易所二次上市。



歷史

希臘裝瓶公司（Hellenic Bottling Company SA）於 1969 年在雅典成立。可口可樂公司同年授予該公司在希臘的裝瓶權。2000 年 8 月，希臘裝瓶公司收購了可口可樂阿馬提爾公司（Coca- Cola Amatil）的歐洲業務可口可樂飲料公司（Coca-Cola Beverages Ltd），形成可口可樂裝瓶公司（Coca-Cola Hellenic Bottling Company SA）。

2012 年 10 月，該公司宣布將其運營總部遷至瑞士，並將其主要上市地轉移至倫敦，以獲得更好的融資渠道，並擺脫危機重重的希臘。這對雅典股市來說是一個重大打擊，因為它當時是雅典市值最大的上市公司。

2013 年 4 月 29 日，該公司獲准進入倫敦證券交易所的主要市場。

2013 年 9 月 11 日，該公司成為 FTSE 100 和 FTSE All-Share 指數。2014 年，它在道瓊可持續發展指數中被評為飲料公司的行業領袖。

2014 年 7 月 24 日，公司宣布將其美國存托憑證從紐約證券交易所退市。

2019 年 2 月 18 日，該公司宣布以 2.6 億歐元的價格從 Mid Europa Partners 收購塞爾維亞食品公司 Bambi。 



運營

可口可樂 HBC 在 3 大洲的 29 個國家開展業務。Leventis-David Group 持有其 23% 的股份，可口可樂公司持有 22.9%。



參考文獻



外部連結


* 官方網站