erhwenkuo/wikipedia-zhtw huggingface dataset:
直覺主義邏輯

直覺主義邏輯或構造性邏輯是最初由阿蘭德·海廷開發的為魯伊茲·布勞威爾的數學直覺主義計劃提供形式基礎的符號邏輯。這個系統保持跨越生成匯出命題的變換的證實性而不是真理性。從實用的觀點，也有使用直覺邏輯的強烈動機，因為它有存在性質，這使它還適合其他形式的數學構造主義。語法.直覺邏輯的公式的語法類似於命題邏輯或一階邏輯。但是直覺邏輯的連結詞不像經典邏輯那樣是可互定義的，因此它們的選擇是重要的。在直覺命題邏輯中通常使用 →, ∧, ∨, ⊥ 作為基本連結詞，把 ¬ 作為 ¬"A" = ("A" → ⊥) 的簡寫處理。在直覺一階邏輯中量詞 ∃, ∀ 都是需要的。不同在於很多經典邏輯的重言式在直覺邏輯中不再是可證明的。例子不只包括排中律 "P" ∨ ¬"P"，還有皮爾士定律 (("P" → "Q") → "P") → "P"，甚至還有雙重否定除去。在經典邏輯中，"P" → ¬¬"P" 和 ¬¬"P" → "P" 二者都是定理。在直覺邏輯中，只有前者是定理: 雙重否定可以介入但不能除去。對很多經典有效重言式不是直覺邏輯的定理的觀察導致了弱化經典邏輯的證明論的想法。相繼式演算.根岑發現簡單限制他的系統LK就導致了關於直覺邏輯的一個可靠和完備的系統。他稱之為系統LJ。希爾伯特式演算.推理規則是肯定前件，公理有:對於一階邏輯系統還要加上普遍化規則，和如下公理:運算元的不可互定義性.在經典命題邏輯中，有可能選取合取、析取或蘊涵中的一個作為原始的，並依據它和否定來定義另兩個，比如在揚·武卡謝維奇的命題邏輯三公理中。甚至可以依據自足運算元比如皮爾士箭頭(NOR)或Sheffer豎線(NAND)定義它們四個。類似的，在經典一階邏輯中，一個量詞可以依據另一個量詞和否定來定義。這是二值原理的推論，它使得這種連結詞僅僅是布林函式。二值原理在直覺邏輯中不成立，只有無矛盾律成立。作為結果沒有連結詞可以豁免，而上述公理都是必須的。多數經典恆等式只是直覺邏輯中在一個方向上的定理，儘管某些定理是兩個方向的。它們如下:合取與析取:合取與蘊涵:析取與蘊涵:全稱量詞與存在量詞:所以，例如 “a 或 b”是比“如果非 a 則 b”更強的陳述，而在經典邏輯中它們是可互換的。據 Alexander Kuznetsov 的證明，任一下述定義的連結詞可以充當直覺邏輯的自足運算元:語義.語義要比經典邏輯更加複雜。其模型論可給出自海廷代數或等價的給出自克里普克語義。海廷代數語義.在經典邏輯中，我們經常討論一個公式可能接受的真值。這種值通常被選擇為布林代數的成員。在布林代數中的交和並運算元等同於∧和∨邏輯連結詞，所以形如"A" ∧ "B"的公式是在布林代數中"A"的值和"B"的值的交。所以我們就有了一個有用的定理，一個公式是經典邏輯的有效的句子/斷定，當且僅當它的值對於任何賦值都是1---就是說，對它的變數的任何指派都是真。對於直覺邏輯對應的法則也是真的，但是不再對每個公式指派來自布林代數的值，而是使用來自海廷代數的值，布林代數是它的特殊情況。公式在直覺邏輯中是有效的，當且僅當它對於在任何海廷代數上的任何賦值總是得到值1。可以證實為了識別有效的公式，考慮其元素是實平面"R"2的開集的一個單一的海廷代數就足夠了。在這種代數中，∧和∨運算元對應於集合的交集和並集，並且指派給公式"A"→"B"的值是 ("A"C ∪ B)o，它是B的值和A的值的補集的並集的內部。底元素是ø，頂元素是整個平面"R"2。¬"A"定義為"A"→ø，所以指派給它的值是"A"Co，這是"A"的值的補集的內部。透過這些指派，直覺上有效的公式正好就是被指派為整個平面的值的公式。例如，公式¬("A" ∧ ¬"A")是有效的，因為不管為公式"A"選擇什麼集合"X"作為值，¬("A" ∧ ¬"A")的值總是被證實為整個平面：Value(¬("A" ∧ ¬"A")) =(Value("A" ∧ ¬"A"))"C"° =(Value("A") ∩ Value(¬"A"))"C"° =("X" ∩ (Value("A"))"C"°)"C"° =("X" ∩ "X""C"°)"C"°一個拓撲學定理告訴我們"X""C"°是"X""C"的子集，所以交集為空，因此：ø"C"° =("R"2)° = "R"2所以這個公式的賦值是真，這個公式確實是有效的。但是排中律"A"∨¬"A"，可以被證實是“無效的”，透過設定"A"的值是{"y" : "y" &gt; 0 }。那麼¬"A"的值是{"y" : "y" ≤ 0 }的內部，它就是{"y" : "y"  0 }和{"y" : "y" &lt; 0 }的並集，這“不”是整個平面。上面描述的無限海廷代數對所有直覺上有效的公式給出了真賦值，而不管為公式中的變數指派了什麼值。反過來說，對於每個無效的公式，都有來對變數的來自這個代數的一個值指派生成這個公式的一個假賦值。可以證實沒有有限的海廷代數有這個性質。克里普克語義.建立在他關於模態邏輯的語義的工作之上，索爾·阿倫·克里普克為直覺邏輯建立了另一套語義，叫做克里普克語義或關係語義。數學的建構主義.在古典邏輯的語義中，無論我們是否擁有對任何命題其中敘述情況的直接證據，命題公式都是從僅有兩元素的集合 formula_19直覺主義邏輯中的操作因此保留了證據和可證明性方面的證據，而不單只執行真值的運算評估。直覺邏輯是開發數學建構主義方法的常用工具。建構主義邏輯的使用在數學家和哲學家中，一直是個爭議話題。共同反對使用它們的意見是上面引用的缺乏古典邏輯的兩個中心規則，即排中律和雙重否定的消除規則。這被認為對大衛·希爾伯特所寫的數學實踐非常重要：“從數學家那裡取走排中律不給他們使用，就像禁止望遠鏡給天文學家，或不允許拳擊手使用他的拳頭。禁止消除雙否的存在陳述和排中律，等於完全放棄數學。”儘管直覺主義邏輯無法利用，排中律和雙重否定的消除這兩個對古典邏輯貢獻極大的規則，而面臨隨之而來的嚴峻挑戰，但直覺主義邏輯具有實際用途。其中一個原因是它所受的限制，反而因此產生了必須具備存在性的證據，使其也適用於其他形式的數學建構主義。非正式地，這意味著如果存在物件存在的建設性證據，則該構造性證據可用作生成該物件的示例演算法，該原理即稱為證明和演算法之間的柯里-霍華德同構。直覺邏輯這種特性如此有價值的原因，是它使研究者能夠使用廣泛的計算機化工具，稱為證明輔具。這些工具可以幫助使用者驗證使現代數學家和邏輯學家能夠開發和證明極其複雜的系統，遠超出那些僅由手工創立和檢查的系統。在這些工具出現之前，無法驗證的著名範例是四色定理的證明。這個定理困擾了數學家一百多年，直到一個證據被開發出來，排除了大量可能的反例，但仍然留下可能性，需要一個計算機程式才能完成證明。這個證據在一段時間內引起爭議，但最終使用 Coq 進行了驗證。
越南金絲猴

