zaibd/wkpdtw huggingface dataset:
形品（英文：Lime Habitat），為由新鴻基地產發展，位於香港北角，定位「精品豪宅」，近年甚受本地家庭歡迎。樓高共 31 層，於 2011 年第三季入伙。位於北角小半山的形品，可盡瞰維港景致，也是為新鴻基「形品系列」的序章。
新鴻基地產在 2009 年推出形品後，相隔八年始於 2017 年推出海璇 （Victoria Harbour）全新項目。
形品位於旺中帶靜的優越地段，除信步即達北角港鐵站外，更有多條巴士、小巴、電車及渡海小輪等交通工具往返全港各地。



歷史

形品前身為華潤集團的員工宿舍明德苑，物業於 1993 年落成，樓高 26 層，一梯八伙，共 208 個單位。及後，2005 年新鴻基地產以 3.88 億購入，當時由於租約未期滿，故其只維持租用。及至 2007 年新鴻基地產正式進行重建，建成「形品」。



簡介

形品的外觀設計雅致而富現代感，採用大量玻璃幕牆。項目樓高 31 層，其中住宅由 6 樓至 31 樓，一梯為四或七伙，提供 168 個面積由約 370 至約 1,500 方呎的單位（間隔由開放式至四房特色單位。）

1：29 樓或以下：所有單位屬標準式分層單位，主要提供開放式至兩房單位；
2：30 至 32 樓為特式單位層，一梯三伙，悉數三房特式單位，戶戶享海景，落成以來交投甚少；
3：33 樓頂層的特色單位僅得兩伙，發展商命名為「Lime∞」。

物業的成功，令設計被同為新鴻基地產的形品・星寓作為藍本，引申到日後形薈，成為全新的「形品系列」。

另外，物業設有 3 層會所，命名為「Lime 3」，其設施包括瑜珈室、洗衣房、商務中心、派對廚房等，為區內少見單幢有會所的住宅。



交通

港鐵：


* █港島綫、█將軍澳綫：北角站



附近住宅


* 北角邨地皮綜合發展項目

* 北角匯

* 明園

* 雅怡閣

* 曉峯

* 明園閣

* 港濤軒



注釋



參考文獻



參見


* 形品・星寓



外部連結


* 形品 官方網頁

* 新鴻基新聞稿 （頁面存檔備份，存於網際網路檔案館）
形容動詞，是日語一類不同於其他語言詞彙體系的特殊詞彙。形容動詞在日語中是一類單獨的詞性，是具有形容詞意義的一種用言，屬於實詞，有活用變形。

從起源來看，形容動詞應該是從平安時代創造出來、針對當時日本固有形容詞無法形容的情況、而改用包含相應意思的名詞為詞幹、以「名詞 + にあり / とあり」的形式來當作形容詞使用的詞彙，但其詞尾的にあり或とあり須按動詞的方式活用（後來轉變成なり / たり，なり對應現在的だ / である活用，たり對應現在的たる / と活用），所以從用法和活用兩方面結合命名為形容動詞。



爭議

上述定義是採用了現行日語學校文法的分類。由於日語目前為止沒有較為統一整合的語法體系，非學校文法認為從詞彙意義來看，形容詞和所謂的形容動詞表達的都是對某種性質和狀態的描述，而同樣的意義竟然會有不同的詞性，因此反對將形容動詞列為一類單獨的詞性。但是從活用與詞尾變形來看，形容動詞又確實不同於形容詞，所以目前大多數的看法都將認可形容動詞這種詞性。如：松下文法，時枝語法，日語詞典『広辭苑』。由於性質認定的不同，也出現了在日本之外有不同的翻譯和理解。


* 「形容動詞」這一術語是在 1898 年大槻文彥的 『莊日本文典別韶』中出現的，不過它講的就是今天通稱的「形容詞」。1904 年，在芳賀矢一的『中等教科明治文典』中，第一次出現了現在意義的「形容動詞」。意為兼具形容詞的意義和動詞的活用。

* 由於中國與日本同屬漢字文化圈，所以很多詞彙若出現漢字，而所理解的意思性質沒有太大出入時，可以借用。因此中文照稱之為「形容動詞」。

* 英文起初將形容動詞翻譯為 Na-adjective（な形容詞），之後由於發現形容動詞與名詞有諸多相似性，故現在稱之為 Adjectival noun（形容詞性名詞）



活用



注釋
形容詞是詞類中的一類。其根本特點是自由地作定語、修飾名詞或名詞性短語。在語義上，形容詞多表示性質、狀態、屬性、描述等含意。



普遍性

和名詞、動詞相比，形容詞本身的詞類地位最不確定。雖然形容詞所表示的意義 —— 所指對象的屬性，在任何語言中都有詞語來表示，屬於普遍性的語義範疇，但這不代表形容詞是普遍性的詞類範疇。形容詞是否是一個普遍性的詞類，至今仍是語法理論界和類型學界內部很有爭議的話題。

在許多類型學家看來，不少語言中並沒有獨立的形容詞類：雖然存在表示其他語言中形容詞類語義（即表示某種屬性）的詞，並且可以起修飾、限制名詞的作用，但這些詞難以成為一個獨立的詞類。比如南美洲印第安人的克丘亞語被認為是名詞 - 形容詞一體的語言。下例中，屬性詞可以和名詞一樣，自由的帶上名詞賓格標記 ta 充當賓語；名詞也可以和屬性詞一樣不加標記直接作定語：

　
: : : :

　
: : : :

另一種情況是動詞 - 形容詞一體。印度的曼尼普爾語就是一個典型。如下例中，屬性詞和動詞一樣，在作定語時不自由，要加分詞標記：

　
: : : : 罵屬～|| cǝy || ǝ-ca-bǝ

上述的語言中，形容詞和名詞或動詞屬於同一詞類，不僅形容詞具有名詞或動詞的特徵，名詞或動詞也具有形容詞的特徵。在梵語等語言中，則只有名詞和動詞，沒有形容詞。下例中的屬性詞可以像名詞一樣具有形態變化、自由充當賓語；而且屬性詞和中心詞並不構成句法上的修辭關係，而僅僅是意合在一起，因此語序也是自由的：

　
: : : :

北非的豪薩語則通過領有動詞和抽象名詞的配合來表示其他語言中形容詞定語的意義：

　
: : : :

一些類型學家如威廉・克羅夫特和羅伯特・迪克遜等則認為，名詞、動詞、形容詞三大詞類與人類語言指稱、述謂和修飾三大普遍性功能相適應，都是普遍性的獨立詞類，但同時也承認，形容詞的普遍性是指該原型範疇普遍存在，而在具體的語言中，形容詞和其他詞類的邊界確實可以非常模糊。



所表的意義

不同的語言中，形容詞的數量和開放度極其懸殊。西非的伊博語中只有八個形容詞，分別表示「大、小、黑（明）、白（暗）、新、老、好、壞」，其他屬性則用其他詞類表示。

不同語言中，哪些屬性用形容詞表達，哪些用其他詞類表達，有很大的差異。如下表：

　
: : :



論元

形容詞最常見的是一價性質的，只有一個論元，就是屬性的主體。如「聰明孩子」中的「孩子」是屬性「聰明」的主體。有時候，有的形容詞有不只一個論元，比如漢語中的「他對北京很陌生」，形容詞「陌生」就控制「他」和「北京」兩個論元。

一般來說，形容詞所帶的論元很少是直接賓語，而需要藉助介詞等引入或名詞的格形態。但也有個別例外。比如英語中，在「it is worth 1,000 US dollars」中，「1000 US dollars」（1000 美元）作形容詞「worth」（值得…… 的）的賓語。又如漢語中的差比句「我大他一歲」中，「他」作形容詞「大」的賓語。



語法特徵

從語法功能上來說，形容詞總體上有兩種重要類型。其共性是都能作定語，修飾名詞或名詞性短語。一種如日語中的 - i 型形容詞，屬於謂語型形容詞，可以像動詞一樣直接作謂語，和動詞一樣不能直接作定語而需要特定標記，具有與動詞相同或相近的形態範疇。一種如英語中的形容詞，屬於體詞型形容詞，像名詞一樣不能直接作謂語而需要系詞，可以直接作定語，可以帶上名詞的形態或虛詞如冠詞等。



漢語的形容詞

教學語法

在教學語法中，漢語中的形容詞分為三類：

1. 性質形容詞。能受「很」修飾，表示的性質沒有一定的界限，認知有主觀性。如：大、少、美麗、可憐。
2. 狀態形容詞。不能受「很」修飾，因為本身已經含有表示程度的語素。如：雪白、滾燙、紅彤彤、黑不溜秋。
3. 非謂形容詞。又叫區別詞。不能直接充當謂語。如：男、副、初級、多功能。

形容詞的語法特徵包括：

1. 性質形容詞和一些非謂形容詞可以受程度副詞的修飾，如「很大」、「最初級」等。狀態形容詞和一般的非謂形容詞不可以。
2. 形容詞一般都能作定語。除去非謂形容詞之外也能作謂語。
3. 形容詞不能帶賓語。
4. 一部分形容詞可以重疊。單音節形容詞的重疊形式是 AA，如「紅紅（的）」。雙音節性質形容詞的重疊形式是 AABB，如「漂漂亮亮」。雙音節狀態形容詞的重疊形式是 ABAB，如「雪白雪白」。

研究語法

在研究語法中，有些重要學者如趙元任、詹姆斯・麥考利等都認為，漢語是形 - 動一體的語言，形容詞是動詞的一個次類。

有學者的研究顯示，漢語中存在一批無需「的」就能直接作定語修飾名詞的屬性詞。這些詞就是存在於漢語中的獨立於動詞的形容詞詞類。但漢語中形容詞的範圍比通常認為的小，不包括不能自由充當定語的「安靜」、「誠實」等。



相關條目


* 名詞、動詞

* 詞類、漢語詞類



註解
亨鳳站（韓語：형봉역）是朝鮮民主主義人民共和國平安南道德川市的一個鐵路車站，屬於亨鳳線。



鄰近車站

亨鳳線

　
: 鐵騎山站 - 亨鳳站
亨鳳線（朝鮮語：형봉선／亨鳳線 _Hyŏngbong sŏn_ \*/?）是朝鮮民主主義人民共和國平安南道德川市的一條鐵道線路，站點為鐵騎山站到亨鳳站。



路線概況


* 距離：

* 車站數：2

* 軌距：1435mm

* 電氣化區間：直流 3kV

* 複線區間：無



參考文獻


* 国分隼人，《将軍様の鉄道 北朝鮮鉄道事情》, 新潮社, 2007, ISBN 978-4-10-303731-6



相關條目


* 朝鮮鐵路運輸
在中華人民共和國，特別是與文化大革命有關的話題下，「形左實右」或「形『左』實右」常被用作貶義詞。其曾被用於指代劉少奇、四人幫和林彪反革命集團等的思想及意識形態。



文革前

1964 年 6 月，毛澤東在中央工作會議批評劉少奇對四清運動後十條的修改，對劉少奇產生了不是「真正的馬克思列寧主義者」的疑慮。



文革期間

1966 年 8 月 5 日，毛澤東在《炮打司令部 —— 我的一張大字報》中不點名地公開指責劉少奇有「形『左』而實右的錯誤傾向」。

文化大革命初期的一些社會思潮被指責是「極『左』思潮」，且「形『左』實右」。1970 年，姚文元報告稱「從人性論中『可以直接引出右傾機會主義路線，以及極『左』、形『左』實右的路線。」

1971 年林彪事件後，江青強調林彪的錯誤是「形『左』實右」，所以要批右，而周恩來則主張批「左」。



文革後

文革後，四人幫實行的路線被稱為形「左」實右，一部分學者稱其實質為右傾、極右，另一部分學者則稱實質為左傾、極左。1981 年《關於建國以來黨的若干歷史問題的決議》認為，毛澤東在 1958 年中共八大二次會議之後的路線、林彪反革命集團、江青反革命集團和凡是派均為左的錯誤。

改革開放被一些人質疑是形左實右，是「打左燈，向右走」，「中國特色社會主義是中國特色的資本主義」。

1983 年的一篇文章表示第四國際是形左實右、假左真右。

2007 年自由亞洲電台的一則報導援引美國西東大學教授尹尊聲的話，稱新左派沒有市場，且「新左派都是假左派，都是形左實右」。



參見


* 劉少奇一類騙子

* 走資派

* 假「左翼」暴力集團



參考文獻
形式可以指：


* 形式 (哲學)

* 代數形式，數學上的某類函數，簡稱「形式」，如：
  
* 二次形式
  
* 代數形式
  
* 雙線性形式
  
* 多重線性形式
  
* 微分形式
  
* 模形式
  
* 自守形式
  
* 曲率形式



另請參見


* 不定式 (數學)，如 ${\frac {0}{0}}$ 。
形式主義（英語：formalism），指在藝術、文學、與哲學上，對形式而非內容的著重。有形式主義行為的人，被稱為形式主義者。沒有無形式的內容，也沒有無內容的形式。



宗教

宗教的形式主義，代表對儀式、典禮、與遵守規則的重視，更甚於其意義。



法律

形式主義是法學流派，著重審訊過程中的公平更甚於最後的實質結果。



批判

大致上，「形式主義」在文學藝術的範疇中，代表了著重於作品藝術技巧、美觀程度、遣詞用字的技巧；但並不著眼於作品的社會和歷史背景。



文學批評

在當代關於文學理論的討論中，I.A. 理察斯的批判派與他的追隨者 —— 傳統上稱為新批評主義，有時被標籤為「形式主義者」。在這個情況下，形式主義的意思是古典修辭學的延續。

俄羅斯形式主義是二十世紀的一個學派，以東歐為基地，亦植根於語言學和童話理論化（內容被認為是二手的，因為「故事」是形式，而「公主」就是童話故事公主）。



詩歌

在現代詩歌中，「形式主義詩人」可以說是「自由詩人」的相反。這些只是標籤，不能完全概括他們之間的區別。詩歌中的形式主義代表著重詩歌中的押韻、聲調、字數句數等，多於詩歌本身的主題、內容或意義。為了清楚分別這種詩和所謂的「古體詩」，有些時候會用「新形式主義」這個字眼。



電影

在電影研究中，形式主義是電影拍製的一種習慣，通常在片中會用上大量明顯的電影語言，例如剪片、拍攝鏡頭，攝影機的移動，道具及場景設計等，在片中加入大量人造元素，著重於人工的電影體驗。

形式主義的電影包括：愛辛斯坦的《波坦金號戰艦》、雷奈的《去年在馬倫巴》、希治閣的《敲詐》等。