越南金絲猴也叫東京仰鼻猴，是惟一分佈在中國以外地區的金絲猴，1910年被發現，直到1989年才被再次發現。現存數量很少，約250只。外形.越南金絲猴的體形較小，胸部腹部為黑色，四肢內側淺黃色。分佈.越南金絲猴僅分佈於越南西部宣光省和北太省之間石灰岩山地的低海拔亞熱帶雨林中。目前的研究表明，現存約至少4個種群，總數約250只。習性.如同其他靈長類動物一樣，越南金絲猴分小群體活動，通常由一隻雄性和多隻雌性組成，也有多隻雄性的群體，多個小群體共同分享一片棲息地。越南金絲猴以植物為食，食物隨季節而變化。研究與保護.越南金絲猴的模式標本產地是越南東京 Song-koi River的Yen-bay，現收藏於大英博物館。目前，越南金絲猴IUCN的瀕危等級是瀕危，生效年代：1997年。瀕危因素.越南人口增長很快，對於原始森林的破壞十分嚴重，極大的擠壓了越南金絲猴的生活空間，至1986年，越南金絲猴原有的棲息地已經喪失殆盡。目前越南金絲猴已分割成兩個種群。此外，過度捕獵用於皮毛和東方藥物也使它們處於更危急的地位。保護措施.雖然1985年越南的國家保護策略開始實施，但執行情況一直不好。現在的保護措施是規劃保護區和禁止捕獵，但這個物種面臨的情況依舊很不樂觀，Na Hang保護區即使建立，越南金絲猴在未來20年裡滅絕的機率依舊很高。
慕尼黑慘案

慕尼黑慘案是於1972年9月5日於第二十屆夏季奧運會舉辦期間發生在西德慕尼黑的一次恐怖事件。策劃者是巴勒斯坦武裝組織黑色九月，襲擊物件是參加奧運會的以色列代表團。營救過程中警察出現嚴重失誤，導致該代表團11人全部身亡。2022年，德國政府與11名遭到殺害的以色列代表團成員家屬達成賠償協議，德國政府向遇難者家屬的賠償由原本的1000萬歐元，加碼至大約2800萬歐元，當中聯邦政府負責2250萬歐元，巴伐利亞州及慕尼黑市政府則各自支付500萬歐元及50萬歐元。經過.8名黑色九月武裝人員在9月5日清晨4時10分，闖入慕尼黑奧運村以色列選手駐地，撬開1、3號房門，當場開槍殺害了以色列摔跤教練莫什·溫伯格、舉重運動員約瑟夫·羅曼，另有9名代表團成員被當作人質關押。奧運會由此被迫停賽。聯邦德國總理維利·勃蘭特和內政部長漢斯-迪特里希·根舍拒絕了以色列方面派遣一個特別行動小組的請求。此後，黑色九月發表宣告，要求在12點之前釋放被以色列關押的234名巴勒斯坦人。11點，以色列政府正式拒絕了釋放政治犯的要求，但同意考慮將人質轉移到埃及開羅再進行相關贖回人頭談判的建議。奧運村市長Walther Tröger，聯邦德國國家奧委會主席Willi Daume，警察局長兼第二十屆奧運會安全總長Manfred Schreiber，巴伐利亞州內政部長Bruno Merk和聯邦內政部長根舍願意代替人質，但也遭到綁匪拒絕。12點，國際奧委會授權國際奧委會埃及籍委員艾哈邁德·圖尼與武裝人員談判：在釋放人質條件下，保證武裝人員安全離境，並支付鉅額資金，但又遭到拒絕。不過，談判成功地延後了武裝人員提出的最後答覆期限，改為當晚10時許，方法為用兩架直升機將武裝人員和人質運往菲爾斯滕費爾德布魯克空軍基地，然後轉機離境。警方原擬乘換機之際，營救人質。當時在機場佈置了5名狙擊手，3名佈置在訊號塔上，一名躲藏在地面一輛維護車輛後，最後一名躲在地面的水管障礙物背後，選用五人是因為德國方面根據艾哈邁德·圖尼的報告，認為只有4到5名武裝人員。但是武裝人員實際上共8人之多，而且由於交通堵塞，令裝甲車遲到半小時。大約晚上10:30，武裝人員到達機場，在機場中停靠了一架波音727客機，警方開啟探照燈照亮現場，武裝人員頭領Issa前往檢查飛機，而人質則繼續留在直升飛機內。警方原計劃在機組人員中混入警察協助消滅一至兩名武裝人員，但是沒有接受任何反恐訓練的機組人員們最後拒絕幫助執行，後來全部更換為16名便衣特務，然而這批新部隊不裝備武器，只是改成負責演戲以使武裝人員成員分開以方便狙擊，更嚴重的是在他們行動開始前就自行放棄了任務，導致成員(特務)全部撤離了客機也無人知曉的情況。當武裝人員頭領Issa發現波音客機內沒有任何機組成員時，他立即折回直升機。這時躲在水管後的一名狙擊手首先向Issa開火，此時約為11時。由於狙擊手們沒有無線電通訊裝置，沒有夜視裝置和頭盔，且人數也落後於對方，計劃完全失控。第一發射擊未擊斃Issa而擊中了陪同前去檢查飛機的副手的大腿，他後來也爬回到其他武裝人員那裡。3名武裝人員藏身到直升飛機後面還擊，而且由於之前的錯誤，直升機的停機方向位置未正確按照計劃執行也造成狙擊手的視覺範圍被阻擋。戰鬥持續45分鐘，直到裝甲車到來。由於恐懼和情況急迫，一名武裝人員開始向第一架直升機內的人質開火，並讓其他兩名武裝人員走出掩護。他跳出去的時候直接留下了一枚手榴彈。此3名武裝人員後來均被狙擊手射殺。而後第一架直升機手榴彈爆炸，起火焚燒，機內所有人質確定死亡。第二架直升機的五名人質也全部被武裝人員處決式射殺。西德在這次營救中也犧牲了一名警察，事件也迎來了最壞的結局。8名武裝人員中包括頭領Issa在內共5人死亡，剩餘3人被捕。同年的一次劫機事件中，西德政府順從劫機者的要求，把3人移交利比亞釋放。巴伐利亞州警察的調查並不能排除有人質為警方所射殺的可能。但也有可能是武裝人員先自行射殺了所有人質。因為一些屍體被嚴重燒毀，無法進一步辨認。1972年9月6日，舉行了對以色列代表團的追悼儀式，時任國際奧林匹克委員會主席艾弗裡·布倫戴奇在講話中表態“奧運會必須繼續”，中斷了34個小時的奧運會繼續進行，此後在西德隊與匈牙利隊的足球比賽中，有觀眾打出“死了17個人，已經忘了嗎”的標語，被逐出場外。值得注意的是：於追悼會上，以色列代表團的長椅上空出11個座位，西德政府/安保團的長椅上空出1個座位，以紀念以色列11名、警察1名，共12名遇難者。影響.對安防的反思.狙擊的失敗導致了被害的擴大。事後分析主要原因有：情報不足未能正確判斷武裝人員人數，雖然在狙擊開始前30分鐘已確認武裝人員為8人仍未及時作出調整反應；狙擊手使用的步槍在深夜進行狙擊卻沒有安裝暗視裝置；無線電聯絡裝置不足，導致狙擊時機無法正確把握；狙擊手非專業反恐訓練而來自普通警察，個人技術水準不足；狙擊步槍非專業設計而存在問題，導致一次狙擊失敗後，不能快速進行下一次射擊。該事件使多國政府開始重視對於武裝人員挾持人質事件的處理能力，並紛紛開始組織負責處理類似狀況的軍警單位；西德政府接受這次教訓後，組織了第九國境守備隊，同時開始設計、裝備真正專用的狙擊步槍。以色列的報復行動.事件發生後，在時任以色列總理梅厄夫人的主持下，以色列集結了由情報特務局。該行動從1972年10月持續到1981年8月，歷時九年之久，將暗殺名單上的11名黑色九月武裝人員中的10名予以成功暗殺。1981年8月1日，暗殺名單的最後一個目標、慘案主謀在波蘭一家旅館遭到槍擊，然而並未致命，以色列當局的暗殺行動至此告一段落。據記載，這是摩薩德特工在沒有計劃的前提下偶然遇到了達烏德，見機行事開槍所致。達烏德最終於2010年7月3日在大馬士革一家醫院因腎衰竭去世，終年73歲。大批巴勒斯坦人在大馬士革郊區的雅爾穆克巴勒斯坦難民營舉殯，包括法塔赫在內的巴勒斯坦多個政治派別派代表參加。蘇聯.鑑於1972年慕尼黑奧運會發生的恐怖襲擊慘案造成極為嚴重的人員死傷，為保障1980年莫斯科奧運會安保，蘇聯國家安全委員會特地組建了阿爾法反恐特戰隊。
南沙天后宮