學術方法

著重於使用符號、標記、或一些規則，去令得出來的結果與實驗或其他計算的方法相同的行為，也可以稱為形式主義。這些標記和規則，並不一定有數學上的對應語義。在這些情況之下，計算的方式通常稱為「完全形式化」。



數學

在數學基礎中，形式主義與幾種最精確的數學方法有關（見形式系統）。普遍來說，形式主義就是在特定的、局限的範圍中，納入形式系統的努力；所有納入形式系統中的問題，或在一些「可形式化」的範圍中，都可以形式化地討論。完全形式化，則多數在計算機科學的範疇中找到。

形式主義也是數學哲學中一個特定的流派，著重通過大衛・希爾伯特的理論證明數學邏輯。所以，在數學哲學的範疇中，一個形式主義者，就是指傳自大衛・希爾伯特的數學哲學教條 —— 形式主義流派當中的一員。



人類學

在經濟人類學，「形式主義」指新古典經濟理論在理論層面上在人類社會的應用。



政治


* 中國社會形式主義
在藝術史上，形式主義（英語：Formalism）是主張通過形式表現情感的美學流派，其產生同 19 世紀末期以後法國後印象派繪畫有緊密聯繫。畫家保羅・塞尚、保羅・高更、文森特・梵谷等人在創作上從再現客體轉為表現情感，從具體走向抽象，給繪畫藝術帶來革命性變化。



代表思想家

克萊夫・貝爾

克萊夫・貝爾強調有意味的形式。他極力攻擊再現性、寫實性繪畫，並將原始藝術列為最優秀的藝術，因為原始藝術不帶敘述性質，從中看不到精確的再現，只有「有意味的形式」。

羅傑・弗萊

羅傑・弗萊認為人具有過雙重生活的可能性，一種是現實生活，一種是想像生活。想像生活不導致有用的行動，但能導致審美觀照。審美情感是一種關於形式的情感。他十分強調構圖，稱讚後印象派是對形式觀念構圖的復歸。
在邏輯與數學中，一個形式系統（英語：Formal system）是由兩個部分組成的，一個形式語言加上一個推理規則或轉換規則的集合。大衛・希爾伯特在 1921 年推動以形式系統來描述數學知識
。 一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。命題邏輯是最簡單的形式系統。



理論

在數學領域裡，形式證明是形式系統的產物，由一些公理與演繹規則組成。定理便是形式證明可能的最後一行結論。這幾個步驟總和起來便是數學界通稱的形式主義。大衛・希爾伯特創立元數學以作為討論形式系統的學科。任何用於討論形式系統的語言稱為元語言。元語言也許像普通語言一樣自然，或它可能部分形式化，但它通常比起受檢驗系統的形式語言來得較不正規化。此形式語言稱為對象語言，意指問題議論的對象。

某些理論學家將形式主義粗略視為形式系統的同義詞，但此詞也同時指稱特定風格的符號，例如保羅・狄拉克的狄拉克符號。

在數學中的形式系統由以下要素組成：

1. 一群有限數量，且可用於建構公式的符號集合。
2. 一套文法，說明了如何以上述符號建構形式良好的公式（通稱合式公式，或 Well-formed formula，wff）。通常會要求有一個判定某公式是否為形式良好的演算法。
3. 一群公設或公理模式的陳述，每個公理都必須是合式公式。
4. 一群推理規則。



延伸閱讀


* 雷德蒙・斯穆里安 (Raymond M. Smullyan), 1961. _Theory of Formal Systems: Annals of Mathematics Studies_, Princeton University Press (April 1, 1961) 156 pages ISBN 069108047X

* S. C. Kleene, 1967. _Mathematical Logic_ Reprinted by Dover, 2002. ISBN 0486425339

* Geoffrey Hunter, 1996. _Metalogic: An Introduction to the Metatheory of Standard First-Order Logic_ University of California Press 1996. ISBN 0520023560

* Douglas Hofstadter, 1979,. _Gödel, Escher, Bach: An Eternal Golden Braid_ ISBN 978-0465026562. 777 pages.



外部連結


* Encyclopædia Britannica, Formal system （頁面存檔備份，存於網際網路檔案館） definition, 2007.

* Christer Blomqvist, an introduction to formal systems, webpage 1997.

* What is a Formal System? （頁面存檔備份，存於網際網路檔案館）: Some quotes from John Haugeland's `Artificial Intelligence: The Very Idea' (1985), pp. 48–64.

* Heinrich Herre Formal Language and systems, 1997.

* Peter Suber, Formal Systems and Machines: An Isomorphism （頁面存檔備份，存於網際網路檔案館）, 1997.
形式化方法，中文也稱形式方法、正規方法。在計算機科學和軟體工程領域，形式化方法是基於數學的特種技術，適合於軟體和硬體系統的描述、開發和驗證。將形式化方法用於軟體和硬體設計，是期望能夠像其它工程學科一樣，使用適當的數學分析以提高設計的可靠性和強健性。但是，由於採用形式化方法的成本高意味著它們通常只用於開發注重安全性的高度整合的系統。



參考文獻
在數學、邏輯和電腦科學中，形式語言（英語：Formal language）是用精確的數學或機器可處理的公式定義的語言。

如語言學中語言一樣，形式語言一般有兩個方面：語法和語意。專門研究語言的語法的數學和電腦科學分支叫做形式語言理論，它只研究語言的語法而不致力於它的語意。在形式語言理論中，形式語言是一個字母表上的某些有限長字串的集合。一個形式語言可以包含無限多個字串。



語言的形式定義

字母表與字串

語言定義在某一個特定的字母表上，字母表（經常記作 Σ ）可以為任意有限集合。例如集合 $\{a,b,c...,z\}$ 就表示所有小寫字母構成的字母表。

字串是字母表中的元素構成的有窮序列，以之前定義的小寫字母表為例，「hello」，「wikipedia」,「abcjkg」都是上面的串，而「AbCd」就不是上面的串了。記號 ε 表示空字串 —— 它是一個特殊的長度為 0 的串。

語言

直覺上，一個語言是字母表所能構成的所有串的集合的一個子集，具體來說：

對於任意一個字母表，記全體長度為 n 的子串為 $\Sigma ^{n}$ ，特別的，規定 $\Sigma ^{0}$ 為 {ε}，則還可以定義

$$
\Sigma ^{*}=\Sigma ^{0}\cup \Sigma ^{1}\cup \cdots \cup \Sigma ^{n}\cup \cdots
$$

 $\Sigma ^{*}$ 包含了字母表 $\Sigma $ 所能構成的所有字串。語言（一般記為 L ）定義為 $\Sigma ^{*}$ 的任意子集。

下面給出一些語言的例子， $\{hello,world\}$ 是一個包含兩個字串的集合，也可以被視為小寫字母構成的字母表上的一個語言。而實際上研究的語言的例子則常常更為複雜，例如所有合法的 C 語言程式串構成的集合也可以視作 ASCII 上的一個語言（假定編譯器只支援英文符號）。

需要注意的一點是， $\Sigma ^{*}$ 的空子集 ∅ 與只包含空字串的語言 {ε} 是兩個不同的語言。



語言間的運算

語言間的運算就是 Σ\
* 冪集上的運算。


* 字串集合的交集、聯集、差集等運算。

* 連接運算：L1L2 = { xy | x 屬於 L1 並且 y 屬於 L2 }。

* 冪運算：Ln = L … L （共 n 個 L 連接在一起），L0 = {ε}。

* 閉包運算：L\
* = L0∪L1∪…∪Ln∪…。

* 右商運算：L1/L2 = {x | 存在 y 屬於 L2 使得 xy 屬於 L1}。

* 設 _S_ ⊆ Σ\
* 是一個語言，_S_ 的補語言定義為集合 {ω | ω ∈ Σ\
* 且 ω ∉ _S_}



語言的表示方法

不像自然語言，一個形式語言作為一個集合，需要有某種明確的標準來定義一個字串是否是它的元素。這可以通過多種方法來完成，下面將給出一些例子：

列舉法

如果一個形式語言的元質數目是有限的，那麼可以通過列舉它的各個字串來嚴格地定義它。

形式文法

通過形式文法來產生（參見喬姆斯基譜系）。

正規表示式

正規表示式是一種很多程式語言和庫都支援的語法，這種語法可以用於匹配符合一定條件的字串，經常用於文字的搜尋和過濾。從名稱上來說，正規表示式應當是對應於正規語言的，在形式語言領域內所稱的正規表示式確實如此。不過，在實際的程式語言中，很多正規表示式已經通過引入複雜的擴充，可以匹配正規表示式所不能描述的內容。形式語言中的正規表示式和一般程式語言中所稱的正規表示式在語法上也有較大差異。

自動機

直覺上來說，自動機消耗輸入符號，並在自身的不同狀態間轉移，可以通過狀態機消耗完整個字串之後是否達到某些特定狀態來定義一個字串是否屬於某一個語言。語言可以通過某種自動機來辨識，比如圖靈機、有限狀態自動機。



參考文獻



參見


* 形式文法

* 形式方法

* 形式科學

* 形式系統

* 數學符號

* 程式語言

* 本體語言



外部連結


* Formal Language Definitions （頁面存檔備份，存於網際網路檔案館） website 1/24/04

* James Power, Notes on Formal Language Theory and Parsing （頁面存檔備份，存於網際網路檔案館）, 29 November 2002.

* Alexandru Mateescu and Arto Salomaa, "Preface" in Vol.1, pp. v-viii, and "Formal Languages: An Introduction and a Synopsis", Chapter 1 in Vol. 1, pp.1-39 （頁面存檔備份，存於網際網路檔案館）

* Sheng Yu, "Regular Languages", Chapter 2 in Vol. 1 （頁面存檔備份，存於網際網路檔案館）

* Jean-Michel Autebert, Jean Berstel, Luc Boasson, "Context-Free Languages and Push-Down Automata", Chapter 3 in Vol. 1 （頁面存檔備份，存於網際網路檔案館）

* Christian Choffrut and Juhani Karhumäki, "Combinatorics of Words", Chapter 6 in Vol. 1

* Tero Harju and Juhani Karhumäki, "Morphisms", Chapter 7 in Vol. 1, pp. 439 - 510

* Jean-Eric Pin, "Syntactic semigroups", Chapter 10 in Vol. 1, pp. 679-746 （頁面存檔備份，存於網際網路檔案館）

* M. Crochemore and C. Hancart, "Automata for matching patterns", Chapter 9 in Vol. 2

* Dora Giammarresi, Antonio Restivo, "Two-dimensional Languages", Chapter 4 in Vol. 3, pp. 215 - 267
在電腦硬體（特別是積體電路）和軟體系統的設計過程中，形式驗證的含義是根據某個或某些形式規範或屬性，使用數學的方法證明其正確性或非正確性。



解釋

軟體測試無法證明系統不存在缺陷，也不能證明它符合一定的屬性。只有形式化驗證過程可以證明一個系統不存在某個缺陷或符合某個或某些屬性。系統無法被證明或測試為無缺陷，這是因為不可能形式地規定什麼是「沒有缺陷」。所有可以做的，就是證明一個系統沒有任何可以想到的缺陷，並且滿足所有的使系統符合功能要求的和有用的屬性。

在積體電路設計中，形式驗證是一種積體電路設計的驗證方法，它的主要思想是通過使用形式證明的方式來驗證一個設計的功能是否正確。形式驗證可以分為三大類：抽象解釋（Abstract Interpretation）、形式模型檢查（Formal Model Checking，也被稱作特性檢查）和定理證明（Theory Prover）。

等價性檢查的驗證用於驗證暫存器傳輸級設計與門級網表之間、門級網表與門級網表之間是否一致。在進行掃描鏈重排、時鐘樹綜合等過程中，都可以用等價性檢查保證網表的一致性。等價性檢查已經融入積體電路標準設計流程中。等價性檢查在檢查 ECO 時非常有用。例如，設計者在修改門級網表時，由於手誤，錯將一個或門寫成或非門，等價性檢查工具通過比較暫存器傳輸級設計與門級網表，可以很容易地發現這種錯誤。

模型檢查用時態邏輯來描述規範，通過有效的搜尋方法來檢查給定的系統是否滿足規範。模型檢查是目前研究的熱點，但其驗證的電路規模受限制這一問題還沒有得到很好的解決。

定理證明把系統與規範都表示成數學邏輯公式，從公理出發尋求描述。定理證明驗證的電路模型不受限制，但需要使用者的人工干預和較多的背景知識。



相關條目


* 形式等效性檢查

* 形式化方法
形式發票（Proforma Invoice）是一份寫有所銷售貨物名稱、規格、單價等信息的非正式的參考性發票。簡稱 PI。

它是應進口商的要求，由出口商開出的。顧名思義，形式發票不是正式發票，沒有任何約束力。而商業發票則是出口商開給進口商的用經收貨記帳並支付貨款和報關的正式發票。
形式樣格是匈牙利語中一種格，將樣格和質格結合，用於表達位置、任務、狀態 (如「作為旅遊者」) 或方式 (如「像被獵殺的動物」)。

詞形變化系統中後綴 - ként 的存在與否有爭議。首先，匈牙利語格後綴絕對在詞尾，而 - ként 可以在後面添加方位格後綴 - i。其次，大部分現代匈牙利語格後綴都要遵從元音和諧，-ként 沒有。出於這些原因，許多匈牙利語格系統分析，以拉斯洛・安拓的「A magyar esetrendszer」(1961) 為首，不認為形式樣格是單獨的一種格。

另一方面，它遵從現代描寫語法框架下的匈牙利語格標準，這意味著它可以作為確切的動詞論元，如 kezel (vmi) ként (「作為... 進行處理」)、viselkedik (vmi) ként (「像... 一樣行動」)、végez (vmi) ként (「畢業後成為...」)、elhelyezkedik (vmi)ként(「找到... 工作」) 等等。



參考
氧化態（英文：Oxidation State）表示一個化合物中某個原子的氧化程度。形式氧化態是通過假設所有異核化學鍵都為 100% 離子鍵而算出來的。氧化態用阿拉伯數字表示，可以為正數、負數或是零。

氧化態的升高稱為氧化，降低則稱為還原。這兩個過程涉及電子的形式轉移，即總體上看，還原是獲得電子的過程，而氧化是失去電子的過程。

IUPAC 對氧化態的定義為：