南沙天后宮座落在中國廣州市南沙區大角山東南山麓。總佔地4000多平方米。歷史.南沙天后宮始建於明朝，前身是天妃廟，清朝乾隆年間復修後定名為元君古廟，膜拜天后娘娘。在1940年代日本侵華時曾遭破壞。1995年由香港著名實業家霍英東捐款重建天后宮，在1996年農曆3月23日舉行了隆重的落成慶典。建築.整個天后宮可分為天后宮廣場和宮殿建築群兩個部份。天后宮廣場.廣大的天后宮廣場佔地1.5公頃，廣場中央屹立了一尊面向汪洋大海的天后像，以保佑出海捕魚的漁民順風順水。這座石雕天后像高14.5米，由365塊精雕細琢的花崗石組成，象徵天后娘娘一年365日都保佑著國家和人民。宮殿建築群.在天后宮廣場的後方，清式建築對稱佈局、高低錯落地依山而建。廣場後方正是建築群的正門牌坊，穿過牌坊到達山門，即是天后宮的正門，室內供奉的是「千里眼」和「順風耳」兩尊神像。繼續拾級而上，山門的兩側有鐘樓和鼓樓，鐘鼓樓內的鐘鼓都會按時敲擊。在山門的上方為獻殿，殿內供奉「蹈海天后」，四海龍王則持玉圭在兩旁站立。再上方的正殿是整個天后宮的中心，有木雕神龕，供奉3.8米高、香梓木雕、貼金的天后像。正殿中除了天后像外，還首創以歷史人物作陪神，別具一格。寢殿則在正殿之內，相傳是象徵天后娘娘起居之所，在這個寢殿中特別安置了一臺織布機，以表示傳說中天后娘娘曾在15歲時，於一次織布途中從海上救父脫險。另外，寢殿中還擺放床、梳妝臺及鏡子。整個建築群最高點是位於最後方的南嶺塔。塔高45米，採樓閣式建築，共8層。在南嶺塔可遠眺整個南沙天后宮範圍。當年建塔的原因，大致上有四個：
登琨豔

登琨豔，生於臺灣高雄市設計師、舞臺設計師、裝置藝術家，師承著名建築師漢寶德。現居上海。簡歷.登琨豔畢業於屏東農專農藝科，畢業後，至臺中東海大學建築系旁聽漢寶德的課程兩年，成為他的弟子與助手。1985年，在臺北成立個人工作室。以代表作－舊情綿綿咖啡廳，以及現代啟示錄啤酒館，轟動了臺北藝文界。1990年結束歐洲流浪歷程，並選擇在上海落地生根。他選擇了蘇州河畔的一個舊倉庫，並把它改裝成工作室。此拲吸引了很多人到他的工作室參觀，並引起當地其他藝術工作者仿效，紛紛把周遭的倉庫改建，從而成功阻止了上海市把這一帶富歷史意義的建築物拉倒。就此，他獲得聯合國教科文組頒獎，表揚他在保護文化方面的工作。其後，他更獲得上海市楊浦區區政府邀請，作為黃浦江畔舊工業區的改建工程的顧問，後因種種原因，被迫遷出楊樹浦路上的上海濱江創意產業園。
張如城

張如城，為香港創作歌手及網路名人。他在2001年以13歲之齡出道，但不久離開樂壇以完成學業。當他分別在2008年8月、2011年8月及2016年5月復出時，令網民再度談論一時。張如城在2000年代初期，成為某些網民製作反對他和恥笑他的網頁、改圖的物件，令他成為最早期見證香港的「網上力量」的人物之一。個人背景.張如城生於廣東省湛江市，有6名兄弟姊妹，2歲半時從中國大陸移居香港，中學時期就讀於仁濟醫院王華湘中學，被稱為「亞洲神童」及「亞洲最年輕音樂創作人」，現已修畢香港公開大學工商管理文憑課程。逸話.2017年12月，張如城母親遭男性好友入稟高院，指張母為幫助張如城在歌壇發展，於2016至2017年間向他借貸共16.5萬港幣及120萬人民幣，當時張如城及另外3人曾承諾若張母未能還款，他們會代為還債，但4人最終沒有兌現承諾，男友人現向張如城及其母等共5人索償。張如城效應.當張如城推出新作時幾個月後剛巧香港股市都會因為其他原因而引發恒生指數大幅度下跌。情況如同樂壇版「丁蟹效應」。2001年6月推出出道作《真愛是真》，同年9月11日發生911事件。2008年8月復出作《友誼的光彩》，同年9月因雷曼兄弟破產引發金融海嘯。2011年8月二度復出作《中國的巨龍》，同年11月因2011年美國債務上限危機引發香港股市大跌。2016年5月三度復出作《紅日之火》，同年6月因2016年英國脫離歐盟公投脫歐勝出引發恒生指數急跌過千點。2021年2月在發表《Jacky Cheung亞洲神童張如城慈善音樂會Charity performance come from Jacky Cheung"The child prodigy of Asia"》，同年2月24日、26日因2020/21年度財務預算案公佈擬提升股票印花稅三成至0.13%，觸發恒生指數兩天急跌逾千點。
黑色九月

黑色九月是巴勒斯坦激進派軍事組織，曾策劃實施多起恐怖活動，如震驚世界的慕尼黑慘案。1960年代後半，以約旦為據點的巴勒斯坦解放組織因試圖刺殺約旦國王胡賽因未遂，國王於1970年9月下令將巴解武力驅逐。由此引發了約旦內戰。被稱為「黑色九月事件」的內戰中，巴解成員多被殺害，剩餘成員被迫轉移據點至黎巴嫩貝魯特。內戰對巴解造成重大打擊，並由此視胡賽因國王為叛徒，對其強烈反抗。此後，在黎巴嫩開始活動的巴解中最大的派別法塔赫，因對以色列鬥爭的失利，結成了秘密恐怖組織，即黑色九月。黑色九月曾經於第20屆夏季奧運會發動了慕尼黑慘案，震驚世界，以色列代表團11名運動員遭殺害。以色列情報特務局對黑色九月幕後成員展開嚴厲報復，即天譴行動。
王蓉

王蓉。她憑一曲《我不是黃蓉》而走紅，後來她主唱電視劇《小魚兒與花無缺》的主題曲《哎呀》，而獲得追捧，被媒體譽為著名女歌手陳慧琳的接班人。她的專輯包括：《非想非非想》《我不是黃蓉》《多愛》。因為在《芙蓉姐夫》中，直接引用了一首網路上流傳的由網友創作的評價芙蓉姐姐的打油詩，而引發了一些爭議。
科學革命

科學革命與化學等學科皆出現突破性的進步，這些知識改變了人類對於自然的眼界及心態。科學革命發源於歐洲發動十字軍東徵與貿易，使得中東的古籍從阿拉伯被帶回來，文藝復興時代結尾之時，這個歷程一直持續到18世紀末，開始了科學進步的歷程。科學革命的衝擊，造成啟蒙運動與工業革命的出現，影響了歐洲與人類的社會。科學革命的開始日期，史學家仍有爭議。但1543年尼古拉斯·哥白尼出版的《天體執行論》通常被認為是科學革命的起點。從1543年，一直到1632年伽利略出版《關於托勒密和哥白尼兩大世界體系的對話》，這段時間，常被認為是科學革命的第一階段。在這個階段中，那時教會腐化正面臨人們的懷疑與變革，此風潮復興了古希臘與羅馬時期的舊有科學知識，被稱為是科學復興。在伽利略之後，則是現代科學的興起，艾薩克·牛頓在1687年發表《自然哲學的數學原理》後，科學研究的證明方法被確定，通常被認為標誌著科學革命的完成。概論.科學革命基於對中世紀古希臘研究的基礎之上，並以羅馬/拜占庭科學和中世紀伊斯蘭科學加以闡述和進一步發展。一些學者認為傳統基督教與科學的發展有一定程度上的聯絡。將科學發展稱為革命，這類用語起源於18世紀。如亞歷克西斯·克勞德·克萊羅在1747年，稱艾薩克·牛頓的理論，造成了一個革命。這個形容詞也曾被使用於描敍安託萬-洛朗·德·拉瓦節命名氧氣的成就上。19世紀時，威廉·休厄爾首次提出，歐洲在15世紀及16世紀的變化，主要來自於科學本身的變革。在20世紀時，史學家亞歷山大·誇黑首次提出科學革命這個名詞，並建立了完整的論述。儘管科學革命的具體時間仍有爭議，科學史的萌芽可能開始於14世紀，也有歷史學者認為化學和生物學的革命開始於18、19世紀。 但公認的是，在16至17世紀之間，物理學、天文學、生物學、數學、醫學以及化學的思想都經歷了根本性的變化，由中世紀的觀點轉變為現代科學的基礎，不論是在各個獨立的學科內，更是在對整個宇宙的認知中。根源.近代科學革命是西方文明特有的產物，這可能是因為只有在當時西方地理條件下有大量不同的思想接觸，科學家、哲學家、鉅商匠人三者才能實現統一的進步。在那時神學與煉金術等對知識體系還佔據主導地位，基督教意圖強烈的追求傳教活動帶來了文化交流，其後中東的羅馬古籍與歐洲教義記載不符，引發了劇烈的思考，改變西方文明對現實世界的態度，實現了思想和勞動的結合，實作精神奠定了科學的基礎，來自中國的紙與印刷術也推動了科學的發展。科學革命發生在西方的原因包括：現代科學方法論的思想歷史.從17世紀開始，在以培根為代表的思想家們所倡導的科學方法論觀念影響下，基於系統化實驗方法論與實踐哲學的研究傳統逐漸被科學界接受。培根提倡的是一種使用歸納方法獲取知識的哲學——即，相對而言，不是像亞里斯多德那樣強調主觀認知的宇宙世界觀體系，並試圖擺脫亞里斯多德經典邏輯三段論為中心的古典方法論的束縛，而是嘗試以開放的心態觀察現實世界。——與早期的亞里士多德演繹方法形成對比，透過這種方法對已知事實的分析，產生了對於現實自然世界更為深刻真實的認知。在此基礎之上，在現代科學方法論的沿革歷史中，許多科學家和哲學家認為需要將歸納法哲學與演繹法哲學兩者健康地結合起來——既願意質疑既有成見與自然哲學觀念體系。到科學革命結束時，在主流自然哲學家的世界觀體系中，自然世界已經變成了一個機械的、數學的世界，可以透過實驗研究來了解。雖然牛頓科學並非在所有方面都與現代科學一模一樣，但它在許多方面在概念上與我們今天的科學相似。現代科學的許多特徵，尤其是在制度化和專業化方面，到19世紀中葉成為標準。英國經驗主義一詞開始用於描述其創始人弗蘭西斯·培根之間的哲學差異。培根的貢獻.弗蘭西斯·培根是建立科學調查方法的關鍵人物。科學革命的哲學基礎由被稱為現代科學方法論之父的弗朗西斯·培根提出。他的著作建立並推廣了科學探究的歸納方法，通常稱為培根方法，或直接稱為科學方法。他對研究所有自然事物的計劃程式的要求，標誌著科學修辭和理論框架的新轉變，其中許多內容仍符合如今正確方法論的概念。培根提出了對所有知識過程的重大改革，以促進神學和人學的進步，他稱之為《》於1620年出版。他認為人是“自然世界的管家和解釋者”，“知識和力量是同義詞”，“效果是透過方法和工作產生的”，以及“人的作為只能是控制自己的身體與行動；而自然世界則內在地完成其餘部分的工作”；人“只有服從自然才能指揮自然”。總之，這是培根的哲學摘要，即透過對自然的瞭解和正確方法的使用，人類可以支配自然世界的自然工作以產生確定的結果。因此，人透過尋求對自然的認識，可以達到對自然的控制——從而重新建立因墮落而失去的“人之國度”與人的原始純潔。他相信，透過這種方式，人類將擺脫無助、貧困和苦難的境地，同時進入和平、繁榮和安全的境地。為了獲得關於自然的知識和控制自然的能力，培根在《新方法論》這部作品中概述了一種新的邏輯系統，他認為它優於舊的亞里斯多德經典邏輯三段論方法。對培根來說，哲學家應該透過歸納推理的方法，從事實到規律，再到物理定律；然而，在開始這種歸納之前，研究者必須將他或她的思想從某些歪曲事實的錯誤觀念或傾向中解放出來。特別是，他發現從前的哲學過於專注於文字，尤其是話語和辯論，而不是實際觀察物質世界：“從而使哲學和科學變得狡猾和不活躍。”培根認為科學最重要的是不要繼續進行空泛的智力討論或僅僅以默想為目標，而應該透過提出新的發明來改善人類的生活；為此，他探索了技術發明的深遠意義和改變世界的特徵，例如印刷機、火藥和指南針。程序.16-17世紀.近代科學最主要的進步發生在天文學領域，哥白尼接受了一些古代哲學家的觀點，認為太陽而非地球是宇宙中心。伽利略使用當時新發明的望遠鏡，以經驗支援哥白尼。科學早期階段最傑出的人物是牛頓，他在光學、流體力學、數學方面的工作都具有開創性，除此之外，他還在《自然哲學的數學原理》提出了萬有引力定律。 人們開始把牛頓的物理學分析法應用於整個人類社會。宇宙中物質的每個粒子都對其他每個粒子有引力；引力與兩個粒子之間距離的平方成反比，與它們的質量成正比。18-19世紀.後期開始的[[工業革命]]與科學革命之間相互影響，1769年，[[瓦特]]改良的[[蒸汽機]]為工業革命提供了相對無限的動力。如果沒有科學革命，工業革命完全有可能在紡織品生產加速後逐漸消失，就如同中國歷史上所發生的那樣。[[File:Maquina vapor Watt ETSIIM.jpg|thumb|250px|瓦特蒸汽機]]19世紀前期化學受紡織業迅速發展的影響成為當時進步最大的一門科學。[[安託萬-洛朗·德·拉瓦節|安東尼·拉瓦節]]提出物質守恆定律：在一系列化學反應中，儘管物質的形態可能發生變化，但它的數量不會變。達爾文在19世紀發現人類本身的進化規律，其學說雖然在後來研究的基礎上得到了詳細的修改，但其要點實際上已為當時所有科學家所接受。但是在某些領域，特別是在教士中間，存在著激烈的反對意見。達爾文主義廢黜了人類在地球歷史上的中心地位。後來，達爾文的學說被應用到社會舞臺上，被稱作[[社會達爾文主義]]。科學的發展.十六至十九世紀時的科學思想和科學家包括：[[Category:科學史]]
輻鰭魚