> 「氧化態：一種化學物質中某個原子氧化程度的量度。根據以下公認的規則可計算該原子的電荷：
> 
> 1. 單質的氧化態為零；
> 2. 對於單原子離子，該原子的氧化態與離子的淨電荷相等；
> 3. 大多數化合物中，氫的氧化態為 + 1，氧的氧化態為 - 2（例外有：活潑金屬氫化物中，氫的氧化態為 - 1；過氧化物中，氧的氧化態為 - 1）；
> 4. 中性分子中，各原子氧化態的代數和為零；離子中，各原子氧化態代數和與離子的電荷相等。例如，H2S，S8 （單質硫），SO2，SO3 和 H2SO4 中，硫原子的氧化態分別為：-2，0，+4，+6 和 +6。某原子的氧化態越高，其氧化程度越高；某原子的氧化態越低，其還原程度越高。」
> 



形式氧化態的計算

有兩種方法可以計算化合物中某原子的氧化態。第一種方法適用於容易畫出路易斯結構的分子，通常情況下為有機分子；而第二種方法不需要路易斯結構，也不必為分子，適用於較簡單的化合物。

需要注意的是，一個原子的氧化態並不等於這個原子的實際電荷。尤其對於高氧化態的原子而言，其生成高價陽離子的電離能可能要比化學反應中實際的能量高出很多。原子之間氧化態的分配純粹是形式上的。這種方法有助於理解化學反應的機理。

從路易斯結構計算

當一個分子的路易斯結構可以被畫出來時，很明顯氧化態可通過比較中性原子的價電子數和路易斯結構中該原子所擁有的電子數來計算。為了計算，異核化學鍵的成鍵電子歸屬於電負性較強的原子；同核化學鍵的成鍵電子在兩個原子間平等分配；而孤對電子則歸屬於其相應含有孤對電子的原子。

例如，對於乙酸：

　
:

由於碳電負性高於氫，因此甲基中的碳原子可以從三個氫原子「得到」6 個價電子。同理，由於是同核化學鍵，因而這個碳原子在 C-C 鍵中獲得 1 個價電子。加上前面的 6 個則總共有 7 個價電子。中性碳原子有 4 個價電子（碳位於第 4 族），因此甲基碳的氧化態為 4 - 7 = -3（C3−），當然這是在假設所有鍵都是離子鍵的前提下得出的。

使用相同的規則可以得出，羧基中碳原子的氧化態為 + 3。具體過程為：C-C 鍵中碳原子分得一個價電子；C=O 鍵和 C-O 鍵中，由於氧電負性大於碳，因此所有的成鍵電子都歸屬於氧。中性碳原子的 4 個價電子減去 1 個價電子即得到 + 3 氧化態。而所有氧原子的氧化態則為 - 2（6-[(4+4)+2]），所有氫原子的氧化態都為 + 1。

氧化態可被用於氧化還原反應方程式的配平，因為氧化反應和還原反應中電子轉移是相等的。例如：在托倫試劑（銀氨溶液）氧化乙醛為乙酸的反應中，羰基碳原子的氧化態由 + 1 變為 + 3，而銀原子的氧化態則由 + 1 變為 0。因此配平時需要 2mol 的銀離子：

　
:

不用路易斯結構計算


* 中性分子中各原子氧化態的代數和必須為零，而離子中各原子氧化態的代數和與離子電荷相等。

* 一些元素具有特定的氧化態。

以上兩點可用來計算較簡單的化合物中各原子的氧化態。相應的規則有：


* 氟在其所有的化合物中都呈現 - 1 氧化態，因為其電負性在所有元素中是最強的。

* 當氟以外的鹵素與氧、氮、或其他氟以外的鹵素結合時，其氧化態為 - 1。例如，在溴化氯（或氯化溴）（BrCl）中，氯的氧化態為 - 1。然而，一氟化氯（ClF）中的氯的氧化態，根據上一條規則，由於氟電負性在所有元素中是最強的，因此氟要優先決定，則氯的氧化態為 + 1。

* 除非與更加電正性的元素如鈉、硼和鋁相連，氫總是呈現 + 1 氧化態。呈 - 1 氧化態的例子有 NaH、LiAlH4 和 NaBH4 等。

* 氧一般為 - 2 氧化態，除了過氧化物中為 - 1，超氧化物中為 - 1/2，臭氧化物中為 - 1/3，OF2 中為 + 2，O2F2 中為 + 1。

* 鹼金屬幾乎任何時候都為 + 1 氧化態，例外是鹼化物。

* 鹼土金屬在多數情況下都為 + 2 氧化態。

例如：根據以上規則，在 Cr (OH)3 中，氧為 - 2 氧化態，氫為 + 1，因此三個氫氧根的氧化態和為 - 3。因而 Cr 的氧化態為 + 3。



具有多氧化態的元素

大多數元素都具有可變的氧化態，例如碳可有九種：

1. –4: CH4
2. –3: C2H6
3. –2: CH3F
4. –1: C2H2
5. 0: CH2F2
6. +1: C2H2F4
7. +2: CHF3
8. +3: C2F6
9. +4: CF4

氧有八種氧化態：

1. -2 多數氧化物中，如 ZnO，CO2，H2O
2. -1 所有過氧化物中
3. -1/2 超氧化物中，如 KO2
4. -1/3 臭氧化物中，如 NH4O3
5. 0 單質氧氣中 O2
6. +1/2 二氧基鹽中，如 O2PtF6
7. +1 O2F2 中
8. +2 OF2 中

分數氧化態

從路易斯結構求得的形式氧化態總是整數，但不從路易斯結構求時，為了表示化合物中幾個原子的平均氧化態，有可能得到某原子的分數氧化態。例如 KO2 中，兩個氧原子的氧化態則分別為 0 和 - 1，而氧原子的平均氧化態為分數（-1/2）。在有些情況中，由於共振，幾個原子可能是等同的。這種情況下一個路易斯結構式無法表示其真實結構，必須要用多個結構來表示。



氧化數

氧化態和氧化數常常不加區分地使用，但在配位化學中，兩者是有區別的。計算氧化數時，不考慮電負性差異，認為成配位鍵的電子為配體占有。此外，氧化數用羅馬數字表示，但氧化態用阿拉伯數字表示。



歷史

1938 年，W. M. Latimer 首先引入了氧化態的概念。氧化則是由拉瓦錫提出的：他認為氧化是元素與氧化合的過程，產物是任何含氧的鹽類。



參見


* 氧化數

* 化合價

* 元素氧化態列表

* 電化學

* 氧化還原反應

* 混合價態化合物



參考資料



外部連結


* 「氧化態」PDF (3.82 KiB) IUPAC 金色書

* 「5d 過渡元素的高氧化態」 （頁面存檔備份，存於網際網路檔案館）
形式球是一個拓樸學上的概念，將球體的概念繼續延伸至包括球心距為負數的「球體」及不被包圍的狀況。
形式球這個概念由 Weihrauch & Schreiber (1981) 提出，然後再由 Tsuiki & Hattori (2008) 一般化至包括球心距為負數（即一般化的形式球）的個案。

具體來說，如果 $(X,d)$ 是一個度量空間，以 $\mathbb {R} ^{+}$ 表示非負實數，則 $B^{+}(X,d)=X\times \mathbb {R} ^{+}$ 的元素就是在 $X$ 空間內的一個形式球。 $B(X,d)=X\times \mathbb {R} $ 的元素則被稱為「一般化的形式球」。



參考文獻



參看


* 羅森拓樸學

* 波蘭拓樸學 / 波蘭空間

* 雙曲空間



外部連結
形式電荷（英語：Formal charge，FC）是指在分子中，假定所有化學鍵的電子在原子之間均等共享（不考慮相對電負度），一個原子所分配到的電荷。當確定某個分子的最佳路易士結構（或主要共振結構）時，所選結構使得每個原子上的形式電荷儘可能接近於零。

分子中任何原子的形式電荷可以通過下式計算得出：

　
: $FC=V-N-{\frac {B}{2}}\ $

其中 _V_ 是孤立的中性原子（基態）的價電子數，_N_ 是分子中該原子未成鍵價電子數，_B_ 是與分子中其它原子成鍵共享的電子的總數。

形式電荷可以用來預測分子結構、估計分子穩定性、解釋分子偶極方向（如 CO）和理解配位行為。



示例


* CO2 是一個中性分子，共有 16 個價電子。有三種不同的方法可以畫其 Lewis 結構：
  
* 碳通過單鍵連接至 2 個氧原子（C = +2，O = −1，形式電荷為 0）
  
* 碳通過單鍵連接一個氧，雙鍵連接另一個氧（C = +1, O 雙鍵 = 0，O 單鍵 = −1，形式電荷為 0）
  
* 碳通過雙鍵連接至 2 個氧原子（C = 0，O = 0，形式電荷為 0）

即使三種結構計算出的總電荷為零，最後一種結構是最好的，因為其分子中根本沒有電荷。

替代方法

下列方法是等價的：


* 在需要計算形式電荷的原子周圍繪製一個圓圈（如下面的二氧化碳）：

　
:


* 計算原子的「圈」中的電子數。 由於圓圈將共價鍵切割為「一半」，每個共價鍵計為一個電子而不是兩個。

* 元素在週期表中所在族（來自舊的編號系統的羅馬數字，而不是 IUPAC 的 1-18 系統）中減去圓圈中的電子數，以確定形式電荷。

　
:


* 對於該二氧化碳 Lewis 結構中的剩餘原子計算的形式電荷，如下圖所示。

　
:

需要注意的是，形式電荷只是「形式」，如同形式主義那樣。形式電荷的體系只是一種方法，當分子形成時，確定每個原子的所有價電子。

形式電荷與氧化態的比較

形式電荷是評估分子內電荷分布的工具。氧化態也能對電子在分子中的分布進行評估。如果比較二氧化碳中的原子的形式電荷和氧化態，可以得到以下數據：

　
:

這些值之間差異的原因是形式電荷和氧化態表示的是分子中原子之間的電子分布的根本不同的方式。通過形式電荷，假定每個共價鍵中的電子在鍵中的兩個原子之間十分均勻地分開（因此可以在上述方法中除以 2）。CO2 分子的形式電荷如下圖所示：

　
:

在用形式電荷計算時，過分強調了化學鍵的共價（共享）成分，實際上氧原子和碳原子相比，具有較高的電負度，所以氧原子周圍具有較高的電子密度。 這可以在靜電電位圖中有效地實現可視化。
而以氧化態的形式進行處理時，鍵中的電子被「授予」具有更大電負度的原子。CO2 分子的氧化態如下圖所示：

　
:

氧化態過分強調化學鍵的離子成分，大多數化學家認為碳和氧之間的電負度差異不足以將其視作離子鍵。

實際上，分子中的電子分布位於這兩個極端（共價鍵至離子鍵）之間的某處。而正因為分子的簡單的 Lewis 結構圖存在不足，讓斯萊特、鮑林發展出了更加普遍適用且準確的價鍵理論，馬利肯、洪特等人提出了分子軌域理論。



參見


* 氧化態

* 化合價

* 配位數



參考文獻
形式科學（formal science）是指主要研究對象為抽象形態的科學，如邏輯、數學、統計學等。



另見


* 抽象化
  
* 實體抽象化
  
* 嚴格抽象化

* 抽象結構

* 數學內的抽象化

* 電腦科學內的抽象化

* 奧地利經濟學派



外部連結


* 形式科學基礎 （頁面存檔備份，存於網際網路檔案館）（英文）
形式等效性檢查（英語：formal equivalence checking）是電子設計自動化的一個步驟，通常是在集成電路設計中，通過一些數學方法（如二元決策圖、布爾可滿足性問題），來對不同電路之間進行形式驗證，比較它們在行為上是否等效。



參考文獻



相關條目


* 形式驗證
皮亞諾公理（英語：Peano axioms；義大利語：Assiomi di Peano），也稱皮亞諾公設，是義大利數學家朱塞佩・皮亞諾提出的關於自然數的五條公理系統。根據這五條公理可以建立起一階算術系統，也稱皮亞諾算術系統。



內容

皮亞諾的這五條公理用非形式化的方法敘述如下：

1. 0 是自然數；
2. 每一個確定的自然數 _a_，都有一個確定的後繼數 _a'_ ，_a'_ 也是自然數；
3. 對於每個自然數 _b_、_c_，_b_=_c_ 若且唯若 _b_ 的後繼數 =_c_ 的後繼數；
4. 0 不是任何自然數的後繼數；
5. 任意關於自然數的命題，如果證明：它對自然數 0 是真的，且假定它對自然數 _a_ 為真時，可以證明對 _a'_ 也真。那麼，命題對所有自然數都真。

其中，一個數的後繼數指緊接在這個數後面的數，例如，0 的後繼數是 1，1 的後繼數是 2 等等；公理 5 保證了數學歸納法的正確性，從而被稱為歸納法原理。

若不將 0 視作自然數，則公理 1,4,5 中的「0」要換成「1」。

更正式的定義如下：

一個戴德金 - 皮亞諾結構為一滿足下列條件的三元組（_X_, _x_, _f_）：


* _X_ 是一集合，_x_ 為 _X_ 中一元素，_f_ 是 _X_ 到自身的映射。

* _x_ 不在 _f_ 的值域內。（對應上面的公理 4）

* _f_ 為一單射。（對應上面的公理 3）

* 若 _A_ 為 _X_ 的子集並滿足：
  
* _x_ 屬於 _A_, 且
  
* 若 _a_ 屬於 _A_, 則 _f_（_a_） 亦屬於 _A_

　
: 則 _A_ = _X_。

正式定義可以用謂詞邏輯表示如下:

戴德金 - 皮亞諾結構可以描述為滿足所有以下條件的三元組 (S, f, e)

 
* $(e\in S)$

* $(\forall a\in S)(f(a)\in S)$

* $(\forall b\in S)(\forall c\in S)(f(b)=f(c)\rightarrow b=c)$

* $(\forall a\in S)(f(a)\neq e)$

* $(\forall A\subseteq S)(((e\in A)\land (\forall a\in A)(f(a)\in A))\rightarrow (A=S))$



皮亞諾算術

皮亞諾算術 (PA) 的公理:

 
* $\forall x(Sx\neq 0)$ 。

* $\forall x,y((Sx=Sy)\Rightarrow x=y)$ 。

* $(\varphi [0]\wedge \forall x(\varphi [x]\Rightarrow \varphi [Sx]))\Rightarrow \forall x(\varphi [x])$ ，對於在 PA 的語言中的任何公式 $\varphi $ 。

* $\forall x(x+0=x)$ 。

* $\forall x,y(x+Sy=S(x+y))$ 。

* $\forall x(x\cdot 0=0)$ 。