，為硬骨魚的一大演化支，主要特徵為魚鰭是由輻射狀的骨質或角質鰭條支撐的皮膜，區別於肉鰭魚由中軸內骨骼支撐的肉質鰭。在不同的分類系統中，輻鰭魚的分類層級從下綱、亞綱、綱到總綱不等。根據2010年代以來美國學者 Betancur-R 等人的意見，廣義的輻鰭魚被歸為輻鰭魚總綱，與腕鰭魚互為姐妹群。輻鰭魚是現代脊椎動物中最為繁盛的類群，種數幾乎佔現存3萬多種魚類的99%，遍及淡水與海水生境。不同種類間的體型差異極大，從8毫米長的微鯉到11米長的皇帶魚和2.3噸重的翻車魚不等。約95%的現生輻鰭魚均屬於真骨類。分類.現行分類.依據 DeepFin 魚類分類學網站所採納的分類方案，輻鰭魚總綱內部的整體分化關係如下：基於以上分類系統，輻鰭魚總綱分為70個目，各目之間的演化關係如下：傳統分類.傳統上，輻鰭魚分為三個類群：軟骨硬鱗附類、全骨附類和真骨附類，幾乎所有的現生輻鰭魚都屬於真骨附類。有學者根據一些形態學證據，認為全骨附類是並系群，故應廢除。然而，近來的線粒體 DNA 分析卻傾向支援全骨附類的存在。輻鰭魚總綱的下級分類按分化時間早晚羅列如下，許多傳統類群因存在並系問題而不再有效，符號 † 表示已滅絕：;軟骨硬鱗亞綱 Chondrostei*鱘形目 Acipenseriformes*盧加諾魚目 Luganoiiformes †*古鱈目 Palaeonisciformes †* 側鱗魚目 Pholidopleuriformes †* 裂齒魚目 Perleidiformes †* 肋鱗魚目 Peltopleuriformes †* 褶鱗魚目 Ptycholepiformes †* 龍魚目 Saurichthyiformes †* 鰻鱈目 Tarrasiiformes †* 硬齒魚目 Pycnodontiformes †* 比耶魚目 Birgeriiformes †;新鰭亞綱 Neopterygii;全骨下綱 Holostei*雀鱔目 Lepisosteiformes*弓鰭魚目 Amiiformes*預言魚目 Ionoscopiformes †*半椎魚目 Semionotiformes †;真骨下綱 Teleostei*薄鱗魚目 Leptolepiformes †*厚莖魚目 Pachycormiformes †*針吻魚目 Aspidorhynchiformes †*叉鱗魚目 Pholidophoriformes †*Crossognathiformes †;骨舌魚總目 Osteoglossomorpha*骨舌魚目 Osteoglossiformes*月眼魚目 Hiodontiformes*狼鰭魚目 Lycopteriformes †*乞丐魚目 Ichthyodectiformes †;海鰱總目 Elopomorpha*海鰱目 Elopiformes*北梭魚目 Albuliformes*背棘魚目 Notacanthiformes*鰻鱺目 Anguilliformes*囊鰓鰻目 Saccopharyngiformes;鯡形總目 Clupeomorpha*鯡形目 Clupeiformes*埃笠姆鯡目 Ellimmichthyiformes †;骨鰾總目 Ostariophysi*鼠鱚目 Gonorynchiformes*鯉形目 Cypriniformes*脂鯉目 Characiformes*電鰻目 Gymnotiformes*鯰形目 Siluriformes*黑頭魚目 Alepocephaliformes ?;原棘鰭總目 Protacanthopterygii*鮭形目 Salmoniformes*狗魚目 Esociformes*水珍魚目 Actinopterygii*南乳魚目 Galaxiiformes; Stenopterygii*辮魚目 Ateleopodiformes*胡瓜魚目 Osmeriformes*巨口魚目 Stomiiformes;圓鱗總目 Cyclosquamata*仙女魚目 Aulopiformes;燈籠魚總目 Scopelomorpha*燈籠魚目 Myctophiformes;月魚總目 Lampridiomorpha*月魚目 Lampriformes;鬚鰃總目 Polymyxiomorpha*鬚鰃目 Polymixiiformes;副棘鰭總目 Paracanthopterygii*鮭鱸目 Percopsiformes*蟾魚目 Batrachoidiformes*鮟鱇目 Lophiiformes*鱈形目 Gadiformes*鼬魚目 Ophidiiformes;棘鰭總目 Acanthopterygii*鯔形目 Mugiliformes*銀漢魚目 Atheriniformes*鶴鱵目 Beloniformes*鯉齒目 Cyprinodontiformes*奇鯛目 Stephanoberyciformes*鯨頭魚目 Cetomimiformes*金眼鯛目 Beryciformes*燧鯛目 Trachichthyiformes*背棘魚目 Notacanthiformes*海魴目 Zeiformes*刺魚目 Gasterosteiformes*合鰓目 Synbranchiformes*魨形目 Tetraodontiformes*鰈形目 Pleuronectiformes*鮋形目 Scorpaeniformes*鱸形目 Perciformes注：在傳統分類中，鱸形目是輻鰭魚裡種類最多的一目，共有7800餘種，約佔輻鰭魚全部種類的40%。
虹口

虹口，上海地區名，位於上海市中心城區中部偏北側的吳淞江與黃浦江交匯處附近的地區。原特指今虹口區南部和閘北區的東南部地區，現也常用於指代虹口區所轄區域。名源.虹口一名河口的名稱。元代以前，吳淞江河道位於今河道的北側。作為吳淞江的支流，上海浦起自十六鋪東側，流經宋家浜與范家浜匯合處，然後繼續北流至今虹口港河道上的嘉興路橋附近匯入吳淞江故道。元代之後，上海浦河道逐漸被南接的黃浦所侵佔。因此原上海浦便被黃浦所替，其在吳淞江的河口也被改稱為黃浦口。明隆慶三年，海瑞疏浚吳淞江，其河道改由宋家浜流經。同時，以黃浦作為太湖洩洪主河道，吳淞江遂成為黃浦江的支流。而原上海浦匯入吳淞江故道河口附近的河道仍舊保留，保留的這段河流遂改稱為沙洪，而其流入黃浦的河口則稱為洪口。清代中期，沙洪上修建一座跨河拱橋，即俗稱的虹橋。上海開埠後，洪口逐漸被虹口所替代，遂一直沿用至今。發展歷史.在上海開埠前，虹口的東西兩岸就已經形成小規模的集鎮，因此虹口也逐步的從單一的河口名稱延伸到河口附近的市鎮，即內外虹口市。1848年，美國傳教士購入與英租界相鄰的虹口一帶土地，即虹口美租界。1863年，上海道正式與美國簽訂條約，確定今武進路以南一帶區域均劃歸美租界。隨著租界的擴張，虹口的概念也突破原有的地域，虹口一詞逐漸成為蘇州河北地區租界的統稱。之後歷經多次租界展拓和越界築路，虹口所指代的地區包括了除原地區外的今閘北區東南部、四川北路中段和北段直至虹口公園。抗日戰爭勝利後，上海市政府於1947年更改行政區劃名，將原先以數字編號的區名改為以地名為主。原十六區被更名為虹口區，虹口一詞正式成為行政區劃名稱。1949年以後，虹口區在進行了多次行政區劃改革後，至2011年，虹口廣義上指代南抵蘇州河，北至江灣鎮，東接楊浦，西鄰閘北的廣大地區。
崇德社

國際崇她社，中國大陸與香港譯作國際崇德社; zh-hk:臺灣譯作國際崇她社，是一個國際性的女性團體。崇她社最早於1919年成立於美國紐約州水牛城，總部現設於芝加哥。Zonta是美國原住民語言中誠實和值得信賴的意思，該組織主要以社群為基礎，需要幫助的婦女。崇她社的社花為玫瑰花，並訂立與國際婦女節同日的3月8日為崇她玫瑰日，義賣玫瑰作為團體經費。
剪應變

剪應變是材料力學中的名詞，定義為一微小材料元素承受剪應力時所產生的角變形量。因此是一個無量綱(dimensionless)的物理量。公式記為formula_1其中formula_2 是剪應變，formula_3 是材料元素的高度，formula_4 是承受剪應力的變形量。
志願者

是指一種助人、具組織性及基於社會公益責任的參與行為，通常旨在促進善良或改善人類生活品質。其發展可追溯至二次大戰後，福利主義抬頭導致各國政府支出崩塌，發展義務工作以解決社會上不勝負荷的需求。定義.簡單而言，志工可以定義為三種型別：歷史.義工制度的確立可追溯至二次大戰後福利主義抬頭，但義工本身的存在則自古以來已經存在，古時候的贈醫施藥可被視為義工的雛型。西方義工起源的重要概念建基於羅馬時代的博愛精神和基督教的宗教責任及救贖觀念，透過義務工作表現出人性的愛及弘揚宗教的善性。而近年義工制度的確立，是為了彌補政府對社會支援的不足，結合政府、商界及民間的力量為社會上有需要的人士服務。特質.義工具有多項的特質：分類.義工所從事的服務眾多，當中可能包括教育、環保、倡導及福利等範疇，因此難以統一劃分，故此出現了幾方面劃分義工的種類：動機.義工參與義務活動的動機可以分為三類。動力.由於義工參與的目標並不是為了追求成效，因此不能單靠命令及控制能操縱義工，所以要運用不同的手法來鼓勵義工持續投入服務，義工機構可從三大方面提升義工的動力。根據馬斯洛的需求層次理論，人類具有五種需求，機構可在服務過程中滿足義工的五種需求，從而提升他們的動力。另外，在過程中，機構可以先了解義工對服務的期望，當義工的期望能夠實踐時，義工會有更大動力持續服務。最後是根據學習理論，在提供服務時，以獎勵及懲罰來提升或刪減特定的行為，從中提升義工的動力。守則.雖然義工是奉獻自己的時間及精力來為社會提供服務，不過義工事實上是與機構結合成一個整體，因此義工亦有一定的守則需要遵守。義工需要遵守機構的行政程式，並依照機構的宗旨辦事。同時，保密原則在社福界中，不管是社工抑或義工同樣有效，個人上亦要守承諾、思想積極、主動、有使命感等。價值評估.義工對於社會層面、機構層面及國家層面都貢獻良多，但很多人都會忽略了評估義工的價值，除了義工的金錢捐贈外，一般義工所做的行為甚少真正轉換成金錢計算在機構的年表內，因為其行為難以以直接轉換成金錢，故此要評估義工的價值，可以參照服務使用者的意見作為一量度單位。督導.義工在服務過程中，並不一定是該類服務的專業人士，因此機構在義工服務時，有需要為義工提供督導。督導在義工中具有三項功能。在行政上，督導者需為義工安排服務的時間及種類等。在教育上，督導者需以專業知識，為義工提供能力及知識上的改進。在支援上，督導者要與義工建立良好的關係，使義工能在一個安全的氣氛及環境下自我成長。發展限制.由於現時大部分的福利機構都是由政府資助，但在接受政府資助的同時，機構需要達成一定的服務指標，但義工的成果不容易量度，因此難以向政府交代。其次，義工服務缺乏創新性，為了申請各項的資助，機構會撰寫各類的計劃書以爭取資助，但結果是換來換湯不換藥的服務，義工服務的發展亦受到了限制。再者，部分機構仍視義工為一免費的人力資源，當中缺乏對義工的培訓及管理，令義工的服務素質停濟不前。
脇差