* $\forall x,y(x\cdot Sy=(x\cdot y)+x)$ 。



參見


* 自然數

* 數學基礎

* 古德斯坦定理

* 邏輯主義

* 印符數論



參考資料



延伸閱讀


* Buss, Samuel R. Chapter II: First-Order Proof Theory of Arithmetic. Buss, Samuel R. (編). Handbook of Proof Theory. New York: Elsevier Science. 1998. ISBN 9780444898401.

* Mendelson, Elliott. Introduction to Mathematical Logic (Discrete Mathematics and Its Applications) 6th. Chapman and Hall/CRC. June 2015. ISBN 9781482237726.

* Smullyan, Raymond M. The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs. Dover Publications. December 2013. ISBN 978-0-486-49705-1.

* Takeuti, Gaisi. Proof theory Second. Mineola, New York. 2013. ISBN 978-0486490731.



外部連結


* Murzi, Mauro. Henri Poincaré. 《網路哲学百科全书》.  Includes a discussion of Poincaré's critique of the Peano's axioms.

* Podnieks, Karlis. 3. First Order Arithmetic. What is Mathematics: Gödel's Theorem and Around. 2015-01-25: 93–121.

* Hazewinkel, Michiel (編), Peano axioms, 数学百科全书，Springer, 2001, ISBN 978-1-55608-010-4

* 埃里克・韋斯坦因. Peano's Axioms. MathWorld.

* Burris, Stanley N. What are numbers, and what is their meaning?: Dedekind. 2001.  Commentary on Dedekind's work.

本條目含有來自 PlanetMath《PA》的內容，版權遵守創用 CC 協議：署名 - 相同方式共享協議。
邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。

所謂的矛盾有二種解讀方式：


* 語義上：當一個命題 S 是由許多命題組成時，如果所有命題可同時為真，則 S 是一致的，否則 S 是不一致的。

* 語法上：公理系統不能推導出兩個相反的結果。亦即不存在命題 P，使得 P→Q 和 P→~Q 同時成立。



參見


* 哥德爾完備性定理

* 哥德爾不完備定理

* 完備性

* 嚴謹 (數學)

* 不一致的謬誤

* 矛盾

* 破釜邏輯



外部連結


* Mortensen, Chris. Inconsistent Mathematics. Stanford Encyclopedia of Philosophy. 2017 [2022-10-09]. （原始內容存檔於 2022-12-05）.
形式謬誤（Formal fallacies）是推理形式錯誤的論證。

當一個論證的推理形式有誤時，即使前提為真，也必然無法因此推理出結論為真。我們不需檢驗論據的具體內容，只要將推論符號化並加以檢驗，即可確認形式謬誤的存在。



不當結論

不當結論（拉丁語：non sequitur）係指結論無法從已建立的前提推論出來。如果一個論證犯了形式謬誤，其結論即屬不當結論。



示例

> 
> 

問題在於：根據前題，x 應比 z 大。「z 比 x 大」背離了上述的對確形式，這就是形式謬誤。



示例

> 
> 

問題在於：食物並不總是好吃的，這是形式謬誤。（因為油條只是食物一種，並非全部食物都是油條）



外部連結


* （英文） Logical Fallacy: Formal Fallacy （頁面存檔備份，存於網際網路檔案館）

* （英文） https://editthis.info/logic/Formal\_Fallacies （頁面存檔備份，存於網際網路檔案館）
在計算理論中，形式語義學是關注計算的模式和程序設計語言的含義的嚴格的數學研究的領域。

語言的形式語義是用數學模型去表達該語言描述的可能的計算來給出的。

形式語義學（formal semantics），是程序設計理論的組成部分，以數學為工具，利用符號和公式，精確地定義和解釋電腦程式設計語言的語義，使語義形式化的學科。

提供程序設計語言的形式語義的方法很多，其中主要類別有：


* 指稱語義學，著重於語言的執行結果而非過程，包括域理論；

* 操作語義學，例如抽象機（象 SECD 抽象機），著重於描述語言的過程；

* 公理語義學，如 謂詞變換語義學和代數語義學。



外部連結


* Semantics with Applications

* 定義 （頁面存檔備份，存於網際網路檔案館）
《形影不離》（英語：_Inseparable_）是一部由伍仕賢自編、自導的黑色幽默兼心理學懸疑喜劇電影。本片邀集了兩次獲奧斯卡影帝的凱文・斯貝西（他此次參演使他成為第一個在 100% 中國資助的電影中擔任主角的好萊塢明星）和吳彥祖、龔蓓苾出演。該片 2011 年在釜山國際電影節首映，2012 年 5 月在中國發行。該片被《華爾街日報》評選為 2011 年「亞洲十大最著名電影」之一。凱文・斯派西的參與使他成為首位 100% 中資電影的好萊塢明星。



劇情

講述在家庭生活（身為調查記者的妻子阿胖（龔蓓苾）因服用假葉酸飲品導致所懷的孩子死亡）與工作事業（假肢產品存在缺陷）中都遇到了煩惱的李越（吳彥祖），與一名神秘美國僑民（凱文・斯貝西）成為朋友並在其幫助下所發生的故事。



角色


* 凱文・斯貝西 - 查克

* 吳彥祖 - 李越

* 龔蓓苾 - 阿胖

* 閆妮 - 陽總

* 彼得・斯特曼 - 理查

* 曾江 - 王總

* 張默 - 孫彪

* 韓童生 - 林警官



注釋



外部連結


* 官方網站

* 網際網路電影資料庫（IMDb）上《形影不離》的資料（英文）

* 爛番茄上《形影不離》的資料（英文）
形影相弔 （英文：One & One） 是 Edyta Górniak 的第二張專輯和第一張國際專輯艾迪塔的第二支派台單曲。這首歌在 1996 年最初由 Edyta Górniak 灌錄，但沒即時發表。怎料在同年十一月在 Edyta 不知情下，給知名電子音樂人 Robert Miles (feat. Maria Nayler) 竊取翻唱用作派臺。



背景

這首歌由 Billy Steinberg，Rick Nowels 和 Marie-Claire D'Ubaldo 作曲及填詞， Christopher Neil 製作。

該單曲率先於 1997 年 11 月 7 日在日本發行，後於 1999 年在歐洲各地發行。 歐洲單曲包括問君何日歸 (When You Come Back To Me)(Live in Portugal)，這現場版本在 1998 年 10 月 21 日於葡萄牙電臺灌錄。



曲目列表

日本 Maxi 單曲

1. 形影相弔 (One & One) (3:38)
2. 回歸愛情 (Coming Back To Love) (4:08)
3. 我決不會 (Never Will I) (4:08)

歐洲單曲

1. 形影相弔 (One & One) (3:39)
2. 問君何日歸 (When You Come Back To Me)(Live in Portugal) (4:47)

德國 Maxi 單曲

1. 形影相弔 (One & One) (3:39)
2. 被她迷住了 (Under Her Spell) (4:13)
3. 問君何日歸 (When You Come Back To Me)(Live in Portugal) (4:47)
4. 形影相弔 (One & One) (SuperChumbo's High Octane Mix) (6:43)

法國單曲

1. 形影相弔 (One & One) (3:22)
2. 不諳君心 (I Don't Know What's On Your Mind) (4:00)

歐洲宣傳單曲

1. 形影相弔 (One & One) (Radio Edit) (3:22)
2. 形影相弔 (One & One) (Album Version) (3:39)

歐洲混音宣傳單曲

1. 形影相弔 (One & One) (SuperChumbo's High Octane Mix) (6:43)
2. 形影相弔 (One & One) (SuperChumbo's Dark Dub) (8:22)

歐洲十二吋宣傳單曲

1. 形影相弔 (One & One) (Radio Edit) (3:22)
2. 形影相弔 (One & One) (SuperChumbo's High Octane Mix) (6:43)
3. 形影相弔 (One & One) (SuperChumbo's Dark Dub) (8:22)



音樂錄影帶

形影相弔 (One & One) 音樂錄影帶的場景幾乎來自任何事 (Anything) 的音樂錄影帶，但加插一些新的場景和補拍新的鏡頭。



榜單排名
形態發生（希臘語：μορφογένεση，字面意思是 "形狀的開始"）是一個生物體發展形態的生物過程。它和細胞生長之調控、細胞分化被視為發育生物學的三個基本主題之一。

這個過程控制了細胞在胚胎發育過程中的空間分布。形態發生也可以發生在一個成熟的生物體，在細胞培養或腫瘤細胞群中。形態發生也描述了單細胞生命的發展形式，這些生命形式在它們的生命周期中沒有胚胎階段，也可以描述一個分類群體內一個身體結構的演化過程。

形態發生反應可能是由荷爾蒙、環境化學物質引起的，例如其他生物體產生的物質，作為污染物釋放的有毒化學物質或放射性核素，以及其他植物，或由細胞空間圖案引起的應激性。



歷史

關於物理過程和限制如何影響生物生長的一些最早的想法和數學描述，例如一些自然模式，如某些生物的螺旋形，是由達西・湯普森在他 1917 年的著作《生長與形式》中提出的，另一些則是由阿蘭・圖靈在他的《形態發生的化學基礎》（1952）中所描寫。湯普森解釋了動物身體的形狀是由不同方向不同的生長速度造成的，例如，蝸牛的螺旋殼的原理。圖靈則正確地預測了一種形態發生的機制，兩種不同的化學信號的擴散，一個激活和一個失活的生長，以及建立發展模式，這些成果都是在科學界觀察到這種模式真正成因的幾十年前被研究出來的。對於實際生物體發展所涉及的機制的更充分了解，需要等到在 1953 年發現 DNA 結構，以及分子生物學和生物化學的發展之後了。



基因和分子基礎

幾種類型的分子在形態形成中是很重要的。形態物是可溶性分子，可以通過濃度梯度傳播和攜帶控制細胞分化的信號。形態細胞通常通過與特定的蛋白受體結合而發揮作用。參與形態發生的一類重要分子是轉錄因子蛋白，通過與 DNA 的相互作用來決定細胞的命運。這些基因可以通過主管調控基因進行編碼，並激活或破壞其他基因的轉錄；反過來，這些次級基因產物可以調節在基因調控網絡的調控級聯中的其他基因的表達。在這個級聯的末端是控制細胞遷移等細胞行為的分子類，或者更廣泛地說，它們的特性，如細胞粘附或細胞收縮。例如，在調節過程中，幹細胞簇脫離細胞與細胞的粘附，成為遷移，在胚胎中重新激活特定細胞粘附蛋白並形成新的組織和器官。發育信號通路涉及形態發生包括 Wnt、Hedgehog 和 ephrins。



細胞基礎

在組織層面上，無視控制手段，形態發生是由於細胞生長和運動。形態發生也涉及細胞結構的變化或細胞在組織中的相互作用。這些變化可能導致組織的伸長、變薄、摺疊、入侵或分離成不同的層。後一種情況通常稱為細胞分類。細胞 "排序" 包括移動的單元格，以便排序成最大化同類型細胞之間接觸的簇。由於馬爾科姆・斯坦伯格通過差異性粘附假說提出了細胞粘附的能力。組織分離也可以通過更戲劇性的細胞分化事件發生，在這些事件中上皮細胞變成了間充質（見上皮 - 間充質過渡）。由於細胞粘附性和收縮性能的變化，間充質細胞通常會離開上皮組織。 在上皮 - 間充質轉變後，細胞可以從上皮細胞遷移出去，然後與其他類似細胞在一個新的位置相關聯。

細胞 - 細胞粘附

在胚胎發育過程中，由於不同的親緣關係，細胞被限制在不同的層面。其中一種方法就是細胞分享相同的細胞間粘附分子。例如，同源細胞粘附能夠保持具有不同粘附分子的細胞群之間的邊界。此外，細胞可以根據細胞間粘附的差異進行分類，所以即使是兩個具有不同水平的相同粘附分子的細胞也可以分離出來。在細胞培養細胞中，具有最強的粘附力的細胞聚集體的中心。 而且，細胞與細胞間的粘附通常是通過細胞收縮來調節的，這會對細胞 - 細胞接觸產生作用，從而使兩個具有同等粘附分子水平的細胞可以分離出來。 負責粘附的分子稱為細胞粘附分子（CAMs）。 已知的細胞粘附分子有幾種類型，其中一種主要的分子是鈣粘蛋白。在不同的細胞類型中，有幾十種不同的地籍。鈣粘附素以類似的方式與其他鈣粘蛋白結合：E-cadherin（在許多上皮細胞上發現）優先結合其他的鈣粘附分子。 間充質細胞通常表達其他類型的鈣粘附素，如 N-cadherin。

細胞外間質

細胞外間質（ECM）負責將組織分離，提供結構性支持或提供細胞遷移的結構。膠原蛋白、層粘連蛋白和纖維連接素是主要的 ECM 分子，它們分泌並組裝成薄片、纖維和凝膠。被稱為整合素的多亞單位跨膜受體被用來與 ECM 結合。整合素在細胞外結合纖維連接素、層粘連蛋白或其他 ECM 成分，並在細胞內結合微絲結合蛋白質 - 醯胺和滑石蛋白，使細胞骨架與外部細胞結合。整合素在與 ECM 結合時也作為觸發信號轉導級聯的受體。一個經過深入研究的包括乳腺導管分支的形態發生的例子。

細胞收縮

組織可以通過細胞收縮來改變它們的形狀並分成不同的層。就像肌細胞一樣，肌球蛋白可以收縮細胞質的不同部位來改變其形狀或結構。在胚胎組織形態發生過程中，我們可以看到肌球蛋白在胚胎組織形態發生中的收縮作用。胚胎形態發生過程中經常出現周期性的收縮脈衝。一種叫做細胞狀態分裂器的模型涉及到交替細胞收縮和擴張，這是由一個在每個細胞頂端的雙穩態細胞器發起的。有機器由微管和微絲組成，在機械的對立面。 它對由形態變化引起的局部機械擾動作出反應。然後，這些細胞會引發胚胎分化的波動，即收縮或擴張，超過了決定細胞類型的推定組織，然後是細胞分化。首先提出了細胞狀態分裂器來解釋軸突發育過程中的神經板形成，並將模型推廣到所有形態發生過程。



癌症形態發生

腫瘤可能是由於正常形態發生的中斷，包括腫瘤的形成和腫瘤的轉移。粒線體功能障礙可能導致由於不正常的形態發生信號而增加癌症風險。



另見



注意事項



參考文獻



延伸閱讀


* Bard, J.B.L. Morphogenesis: The Cellular and Molecular Processes of Developmental Anatomy. Cambridge, England: Cambridge University Press. 1990. 劍橋，英國：劍橋大學出版社。

* Slack, J.M.W. Essential Developmental Biology. Oxford: Wiley-Blackwell. 2013. 牛津：威利 - 布萊克威爾。



外部連結


* 基於自主生成梯度的多細胞形態發生的人工生命模型 （頁面存檔備份，存於網際網路檔案館）

* 圖靈的形態發生理論得到了驗證 （頁面存檔備份，存於網際網路檔案館）
形態學（英語：morphology）可以指以下學系：


* 形態學 (語言學)

* 生物形態學
  
* 動物形態學
  
* 植物形態學
  
* 組織形態學
  
* 細胞形態學
  
* 神經形態學

* 數學形態學

* 作物形態學

* 故事形態學，普羅普的著作及同名理論

* 城市形態學

* 地貌學

* 河流形態學

* 星系形態分類



參見


* 形態分析法
形態測量學（英語：morphometrics）是指對大小、形狀等形態（form）的定量分析，其名稱源於希臘語的 μορϕή（_morphe_，意為「形態」）與 -μετρία（_metria_，意為「測量」）。形態測量學在對生物體的分析中十分常用，可用於分析化石記錄、變異對形狀的影響、形態的發育變化、不同生態因素與形狀之間的協方差，以及估計形狀的數量遺傳參數等。形態測量分析能量化性狀的演化重要度，並通過測量形態的變化來研究其個體發生學、功能或演化關係。形態測量學的一個主要目標是從統計學上檢驗不同因素對形狀影響的假說。

形態測量學的方法主要包括傳統形態測量方法、基於地標點（landmark）的幾何形態測量學方法以及基於輪廓的形態測量學方法。



參考文獻
詞法音位學（英語：morphophonology 或 morphonology）是語言學分支之一，主要研究詞法學與語音學或音位學的聯繫。主要關注語素（即最小的意義單位）在組合成詞時發生的音變。

詞法音位分析主要試圖給出一系列規則，以預判語言中音素的規律聲變。



音位語素和詞法音位學規則

不管是從語音還是音位的角度分析，都可發現：當語素結合的時候，會相互影響彼此的聲音結構，導致同一語素會有不同的發音。詞法音位學就試圖分析這樣的變化過程。一個語言的詞法音位結構即是理想狀態下可以預測每一個詞法音位交替（morphophonological alternation）的系列規則。

英語中的複數語素就是詞法音位交替的一個例子。複數語素寫作 -s 或是 -es，而讀音有三種：[s]、[z] 及 [ɪz]，分別對應 cats, dogs, horses。純粹的音位分析會將三者分別以發音符號 /s/, /z/, /ɪz/ 記錄。而在詞法音位的層次上，三者都是底層式（underlying object） //z// 的不同形式。而 //z// 即是音位語素（morphophoneme）。具體使用哪個形式取決於其所附著的語素結尾的音段。英語中過去式結尾 -ed 也與之類似。

複數後綴 -s 也可能影響先前的語素形式。例如：knife 一詞，單數時結尾是 [f]，複數時變為 [v]。在詞法音位的層次上，這裡的語素可分析為以音位語素 //F// 結尾，在有濁音附著時也濁化。

通常以雙斜槓（////）（即：比單純音素更加音素）、豎線（| |）、雙豎線（‖  ‖）或花括號（{ }）表示音位語素而非音素。

例如：英語的 cats，在語音學的角度可能寫為 [ˈkʰæts] ；在音位學的角度可能寫為 /ˈkæts/；而在音位語素的角度，若是設定複數的底層式是 //z//，在非嘶音後同化為 /s/，則可轉寫為 //ˈkætz//。波浪線～可表示詞位交替，如 //ˈniː~ɛl+t// 表示 kneel~knelt，其中 + 表示語素界限。



改變的類型

屈折語與黏著語可能有極其複雜的詞法音變系統，一些複雜的音變如：


* 連音：幾乎所有語言中都有一定程度的連音。即使是有的時候被稱作沒有詞法的普通話，也有音調連音即變調。例如：你好本是 nǐ hǎo，但合音節第三聲的「你」須提升為陽平，即「你好」要念為「ní hǎo」

* 輔音交替：在一些烏拉爾語言，如芬蘭語、愛沙尼亞語中即可發現輔音交替。

* 元音和諧：在大量語言中皆有，突厥語族中尤為顯著，再如烏拉爾語系的芬蘭語中亦有。

* 元音變換：英語等日耳曼語言中存在此種現象，即根元音依上下文變化，如 sing-sang-sung。



與音位學的聯繫



孤立形式

一個語素的孤立形式（isolation form）即語素獨立出現時候的形式，即，不受其它語素影響時的形式。但對於不自由語素如英語中的 -ed 而言，基本上不可能定義其孤立形式，因為這樣的語素從不單獨出現。



參考資料



延伸閱讀


* Ahmanova, Olga Sergeevna. _Phonology, Morphonology, Morphology_. The Hague: Mouton, 1971.



參見


* 尼古拉・特魯別茨柯伊
《形意拳》是由臺灣鈊象電子公司開發的 2D 格鬥遊戲，並於 1999 年在大型電玩平台上發行。故事講述黃飛鴻為營救好友，而被捲入形意門與白蓮教的恩怨之中。



情節

故事背景

清末年間，滿清積弱不振，遭受列強滿籮筐的欺凌，全國民怨四起，這時人心從不信任清廷，轉而全依賴宗教，而白蓮教就趁此良機崛起，打著「白蓮下凡，萬民翻身，扶清滅洋，天下太平」的口號，深受民眾信賴；因此，凡是與西洋有關的人、事、 物，一律都加以毀壞，而與他們為敵的，就被冠上妖孽的罪名處以極刑。

形意門的掌門「龍拳」與寶芝林的黃飛鴻，看不慣白蓮教眾到處殺害無辜，因而多次阻撓，於是雙方結下間隙。某一天，白蓮教主下書約見龍拳及黃飛鴻，希望能解除雙方誤會；雖有人勸說龍拳，白蓮教此舉乃是陷阱，所以在黃飛鴻外出採藥未歸前，不可單獨前去；但龍拳不願放棄此能開導白蓮教主的機會，而不思有詐，單獨赴約，結果中計被擒，雙方門下為此發生數次嚴重衝突，種下日後紛亂的源頭。此時的廣州暗潮洶湧，危機四伏，到底有何能人可排除陰謀的危機，力挽動盪的狂瀾呢？

形意門中的其他門人四散各地，各自的傳人又因為受白蓮教利用而彼此鬥毆。這時，黃飛鴻為了解救龍拳，而被捲入形意門與白蓮教的恩怨之中。

角色

可選用的角色共有 12 位，不含「龍拳」跟「真白蓮教主」。

寶芝林


* 黃飛鴻（英語：Master Huang），本作主角，十八般武藝，其父（黃麒英）與他皆為廣東十虎，家傳無影腳更是家譽戶曉，而他開設的寶芝林救世濟俗更是博得大家的認同。

* 十三姨（英語：Saojin），隱藏角色，黃飛鴻母親結拜之姊妹，借住在寶芝林中。

形意門


* 龍拳（英語：Dragon），形意門的掌門，被白蓮教所擒。

* 紀雲袖（英語：Crane），擅長鶴拳，龍拳從小到大的青梅竹馬。

* 白少廷（英語：Scorpion），擅長蠍子拳，該角色以香港電影《蠍子戰士》的「桑尼」為藍本。

* 曲嫣紅（英語：Red Snake），擅長蛇拳，自小就與白少廷定親。

* 虎克（英語：Tiger），擅長虎形拳。

* 鐵猴兒（英語：Monkey Boy），擅長猴拳。

白蓮教


* 白蓮教主（英語：Lotus Master），擅長武術為白蓮秘傳。

* 真白蓮教主（英語：True Lotus Master）。

其他角色


* 醉不歸（英語：Drunk Master），擅長醉拳，該角色以香港電影《醉拳》的「蘇化子」為藍本。

* 靈兒（英語：Reika），擅長家傳的古武術，並跟隨醉不歸修習一些基本拳法。

* 釋武真（英語：Monk），擅長羅漢拳，該角色以少林寺武僧為藍本。

* 鬼腳七（英語：Ghost Kick），擅長自創之腿法。



製作

有多位原畫師與動畫師參與製作，人物動作細緻流暢，類似《快打旋風 III》的品質。2014 年 4 月 16 日，鈊象電子在騰訊互動娛樂年度發表會中，宣布旗下大型電玩遊戲登陸 QQ 遊戲平台，其中包含《形意拳》。



參考來源



外部連結


* 《形意拳》官方網站
語言學上，形意符號（ideogram，ideograph）亦稱表意符號、形意圖、表意圖、表意字、表意文字，簡稱意符，是一種圖形符號，只代表一定意義。

形意符號不是一種代表語言的語素或語音的文字系統；換句話說，這種文字系統並不能用於記錄語言。表意符號是文字萌芽時期的產物，是相當原始的，可以分為四個層次：刻符、岩畫、文字畫和圖畫字。由於表意符號不能記錄任何語言，因此它僅在文字原始時期使用。當文字史進入古典時期後，語素文字（如漢字）便取而代之了。



參見


* 意音文字

* 文字史



參考文獻



外部連結


* The Ideographic Myth （頁面存檔備份，存於網際網路檔案館） Extract from DeFrancis' book.

* American Heritage Dictionary definition （頁面存檔備份，存於網際網路檔案館）

* Merriam-Webster OnLine definition （頁面存檔備份，存於網際網路檔案館）
形態分析法（Morphological analysis）指數種根據形態學進行分析的方法，其方法隨各領域對形態學的定義而異：


* 廣義形態分析法：為一種透過列出所有可能選項，對問題進行分析並尋求可行解之策略

* 詞法學分析

* 生物形態分析法

* 數學形態分析法
形態基準是對某一時間點的產品屬性的描述。形態管理是針對硬體、軟體、韌體、文件、測量等進行變更管理的過程。當初始狀態、和下一個狀態之間需要變更時，一系列變更的標示，變得很重要。對於一個形態項目修訂歷史的識別，是形態基準（Configuration Baseline）的核心目的。 一個專案可以包括一個或多個形態基準，



形態基準的功用（Capabilities）

標明核准狀態，可以涵蓋一個形態基準的大部分用途；而形態基準的建立，也可以僅只標示出在時間歷程中的工作進度，以這個例子而言，一個基準可視為一個有形的投資，經過持續的集體努力，而獲得的成果，例如：一個開發基準。形態基準也可以用來標示里程碑（Milestones）；雖然，有些里程碑也表示為核准。

形態基準被賦予的價值，不只擁有能識別出工作產品中值得注意的狀態的能力，也提供另一獨特的重點：資料回溯 (恢復)（retrieve）的能力。一旦資料回溯，在那一小部分的工作產品的狀態，共用了變更歷史中相同的意涵，而該意涵也受到監視，此形態基準被視為嚴苛品質(善意、或非善意)，因此，基準識別、監控、和資料回溯都是成就形態管理的關鍵要素。然而，一個特定基準的放鬆管制，必須依照其利用來執行形態管理的系統而變更，該系統可以採用手動、自動、或混合的方法。一旦資料回溯，該基準可以比作為一個特定的形態，或另一個基準。

大部分的形態基準，都是建立於時間軸上的一個固定點 [2]，並持續參照於該參考點 (狀態的識別)。然而，有些形態基準的建立，是為了彰顯項目本身的參考點，無視於針對該項目的任何變更。後者的形態基準，隨著工作的進度而發展，並持續針對該專案值得注意的工作產品進行識別。

基準化的形態項目（Baselining Configuration Items）

執行形態管理的過程中，可以針對有利害關係的當事者，將一特定狀態的形態項目 (或工作產品) 建立為基準。在這樣的概念裡，將一個工作產品建立為基準，可能需要針對該工作產品進行特定的變更，以確保能夠匹配其參考基準所關聯的特性。這類作法可以因為不同的背景而變化，不過，許多範例則有另一個含意，亦即工作產品從工作進行中的狀態，被重設為初始狀態。



形態基準管制（Baseline Control）

在許多不同的環境之中，形態基準受到管制之後，將因此導致該工作產品在那個基準的後續特定活動，遭到禁止、或者允許。這些活動被謹慎地挑選、與管制，並再次藉由形態管理系統來監控。因此，形態基準將依循慣例由形態管理稽核管制。稽核可以包括針對形態基準、牽涉於任何動作的個體識別、形態基準變更的評估、(重新) 核准證明、狀態記述（accounting）、度量採集（metric collection）、另一基準的比較、或以上全部... 等 所進行的特定活動的檢查。



可應用性（Applicability）

形態基準存在的價值，不只是版本控制系統而已。形態基準也出現在 UML 模型系統、商業規則管理系統、與其他系統之中。

除了硬體工程、與軟體工程的領域之外，形態基準也會出現在醫學 (例如：監控健康進展)、政治學 (例如：統計數字)、與其他領域... 等。



參見


* 形態管理（Configuration management）

* 形態稽核（Configuration audit）

* 可追蹤性矩陣（Traceability matrix）
在生物學中，形態學（morphology）或稱生物形態學（biological morphology，biomorphology），是生命科學在生物體的組織結構與功能結構上的研究分支。

包含了外觀生物體的外觀 (形狀、結構、圖案、顏色)，以及生物體的骨骼、器官等內部零件的功能結構。與生理學不同的是，形態學是對於生物體與其族群的總體構造研究，先驗性地探討演化時生物的結構改變，比較生物體間的差異，而非僅就生物個體本身進行分析。



分支


* 比較形態學

　
: 比較形態學是研究生物族群間，組織結構與功能結構上的變化軌跡。


* 功能形態學

　
: 功能形態學研究生物構造與功能上的關係。


* 實驗形態學

　
: 以實驗來產生生物的形態改變，藉以探討導致生物體形態改變的因子。



參考文獻
詞法學（英語：morphology，「組織與形態」），又稱形態學、構詞學，是語言學的一個分支，研究單詞（word）的內部結構和其形成方式。如英語的 dog、dogs 和 dog-catcher 有相當的關係，英語使用者能夠利用他們的背景知識來判斷此關係，對他們來說，dog 和 dogs 的關係就如同 cat 和 cats，dog 和 dog-catcher 就如同 dish 和 dishwasher。構詞學正是研究這種單字間組成的關係，並試著整理出其組成的規則。



基本概念

英文字的根基 (字根)

「Lexeme」 是指英文字的本根，dog 是 dogs 和 dog catcher 的字根。雖然三字的義意不同，也與其字的根源有所關聯。

字形（word form）和字詞（vocabulary）

dog 和 cat 有不同的字形（word form） 。另一方面，Dog 和 dog catcher 是有不同解釋的字詞（vocabulary），他們所指的是不同的實體。

英文字的原形，稱為詞條（lemma；原形），其引用形式（citation form），即是指可於字典上查詢的字詞的根本原形（vocabulary）。



構詞學模式



語言類型分類



註釋



參考文獻



延伸閱讀



參見


* 語素

* 語法形態配列



外部連結


* Segmenti − Segmenti （頁面存檔備份，存於網際網路檔案館） (Freeware)
形態項目（Configuration Items、CI）構成形態管理的基礎。一個形態項目是形態的單元（unit），可被單獨管理及版本控制。

典型的形態管理系統，將管制檔案、需求、或另一個可以定義的單元。這些單元被一個程序與工具的結合體加以管理，避免傳入錯誤，並力求維護高品質的成果。這些單元自身可被考慮成為形態項目，或者它們可以被結合成一個總成，經由同一套的程序與工具加以管理。



在形態管理中扮演的角色

從變更執行者的觀點，形態項目是變更的『什麼』(what)，修改一個形態項目的特定形態基準版次，將會產生該同一個形態項目的新版次，此新版次的形態項目本身也是一個形態基準。審視一個變更的效應，首先要問：

1. 什麼形態項目被影響？
2. 形態項目如何被影響？

一個發佈（本身也是受版本控制的實體）可以由許多的形態項目所構成，這一套針對每一個形態項目的變更，將出現在發佈的版次修改說明（Release Notes）裡，說明欄位可以包括每一個形態項目的特定標題。

一旦參與一個變更的執行、與變更的管理，針對每一個形態項目的列表與定義，可以作為與該產品相關的所有團體的共通詞庫。定義的層級，必須擴及執行面的個體、與產品市場行銷的個體，能夠認同他們所使用的形態項目名稱是共通的定義。針對一特定的專案，形態項目的挑選、與識別，可以視為從上而下發展完整架構的第一個步驟。

形態項目、版次、和變更構成形態稽核的基礎。



參考資料


* Configuration Management Community

* Software Configuration Management

* What is configuration management? （頁面存檔備份，存於網際網路檔案館）

* Configuration management

* Configuration item definition （頁面存檔備份，存於網際網路檔案館）

* Physical configuration audit （頁面存檔備份，存於網際網路檔案館）

* Physical configuration audit （頁面存檔備份，存於網際網路檔案館）

* Functional configuration audit （頁面存檔備份，存於網際網路檔案館）

* Functional configuration audit

* Functional configuration audit （頁面存檔備份，存於網際網路檔案館）

* Software configuration management terminology

* Configuration management training material
整形外科（英語：Plastic surgery、日語：形成外科学）是一門修復、重建、改變人體的外科專業，主要分為兩個類別：重建外科（英語：Reconstructive surgery）和美容外科（英語：Cosmetic surgery）。重建外科包括顱顏外科、手外科、顯微外科、燒燙傷治療。重建外科旨在重建身體的一部分或改善其功能，而美容外科旨在改善其外觀，兩種技術在全世界都廣泛運用。



歷史

最早提到對折斷的鼻子進行整形修復治療的是艾德溫・史密斯紙草文稿，它是古埃及醫學文獻的抄本，是最古老的外科醫學論文之一，可追溯到公元前 3000 至 2500 年的古王國時期。大約公元前 800 年，印度開始推動重建外科技術。妙聞是一位公元前 6 世紀為整形外科和白內障手術做出重要貢獻的醫生。妙聞和查拉卡的醫學作品最初是梵語，在公元 750 年阿拔斯帝國期間翻譯成阿拉伯語，之後阿拉伯語譯文傳入歐洲，義大利西西里島的布蘭卡家族和波隆那的加斯帕雷・塔利亞科齊便學習妙聞的技術。

有英格蘭醫師前往印度學習印度式的鼻外觀整型手術。由瓦迪亞（英語：Kumhar Vaidya）進行的印度式鼻外觀整型手術在 1794 年發表於《紳士雜誌》。約瑟夫・康斯坦丁・卡爾普在印度花費 20 年研究當地的整形外科處置。1815 年，卡爾普已能在西方世界進行第一例大手術。妙聞記載的器械也在西方世界修改進化。

羅馬人也進行整形美容手術。羅馬人能夠在公元前 1 世紀左右執行簡單的處置，例如修復受損的耳朵。由於宗教因素，他們沒有解剖人或動物，因此他們的知識全部建立於其希臘前輩的文獻。儘管如此，凱爾蘇斯仍能留下一些令人驚訝而準確的解剖學描述，他對整形外科特別感興趣，例如其中一些對生殖器和骨骼的研究。



現代技術的發展

現代整形外科之父通常被認為是哈羅德・吉利斯。他是在倫敦工作的紐西蘭耳鼻喉科醫生，他開發許多現代顏面外科手術技術，用以照顧第一次世界大戰期間顏面損傷的士兵。



次專科

整形外科是一個廣闊的領域，可進一步細分。在美國，整形外科醫師皆獲美國整形外科委員會認證。整形外科的次專科可包括：

美容外科

美容外科是整形外科的重要次專科，其專業包括顏面和身體美容手術。和個別手術一樣，所有重建性外科處置均採用美容外科原則來改善病患的整體外觀。口腔頜面外科醫師也可進行顏面美容手術。

燒燙傷外科

燒燙傷外科通常分為兩個階段。急性燒燙傷外科處理燒燙傷後應立即進行的治療。重建燒燙傷外科處理燒燙傷口癒合後的併發症。

顱顏外科

顱顏外科分為小兒和成人顱顏外科。小兒顱顏外科主要治療顱顏骨骼和軟組織的先天性異常，例如唇顎裂、顱縫線封閉過早、小兒骨折。成人顱顏外科主要處理骨折和後續的手術（例如眼眶重建）搭配正顎手術。顱顏外科是整形外科培訓計劃的重要部分，進一步的顱顏外科研究醫師訓練可取得其次專科。口腔頜面外科醫師也可進行顱顏外科手術。

手外科

手外科處理手和腕的急性損傷和慢性疾病、上肢先天畸形、周邊神經問題（例如臂神經叢損傷或腕隧道症候群）。手外科和顯微外科一樣是整形外科培訓計劃的重要部分，是接回斷肢不可或缺的醫療技術。骨科醫師和一般外科醫師也學習手外科領域。術後形成的疤痕組織在相對脆弱敏感的手部可造成明顯的問題，嚴重的話可導致靈活度和手指功能的喪失。有女性病例為求能拍出完美的訂婚戒指照片，接受了手外科手術矯正手指的瑕疵。

顯微外科

小兒整形外科

兒童面對的醫療問題經常與成年病患大不相同。許多出生時就出現的天生缺陷或症候群最好能在兒童時期就治療，小兒整形外科醫師專門治療兒童的這些病況。小兒整形外科醫師常治療的疾病包括顱顏畸形、並趾畸形（手指或腳趾相併融合）、多指畸形（多餘手指或腳趾）、唇顎裂、先天性手畸形。



重建外科



美容外科處置

美容外科是對身體正常部位進行的自願性或選擇性手術，其唯一目的是改善人的外表或消除老化跡象。2014 年僅在美國就進行了近 1600 萬例美容處置。自 21 世紀初以來在美國進行的美容處置數量增加幾乎一倍，2014 年接受美容處置者有 92％是女性，高於 2001 年的 88％。2007 年進行了近 1200 萬例美容處置，其中前五個最常見的手術是隆胸、抽脂、縮胸、眼瞼手術、腹部整形。美國美容外科醫學會調查了 34 種美容處置的統計數據，其中 19 種處置是外科手術，例如鼻外觀整型手術或拉皮手術；非手術處置包括注射肉毒桿菌毒素和雷射除毛。2010 年的調查顯示美國總計有 9336814 例處置，其中 1622290 例是外科手術，同時也發現接受處置者絕大多數（81％）為高加索人種（白人）。

美國整形外科醫學會估計 2005 年美國 18 歲以下有超過 333000 例接受美容處置，1996 年僅約 14000 例，這些統計數字有其意義，鼓勵年輕人在未來繼續接受這些美容處置。在美國利用種族整形外科的美容處置跨越種族界限的人逐漸增加，非洲裔、亞裔、西班牙裔和美國白人皆然。在英國的 1191 篇報紙文章中，其中 89％使用「整形手術」一詞討論到美容手術，有意義的顯示了西方世界描述美容手術的頻率。在亞洲，美容手術變得越來越流行，中國和印度等國家已經成為亞洲最大的美容手術市場。南韓因為專業於顏面骨骼的手術，也越來越流行美容手術，南韓外科醫師團隊關於顏面骨骼輪廓手術的第一篇發表文章圖解說明該類手術的多種方法。



併發症與風險

所有手術都有風險。美容外科常見的併發症包括血腫、神經損傷、感染、疤痕增生、植入物故障、器官損傷。乳房植入物可有許多併發症，包括破裂。2011 年美國食品藥品監督管理局表示：有五分之一接受隆胸的病患在植入後 10 年內必須將其移除。



精神疾患

儘管媒體和廣告扮演著重要的角色並影響許多人的生活，比如讓人們相信美容手術是一個可行的方式，能改變自己讓人更喜歡，但研究人員認為某些人對美容手術的著迷與精神疾患有關，比如體象障礙，病患偏愛接受美容整形手術以矯正自己臆想的外觀缺陷，這樣的行為與體象障礙具有相關性。

在某些情況下，醫生拒絕進一步再做任何整形手術，病患可能轉作自我手術，自己注射藥劑，帶來極大的安全風險。



備註



參見


* 生物材料

* 身體改造

* 種族整形外科

* 整形與重建外科，美國整形外科醫學會發行的期刊。

* 頭皮重建



參考文獻



延伸閱讀
形成層是一個植物組織層，提供未分化細胞給植物生長。

有幾種不同種類的形成層被發現在植物的莖和根中：


* 木栓形成層

* 單面形成層

* 維管形成層

 
中文名稱
形成層
別稱
維管形成層
拼音
xingchengceng
意思
形成層是植物中縱向貫穿根和莖的一層組織
基本概述
形成層是植物中縱向貫穿根和莖的一層組織，位於木質部和韌皮部之間，它向內形成木質部，向外形成韌皮部。形成層一般由多層細胞所組成，嚴格說來，其中隻有一層原始細胞，可以不斷地向內外分裂而增生細胞，不斷增生的子細胞分化為木質部和韌皮部以及射線的細胞，使得植物的根和莖能不斷地生長加粗。屬於側生分生組織。

形成層一般存在於裸子植物和被子植物的雙子葉植物中，但在單子葉植物中基本沒有形成層，所以單子葉植物生長不能不斷地加粗，絕大部分為草本植物，隻有棕櫚科具有喬木狀，也是依靠維管束發展，不能有充分的次生生長能力。
形成權（德語：Gestaltungsrecht）是一種私法上的權利，其作用在於使法律關係發生、變更或消滅，而經常與請求權混淆。形成權的行使屬於單獨行為，權利人只要透過健全的意思表示即可使法律關係發生變化，無需相對人協力完成。常見類型包括契約的解除權和終止權等等。



概說

形成權是一種主觀權利，權利人藉由單方面的意思表示直接使法律關係取得發生、變更或消滅的效果，並且無需與相對人意思合致。民法所規範的形成權包括以下數種：


* 拋棄

* 懸賞廣告 （註：學理上有爭議，詳見條目解說）

* 選擇權

* 承認權

* 同意權

* 解除權

* 終止權

* 撤回權

* 撤銷權 （意思表示）

* 抵銷權

* 優先購買權（或稱優先承購權）

有些權利雖然字面上稱作請求權，但其權利內涵實為形成權，而非請求權：


* 減少報酬請求權

* 共有物分割請求權



除斥期間

與請求權類似，形成權行使亦有相當的期間限制，稱作「除斥期間」。不過，除斥期間與「消滅時效」最大的差異在於，請求權逾一定期間不行使僅會使相對人取得「抗辯權」，原來的請求權並不會消滅；但形成權若逾除斥期間不行使，權利將會直接消滅。



參見


* 民法

* 請求權
彤城氏是中國文獻記載到的遠古姒姓氏族。漢・司馬遷記載彤城氏是姒姓的十二個氏族之一。唐・司馬貞註解周代時的彤伯可能是指彤城氏的後裔。宋代韻書《廣韻》又在「成」字下注釋「史記有形成氏」，是否是「彤城氏」的訛寫尚待考證。宋・羅泌記載「商有肜伯，地即肜城」。



注釋



參考文獻
形方氏，《周禮》中所記載周朝官名，掌制諸侯疆域，實際是否實行於周朝則不確定。《周禮》: 周官曰：形方氏掌制邦國之地域，而正其封疆，無華離之地。
成核（Nucleation），也稱形核、核化，是相變初始時的「孕育階段」。天空中的雲、霧、雨，燃燒生成的煙，冰的結晶，汽水、啤酒的冒出的泡等的形成，均為成核現象。

成核現象需要成核位點（nucleation site）才可發生。汽化時，液相分子聚集於固相物質上面，分子不斷碰撞使得能量聚集，進而形成「汽化中心」；結晶時，若使局部的溶質濃度升高而導致晶體碰撞次數增加，則結晶的晶形構造加快，從而形成「結晶中心」。晶核的成核有兩種形式：初級成核（包括初級均相成核和初級非均相成核）及二次成核。在高於飽和度的情況下，溶液自發形成晶核的過程，稱作初級均相成核；若晶核是在溶液外來物的誘導下生成，則稱其為初級非均相成核；晶核如在含有溶質晶體的溶液中生成，則稱為二次成核。



例子

液體 / 氣體成核


* 雲的形成來源於潮濕的空氣上升到一定高度受到冷卻後，小水滴從過飽和的空氣中成核而來。小水滴的成核是異質的（heterogeneous），其成核點也被稱作雲凝結核。人工降雨正是利用了此原理，在可能降雨的雲層中撒播人工降雨劑以加強成核效率。

* 碳酸水在被開啟後，二氧化碳氣泡在容器表面成核。


* 可樂加曼陀珠噴發現象緣於曼妥思糖果外殼的許多小孔為可樂中二氧化碳的成核反應提供了巨大的表面積。

* 氣泡室和雲室的工作原理均基於成核現象。

晶體成核


* 地球上最常見的結晶現象應該是冰的形成。純淨的液態水在 0°C 時，如果液體中沒有任何冰晶則不會結冰，需要冷卻到更低的溫度才開始結冰。

* 我們日常使用的不少材料都是從液體中生產出的晶體，例如鐵具是由鐵水倒入模具鑄造而成的；因此這些材料的成核在工業中被廣泛研究。在化學工業中，製造被用作催化劑的金屬超分散粉末（metallic ultradispersed powder）也有運用到成核，例如在 TiO2 奈米顆粒上沉積鉑（被用於從水中催化獲取氫氣的催化劑）。成核也是半導體工業中重要的考慮因素，因為半導體中的能隙也受到奈米團簇大小的影響。



參考資料



延伸閱讀


* （繁體中文）陳進成：雲、雨、霧的形成 —— 談日常生活中的成核現象 （頁面存檔備份，存於網際網路檔案館）

* （繁體中文）汽水中的氣泡 （頁面存檔備份，存於網際網路檔案館）
形狀公差，是指單一實際要素的形狀所允許的變動量。

形狀公差帶的特點是不涉及基準，它的方向和位置均是浮動的，只能控制被測要素形狀誤差的大小。

形狀公差包括直線度、平面度、圓度、圓柱度、線輪廓度和面輪廓度，被測要素為直線、平面、圓和圓柱面。



參考資料


* GB/T 1182-1996 《標準名稱：形狀和位置公差 通則、定義、符號和圖樣表示法》
形狀理論是拓撲學的一個分支，它是同倫理論的擴展，考慮了特殊局部屬性的情形。形狀理論將同倫理論擴展至更一般的空間上，比如緊緻度量空間，或緊緻郝斯多夫空間。



背景

形狀理論由波蘭數學家 Karol Borsuk 在 1968 年創建。



華沙圈

Borsuk 在華沙生活和工作，因此華沙成為此領域中的基礎示例之一的名稱，即華沙圈。它是平面的緊子集，通過用弧線將拓撲學家的正弦曲線封閉起來而得到。

華沙圈有同倫群，它與點的同倫群同構，但是兩者並不是同倫等價的；Whitehead 定理在此並不適用，因為華沙圈不是一個 CW 複形。



發展

Borsuk 的原始形狀理論已經被可逆系統 (inverse system) 這種更系統化的方法取代，可逆系統由 Sibe Mardešić創立，而 Timothy Porter 也獨立完成了類似工作。



引用
形狀記憶合金（英語：Shape Memory Alloys, SMA），簡稱記形合金，是一種在加熱升溫後能完全消除其在較低的溫度下發生的變形，恢復其變形前原始形狀的合金材料。除上述形狀記憶效應外，這種合金的另一個獨特性質是在高溫（奧氏體狀態）下發生的「偽彈性」（又稱「超彈性」，英語：pseudoelasticity）行為，表現為這種合金能承載比一般金屬大幾倍甚至幾十倍的可恢復應變。形狀記憶合金的這些獨特性質源於其內部發生的一種獨特的固態相變 —— 熱彈性馬氏體相變。



功能機理

形狀記憶合金是一種能夠記憶原有形狀的智能材料。當合金在低於相變態溫度下，受到一有限度的塑性變形後，可由加熱的方式使其恢復到變形前的原始形狀，這種特殊的現象稱為形狀記憶效應（Shape Memory Effect，簡稱 SME）。而當合金在高於相變態溫度下，施以一應力使其受到有限度的塑性變形（非線性彈性變形）後，可利用直接釋放應力的方式使其恢復到變形前的原始形狀，此種特殊的現象又稱為擬彈性（Pseudo Elasticity，簡稱 PE）或超彈性（Super Elasticity）。形狀記憶合金所擁有的這兩種獨特性質是在普通金屬或合金材料上無法發現的。



發展歷史

最早關於形狀記憶效應的報導是由 Chang 及 Read 等人在 1952 年作出的。他們觀察到 Au-Cd 合金中相變的可逆性。後來在 Cu-Zn 合金中也發現了同樣的現象，但當時並未引起人們的廣泛注意。直到 1962 年，Buehler 及其合作者在等原子比的 TiNi 合金中觀察到具有宏觀形狀變化的記憶效應，才引起了材料科學界與工業界的重視。到 70 年代初，CuZn、CuZnAl、CuAlNi 等合金中也發現了與馬氏體相變有關的形狀記憶效應。幾十年來，有關形狀記憶合金的研究已逐漸成為國際相變會議和材料會議的重要議題，並為此召開了多次專題討論會，不斷豐富和完善了馬氏體相變理論。在理論研究不斷深入的同時，形狀記憶合金的應用研究也取得了長足進步，其應用範圍涉及機械、電子、化工、航太、能源和醫療等許多領域。



分類

形狀記憶合金的記憶效應可以分為下列三種：

1. 單程記憶效應（1-way）：

　
: 形狀記憶合金在較低的溫度下變形，加熱後可恢復變形前的形狀，這種只在加熱過程中存在的形狀記憶現象稱為單程記憶效應。
2. 雙程記憶效應（2-way）：

　
: 某些合金加熱時恢復高溫相形狀，冷卻時又能恢復低溫相形狀，稱為雙程記憶效應。
3. 全程記憶效應：

　
: 加熱時恢復高溫相形狀，冷卻時變為形狀相同而取向相反的低溫相形狀，稱為全程記憶效應。



應用

形狀記憶合金的應用早期只在牙箍或飛機之套筒接頭。從 2000 年代開始，這種合金開始在鋼絲胸罩裡應用，使胸罩內之合金「鋼絲」在接觸到體溫後，可以回復至原來胸部的體形；另一個較常用的地方是金屬眼鏡框，特別是讓在學青少年使用的，好讓他們在眼鏡經過碰撞後，只要浸泡在暖水裡就可以回復原狀，以免影響視力。以下詳列記憶金屬在各行業內的應用。

工業

用於溫度自動調節器和報警器的控制元件、記錄筆的驅動裝置、電路連接器、各種熱敏元件和接線柱等。

航空

波音公司、奇異飛機發動機公司、古德里奇公司、美國國家航空航天局及全日本航空公司共同開發出
可變幾何雪佛龍，利用形狀記憶合金，降低了飛機發動機發出的噪音，並成功於波音 777-300ER 上應用。

管道

形狀記憶合金首次在消費品 / 商業上的應用，是用作管道鋪設時的形狀記憶耦合，例如：在石油管線、水管和其他類似的管道。管道的連接端會用液態氮來冷卻，使其收縮至更細小的形狀；待兩端接合後，再加熱令其回復原狀，使兩端緊貼在一起不能分開。

發電

形狀記憶合金的概念在近期內已經開始被科學家嘗試使用於發電上 [可再生能源] , 
其中心理論的基礎參考記憶合金遇熱回復原狀的原理，以溫度高低的轉換，來刺激記憶金屬的形狀產生變化，最終利用其變化時所產生的動力來轉動馬達並造成電磁效應產生電力。



至今為止發現的記憶合金體系

Au-Cd、Ag-Cd、Cu-Zn、Cu-Zn-Al、Cu-Zn-Sn、Cu-Zn-Si、Cu-Sn、Cu-Zn-Ga、In-Ti、Au-Cu-Zn、Ni-Al、Fe-Pt、Ti-Ni、Ti-Ni-Pd、Ti-Nb、U-Nb 和 Fe-Mn-Si 等。



參考資料


* 《十萬個為什麼》
形狀記憶聚合物（Shape Memory Polymer，簡稱 SMP），又稱為形狀記憶高分子，是一種聚合物的智能材料，是具有初始形狀的製品，在一定的條件下改變其初始條件並固定後，通過外界條件（如熱、 電、光、化學感應等）的刺激又可恢復其初始形狀的高分子材料。
理型論（英語：theory of Forms, theory of Ideas），是西方哲學中的一種世界觀和理論，由柏拉圖提出，近現代學者依據理解不同將其歸類於本體論或知識論的範疇。所謂「理型」或稱「理念」（Form, Ideas）可直譯爲「可見形態」、「外貌」（參見下文中詞源一節），在柏拉圖的理論中指代一種超出自然現象與時間的絕對、不可移存在，而自然存在的物質不過是理型的「近似物」而已。

根據該理論，理型被視作切實存在的實體，而就本體論的層面而言，理型同時也優於感官感受到的現實存在。舉例來說，「美麗本身」、「正義本身」、「圓本身」、「人類本身」之類的觀念，用理型論的視角看待，不僅只是人類感官知覺到的某種表象，更是客觀存在的超驗實體。所謂理型並不是感官的感受，而是切實存在的事物，除此之外，它們還是完美的、永恆的。理型是經由易變的感官所觀察到的事物原型，也是其得以存在的先決條件。

柏拉圖在對話錄中並未以本人的口吻論述理型，而是藉助了他筆下包括蘇格拉底在內的角色來探討理型的存在，認爲只有對理型的研究才能帶來知識。然而對於理型論的具體內容學界從未達成共識，而這一辯論至今仍在進行。



語源

「理型」一詞譯自古希臘語 εἶδος（_eîdos_）、ἰδέα（_idéa_），但在古希臘語中並非專門創造的哲學術語，而是日常語言的一部分，代表事物的「外貌」與「可見形態」。這兩個詞的語源都是動詞不定式 ἰδεῖν，代表「看」；來自原始印歐語詞根 _\*u(e)id-_ 「看、知」（同源詞包括拉丁語 videō）。然而，柏拉圖將這兩個詞的本來含義逆轉過來，將「可見形態」變成了無法在自然中看到的一種存在；如果說柏拉圖認爲人可以「看到」理型，那麼這種「看」並不是感官在物質世界中所見，而是一種靈魂的、精神的觀察。「以靈魂、精神觀察理型」這一思想在柏拉圖哲學中佔有中心地位。



理型（Form）

理型出現於柏拉圖對話錄與演講中，認為現實中的每個個物或性質都有其獨特的理型存在，舉例來說：「狗」有「狗理型」、山有「山理型」而「善」有「善理型」存在。萬物在本質上都是各種不同的理型，而人在現實中所看到「現象」（Phenomena）僅僅只是一種類似於理型的陰影；換句話說，現象只是在不同的情況下對於理型的描繪，而非事物的理型本身。理型也是事物的核心概念或稱本質，舉例來說：世界上有無數張桌子，而所有的桌子都共享桌子的「理型」作為其核心，當沒有理型時事物便不存在。

同時，相對於現實事物的易變、生滅，理型論中的理型是一種永恆、完美且無條件的存在，且存在於一個相對於現實世界的「理型世界」之中，當人的靈魂處在輪迴階段且尚未進入肉體前，就是存在於理型世界中了解現實中不同事物的理型（參見「回憶說」），當降生到人世間後才開始回憶、臨摹完美的理型。除此之外，理型亦為_非空間性_（aspatial）、_非時間性_（atemporal），亦即超出空間、超出時間，因為在柏拉圖世界中，理型並非被時間與空間所規範，因此沒有所謂時間意義上的的開始與終結，也沒有空間維度、方向與位置。相反地，理型提供了時間與空間本身存在的基礎，而在現實界之中，理型甚至超越物質與心靈。



註釋



引用



相關條目


* 地穴寓言

* 範例理論
形符，也稱作意符，指漢字形聲字的構成中，類屬形體及指明意義類別的部分，相對於「聲符」（形聲字的結構中表示讀音的部分）。形符往往也是字的部首；如「鯉」字的魚、「鵝」字的鳥。



形聲字

「形聲」，以許慎的定義是：「以事為名，取譬相成。」意思是依事物的類別，拿一個字作為形旁（意符），用讀音相同或相近的字比擬字音（聲符），組合而成形聲字。《說文》序：「依類象形，故謂之文。其後形聲相益，卽謂之字。」《古今通論》：「倉頡造書，形立謂之文，聲具謂之字。」

漢字主要以形符和聲符組合而成的形聲字為主（朱駿聲統計說文九千三百五十三文，內指事一百二十五，象形三百六十四，會意一千一百六十七，形聲七千六百九十七）。相同聲類的字彙，共用同一個聲符，但是也因為這樣的結構，經常容易混淆，所以形符則提供重要的暗示性，表示出形聲字的意義，(例如：估、姑，皆發古的音，分辨之處在於人字旁和女字旁的形符)。



形聲構字方式

形聲字的形符和聲符，在結構中的組合方式，有以下六種形式：


* 左形右聲：諆、詁、校、仲

* 左聲右形：期、胡、頭、頂

* 上形下聲：箕、罟、葵、宥

* 上聲下形：基、辜、盲、娑

* 內聲外形：圄、固、褒、衷

* 內形外聲：問、閩、辯、辨



形符的變形、省略、混淆

文字在時間流變下，產生變化，形符失去原有的樣貌，以至於難以辨認，主要有變形、省略和混同現象，可分三種：「形符變形」是指小篆變成漢隸，形體產生變化而喪失原貌；「形符省略」是指形符為維持漢字結構所做的調整方式，亦即《說文解字》的「省形」；「形符混同」是指現代常用形聲字因形體變形，而造成與其它部首混淆的現象。

由於上述的形符改變，以及文字字義本身隨時間轉變，並非所有的形符都能對應文字的意思。在現代中文裡，形符能有效表義的比率，為 83%－86% 之間；而形符總體表意率為 43%-44% 之間。例如愁 (內心情感)、慾 (心理需求)、恭 (由心所生的品德)，這三個字皆與「心」相關，但是要明確判斷是否和形符義有明確關係，就有困難。

而康熙字典中，何者為聲符，何者為形符，多有爭議。
《形上學》（希臘語：τὰ μετὰ τὰ φυσικά；拉丁語：Metaphysica）是希臘哲學家亞里斯多德的主要著作之一，他在其中發展了他有時稱為智慧的法則，該法則有時稱作第一哲學，有稱作神學。 它是西方哲學分支即形上學的首批主要著作之一。

它是處理抽象主題的各種文本的彙編，特別是存在、各種因果關係、形式和物質、數學對象的存在和宇宙。



外部連結


* Available bundled with Organon and other works – can be downloaded as .epub, .mobi and other formats.

* English translation （頁面存檔備份，存於網際網路檔案館） and original Greek （頁面存檔備份，存於網際網路檔案館） at Perseus. Translation by Hugh Tredennick from the Loeb Classical Library.

* English translation （頁面存檔備份，存於網際網路檔案館） by W. D. Ross at MIT's Internet Classics Archive.

* Averroes' commentary （頁面存檔備份，存於網際網路檔案館） on the _Metaphysics_, in Latin, together with the 'old' (Arabic) and new translation based on William of Moerbeke at Gallica.

* Aristotle: Metaphysics （頁面存檔備份，存於網際網路檔案館） entry by Joe Sachs in the Internet Encyclopedia of Philosophy

* Cohen, S. Marc. Aristotle's Metaphysics. 扎爾塔，愛德華・N (編). 史丹佛哲學百科全書.

* A good summary of scholarly comments at: Theory and History of Ontology （頁面存檔備份，存於網際網路檔案館）

* LibriVox 中的公有領域有聲書《_Metaphysics_》
在機械工程學裏，形變（deformation）是物體由於外力作用而產生的形狀改變。這些外力可能是拉力、推力、剪力、彎力或扭力等，進而造成伸張、壓縮、凹陷、凸起、切變、彎曲、扭轉等形變。形變常用應變來描述。

如右圖可見，壓縮負載造成了圓筒的形變，原本的形狀（虛線）已經改變（形變），圓筒的側面凸出。圓筒雖然沒有裂開或敗壞，但其強度並不足以在負載下保持形狀不變，因此側面凸漲出來。

形變可能是暫時性的，就像放鬆的彈簧會回到原來的長度；形變也可能是永久性的，當物體不可逆地彎曲時便為永久形變。若過了一定的限度則不能恢復原狀，這樣的形變叫做塑性形變，此限度稱作彈性限度。



形變種類

根據不同的材質、大小和施加的外力，可能會對其物體造成尺寸型態的變化。

塑性形變

在拉伸應力下的塑性形變，其特徵在於應變硬化區和頸縮區域，最後破裂。過程中，應變硬化材料通過原子位錯移動變得更強。頸縮階段是表示，由試樣的橫截面面積減少。達到強度極限後，開始縮口。頸縮過程中，該材料可以不再承受最大應力和試樣中的應變急劇增大。

這種類型變形是不可逆的。然而，在塑性形變範圍內的對象將首先發生彈性形變，這是可逆的，因此該對象將返回到原來的形狀的一部分的方式。軟的熱塑性塑料有一個相當大的塑​性變形範圍韌性金屬，如銅，銀，黃金，鋼鐵，鈦，但不是鑄鐵。硬熱固性塑料，橡膠，水晶，陶瓷具有最小的塑性形變範圍。

彈性形變

物體受外力變形，如果在彈性限度以內，則外力去除後，就會恢復原狀。這種類型的變形是可逆的。一旦力不再作用，該對象將返回到原始的形狀。形狀記憶金屬（如鎳鈦諾、橡膠）表現出大的彈性形變範圍內。然而，在這些材料是非線性的彈性。普通的金屬，陶瓷和大多數晶體為線性的彈性和一個較小的彈性範圍內。

虎克定律是一個物理原理指出的力量 F 需要擴展或壓縮彈簧一段距離，x 是距離成正比，k 是一個常數，F/x。即，

F = kx

線性彈性形變可參考虎克定律。



金屬疲勞

金屬疲勞，尤其是在飛機出現故障的一個重要原因，如德哈維蘭彗星事故的過程中得到很好的了解。有兩種方法來確定何時一部分是金屬疲勞的危險；預測會發生故障時，由於材料 / 力 / 形狀 / 迭代組合，並取代脆弱的材料，在此之前發生，或者進行檢查，以檢測微觀裂縫和進行更換，一旦他們發生。材料不是在產品壽命的金屬疲勞可能遭受的選擇是最好的解決方案，但並不總是可能的。通過減少應力集中，避免帶尖角的形狀限制了金屬疲勞，但並不能消除它。
形象相對於「實體」，是實體經由人的思想而衍生出的有形或可見的表現。

形象通常是人們對某種事物的整體印象，它可能是指：


* 個人形象

* 企業形象

* 雇主形象

* 品牌形象
代言人（Product Endorser、Advertising Endorser），代替某方面發表言論的人。
也是指代表某一特定品牌、產品或服務，發表官方言論的人。 發言的目標是要達到正面的效果，例如令傳媒的觀眾對其代言的企業產生好感，投其信任的一票，或購買服務及商品等。

邀請代言人有時是廣告或公關宣傳方法的一種，目前很多產品都喜歡邀請明星擔任代言人，令該產品更容易被公眾接受，以及在芸芸同類產品中更為突出。



產品代言

與廠商的關係


* 產品代言是一種廣告行為，代言的合約期間內，不得公開使用或宣傳其他廠商的同質性產品…… 等，損及產品 利益的行為。

* 代言期間，因代言行為所衍生的廣告影片，所有權歸廠商所有。如無在代言合約中另行註明廣告影片使用期限外，廠商可在代言合約逾期後，繼續使用其廣告影片，而不必再支付原本代言人任何費用。

* 代言費屬於表演人的活動所得，與執行業務所得，應繳納所得稅。

與消費者的關係


* 如廣告不實，因而對於消費者權益造成危害者，有些國家的消費者保護法律規定代言人需負連帶責任，情節重大者可能涉及詐欺或商業詐欺。



相關條目


* 證言法

* 宣傳模特兒

* 發言人

* 虛擬代言人
形象思維論是中華人民共和國初期至文革結束後文藝理論界一個在學術和政治上有爭議的文藝理論。



提出

1950 年代，中華人民共和國文藝理論界自蘇聯引進了「形象思維論」，該理論由別林斯基創造、尼古拉耶娃發展。當時周揚是中華人民共和國文藝理論界的權威，且是主管文藝工作的中共中央宣傳部副部長。在周揚支持下，「形象思維論」成為中華人民共和國文藝理論的金科玉律，這種理論認為人認識現實有兩種思維方式：形象思維、抽象思維，藝術家主要運用形象思維，科學家主要運用抽象思維。

1956 年，《新建設》5 月號發表了霍松林的長篇論文《試論形象思維》，這是中國國內首篇專題論述形象思維的理論文章，引發強烈反響，開啟了關於形象思維的第一場學術爭論。

1960 年代，鄭季翹任中共吉林省委書記，分管文藝工作。鄭季翹認為，若藝術家有單獨的思維規律，那麼毛澤東在《實踐論》中所說的人類普遍的認識規律又將如何存在？1962 年 7 月，周揚來吉林省長春市視察，鄭季翹當面向周揚表達了自己的上述看法，希望周揚改變立場。周揚當時未表態，後來在遼寧省瀋陽市的一個座談會上講，「斯基」是不能隨便批判的。鄭季翹認為周揚講話里指就是他鄭季翹。於是鄭季翹在 1963 年 2 月寫成論文《應該堅持馬克思主義認識論 —— 關於文藝創作中形象思維論的批判》。按照中共的組織原則，鄭季翹給中共中央宣傳部領導陸定一、周揚、林默涵、許立群寫信並附此文，希望他們指正。中共中央宣傳部未作答覆。鄭季翹又向中共吉林省委第一書記吳德講述了自己的觀點，獲得吳德的支持。吳德在中共中央東北局書記處開會時講了該問題，獲得中共中央東北局第二書記歐陽欽支持。

1963 年底到 1964 年初，中共中央宣傳部舉行各大區宣傳部長會議，中共中央東北局宣傳部部長關山復問周揚對鄭季翹的上述文章有何意見。周揚表示，「季翹同志最好在肯定形象思維論的基礎上再去批判，然後可以在《新建設》雜誌上發表。」關山復將周揚的意見轉告給鄭季翹。鄭季翹認為周揚這是在壓制討論，自己這篇文章己無可能發表。1964 年夏，陳伯達來到長春，鄭季翹將此文給陳伯達看，陳伯達要鄭季翹修改並充實這篇文章，交給《紅旗》雜誌。很快《紅旗》編輯部打電話給鄭季翹說：「根據伯達的指示，編輯部向你約稿，望儘快寄來。」1964 年 10 月，鄭季翹修改了該文稿，在文中增加了「現代形象思維論是現代修正主義文藝思潮的先聲和基礎」這一論點，將問題升至政治問題的高度。1965 年 1 月，鄭季翹給《紅旗》編輯部打電話，詢問該文稿處理得如何，編輯部答覆稱：「稿子早已收到。按老夫子（指陳伯達）的意思是要發表的，但因中宣部方面有不同意見，所以沒有發表。」同時，鄭季翹又托吳德將該文稿交給彭真，試圖越過中共中央宣傳部，直接獲得中央領導的支持。經吳德等人支持，1964 年底，該文稿即 1963 年文章的第二稿在中共中央東北局政治研究室主辦的內部刊物《試筆初稿》發表，並作為密件下發給省以上宣傳幹部。

1965 年 8 月，陸定一來長春，鄭季翹前去探望。陸定一表示，「我路過瀋陽，強曉初同志把你寫的文章給我看了，我從來都是反對形象思維論的。」數日後，陸定一視察長春電影製片廠，在長春電影製片廠幹部會上說，「形象思維論是資產階級的，修正主義的。」

1965 年 10 月，周揚遵照陸定一的指示，在北京舉辦討論鄭季翹上述文章的座談會，周揚在會上當著鄭季翹的面自我批評說，「季翹同志對你不起，處理你的文章我有官僚主義。」

1965 年 1 月，鄭季翹又完成了這篇文章的第三稿即《文藝領域裡必須堅持馬克思主義的認識論 —— 對形象思維論的批判》。在《紅旗》發表之前，文章送毛澤東閱讀。1966 年 3 月 20 日，毛澤東在杭州中共中央政治局常委擴大會議上表揚了鄭季翹的文章。1966 年 4 月 5 日，《紅旗》第 5 期發表了鄭季翹的這篇文章。1966 年文革爆發前夕，毛澤東支持了一批文史哲領域內挑戰權威的文章，鄭季翹的文章只是其中一篇。文中點名批判以群、蔣孔陽、霍松林、李澤厚等人，並說「所謂形象思維論不是別的，正是一個反馬克思主義的認識論體系，正是現代修正主義文藝思想的一個認識論基礎」。《紅旗》發表後，《光明日報》隨即全文轉載此文。

1966 年 5 月，中共中央政治局擴大會議決定撤銷以彭真為首的「文化革命五人小組」，成立中央文革小組，組長為陳伯達，副組長為江青、張春橋等人。1966 年 5 月 28 日，向黨內公布了中央文革小組名單，並且通知六個中央局各派一人出任中央文革小組成員。中共中央東北局書記處開會決定派鄭季翹出任中央文革小組成員，並在 1966 年 6 月 3 日通知了鄭季翹。

1966 年 7 月下旬，鄭季翹參加了中央文革小組會議，獲毛澤東接見，列席了中共八屆十一中全會。陳伯達對鄭季翹說，中央文革小組缺人，希望鄭季翹留在北京任職。鄭季翹婉言謝絕了陳伯達的提議，返回吉林。後來鄭季翹和他人私下議論說「文化革命就是『易儲』」，「江青很傲慢，淨教訓人」，被江青得知，後來鄭季翹被中央文革小組除名。文革初期，鄭季翹受到衝擊，後作為老幹部被結合進吉林省革命委員會，在當政期間支持過電影《創業》的拍攝，受到吉林省一把手排擠。

1977 年 12 月，《毛主席給陳毅同志談詩的一封信》在《詩刊》1978 年 1 月號公開發表，並在《人民日報》1977 年 12 月 31 日第一版轉載。此信是毛澤東 1965 年 7 月 21 日寫給陳毅的，其中談到「又詩要用形象思維，不能如散文那樣直說，所以比、興兩法是不能不用的。…… 宋人多數不懂詩是要用形象思維的，一反唐人規律，所以味同嚼蠟。以上隨便談來，都是一些古典。要作今詩，則要用形象思維方法，反映階級鬥爭與生產鬥爭，古典絕不能要。」此信的發表引發全國文藝界人士關注。眾多作家、文藝理論家、各高校中文系教師在報刊上發表了許多批評鄭季翹觀點的文章，肯定了形象思維是文藝創作的主要思維方式，同時也沒人表示文藝創作需要排斥邏輯思維。這場關於形象思維論的爭論自 1978 年初開始，為時兩年多，有關文章彙編在哈爾濱師範學院中文系編的《形象思維資料彙編》（人民文學出版社，1980 年）以及復旦大學中文系編的《形象思維問題參考資料》（一、二冊，上海文藝出版社，1978 年）。

在這場爭論中，文藝理論界有人將鄭季翹的文章和江青的「文藝黑線專政論」綁在一起批判，並且懷疑鄭季翹出任中央文革小組成員是因受江青賞識。這時，原中共中央東北局第一書記宋任窮向中央領導匯報稱，鄭季翹參加中央文革小組是由原中共中央東北局書記處決定的，和江青無關。1978 年 5 月，鄭季翹被任命為全國人大常委會副秘書長。

1979 年《文藝研究》第 1 期發表了鄭季翹《必須用馬克思主義認識論解釋文藝創作》一文，為自己的觀點進行辯護。陝西師範大學的霍松林隨即應《陝西師範大學學報》主編謝振中的邀請，在該學報 1979 年第 4 期上發表《重談形象思維 —— 與鄭季翹同志商榷》，引發文藝理論界反響。

周揚從秦城監獄釋放後獲得平反，1978 年 9 月出任中國社會科學院副院長。周揚上任不久，便找到錢鍾書，托錢鍾書編輯出版《外國理論家作家論形象思維》一書。為編輯此書，錢鍾書讓妻子楊絳擔任助手，其他助手還有中國社會科學院外國文學研究所的幾位成員。書中內容大部由錢鍾書、楊絳翻譯，部分請柳鳴九、劉若瑞翻譯、錢鍾書、楊絳校訂，另選錄朱光潛等人翻譯的其他一些文獻。1979 年 1 月，該書由中國社會科學出版社出版，獲得很大反響。周揚對這本書很滿意。



參考文獻
形象測定，社會學和市場調研常用的測定某標的物的在被測者心目中的形象的手段和方法。



形象測定的主要方法

Likert 度量

Rensis Likert 發明，又稱李克特量表，對標的物的某性質，主觀地在「很好」「好」「中等」「較差」「很差」這一類的分度上進行選擇打勾。

語義差分

Charles E. Osgood 於 1957 年發明，1966 年 Hofstätter 予以改進。在兩個對立的概念間進行多層次的兩極化評級打分。

比喻度量

形象差分

Fishbein 方法

Fishbein 發明，態度是對某標的物屬性的主觀感知（認知成分）和其評價（情感成分）的結果。基於 Likert 度量，並對不同的屬性和打分進行加權加總，得出標的物的形象分值。