脇差，長一至二尺，單手用刀。日本武士平時與太刀或打刀一同佩戴於左側腰間，並稱「大小刀」，脇差因此相對也稱為「小刀」。由於形制、用途都與小太刀相近，兩者時常混稱。適用於狹窄環境和近身纏鬥，也作為「大刀」的備用武器。歷史與文化.日本古代本無規定武士配刀的數量和形制，然而武士不論上戰場或行走江湖，往往都會攜帶多種武器，以因應各種狀況。一如武士經常攜帶的武器各有用途，好比弓箭能放長遠擊、鎧通利於破甲，寸有所長、尺有所短，在狹窄環境和近身纏鬥中，太刀或打刀尚嫌太長，因此武士常會攜帶一柄較短的刀械備用。另一方面，武家文化發展出了入屋即卸下兵器的禮儀，武士進到屋內「大刀」便要卸下，並根據對主人尊重的程度及雙方的身分地位，或將入鞘的「大刀」提在右手、以示不易拔刀，或直接將「大刀」交由對方保管；相對的，主人通常會允許客人保留「小刀」護身。脇差或小太刀因此成為武士們常備的防身武器。隨著實戰經驗的累積和社會文化的發展，長短雙刀遂成為武士約定俗成的基本配備，武士多半也都會精通「小刀」的運用，以備不時之需。脇差出現的時間較小太刀為晚，因此早期的「小刀」都是小太刀。脇差出現後，很快就取代小太刀成為主流，小太刀也變得罕見。但人們習慣了小太刀的稱呼，加以兩者的形制和用途非常相近，兩者往往混稱。江戶幕府成立以後，幕府直接以法令規定武士都要佩戴雙刀，且律定了「大小刀」的形制，脇差的規格至此才正式定型。此外脇差也是準許一般百姓、市民、商人以及其他非武士身份的人隨身攜帶的自衛武器，因此在許多古代的抗暴事件中，帶頭的俠客使用的就是這種武器。幕末武士配刀的禁制鬆弛，長度與打刀相近的脇差應運而生，稱為「長脇差」。據說新選組局長近藤勇便愛用這種型別的脇差。長短雙刀外，武士常常還會攜帶一柄比脇差更短的刀子，便簡單稱為「短刀」。短刀是日本武士最常用於切腹的武器。然而有時手邊沒有短刀，臨時間武士也可能使用脇差切腹，但脇差長度往往太長，因此會先包裹住刀刃，握住包裹處以縮短握刀處與刀尖的距離，便於使用。短刀平時用於突襲或擊倒敵人後進一步割喉、刺頸，不用於一般交戰，因此除了長度較短，和脇差另一分別為短刀通常不加護手。雖然脇差與打刀本是應用於不同情境，兩者通常不同時使用，然而隨著佩戴「大小刀」成為常態，許多門派都發展出了一手持「大刀」、一手持「小刀」的戰鬥技術，稱為「二刀流」，最知名者當屬宮本武藏的「二天一流」。即使是專精於一刀的門派，有些也有戰鬥中途視情況使出脇差突襲或輔助防禦的技巧。僅使用「小刀」的武術，則通稱為「小太刀術」。有些精通「小太刀術」的高手，即使在開闊地形對戰三尺開外的大太刀、甚至長槍之類的長兵器，也會選擇使用「小刀」應戰。「中條流」的「小太刀術」就很有名，「中條流」中興之祖暨「富田流」的開創者：富田勢源，為其中的佼佼者。有些門派，例如「天道流」，還有使用兩把「小刀」的技術，稱為「小太刀二刀流」。脇差除了用於近身戰鬥，在距離拉開時，也可能被當成投擲武器。形制與分類.脇差刀刃短而直，刀柄僅供單手握持，刀裝通常採用近似於打刀的形式，可視為較短的「打刀」。依長度概分為：脇差，尤其是大脇差，與小太刀在形制和用途上都很相近，加以江戶時代的法令讓原本常用太刀刀裝的小太刀也多改作打刀刀裝，兩者間的分別又更模糊了。在現代日本的法規裡，將長度較短的日本刀，包含小太刀，都歸類為脇差。
蘇格拉底·布拉濟萊羅·奧利維拉

蘇格拉底普拉蒂尼}-帶領的法國隊。當時雙方被廣泛認為是世界上技術含量最頂尖的兩支球隊，特別在中場線上更是星光熠熠。一方面是由蘇古迪斯、薛高的鑽石中場線。果然，雙方合力打出了一場技術含量極高，甚少出現斷續停頓、犯規出界等，極為流暢的精彩比賽。在苦戰120分鐘後，最終踢成1-1平手，需要用十二碼決戰來解決。首先出場的蘇古迪斯打出一記窒步挑射，這種有別於平常的高技巧打法，此前他已在波蘭身上施展過且得手了。然而此番故技重施，卻被法國門將-{zh-hans:若爾·巴茨; zh-hk:碧斯洞悉先機神勇撲出，最終導致巴西被淘汰，蘇古迪斯的世界盃生涯亦就此結束。技術特點.蘇格拉底常用頭球攻門或巧妙擺渡，他的腳下動作也非常厲害，運球時從不看球，盤帶球的技術可與-{zh-hans:約翰·克魯伊夫; zh-hk:告魯夫;zh-tw:克魯伊夫}-媲美，而且，他的傳球也極為準確，一手腳後跟傳球的絕技讓人擊節讚賞。逝世.2011年12月4日，蘇格拉底因食物中毒導致腸道感染而辭世於聖保羅的阿爾伯特-愛因斯坦醫院，年57歲。蘇格拉底在去世前曾患有嚴重的消化系統疾病，2011年8月和11月兩度入院就診，消化系統疾病可能與他在球員時期酷愛飲酒有關。
泊松比

泊松式比，又譯泊松比，以法國科學家泊松命名，是材料力學和彈性力學中的名詞，定義為材料受拉伸或壓縮力時，材料會發生變形，而其橫向應變與縱向應變的比值，是一無因次量的物理量。當材料在一個方向被壓縮，它會在與該方向垂直的另外兩個方向伸長，這就是泊松現象，泊松比是用來反映泊松現象的無量綱的物理量。泊松比一般是正值，表示在一方向拉伸後，在其他方向收縮。不過也存在泊松比為零在均勻等向性材料中，剪下模數"G"、楊氏模數"E" 和泊松比formula_1三個量中只有兩個是獨立的，它們之間存在以下關係：formula_2
楊氏模量

楊氏模量，也稱楊氏模數，一般將楊氏模量習慣稱為彈性模量，是材料力學中的名詞。彈性材料承受正向應力時會產生正向應變，在形變數沒有超過對應材料的一定彈性限度時，定義正向應力與正向應變的比值為這種材料的楊氏模量。公式記為formula_1或是formula_2其中，formula_3 表示楊氏模量，formula_4 表示正向應力，formula_5 表示軸力，formula_6 表示斷面面積，formula_7 表示正向應變。楊氏模量以英國科學家托馬斯·楊命名。各種材料的楊氏模量約值.楊氏模量取決於材料的組成。舉例來說，大部分金屬在合金成分不同、熱處理在加工過程中的應用，其楊氏模量值會有5％或者更大的波動。正如以下的很多材料的楊氏模量值非常接近。單位.楊氏模量的因次同壓強，在SI單位制中，壓力的單位為Pa也就是帕斯卡。但是通常在工程的使用中，因各材料楊氏模量的量值都十分的大，所以常以百萬帕斯卡作為其單位。
中國典型培養物保藏中心

中國典型培養物保藏中心，是國內保藏範圍最廣、專利培養物保藏數量最多的保藏機構。保藏內容.包括細菌、放線菌、酵母菌、絲狀真菌、高等真菌、單細胞藻類、人和動物細胞系、轉基因細胞、雜交瘤、原生動物、地衣、植物組織培養、植物種子、動植物病毒、噬菌體、質粒、基因片段、基因文庫和其它生物材料1600多株、非專利培養物5000多株、標準細胞系和模式菌株300餘株，被存放在零下196℃的液氮中。
時鐘

時鐘簡稱鐘，所有計時裝置都可以稱為計時儀器。鐘錶在現代漢語中一般有兩種意思，一是各類鐘和錶的總稱，另一個是專指體積較大的表，尤指機械結構的有鐘擺的鐘。時鐘是人類最早發明的物品之一，原因是需要持續量測時間間隔，有些自然的時間間隔可以用觀測而得，較短的時間間隔就需要利用時鐘。數千年計時裝置的原理也有大幅變化，日晷是利用在物體在一平面上影子的變化來計時，計算時間間隔的儀器也有許多種，包括最廣為人知的沙漏。配合日晷的水鐘可能是最早的計時儀器。歐洲在1300年發明瞭擒縱器，後來也創作了第一個機械鐘，可以利用像之類的振盪計時裝置。發條驅動的時鐘約在15世紀出現，鐘錶業約在15世紀至16世紀開始發展，1656年發明瞭擺鐘，因此在計時的準確性又進一步提昇，當時因為航海導航對時間的精確性要求，也帶動時鐘可靠性及精確性的提昇。電子時鐘在1840年申請專利，二十世紀電子學的發展產生了可以完全不用機械的時鐘。現在時鐘內的計時元件是諧振子，一個會以固定精準頻率振盪的物體，諧振子可能是單擺、音叉、石英晶體，或是原子在發射微波時電子的振盪。類比型的時鐘會用指標及角度表示時間，數位時鐘則是用數字的方式表示，有兩種時間表示法：十二小時制及二十四小時制。大部份數位時鐘都是用電子裝置及液晶、LED及真空熒光顯示器來顯示時間。時鐘功能也是現在電腦、手機或平板電腦的標準功能之一。為了方便性、距離、電話或是失明人士的需求，有用聲音報時的聽覺時鐘。為了盲人需求，也有用觸控方式可以感知其時間的盲人時鐘，其中有些類似傳統時間，但調整其設計，可以直接觸控錶面得知時間，但又不會影響計時功能。計時技術也在持續演進之中。有關鐘表的研究稱為。字源.英語中的「Clock」源自拉丁語「clocca」，這個字於13世紀在歐洲出現。在漢語上，「鍾」與「鐘」是兩種不同的事物，「鍾」原本是指一種酒器，「鐘」是一種樂器。中國大陸、新加坡及馬來西亞的簡化字表中，「鍾」與「鐘」合併成「鍾」，另外「鍾」字在有歧義時方能使用，以作區別。「鐘」古作樂器，至少唐代具時計作用，古分夜五更，每更敲鐘，故鐘生時計之意，屬於衍生字義。日本使用時計作鐘的漢字載體。於漢字文化圈中時計皆具有鐘的意義。歷史.原始人憑天空顏色的變化、太陽的光度來判斷時間。古埃及發現影子長度會隨時間改變，發明日晷在早上計時，他們亦發現水的流動需要的時間是固定的，因此發明瞭水鐘。古代中國人亦有以水來計時的工具——銅壺滴漏。中國除了用水流來計時外，中國古代民間亦有利用燃點線香來計量時間。龍舟報時更香就是利用燒香來計時的儀器，它更設有定時響鬧的作用。龍舟上掛了數條兩端繫著金屬球的幼線，線下放了燃著的香。每隔一段時間，香便會燒斷一條線子，當金屬球跌進下面的盛器時，便會發出報時響鬧。這種燒香時計最早見於宋代的。用更香來計算時間的精度不高，但由於它簡單易行，極之適合民間使用，所以曾經十分流行。據載有些更香可燃燒一晝夜，有些甚至可以燃燒至一個月。公元1088年，宋朝的科學家蘇頌和韓工廉等人製造了史上首座以水力作自動化機械操作的水運儀象臺，它是把渾儀、渾象和機械計時器組合起來的裝置。它以水力作為動力具有科學的擒縱機構，高約12米，7米見方，分三層：上層放渾儀，進行天文觀測；中層放渾象，可以模擬天體作同步演示；下層是該儀器的心臟，計時、報時、動力源的形成與輸出都在這一層中。公元1276年，中國元代的郭守敬製成大明燈漏。它是利用水力驅動，透過齒輪系及相當複雜的凸輪結構，帶動木偶進行「一刻鳴鐘、二刻鼓、三鉦、四鐃」的自動報時。自宋起，十二時辰分初正即廿四小時系統，一刻即今天的十五分鐘，其準確度較德國之桌鐘早三百多年。公元1283年，在英格蘭的修道院出現史上首座以砝碼帶動的機械鐘。13世紀，義大利北部的僧侶開始建立鐘塔，其目的是提醒人禱告的時間。公元1360年詹希元創制「五輪沙漏」，以齒輪、時刻盤合成。16世紀中葉，德國開始有桌上的鐘。那些鐘只有一支針，鐘面分成四部分，使時間準確至最近的十五分鐘。公元1657年，惠更斯發現擺的頻率可以計算時間，造出了第一個擺鐘。1670年英國人William Clement發明錨形擒縱器。公元1797年，美國人獲得一個鐘的專利權。他被視為美國鐘錶業的始祖。公元1840年，英國的鐘表匠發明了電鐘。公元1946年，美國的物理學家伊西多·拉比博士弄清楚了原子鐘的原理。於兩年後，創造出了世界上第一座原子鐘，原子鐘至今也是最先進的鐘。它的運轉是藉助銫、氫原子的天然振動而完成的，它可以在300年內維持準確運轉，誤差十分小。18到19世紀，鐘錶製造業逐步實行了工業化生產。20世紀，開始進入石英化時期。21世紀，根據原子鐘原理而研製的能自動對時的電波鐘錶技術逐漸成熟。型別.手錶亦可以算是鐘的一種，但一般的鐘都是指較大型，不是常常可以隨身攜帶的。按計時原理：按外觀：按功用：發展.有擺鐘表.是由阿拉伯工匠最早設計出來的。其工作原理是等速運動原理。機械鐘錶.機械鐘錶的動力系統是發條，計時單位是小時、分鐘、秒，分別採用了12進位制和60進位制。交流電鐘錶.19世紀中期，由於發現了機械鐘錶的缺點再加上電的普及。因此出現了以交流電來代替人工發條的“交流電時鐘”。石英鐘錶.上世紀90年代初，由於人們的生活越來越富裕。此時人們大量從外國進口石英掛鐘，因此石英掛鐘價格逐漸被市場壓低。但也象徵著電子時鐘正式被時代的洪流所淘汰。功用.在家庭、辦公室及其他場所都有時鐘，像錶之類小型的裝置可以戴在手腕上或是身上，較大型的會在公眾場所，例如火車站或是教堂內，在電腦顯示器、手機、可攜式媒體播放器的角落也會有時間顯示。大部份的數位電腦會依靠一定固定頻率的訊號來同步處理，這稱為時脈訊號 晶片。時鐘的主要目的是顯示時間，但也有以下的一些功用。時間標準.有些科學研究需要非常準確的時間，在校正時鐘時也需要一個時間的標準。像原子中在能階之間的電子躍遷之類的過程，其發生週期非常固定，因此若計算這類過程的週期，即可得到準確的時間，這就是原子鐘。這類的時鐘體積龐大，價格昂貴，且需要在受控環境下運作，不過精確度會遠高於一般的需求，一般會在計量學的標準實驗室中才會有這類裝置。相關條目.
古事記

《古事記》 - 須佐之男命之六世孫中卷.第1代天皇的家譜、事跡。下卷.第16代天皇的家譜、事跡。
3DNow!

3DNow!是由AMD開發的一套SIMD多媒體指令集，支援單精度浮點數的向量運算，用於增強x86架構的電腦在三維影象處理上的效能。歷史.1996年Intel首先推出了支援MMX的Pentium處理器，極大地提高了CPU處理多媒體資料的能力，被廣泛地應用於語音合成、語音識別、音訊影片編解碼、影象處理和串流媒體等領域。但是MMX只支援整數運算，浮點數運算仍然要使用傳統的x87協處理器指令。由於MMX與x87的暫存器相互重疊，在MMX程式碼中插入x87指令時必須先執行"EMMS"指令清除MMX狀態，頻繁地切換狀態將嚴重影響效能。這限制了MMX指令在需要大量浮點運算的程式，如三維幾何變換、裁剪和投影中的應用。另一方面，由於x87古怪的堆疊式暫存器結構，使得硬體上將其流水線化和軟體上合理排程指令都很困難，這成為提高x86架構浮點效能的一個瓶頸。為了解決以上這兩個問題，AMD公司於1998年推出了包含21條指令的3DNow!指令集，並在其K6-2處理器中實現。K6-2是第一個能執行浮點SIMD指令的x86處理器，也是第一個支援水平浮點暫存器模型的x86處理器。藉助3DNow!，K6-2實現了x86處理器上最快的浮點單元，在每個時鐘週期內最多可得到4個單精度浮點數結果，是傳統x87協處理器的4倍。許多遊戲廠商為3DNow!優化了程式，微軟的DirectX 7也為3DNow!做了最佳化，AMD處理器的遊戲效能第一次超過Intel，這大大提升了AMD在消費者心目中的地位。K6-2和隨後的K6-III成為市場上的熱門貨。1999年，隨著Athlon處理器的推出，AMD為3DNow!增加了5條新的指令，用於增強其在DSP方面的效能，它們被稱為“擴充套件3DNow!”。為了對抗3DNow!，Intel公司於1999年推出了SSE指令集。SSE幾乎能提供3DNow!的所有功能，而且能在一條指令中處理兩倍多的單精度浮點數；同時，SSE完全支援IEEE 754，在處理單精度浮點數時可以完全代替x87。這迅速瓦解了3DNow!的優勢。1999年後，隨著主流作業系統和軟體都開始支援SSE併為SSE最佳化，AMD在其2000年釋出的代號為“Thunderbird”的Athlon處理器中添加了對SSE的完全支援。隨後，AMD致力於AMD64架構的開發；在SIMD指令集方面，AMD跟隨Intel，為自己的處理器新增SSE2和SSE3支援，而不再改進3DNow!。2010年八月，AMD宣佈將在新一代處理器中取消除了兩條資料預取指令之外3DNow!指令的支援，並鼓勵開發者將3DNow!程式碼重新用SSE實現。支援檢測.支援3DNow!的CPU的CPUID擴充套件功能字第30位為1。K6-2至K10之間AMD所有的x86處理器都支援3DNow!，包括Athlon 64、Opteron和Sempron處理器；AMD將3DNow!從Ryzen、AMD FX處理器移除；Cyrix等一些其他廠家生產的某些處理器也支援3DNow!；但Intel生產的所有處理器都不支援3DNow!。執行環境.3DNow!指令的執行環境與MMX一樣，都是將8個x87暫存器ST0～ST7的低64位重新命名為MMX暫存器MM0～MM7，並依平坦模式進行操作。由於3DNow!使用的暫存器與x87暫存器重疊，任務切換時，儲存x87暫存器狀態的同時也儲存了3DNow!的狀態，所以3DNow!不需要作業系統的額外支援。只要CPU支援3DNow!，含有3DNow!程式碼的程式可以在只考慮到x87狀態的原有的作業系統上不加修改地執行。由於3DNow!依平坦模式訪問暫存器，對3DNow!浮點單元的管線化變得容易，這也利於編譯器生成高效的浮點程式碼。3DNow!指令集.3DNow!和擴充套件3DNow!的26條指令從功能上可以分為以下五類。單精度浮點運算指令.此類指令的運算元均為64位，其高32位和低32位分別是IEEE 754格式的單精度浮點數。大部分指令一次可接受兩個這樣的運算元，並得到兩個單精度浮點數的結果。它們的組合語言助記符都以"PF"開頭。3DNow!還包含有計算單精度倒數和開方倒數的指令，並可以依程式需要，得到12位精度和24位精度的結果。這些指令一次只能處理一個單精度浮點數。3DNow!的一個特色是可以將同一暫存器內的64位運算元中的兩個單精度浮點數相加或相乘，這在複數運算和內積運算中非常有用。Intel直到最近才在SSE3指令集中增加了這項功能，稱之為“"水平操作"”。為了保證與舊有作業系統的相容性，與MMX指令一樣，3DNow!指令不引發任何算術異常。3DNow!指令不會生成也不能正確處理NaN和非規格化數，也不支援指定捨入模式。因此3DNow!並不是IEEE 754的一個完整實現，即使是隻涉及單精度浮點數時也不能完全代替x87。增強的MMX指令."PAVGUSB"用於求64位緊縮位元組的平均值，可用於影片編碼中的畫素平均和影象縮放等。可能是意識到這個功能的重要性，Intel在SSE中添加了功能完全相同的"PAVGB"指令。"PMULHRW"則用來補充MMX指令"PMULHW"的不足，在緊縮字相乘時可以得到比後者更準確的結果。Intel直到最近才在SSSE3中增加了功能相似的指令"PMULHRSW"。"PSWAPD"指令用於交換緊縮雙字中兩個雙字資料的位置。資料型別轉換指令."PF2ID"、"PI2FD"等4條指令用於完成整數和單精度浮點數之間的相互轉換。資料預取指令."PREFETCH/PREFETCHW"指令用於把將要使用到的資料從主記憶體提前載入快取中，以減少訪問主記憶體的指令執行時的延遲。Intel在SSE中添加了類似的"PREFETCHTx"指令快速退出MMX狀態指令."FEMMS"指令與MMX中的"EMMS"功能相同，用於退出MMX狀態。在K6-2和K6-III處理器中，"FEMMS"比"EMMS"更快；在Athlon及更新的處理器中，"FEMMS"等同於"EMMS"。
VirtualDub

VirtualDub是開放原始碼的影片捕捉及線性處理軟體，由Avery Lee編寫，遵循GPL協議。該軟體有很多高階功能，並且可以透過外掛來新增不同的影片處理方法。功能.VirtualDub的早期版本可以開啟微軟的*.asf檔案，後來由於軟體專利問題，在1.3d版中去除了這個功能。附加專案提供Avery Lee的版本中不存在的額外功能，如支援MPEG-2和Ogg Theora。影片組裝.VirtualDub可以從一系列影象檔案。編輯時可以調整幀率，並進行其他修改，例如新增聲音軌道。VirtualDub還可以透過提取音軌並將其幀儲存為Truevision TGA或BMP檔案來解組影片。檔案修復.VirtualDub能夠修復在擷取錄影的過程中因為種種原因而失敗的檔案。它可以重新讀入整個AVI檔，並重新構建它的索引模組。開發.VirtualDub可以透過AviSynth讀取DirectShow檔案，也可以透過外掛支援以下輸入格式：32位64位
炸彈

炸彈是一種填充有爆炸性物質的威力武器。炸彈主要利用爆炸產生的巨大衝擊波、熱輻射與破片對攻擊目標造成破壞，另外也有像中子彈這樣產生大量中子放射線，主要對生物造成傷害，避免對有如建築等物品造成損害，使經濟損失減至最小的特殊炸彈。控制炸彈引爆的裝置有定時器、遙控器、各種感測器、鐳射等。炸彈多用於戰爭、恐怖活動等場合。現在威力最大的爆弾是沙皇炸彈。另外現代威力最強大的常規炸彈是GBU-43巨型空爆彈。1849年奧地利利用氣球向威尼斯扔下最早的空投炸彈，1912年義大利攻打的黎波里塔尼亞首次使用硝化甘油炸彈。