zetavg/zh-tw-wikipedia huggingface dataset:
实必丹县

**實必丹縣**（馬來語：Daerah Sipitang）是馬來西亞沙巴州內陸省的一個縣，縣府為實必丹。

## 歷史

## 地理

## 人口分布

根據 2010 年人口普查統計，實必丹縣人口約 34,862 人。縣內土著主要包括卡達央人、姆魯人、倫巴旺族、汶萊馬來人等。

 

## 圖片集

* * * * * *

## 參見

* 馬來西亞縣份

## 參考

## 外部連結

* 實必丹縣署（頁面存檔備份，存於網際網路檔案館）
实打石酒

**實打石酒**是河北省石家莊市井陘縣威州鎮出產的一種白酒，源於當地人趙議於清朝中期僱人設廠，成立的「青天龍」燒鍋，至光緒初年傳至趙萬成時，他開始自任酒師，自此之後燒鍋酒師均為趙家人，釀酒技術遂成為趙家莊村秘籍，但後因時局變遷和乾旱，酒坊逐漸衰落。1950 年後酒坊被國有化，後數度改制、易名。趙氏幾代人均供職酒廠，但文化大革命時酒廠解散。改革開放後，趙氏後人於 1997 年成立私企酒廠，以祖傳技藝恢復了實打石酒。實打石酒乃以高粱、小麥、玉米、大米、豌豆為主料，經傳統釀造技藝釀成的兼香型白酒。

## 參考文獻
实拉兰

**實拉蘭**（馬來語：Selalang）是砂拉越泗里街省泗里街縣里的一個小村鎮。實拉蘭位於**麗木河**（馬來語：Sungai Limut）邊，乘船一直沿著河往西走就會到達南中國海。魚鱗甲是距離實拉蘭最近的村落。從實拉蘭乘車到泗里街鎮有 35 公里，而實拉卓鎮則是 40 公里。

村民大多從事農業種植及漁業，有一部分到村裡的一家膠合板廠工作。村鎮裡有一間小型診所，有兩名醫護人員服務。村里只有一所國民型小學，學生需要到約 26 公里外的政府中學繼續接受中等教育。。

## 參考文獻
实拉卓县

**砂拉卓縣**（_英語：Saratok District 馬來語：Daerah Saratok_）是砂拉越木中省下轄的其中一個縣，人口約 4 萬（2010 年人口普查）。

**華人領袖**

首任甲必丹為王和山．

1938 年起，第二任甲必丹林亞蝦．

1948-1959 年，第三任甲必丹王宇宙．

1959-1973 年，第四任甲必丹王水生．

1976-1988 年，楊添盛出任天猛公．

1992-1994 年，顏建良出任本固魯．

1994 年，顏建良升任邦曼查．

1995 年，許富仁出任砂拉卓市鎮甲必丹．

1995 年開始，鄭福才出任砂拉卓郊區甲必丹．

直至 2012 年的現任甲必丹，包括顏應琦，鄭福才．本固魯則是陳育義．

砂拉卓縣轄下的荷萬副縣，楊泰美為邦曼查．

## 行政區劃

實拉卓總面積 1,686.86 平方公里，下轄四三個副縣：荷萬副縣（Roban Sub-district）、甲望副縣（Kabong Sub-district）和布都副縣（Budu Sub-district）。

## 參考文獻
实数域的序

**戴德金分割**是數學中對於全序集的操作。對於給定的全序集 $A$ 及其中某個元素 $x$ 而言，將 $A$ 分拆為兩個非空集合，使得兩者其一中所有元素（按照順序）均在 $x$ 之前、另一真子集中所有元素均在 $x$ 之後。

常見的是對於全體有理數的操作，即 $A=\mathbb {Q} $ 。對於有理數 $x$ ，將有理數集合分拆為兩個非空集合 $A$ 和 $A'$ ，若 $A$ 和 $A'$ 滿足條件：

 1. $\forall a\in \mathbb {Q} $ ，關係式 $a\in A$ 和 $a\in A'$ 必有且只有一個成立。
2. $\forall a\in A$ ， $\forall a'\in A'$ ，必有 $a<a'$ ，並且 $a\leq x$ 和 $x\leq a'$ 兩者在不同時取等號時均成立。

則稱這樣的分拆為有理數的一個戴德金分割，記為 $A|A'$ 。其中集合 $A$ 稱為戴德金分割的**下組**，集合 $A'$ 稱為戴德金分割的**上組**。

## 分類

根據戴德金分割中 $A$ 和 $A'$ 是否有最大數、最小數，可以將戴德金分割分為三種類型：

 1. $A$ 中有最大數， $A'$ 中無最小數
2. $A$ 中無最大數， $A'$ 中有最小數
3. $A$ 中無最大數， $A'$ 中無最小數

可以證明，「 $A$ 中有最大數， $A'$ 中有最小數」的情況並不存在。證明如下：

如果 $A$ 有最大數 $a$ ， $A'$ 有最小數 $b$ ，則根據分割的定義可知 $a<b$ 。但是 $(a+b)/2$ 顯然也是有理數，並且 $a<(a+b)/2<b$ ，因此 $(a+b)/2$ 既不在 $A$ 中，也不在 $A'$ 中，這就與 $A\cup A'$ 是全體有理數矛盾。

第三種情況揭示了在有理數域中存在這樣的一種「空隙」（ $A$ 和 $A'$ 之間的**界數**），這個「空隙」所對應的數既不屬於 $A$ ，也不屬於 $A'$ ，因此它不是有理數，它所對應的數就是無理數，因此說第 3 種情況的戴德金分割定義了一個無理數。

作為一個直觀的理解，我們可以把上面三種分化分別看成 $(-\infty ,d]\cup (d,+\infty )$ 、 $(-\infty ,d)\cup [d,+\infty )$ 和 $(-\infty ,d)\cup (d,+\infty )$ ，而「 $A$ 中有最大數、 $A'$ 中有最小數」的情況就是 $(-\infty ,d]\cap [d,+\infty )$ ，中間的分割點 d 同時（不合法地）屬於兩邊集合。

## 例子

1. 將所有小於或等於 0 的有理數劃分為集合 $A$ ，將所有餘下的有理數（即大於 0 的有理數）劃分為集合 $A'$ ，則 $A|A'$ 是一個戴德金分割，並屬於上述分類中的第 1 種情形。
2. 將所有小於 0 的有理數劃分為集合 $A$ ，將所有餘下的有理數（即大於或等於 0 的有理數）劃分為集合 $A'$ ，則 $A|A'$ 是一個戴德金分割，並屬於上述分類中的第 2 種情形。
3. 將所有小於或等於 0、其平方小於或等於 3 的正有理數（即滿足 $\forall a\in \mathbb {Q} ,a\leq 0,a^{2}\leq 3$ 的數）劃分到集合 $A$ ，將餘下的有理數（即其平方大於 3 的正有理數）劃分到集合 $A'$ ，則 $A|A'$ 是一個戴德金分割，並屬於上述分類中的第 3 種情形，此時戴德金分割 $A|A'$ 定義了無理數 ${\sqrt[{}]{3}}$ 。

## 定義大小

假設無理數 $\alpha $ 由分劃 $A|A'$ 所確定，無理數 $\beta $ 由分劃 $B|B'$ 所確定，則

1. 若集合 $A=B$ 或 $A'=B'$ ，則稱無理數 $\alpha $ 與 $\beta $ 相等，記為 $\alpha =\beta $ 。
2. 若集合 $A\supset B$ （ $A\neq B$ ），則稱無理數 $\alpha $ 大於 $\beta $ ，記為 $\alpha >\beta $ 。

無理數**小於**（ $<$ ）的概念可由**大於**（ $>$ ）的概念定義，即 $\beta <\alpha $ 若且唯若 $\alpha >\beta $ 。如此得到實數系的大小關係，其性質有：

1. 任意實數 $\alpha ,\beta $ ，必有且只有下列關係式之一成立： $\alpha =\beta ,\alpha >\beta ,\alpha <\beta $ 。
2. 遞移性：若實數 $\alpha >\beta ,\beta >\gamma $ ，則 $\alpha >\gamma $ 。對於**小於**（ $<$ ）的情形，遞移性同樣成立。

所以該大小關係是全序關係。

## 參閱

* 無理數
* 實數的構造

## 參考文獻

* 菲赫金哥爾茨；楊弢亮 譯；葉彥謙 譯；郭思旭 校。微积分学教程（第一卷） 第 8 版。高等教育出版社. : 5–6. ISBN 5-9221-0436-5.
实数完备性

直觀上，**實數完備性**意味著實數軸上（以理察・戴德金的說法）沒有「間隙」。這是實數區別於有理數的特點，有理數在數軸上是有間隙的，即無理數。在十進位計數法下，實數的完備性等價於：實數與一個十進位小數表示一一對應。

實數的完備性公理有一組等價命題，完備性的定義方式與實數的構造方式相關。在確立其中之一為公理後，其餘皆為完備性公理的等價定理。

## 等價命題

實數完備性可以用以下任意一個等價定理作為出發點。以下從**最小上界定理**出發，來證明其他等價命題。

#### 最小上界性

又稱為**上確界定理**（Theorem of **L**east-**U**pper-**B**ound, 簡稱 **LUB**），也就是

也就是說，實數非空子集有上界，則它有最小上界。其證明請參見實數的構造。

#### 柯西收斂準則

設 $\{s_{n}\}_{n\in \mathbb {N} }$ 是實數柯西序列。設 S 為這樣一個集合，其中每個實數只大於序列 $\{s_{n}\}_{n\in \mathbb {N} }$ 中的_有限個_成員。 $\forall \varepsilon \in \mathbb {R} ^{+}$ ，設 $N\in \mathbb {N} ^{+}$ 使得 $\forall n,m\geq N$ ， $|s_{n}-s_{m}|<\varepsilon $ 。於是這個序列在區間 $(s_{N}-\varepsilon ,s_{N}+\varepsilon )$ 裡出現無限多次，而且只在它的補集裡最多出現_有限次_。這意味著 $s_{N}-\varepsilon \in $ S， 因此 S $\not =\emptyset $ 。另外 $s_{N}+\varepsilon $ 是 S 的上界。於是通過 LUB 公理，可以設 b 是 _S_ 的最小上界，而且 $s_{N}-\varepsilon \leq b\leq s_{N}+\varepsilon $ 。由三角不等式，當 _n_>_N_ 時成立時 $d(s_{n},b)\leq d(s_{n},s_{N})+d(s_{N},b)\leq \varepsilon +\varepsilon =2\varepsilon $ 。所以 $s_{n}\longrightarrow b$ 。

滿足柯西收斂準則的度量空間稱為完備空間，若取函數 $d$ 為

　
: $d=\left\{(a,\,b){\bigg |}(a,\,b\in \mathbb {R} )\wedge (b=|a|)\right\}$

可以驗證 $(\mathbb {R} ,\,d)$ 為一度量空間，這樣本節的結果也可以重新敘述為「實數系 $\mathbb {R} $ 有**最小上界定理**等價於 $(\mathbb {R} ,\,d)$ 為**完備空間**。」

#### 區間套原理

定理聲稱對於任一的有界閉區間套 _I_n（例如 _I_n = [_a_n, _b_n]並滿足 _a_n ≤ _b_n），它們的交集 _I_n 非空，且為閉區間 $[\lim _{n\to \infty }a_{n},\lim _{n\to \infty }b_{n}]$ ；特別地，假若 $\lim _{n\rightarrow \infty }a_{n}-b_{n}=0$ ，則它們的交集 _J_ 為一個包含且僅包含 $\lim _{n\rightarrow \infty }a_{n}$ 的單點集。

#### 單調有界定理

如果 _ak_ 是一個單調的實數序列（例如 _ak_ ≤ _a_k+1），則這個序列具有有限極限，若且唯若序列是有界的。證明可以通過利用 LUB 公理來完成。

#### 聚點定理

**波爾查諾 - 魏爾施特拉斯定理**（英語：**Bolzano–Weierstrass theorem**）說明， $\mathbb {R} $ 中的一個子集 $E$ 是序列緊緻（每個序列都有收斂子序列）若且唯若 $E$ 是有界閉集。更一般地，這個定理對有限維實向量空間 $\mathbb {R} ^{n}$ 亦有效。

## 參考資料

* Upper and Lower Bounds (including the lub axiom)，Springer's Encyclopedia of Mathematics（頁面存檔備份，存於網際網路檔案館）
* Apostol, Tom M. "Mathematical analysis." (1964).
实数线

數學上，**實數軸**就是實數的集合 **R**。然而，這一術語通常在 **R** 被當作某種_空間_（諸如拓撲空間，向量空間）的時候使用。儘管至少早在古希臘時代，人們就開始研究實數線，但直到 1872 年，它才被嚴格地定義。而自始至終，它一直是在數學的許多分支中扮演重要角色的實例。

## 定義

實數線具有一個標準拓撲，它可以通過兩種等價的方法引入。

* 第一，實數滿足全序關係，它們具有序拓撲。
* 第二，實數能夠通過絕對值 $d(x,y):=|y-x|$ 的度量轉換到度量空間。這一度量給出 **R** 上等價於序拓撲的拓撲。

## 應用

* 作為拓撲空間，實數線是個 1 維的拓撲流形。

它既是可縮空間、局部緊緻空間，也是仿緊緻空間、第二可數空間。
它還具有標準可微結構，使它成為可微流形。
（由於可微同構，該拓撲空間只支持一個可微結構。）
事實上，**R** 是歷史上研究這些數學結構的第一個實例，它啟示了現代數學這些分支。
（實際上，上述這些術語中的其中一些在沒有 **R** 的情況下甚至不能被定義。）

* 作為向量空間，實數線是實數域 **R**（即其自身）上的 1 維向量空間

它具有標準內積，使它成為歐幾里得空間。
（這個內積就是普通的實數的乘法。）
作為向量空間，它並不引起注意。實際上是 2 維歐幾里得空間首先被作為向量空間進行研究的。
然而，仍然可以說，由於向量空間首先是在 **R** 上進行研究的，它啟示了線性代數。

* **R** 也是環，甚至是域的主要實例。

實數完備域實際上是第一個被研究的域，所以它也啟示了抽象代數。
然而，在純代數文獻中，**R** 幾乎不被稱為「線」。

更多信息，請參見實數。

## 相關條目

* 擴展實數線

## 參考文獻
实文然

**實文然縣**（_英語：Simunjan District 馬來語：Daerah Simunjan_）是砂拉越三馬拉漢省下轄的一個縣，人口約有 3.9 萬（2010 數據）。

## 地理

實文然縣大多是丘陵地勢。在內陸區則是沼澤地，而沿海及沿河一帶是低洼土地。**沙隆河**（Sungai Sadong）是縣裡的主要河流。實文然縣北面是南中國海，南面則與西連縣為界，詩里阿曼省在其東面。

## 歷史

早在 20 世紀前，實文然縣就已經存在了。當時**實文然縣**，**日廊**，**西邦岸**和**本南**，這些地區都屬於**沙隆縣**的管轄，而詩巫遙副縣是歸三馬拉漢省（成邦江省）。1986 年 7 月 24 日，三馬拉漢省成立後，實文然縣便成為了其下轄的縣，同時日廊和西邦岸便下轄於實文然縣，而本南縣則下轄於雅沙再也縣。 
在 20 世紀 60 年代時，開採煤礦曾在實文然縣裡的**義利山**（Gunung Ngeli）進行。實文然縣也因為此而出名，但如今開採煤礦以在縣裡停止。

## 傳說

傳說，實文然縣裡的一位抗日的馬來英雄，而只有少數的縣裡先民知道他，他名叫「Allahyarham Pak Japid」，人們都叫他**再比伯**（Pak Japid）。據說，當時在整個地方上，只有他有一艘較大的船，所以日本士兵便向他借。由於他不能忍受日本士兵對村民的行為，最終他起義反抗，也不把船借給日本士兵。因為他的英勇反抗，最終被日本軍砍死在實文然河邊。他的身體被士兵砍了很多次但就是不見一個傷口。正因如此，日本士兵便直接把他活活埋葬。據說再比伯喊了求救七天七夜，但是最終還是死去了。村民為了紀念他，便把他埋葬到了現今的實文然鎮。

　
: 實文然名的由來有兩個故事：

1. 相傳，實文然縣名是取自於一位華人商人的到來。當時，有個華商乘著一艘帆船，帶著菸草和鹽來到了實文然這地區。那商人便把船靠岸在實文然河對岸，然後下船休息，同時也把他的帶來的菸草拿出來曬乾。但奇怪的是當時是陰天，對岸的馬來人村民看了覺得很好笑，便向那商人說到：「Semunlah Jan kau itu.」, 意思是你的菸草都濕了。「Semun」在砂拉越馬來語是濕的意思，而當時馬來人認為菸草在中文是念「Jan」。從此，村民便把那個地方名為實文然（Simunjan）。
2. 在過去，實文然早期的居民多數是來自對岸的**恩森義**（Ensengei）而許多居民都是在煤礦里工作。當時那個地區常常下雨，而每當要用火柴點燃煤炭時，火柴就會被淋得很濕。而恰好當時那個地區還未被名命名，所以村民們便把馬來語裡的「semun」和「hujan」合併，把那地方命民為實文然（Simunjan）。「hujan」是下雨的意思，而在砂拉越馬來語，「semun」是濕的意思。

## 行政區劃

實文然縣總面積有 2,006.5 平方公里，擁有一個副縣：詩巫遙副縣（Sebuyau Sub-District）。縣裡有 4 個主要小鎮：實文然（Simunjan）、日廊（Gedong）, 西邦岸（Sebangan）和詩巫遙（Sebuyau）。

## 參考文獻
实施税收协定相关措施以防止税基侵蚀和利润转移的多边公约

**實施稅收協定相關措施以防止稅基侵蝕和利潤轉移的多邊公約**（英語：Multilateral Convention to Implement Tax Treaty Related Measures to Prevent Base Erosion and Profit Shifting），是 2016 年經濟合作與發展組織制訂的國際公約。公約訂於法國巴黎，於 2018 年 7 月 1 日生效，保存人是經合組織秘書長。

## 背景

各締約國考慮到激進的國際稅收籌劃人為將利潤轉移至免稅或低稅地區，導致了政府公司稅收的大量流失；意識到稅基侵蝕和利潤轉移（BEPS）問題對於工業化國家、新興經濟體和開發中國家都已迫在眉睫；認識到有必要建立一個有效機制，以同步、高效地在現有避免雙重徵稅協定網絡中作出已達成共識的修改，無需逐一開展雙邊談判修訂協定，制訂公約各條款。

## 內容

公約對稅收透明體，雙重居民實體，消除雙重徵稅方法的適用，被涵蓋稅收協定的目的，防止協定濫用，享受股息低檔稅率的條件，轉讓其價值主要來自於不動產的實體的股權或權益取得的財產收益，針對位於第三方管轄區的常設機構的反濫用規定，稅收協定對居民國徵稅權的限制，和規避常設機構構成等作了規定。

## 參考文獻
实时

**實時**可參考：

* 實時系統，它應對時間性的事件或信號。這些系統包括：
  * 實時計算，研究的電腦系統受到實時約束
  * 實時操作系統，多任務操作系統為實時應用
  * 實時圖像運算，生產和分析的實時圖像
  * 實時磁盤加密，加密的數據，因為它的寫入磁碟。也被稱為「即時加密」（OTFE）
  * 實時 Java，技術開發的實時系統中的 Java 程式語言
  * 實時傳輸協議
  * 實時串流協議及實時控制協議，在網路中傳輸串流資料的協議。
  * 實時保護，由電腦安全系統進行的自動保護
  * 實時 (影視)（或稱「真實時境」），指影視作品的一種敘述方式，劇情進行的時間等同於真實經過的時間。
* 實時時鐘，一個可計算準確時間的電子計時器

## 參見

* 時間
实时传输协议

**即時傳輸協定**（**Real-time Transport Protocol** 或簡寫 **RTP**）是一個網路傳輸協定，它是由 IETF 的多媒體傳輸工作小組 1996 年在 RFC 1889 中公布的。

國際電信聯盟 ITU-T 也發布了自己的 RTP 文件，作為 H.225.0，但是後來當 IETF 發布了關於它的穩定的標準 RFC 後就被取消了。它作為網際網路標準在 RFC 3550（該文件的舊版本是 RFC 1889）有詳細說明。RFC 3551（STD 65，舊版本是 RFC 1890）詳細描述了使用最小控制的音訊和影片會議。

RTP 協定詳細說明了在網際網路上傳遞音訊和影片的標準封包格式。它一開始被設計為一個多播協定，但後來被用在很多單播應用中。RTP 協定常用於串流媒體系統（配合 RTSP 協定），影片會議和一鍵通（Push to Talk）系統（配合 H.323 或 SIP），使它成為 IP 電話產業的技術基礎。

RTP 協定和 RTP 控制協定 RTCP 一起使用，傳輸層協定主要建立在 UDP 協定上。

## 影格結構

* **Ver**.（2 bits）：目前協定的版本號碼，目前版號是 2
* **P**（1 bit）：用於 RTP 封包（packet）結束點的預留空間，視封包是否需要多餘的填塞空間
* **X**（1 bit）：否在使用延伸空間於封包之中
* **CC**（4 bits）：包含了 CSRC 數目用於修正標頭（fixed header）
* **M**（1 bit）：是用於應用等級以及其原型（profile）的定義。如果不為零表示目前的資料有特別的程式解譯
* **PT**（7 bits）：是指 payload 的格式並決定將如何去由應用程式加以解譯
* **Sequence Number**: 序列號
* **TimeStamp** （32bit）：產生 payload 的時間戳
* **SSRC：**同步源

## 相關協定

* RFC 3550: RTP: A Transport Protocol for Real-Time Applications
* RFC 5506: Support for Reduced-Size Real-Time Transport Control Protocol (RTCP): Opportunities and Consequences
* RFC 5761: Multiplexing RTP Data and Control Packets on a Single Port
* RFC 6051: Rapid Synchronisation of RTP Flows
* RFC 7022: Guidelines for Choosing RTP Control Protocol (RTCP) Canonical Names (CNAMEs)

## 參見

* Real time control protocol（RTCP）
* Real Time Streaming Protocol (RTSP)
* Secure Real-time Transport Protocol
* Stream Control Transmission Protocol
* ZRTP
* Real time communications

## 參考書目

* RTP: Audio and Video for the Internet by Colin Perkins, ISBN 0672322498
实时传输控制协议

**實時傳輸控制協議**（Real-time Transport Control Protocol 或 RTP Control Protocol 或簡寫 **RTCP**）是實時傳輸協議（RTP）的一個姐妹協議。RTCP 由 RFC 3550 定義（取代作廢的 RFC 1889）。RTP 使用一個 偶數 UDP port ；而 RTCP 則使用 RTP 的下一個 port，也就是一個奇數 port。

RTCP 為 RTP 媒體流提供信道外（out-of-band）控制。RTCP 本身並不傳輸數據，但和 RTP 一起協作將多媒體數據打包和發送。RTCP 定期在流多媒體會話參加者之間傳輸控制數據。RTCP 的主要功能是為 RTP 所提供的服務質量（Quality of Service）提供反饋。

RTCP 收集相關媒體連接的統計信息，例如：傳輸字節數，傳輸分組數，丟失分組數，jitter，單向和雙向網絡延遲等等，網絡應用程式即可利用 RTCP 的統計信息來控制傳輸的品質，比如當網路頻寬高負載時限制信息流量或改用壓縮比較小的編解碼器。

RTCP 本身不提供數據加密或身份認證。SRTCP 可以用於此類用途。
实时保护

**防毒軟體**（英語：**antivirus software**）使用於偵測、移除電腦病毒、電腦蠕蟲、和特洛伊木馬程式。防毒軟體通常含有即時程式監控辨識、惡意程式掃描和清除和自動更新病毒資料庫等功能，有的防毒軟體附加損害恢復等功能，是電腦防禦系統（包含防毒軟體，防火牆，特洛伊木馬程式和其他惡意軟體的防護及刪除程式，入侵防禦系統等）的重要組成。

## 原理

防毒軟體所賦予的任務是隨時監控電腦程式的舉動、及掃瞄系統是否含有病毒等惡意程式。部分防毒軟體可經由作業系統啟動後隨常駐程式啟動。防毒軟體對於即時監控的技術不盡相同。有的防毒軟體，會利用部分空間，使正在進行的程式特徵與病毒資料庫比較，以判斷是否為惡意程式。另一些防毒軟體會利用一些空間，類比系統或使用者所允許動作，使受測程式執行內部程式碼的要求，根據程式的動作即可判斷是否為病毒。

而掃描硬碟的方式，則和上面提到的即時監控的第一種執行程式一樣，只是在這裡，防毒軟體會根據使用者的需求（掃描的定義範圍）做一次檢查。

另外，防毒軟體更涉及更多掃描技術：

* 掃描壓縮檔技術：即是對壓縮檔案和封裝檔案作分析檢查的技術。
* 程式竄改防護：即是避免惡意程式藉由刪除防毒偵測程式而大肆破壞電腦。
* 修復技術：即是對惡意程式所損壞的檔案進行還原
* 急救盤防毒：利用空白 USB 隨身碟製作急救啟動磁碟，來檢測電腦病毒。
* 智慧型掃描：掃描最常用的磁碟，系統關鍵位置，耗時較短。
* 全盤掃描：掃描電腦全部磁碟，耗時較長。
* 勒索軟體防護：保護電腦中的檔案不被駭客惡意加密。
* 開機掃描：當電腦開機時自動進行掃描，可以掃描壓縮文件和可能不需要的程式。

防毒軟體就是一個資訊分析的系統，它監視所有的資料流動（包括：記憶體－硬碟網路－記憶體網路－硬碟），當它發現某些資訊被感染後，就會清除其中的病毒。資訊的分析（或掃描）方式取決於其來源，防毒軟體在監視光碟機、電子郵件或區域網路間資料移動時工作方式是不同的。

防毒軟體的監視位置：

* 記憶體監視：當發現記憶體中存在病毒的時候，就會主動報警；監視所有行程；監視讀取到記憶體中的檔案；監視讀取到記憶體的網路資料。
* 檔案監視：當發現寫到磁碟上的檔案中存在病毒，或者是被病毒感染，就會主動報警。
* 郵件監視：當發現電子郵件的附件存在病毒時進行攔截。
* 網頁防護：阻止網路攻擊和不安全下載。
* 行為防護：提醒使用者可疑的應用程式行為。

## 基本功能

* 防範病毒：指根據系統特性，採取相應的系統安全措施預防病毒侵入電腦。
* 尋找病毒：指對於確定的環境，能夠準確地報出病毒名稱，該環境包括，記憶體、檔案、引導區（含主導區）、網路等。
* 清除病毒：指根據不同類型病毒對感染物件的修改，並按照病毒的感染特性所進行的恢復。該恢復過程不能破壞未被病毒修改的內容。感染物件包括：記憶體、引導區（含主引導區）、可執行檔、文件檔案、網路等。

## 核心模組：病毒掃描引擎

### 特徵碼掃描

* 機制：將掃描資訊與病毒資料庫（即所謂的「病毒特徵庫」）進行對照，如果資訊與其中的任何一個病毒特徵符合，防毒軟體就會判斷此檔案被病毒感染。防毒軟體在進行查殺的時候，會挑選檔案內部的一段或者幾段代碼來作為他辨識病毒的方式，這種代碼就叫做病毒的特徵碼；在病毒樣本中，抽取特徵代碼；抽取的代碼比較特殊，不大可能與普通正常程式碼吻合；抽取的代碼要有適當長度，一方面維持特徵代碼的唯一性，另一方面保證病毒掃描時候不要有太大的空間與時間的開銷。
* 特徵碼類別：1. 檔案特徵碼：對付病毒在檔案中的存在方式：單一檔案特徵碼、複合檔案特徵碼（通過多處特徵進行判斷）；2. 記憶體特徵碼：對付病毒在記憶體中的存在方式：單一記憶體特徵碼、複合記憶體特徵碼
* 優點：速度快，配備高效能的掃描引擎；準確率相對比較高，誤殺操作相對較少；很少需要使用者參與。
* 缺點：採用病毒特徵代碼法的檢測工具，面對不斷出現的新病毒，必須不斷更新病毒庫的版本，否則檢測工具便會老化，逐漸失去實用價值；病毒特徵代碼法對從未見過的新病毒，無法知道其特徵代碼，因而無法去檢測新病毒；病毒特徵碼如果沒有經過充分的檢驗，可能會出現誤報，資料誤刪，系統破壞，給使用者帶來麻煩。

### 檔案校驗和法

對檔案進行掃描後，可以將正常檔案的內容，計算其校驗和，將該校驗和寫入檔案中或寫入別的檔案中儲存；在檔案使用過程中，定期地或每次使用檔案前，檢查檔案現在內容算出的校驗和與原來儲存的校驗和是否一致，因而可以發現檔案是否感染病毒。

### 行程行為監測法 (沙盒模式)

* 機制：通過對病毒多年的觀察、研究，有一些行為是病毒的共同行為，而且比較特殊，在正常程式中，這些行為比較罕見。當程式執行時，監視其行程的各種行為，如果發現了病毒行為，立即報警。
* 優缺點：1. 優點：可發現未知病毒、可相當準確地預報未知的多數病毒； 2. 缺點：可能誤報警、不能辨識病毒名稱、有一定實現難度、需要更多的使用者參與判斷；

### 主動防禦技術

主動防禦並不需要病毒特徵碼支援，只要防毒軟體能分析並掃描到目標程式的行為，並根據預先設定的規則，判定是否應該進行清除操作
主動防禦本來想領先於病毒，讓防毒軟體自己變成安全工程師來分析病毒，從而達到以不變應萬變的境界。但是，電腦的智慧型總是在一系列的規則下誕生，而普通使用者的技術水平達不到專業分析病毒的水平，兩者之間的博弈將主動防禦推上一個尷尬境地。

### 機器學習辨識技術

機器學習辨識技術既可以做靜態樣本的二進位分析，又可以運用在沙箱動態行為分析當中，是為內容 / 行為 + 演算法模式。伴隨著深度學習的急速發展，各家廠商也開始嘗試運用深度學習技術來辨識病毒特徵，如瀚思科技的基於深度學習的二進位惡意樣本檢測 （頁面存檔備份，存於網際網路檔案館）

## EICAR 防毒測試檔案

EICAR 防毒測試檔案是歐洲反電腦病毒協會（**EICAR**）和電腦安全公司共同推出的用於測試病毒掃描引擎的測試檔案。它不會危害電腦的程式，而其特徵碼已被各家電腦安全公司所收錄。

## 防毒軟體評比

* AV-Comparatives
* AV-Test
* VB100

## 參見

* 防毒軟體列表
  * 防毒軟體比較
* 特徵碼
  * 電腦病毒特徵庫
  * 電腦病毒資料庫
* 沙盒 (**Sandbox**)
* 流行病毒清單組織 (**Wild List**)
  * 電腦病毒
  * 電腦蠕蟲
  * 特洛伊木馬 (電腦)
* Carbon Black

## 參考文獻

## 外部連結

* （英文） 防毒軟體 at the Open Directory Project
* （繁體中文） 壹、免費防毒軟體貳、免費線上掃毒 （頁面存檔備份，存於網際網路檔案館）
* （繁體中文） 完全看懂》2007 防毒軟體架構原理 (上) （頁面存檔備份，存於網際網路檔案館）
* （繁體中文） 完全看懂》2007 防毒軟體架構原理 (下) （頁面存檔備份，存於網際網路檔案館）
* （繁體中文） 為什麼裝了防毒軟體還是中毒？ （頁面存檔備份，存於網際網路檔案館）

**線上掃描分析**

* VirusTotal.com
* VirSCAN （頁面存檔備份，存於網際網路檔案館）
* （英文） Jotti's malware scan （頁面存檔備份，存於網際網路檔案館）
* （英文） TreatExpert
实时动态技术

**實時動態技術**（英語：Real Time Kinematic，RTK）是**實時動態載波相位差分技術**的簡稱，是一種通過基準站和流動站的同步觀測，利用載波相位觀測值實現快速高精度定位功能的差分測量技術。

RTK 系統由 1 個基準站、若干個流動站及無線電通訊系統組成。作業時，在已知高等級點上安置 1 台接收機作為基準站，對 GPS 衛星進行連續觀測，並將觀測數據和測站信息通過無線電傳輸設備實時地發送給流動站，流動站接收機在接收 GPS 衛星信號和採集衛星數據的同時，通過無線接收設備接收來自基準站的數據鏈，並在系統內對採集和接收的 2 組數據進行載波相位差分處理，實時解算出流動站的三維坐標及其精度。使用 RTK 技術利用基準站和流動站之間觀測誤差的空間相關性，通過差分的方式除去流動站觀測數據的大部分誤差，從而實現高精度定位。

## 參考資料

## 相關條目

* 精密單點定位
实时控制系统

**實時控制系統**（**Real-time Control System**，**RCS**）是一個由美國 NIST 開發的參考模型架構，適合於許多軟體密集型的、實時的控制問題領域。實時控制系統的參考模型架構會定義實時智能控制系統需要哪些功能類型，以及這些功能類型之間的關係。

RCS 不是系統設計，也不是描述如何實現特定系統的規範。RCS 會以一組有良好基礎的工程學原則為基礎，訂定分層控制系統，來組織複雜的系統。每一層的控制處理節點都源自同一個泛用節點模型。

RCS 對於控制系統的設計、工程、整合及測試有全面性的方法。架構分析師會一直將系統的任務及資訊分割為較精細，有限範圍，可控制並且有效率的子單元。RCS 著重於智能控制，可以適應不確定及沒有結構的作業環境。其主要關注點在感測、感知、知識、成本、學習、計劃及執行。

## 簡介

參考模型架構是種正則型式，不是系統設計的規格。RCS 參考模型架構結合了實時運動的規劃，以及高階任務計劃；解決問題、世界建模、疊代的狀態估計、觸覺及視覺的影像處理、聲音的特徵分析。而 RCS 概念的演化是受到文獻中已知的大部份智能控制系統的特質及能力所影響，設法要達到這些的特質及能力 。

RCS 是設計為智能代理架構，可以有任何程度的智能行為，甚至包括人類的程度在內。RCS 是受到小腦（腦部控制精細運動協調以及有意識動作的區域）的理論模型所影響。一開始是設計為實驗室的操縱器，是感覺互動型，直接目標型的控制。在三十年後，已演化成針對智能機器工具、工廠自動化系統、智能自駕汽車的實時控制架構。

RCS 適用許多不同的問題領域，包括工廠生產以及車輛的應用。以 RCS 架構為基礎的系統已經用在許多不同的應用中，包括工具機中零件及工具的裝載及卸載、加工工作站的控制、用機器手臂進行工件的去毛刺和倒角、控制太空站的遠端機器人、控制多個自動海底車輛、無人駕駛陸地車輛、自動採礦系統、郵務服務及處理系統，以及海底作業的自動化系統。

## 歷史

隨著對於智能行為複雜性及其哲學的瞭解越來越多，RCS 也演進出許多不同的版本。第一版的實現是在 1970 年代中期，由 Barbera 為感測互動機器人所設計。

### RCS-1

RCS-1 是強調結合命令及感測回授，因此可以結合目標及狀態，計算適當的回應。此應用程式在視覺訴求的任務中，可以配合結構化的光學視覺系統來控制機械手臂。RCS-1 明顯的受到數學模型的影響，像是 Marr-Albus 模型以及小腦模型類神經網路（CMAC）模型。

若 CMAC 的一些輸出是直接回饋到輸入時，CMAC 就變成有限狀態機。因此 RCS-1 可以實現為用不同控制層級分層規劃的一組狀態機。在每個層級，輸入命令會有效率的選擇一個行為，這些行為是以刺激 - 反應模型的反饋來驅動。因此 CMAC 就成為了 RCS-1 的參考模型建構模塊，如圖所示。

建構模塊的階層可以用來實現階層行為，如尼古拉斯・廷貝亨及其他人所觀察到的一樣。RCS-1 在許多層面類似羅德尼・布魯克斯的包容體系結構（subsumption architecture），不過 RCS 是以命令表示的目標來選擇其行為，而包容體系結構是由包容體系中的事實來選擇行為。

### RCS-2

下一代的 RCS-2 是由 1980 年代早期由國家標準技術研究所自動化製造研究基地（AMRF）的 Barbera、Fitzgerald、Kent 等人針對製造控制所開發。基本的 RCS-2 建構模塊如圖所示。

RCS-2 的 H 函數仍然是有限狀態機狀態表執行器。RCS-2 的新功能是引入了由許多感測器處理演算法（包括結構光及 Blob 分析演算法）組成的 G 函數。其中，用 RCS-2 來定義八個層級的分層，包括伺服、座標轉換、E-Move、任務、Workstation、Cell、Shop 及 Facility levels of control。

最後只架設了前六層。有二個 AMRF 工作站完整實現了 RCS-2 中的五層。軍用領域 Material Handling Robot （FMR）的控制系統也是由 RCS-2 實現的，TMAP 的無人地面載具計劃也 RCS-2 實現。

### RCS-3

RCS-3 是設計在 NBS/DARPA 的多重自主水下載具（MAUV）專案中使用，也適用於 NASA/NBS 為了太空站 Flight Telerobotic Servicer 所設計的標準參考模型遠端機器人控制系統架構（NASREM），其基本建構模塊如圖。

RCS-3 中主要的新特徵是世界模型以及操作者界面。世界模型的引入是任務規劃以及模型為基礎的感測器處理的基基礎。因此也讓任務分解模塊（TD）再進行調整，其中包括了工作分配器、以及針對每一個分配到工作的子系統的規劃器以及執行器。這大致對應 Saridis 的三層控制架構。

### RCS-4

RCS-4 是由 NIST 的機器人系統部門在 1990 年代所設計。其基本建構模塊如圖所示。主要的主特點是明確的劃分出價值判斷（Value Judgment，簡稱 VJ）系統。VJ 模組在 RCS-4 系統中的功能類似邊緣系統在大腦中的作用。VJ 模組中的程式會計算計劃行動的成本、效益及風險，並且針對物體、材料、區域、情境、事件及結果給多不同的價值。價值狀態變數會定義為結果重要的事情，或是需要參與、攻擊、防守、協助或是進行其他行動的物體或區域。價值判斷在智慧控制系統的應用是由 George Pugh 提出。價值判斷模組的架構及功能主要是由 Albus (1991) 所完成。

RCS-4 使用了行為產生（behavior generation, 簡稱 BG）來取代 RCS-3 的任務 5 分解（decomposition, TD）。這個調整是要強調自主決策的程度。RCS-4 可用來在沒有高頻寬通信的非結構化環境下，處理高度自主性的應用，例如在戰場上使用的無人機、深海、或是遙遠的行星上。這些應用需要自主的價值判斷以及複雜的實時感知能力。RCS-3 仍會用在要求比較低的應用中，像是製造業、工地、近太空或淺海的遠程機器人，這些環境比較有結構，而且比較可以有高頻寛的通訊。在這些應用中，價值判斷會包括在任務規劃的過程，或是由操作人員輸入。

## 軟體

NIST 依照 RCS 參考模型架構，已發展了實時控制系統軟體函式庫。有針對 C++、Java 及 Ada 的程式，也有巨集、工具、makefile 及文件，讓程式設計者可以用在嵌入式系統中，特別是有使用針對智能系統設計的參考模型架構的程式。

## 應用

* ISAM 架構是在製造領域的 RCS 應用。
* 4D-RCS 參考模型架構是在車輛領域的 RCS 應用。
* NASA/NBS Standard Reference Model for Telerobot Control Systems Architecture（NASREM）是在太空領域的應用。

## 參考資料

* 本條目引用的公有領域材料來自 National Institute of Standards and Technology 的網站或文檔。

## 外部連結

* RCS The Real-time Control Systems Architecture（頁面存檔備份，存於網際網路檔案館） NIST Homepage
实时操作系统

**即時作業系統**（Real-time operating system, RTOS），又稱**實時作業系統**，它會按照排序執行、管理系統資源，並為開發應用程式提供一致的基礎。

即時作業系統與一般的作業系統相比，最大的特色就是「即時性」，如果有一個任務需要執行，即時作業系統會馬上（在較短時間內）執行該任務，不會有較長的延時。這種特性保證了各個任務的及時執行。

設計即時作業系統的首要目標不是高的吞吐量，而是保證任務在特定時間內完成，因此衡量一個即時作業系統堅固性的重要指標，是系統從接收一個任務，到完成該任務所需的時間，其時間的變化稱為抖動。可以依抖動將即時作業系統分為兩種：硬即時作業系統及軟即時作業系統，硬即時作業系統比軟即時作業系統有更少的抖動：

* 硬即時作業系統**必須**使任務在確定的時間內完成。
* 軟即時作業系統能讓**絕大多數**任務在確定時間內完成。

即時作業系統與一般的作業系統有著不同的排程演算法。普通的作業系統的排程器對於執行緒優先級等方面的處理更加靈活；而即時作業系統追求最小的中斷延時和執行緒切換延時。

通常都會有最基礎的核心，以及外加上去的模組，像是檔案系統、網路協定堆疊和應用、裝置驅動程式等模組。

RTOS 的核心通常會有：排程器、物件、服務。

## 設計理念

通常，即時作業系統分為兩大類:

* 事件驅動型。當一個高優先級的任務需要執行時，系統會自動切換到這個任務。這種根據優先級排程任務的方式稱為搶占式任務處理。
* 時間觸發型。每個任務在各自設定好的的時間間隔內重複、輪流排程。

時間觸發型設計往往比較嚴格地排程任務，具有更好的多工處理能力。多個任務被不停地輪流排程，在宏觀上，就相當於一個 CPU 同時執行多個任務。

在過去，CPU 在切換任務時往往需要多個機器周期，在這段時間內，CPU 不能處理其他任何任務。例如，一個 20 MHz 的摩托羅拉 68000 處理器（1980 年代後期），在切換任務時需要花費 20 微秒。（相比之下，一個 100 MHz 的 ARM 架構的處理器（2008 年之後的）只需要 3 微秒。）因此，早期的即時作業系統通過減少工作切換次數來避免消耗過多 CPU 時間。

## 任務排程

在典型的設計中，一個任務有以下三種狀態：

1. 正在執行（Running，正在 CPU 中執行）
2. 待命（Ready，等待執行）
3. 阻塞（Blocked，任務暫停，等待一個事件的發生，例如接收一組資料）

由於 CPU 在某個時間只能執行一個任務，大部分任務，在大部分時間，處於阻塞或待命狀態。可能會有大量專案在待命清單里等待執行，這取決於系統所需的任務數量以及排程器的類型。

通常情況下，對於簡單的時間觸發式排程器來說，待命任務清單的資料結構的設計要儘可能縮短最壞情況下，程式在排程器關鍵部分的執行時間，以防止其他任務一直在待命清單中，無法及時執行。因此，在這種排程器中，應儘可能避免搶占式任務，甚至應該關閉排程器之外的所有中斷。當然，待命任務清單的資料結構也應根據這個系統需要的最大任務數量做進一步的最佳化。

如果待命任務清單中的任務較多，雙向連結串列是一個比較好的選擇。如果待命任務清單通常包含少量任務，但偶爾會出現較多工，任務應該根據優先級排序。這樣一來，要尋找最高優先級的任務，就不必要在整個清單中一個一個地尋找。而插入任務需要從清單中的第一個任務開始，向後尋找，直到找到比要插入的任務優先級低的任務，然後插入到該任務之前；如果沒有找到優先級更低的任務，就插入到任務清單末尾。

在尋找任務清單，準備插入任務的過程中，應該注意避免搶占。長的關鍵部分應分為多個小的部分分別執行。如果在尋找任務清單，要插入低優先級任務的時候，一個中斷發生使高優先級任務進入待命狀態，高優先級任務應該在低優先級任務被插入之前立刻被插入清單和執行。

在更先進的系統中，即時任務和許多非即時任務共享運算資源，這時候待命任務清單會變得很長。在這種系統中，待命任務清單可能不適合用連結串列的結構。

### 排程演算法

一些即時作業系統中常用的演算法：

* 合作式排程
* 搶占式排程
  * Rate-monotonic scheduling
  * Round-robin scheduling
  * Fixed priority pre-emptive scheduling, an implementation of preemptive time slicing
  * Fixed-Priority Scheduling with Deferred Preemption
  * Fixed-Priority Non-preemptive Scheduling
  * Critical section preemptive scheduling
  * Static time scheduling
* Earliest Deadline First approach
* Stochastic digraphs with multi-threaded graph traversal

## RTOS 舉例

WinCE、VxWorks、μC/OS-Ⅱ 等運用較廣。Linux 是作為通用作業系統開發的，其核心在即時處理能力上先天不足，部分網路開發社群將其經過改造能在一定程度上成為即時作業系統。

### 開放原始碼 & 免費

* Raw-OS [1]（頁面存檔備份，存於網際網路檔案館）
* CoOS [2]

### 開放原始碼

* SylixOS [3]（頁面存檔備份，存於網際網路檔案館）
* RT-Thread [4]（頁面存檔備份，存於網際網路檔案館）
* eCos
* Fiasco.OC [5]（頁面存檔備份，存於網際網路檔案館）
* FreeRTOS [6]（頁面存檔備份，存於網際網路檔案館）
* Phoenix-RTOS
* Nut/OS [7]（頁面存檔備份，存於網際網路檔案館）
* Prex
* RTAI
* RTEMS
* RTLinux
* SHaRK [8]（頁面存檔備份，存於網際網路檔案館）
* TRON Project
* Xenomai [9]
* CoOS [10]
* One OS [11]（頁面存檔備份，存於網際網路檔案館）
* ChibiOS

### 非開放原始碼

* Ardence RTX
* BeOS
* ChorusOS
* DNIX
* DMERT
* e-Tkernel
* HOPEN OS
* embOS (Segger)
* INTEGRITY
* ITRON
* LynxOS
* MERT
* MicroC/OS-II
* MQX RTOS [12]（頁面存檔備份，存於網際網路檔案館）
* Nucleus
* OS-9
* OSE
* OSEK/VDX
* OSEKtime
* PDOS
* Phar Lap ETS
* PikeOS
* Portos
* pSOS
* QNX
* RMX
* RSX-11
* RT-11
* RTOS-UH
* RTXC
* Salvo RTOS [13]（頁面存檔備份，存於網際網路檔案館）
* SINTRAN III
* Symbian OS
* ThreadX
* VRTX
* VxWorks
* Windows CE
* µnOS
* UNIX-RTR
* REX
* HP-1000/RTE [14]

## 參考文獻
实时操作系统比较

下表是實時作業系統的列表。RTOS 是處理一次輸入刺激的時間小於待到同類型的下一次輸入刺激的流逝時間的一種作業系統。

## 外部連結

* 開放式目錄計劃中和實時作業系統比較相關的內容
实时消息协议

**即時訊息協定**（英語：Real-Time Messaging Protocol，縮寫 **RTMP**）也稱**即時訊息傳輸協定**，是最初由 Macromedia 為通過網際網路在 Flash 播放器與一個伺服器之間傳輸串流媒體音訊、影片和資料而開發的一個專有協定。Macromedia 後被 Adobe Systems 收購，該協定也已發布了不完整的規範供公眾使用。

RTMP 協定有許多變種：

1. **RTMP** 本身，基於 TCP，預設使用 1935 埠的「明文」協定。
2. **RTMPS**，通過 TLS/SSL 連接傳輸的 RTMP。
3. **RTMPE**，使用 Adobe 自有安全機制加密的 RTMP。雖然實現上的細節是專有的，但該機制使用行業標準的密碼學加密演算法。
4. **RTMPT**，將 RTMP 封裝在 HTTP 中，用於穿透防火牆。RTMPT 通常使用 TCP 的 80 和 443 通訊埠埠，從而能夠繞過大多數的公司流量過濾。封裝的對談中可以攜帶明文 RTMP、RTMPS 或 RTMPE 封包。
5. **RTMFP**, 基於 UDP 而非 TCP 的 RTMP，用於取代 RTMP Chunk Stream。Adobe 開發了安全的即時媒體流協定套件，可以讓終端使用者互相之間直接連接和通信（P2P）。

雖然 RTMP 的主要動機是成為一個播放 Flash 影片的協定，但它也用於其他一些應用程式，如 Adobe LiveCycle Data Services ES。

## 參見

* RTMPDump
* 受保護流，有關 RTMPS 和 RTMPE
* 即時媒體流協定，基於 UDP 的 RTMFP
* 隨選視訊（VoD）

## 參考資料

## 外部連結

* Adobe 開發者頁面 - RTMP - 官方規範（頁面存檔備份，存於網際網路檔案館）（英文）
实时渲染

**即時電腦圖形**或**即時彩現**是電腦圖學的分支領域，研究製作與分析即時圖像。該術語涵蓋從應用程式圖形化使用者介面（GUI）到即時圖像分析的一切內容，但通常多指圖形處理器（GPU）生成的互動 3D 電腦圖形。其中一例是電子遊戲，它能快速呈現不斷變化的三維環境，營造運動的假象。

電腦誕生時即能即時生成二維圖像，例如簡單的線條、圖像和多邊形。然而，對於傳統馮・諾依曼結構的系統而言，快速繪製詳細的三維物件任務艱巨。早期多用二維精靈圖模仿三維圖像，變通解決這一難題。

如今誕生了各類彩現技術，比如光線跟蹤和柵格化。電腦利用這些技術和先進的硬體，在接收使用者輸入之時，快速及時地彩現圖像，為使用者營造運動的假象。如此一來，使用者能對呈現的圖像做出即時反應，從而獲得互動體驗。
实时计算

**即時運算**（**Real-time computing**）是電腦科學中對受到「即時約束」的電腦硬體和電腦軟體系統的研究，即時約束像是從事件發生到系統回應之間的最長時間限制。即時程式必須保證在嚴格的時間限制內回應。通常即時回應時間會是以毫秒為單位，也有時是以微秒為單位。相比之下，非即時系統是一種無法保證在任何條件下，回應時間均符合實時約束限制的系統。有可能大多數的情形下，非即時系統都可以符合即時約束限制，甚至更快，只是無法保證在任何條件都可以符合約束限制。

在其他領域中也有用到「即時」這個詞，但其含義不同：在仿真領域，即時是指「即時時鐘同步」，此外在資料傳輸、多媒體處理和企業系統領域，即時意思是「感覺不到延遲」。

即時軟體必須使用一種或多種同步程式語言、即時作業系統以及建立在一個實時軟體應用程式上的即時網路提供的基本框架。

防鎖死系統是個即時運算系統的簡單例子，在這個系統中的即時即時約束是為了避免車輪鎖死，煞車必須釋放的時間。即時電腦系統的反應最後期限一般和事件有關，若沒能在最後期限前完成，即為即時電腦系統的失效。不論系統負載如何，即時電腦系統均需滿足最後期限的限制條件。

## 歷史

術語_即時_的使用起源於仿真的早期，

## 即時運算標準

如果一個系統作業的正確性不僅取決於其邏輯的正確性，還與其執行的時間有關，此系統就被稱為即時系統。即時系統和其最後期限可以依照若錯最後期限所造成的後果來加以分類：

**Hard**
: 錯過最後期限會導致整個系統故障。

**Firm**
: 能容忍偶爾的錯過最後期限，若超過最後期限，其實用性為零。

**Soft**
: 超過最後期限的結果會造成實用性降低，從而降低系統的服務品質。

因此，**硬體即時系統**的目標是確保所有最後期限的完成。

### 即時數位訊號處理

## 即時和高效能

## 設計方法

## 參看

* 同步程式語言
* Ptolemy Project
* DSOS
* 最壞情況下的執行時間
* 

## 參考文獻

## 外部連結

### 技術委員會

* IEEE Technical Committee on Real-Time Systems
* Euromicro Technical Committee on Real-time Systems（頁面存檔備份，存於網際網路檔案館）

### 科學會議

* ECRTS - Euromicro Conference on Real-time Systems（頁面存檔備份，存於網際網路檔案館）
* IEEE Real-time Systems Symposium（頁面存檔備份，存於網際網路檔案館）
* IEEE Real-time Technology and Applications Symposium（頁面存檔備份，存於網際網路檔案館）
* International Symposium on Object-oriented Real-time distributed Computing（頁面存檔備份，存於網際網路檔案館）
* IEEE International Conference on Embedded and Real-Time Computing Systems and Applications（頁面存檔備份，存於網際網路檔案館）
* Real-Time & Embedded Computing Conference（頁面存檔備份，存於網際網路檔案館）

### 期刊

* International Journal of Critical Computer-Based Systems（頁面存檔備份，存於網際網路檔案館）
* International Journal of Real-Time Systems（頁面存檔備份，存於網際網路檔案館）

### 研究小組

* CISTER Research Unit, ISEP, Polytechnic Institute of Porto (IPP), Portugal（頁面存檔備份，存於網際網路檔案館）
* Real-Time Systems Research Group,INRIA,LORIA NANCY, France
* Real-Time & Embedded Computing Laboratory (USMAN SHARIF BCS-SP03-37)
* Mälardalen Real-Time research Centre
* Real-Time Computing Laboratory
* Real-Time Systems Laboratory（頁面存檔備份，存於網際網路檔案館）
* RTSE Laboratory
* Institute for Systems Engineering - Real Time systems Group
* Real-Time Systems Laboratory at Scuola Superiore Sant'Anna, Pisa, Italy（頁面存檔備份，存於網際網路檔案館）
* Technical University of Kaiserslautern - Institute for Electrical Engineering and Information Technology - Real-Time Systems Group（頁面存檔備份，存於網際網路檔案館）
* Vienna University of Technology - Institute for Computer Engineering - Real-Time Systems Group
* Real-Time Systems Research Group at the University of York, UK（頁面存檔備份，存於網際網路檔案館）
* Chalmers University of Technology - Dependable Real-Time Systems research group（頁面存檔備份，存於網際網路檔案館）
* ARTES: a national Swedish strategic research initiative in Real-Time Systems supported by the Swedish Foundation for Strategic Research (SSF), SE（頁面存檔備份，存於網際網路檔案館）
* Real-Time Systems at the University of North Carolina at Chapel Hill（頁面存檔備份，存於網際網路檔案館）
* Real-time Systems Laboratory at Virginia Polytechnic and State University, Blacksburg
* mc2labs.com - ICT Research&Development, Mogliano Veneto IT - Realtime Internet programming infrastructures（頁面存檔備份，存於網際網路檔案館）

### 技術論文

* The What, Where and Why of Real-Time Simulation（頁面存檔備份，存於網際網路檔案館）
实是性

在**哲學**中，實是性（法語：facticité，德語：Faktizität，英語：facticity）有很多種不同的含義 —— 可能只是指「事實性」（factuality）和「偶然性」，也有可能是指關於人類**存在**（human existence）的種種棘手的境況（intractable conditions）。

## 早期的用法

最早使用這個術語的是德國哲學家**約翰・戈特利布・費希特（1762-1814），後來有了很多種含義。它可以指事實（facts），也可以指事實性（factuality），比如在 19 世紀**實證主義之中說的實是性就是指這樣的意思。而到了**威廉・狄爾泰以及新康德主義那裡，這個詞開始表示「抵抗解釋和解讀的東西」。新康德主義者把實是性與理想性（ideality）對立起來，比如**尤爾根・哈貝馬斯的《在事實與規範之間**》（_Faktizität und Geltung_）。**

## 海德格爾

德國哲學家馬丁・海德格爾（1889-1976）討論「實是性」時，把它當作是個體存在（existence）之「被拋擲性」（Geworfenheit），意思是，我們是被「拋擲入世界之中」的。他不僅僅是在指一種殘酷的事實，或者說具體歷史處境（situation）之事實性，例如「生於 80 年代」。實是性是這樣一種東西：即便你沒有注意到它，或者把它丟下不管，它還是已然告知（inform）了存在，並且已經在存在中被接受和採用起來了（taken up）。所以，實是性不是某種我們遇到（come across）並且直接觀察（behold）的東西。比如，在情緒（mood）中，實是性的表象是迷一般的，因為它同時涉及了兩個方面：既是轉而朝向它，又是轉而離開它。海德格爾所說的情緒，是思想及意志之境況，並且是思想及意志必須以某種方式對它作出回應的一些境況。就像這樣，人類存在之被投擲性（或者說此在）通過情緒而被透露了出來。

 

## 薩特和波伏瓦

在 20 世紀中期，法國存在主義者讓 - 保羅・薩特和西蒙・德・波娃也使用了實是性這一術語。他們認為，人類的自由是關於背景（the background）而存在的，並且受到背景的限制；他們用實是性這一術語來意指襯托於這個背景之上的所有具體細節。比如，這可能包括：出生的時間和地點，語言、環境、個體早先的選擇，以及他們不可避免的死亡之前景。比如：目前，某個生來就沒有雙腿的人，他的處境就提前排除了他在海灘上行走的自由；但是如果未來的醫學能有辦法為此人長出新的腿來，他們的實是性可能就不再排除這種在海灘行走的活動了。

## 近期的使用

實是性這個術語在 20 世紀歐陸哲學中獲得了更加專門的含義，尤其是在現象學和存在主義中，包括埃德蒙德・胡塞爾，馬丁・海德格爾，讓 - 保羅・薩特，莫里斯・梅洛 - 龐蒂以及狄奧多・阿多諾。近期的哲學家，比如喬治・阿甘本，讓 - 呂克・南希，韓炳哲以及 François Raffoul 用更新的方式用起了實是性這一觀念。

在甘丹・梅亞蘇為了挑戰「相關主義」（correlationism）這種思想 - 世界之間關係而作出的哲學籌劃之中，實是性也扮演了關鍵的角色。梅亞蘇把它定義為一種原因的缺席：「對於任何現實來說，原因都是缺席的」（「the absence of reason for any reality」），換言之，是這種不可能性：不可能為任何實存者（being）之存在（existence）提供一片終極的基礎。

 

## 中文譯名

陳嘉映、王慶節合譯的《存在與時間》譯為實際性；陳宣良等譯《存在與虛無》中譯為「散樸性」，在其後的研究中，陳宣良也將其譯為「器物性」，或「受蔽成存性」。杜小真在對薩特的研究中，將這一概念改譯為「人為性」，強調「人」的自由介入處境的結果，以及與胡塞爾、海德格爾在這個概念解釋上的差異，並避免「散樸性」譯名的可能含混的解釋。馮契、徐孝通主編的《外國哲學大辭典》譯為「事實性」。另有譯為實存性、實然性等。

 

## 參見

自為的存在（Being for itself）

## 參考文獻

## 延伸閱讀

* J. Van Buren (Trans.), Martin Heidegger. Ontology--The Hermeneutics of Facticity.
* Heidegger, Martin. Being And Time.
* Sartre, Jean-Paul. Essays in Existentialism. 1965.
* Sartre, Jean-Paul. Existentialism Is A Humanism. 2007.
* Sartre, Jean-Paul. Being and Nothingness.
* Raffoul, François and Eric Sean Nelson (eds.). Rethinking Facticity.
* Meillassoux, Quentin. After Finitude: An Essay on the Necessity of Contingency. 2009.
* 海德格爾早期哲學中的一個概念：實是性頁面存檔： （頁面存檔備份，存於網際網路檔案館）
实权

**軍權**，又稱「統帥權」，通常指指揮軍隊作戰的權力，也被稱為**兵權**。

## 各軍軍權

### 美國

美國已經軍隊國家化。美國憲法規定，美國總統為美軍最高統帥。根據戈德華特－尼科爾斯法案，美國總統通過美國國防部長直接指揮各聯合作戰司令部。

### 朝鮮

朝鮮民主主義人民共和國武裝力量最高司令官為朝鮮武裝力量最高統帥，通常由朝鮮勞動黨中央軍事委員會委員長兼任。1950 年朝鮮戰爭爆發後，朝鮮勞動黨最高領導人一直兼任朝鮮武裝力量最高統帥。

### 韓國

韓國實行三軍聯合體制，韓國總統是韓國軍隊最高統帥，韓國國防部是韓國總統統率下的最高軍事行政機構。韓國國軍和駐韓美軍的戰時指揮權等軍事主權歸屬於韓美聯合軍司令部。

### 中華民國

1912 年通過的《中華民國臨時約法》規定，中華民國臨時大總統統帥全國海陸軍隊。

1946 年通過的《中華民國憲法》規定，中華民國總統統率全國陸海空軍。**中華民國總統作為中華民國國軍三軍統帥，行使統帥權指揮軍隊。**

而中華民國政府採行「軍政軍令二元制」，在戰時，中華民國參謀總長作為總統下達軍令、指揮三軍的幕僚長，由總統對參謀總長下達軍令調動軍隊。

### 中華人民共和國

1954 年通過的《中華人民共和國憲法》規定，中華人民共和國主席統率全國武裝力量，擔任國防委員會主席。

1982 年通過的《中華人民共和國憲法》規定，中華人民共和國中央軍事委員會領導全國武裝力量，實行主席負責制。中華人民共和國中央軍事委員會主席作為武裝力量最高統帥，對全國人民代表大會和全國人民代表大會常務委員會負責。

同多數社會主義國家一樣，中華人民共和國遵從「黨指揮槍」原則，一般由中共黨首而非國家主席兼任軍事統帥，以鞏固黨對國家的絕對領導。

自 1954 年開始，中共中央軍委主席領導全國武裝力量，作為實際上的中國人民解放軍三軍統帥掌握軍權，行使統帥權指揮軍隊。

毛澤東只擔任過 5 年的國家主席（1954－1959）但終身擔任中共中央主席和中共中央軍委主席。任內主持修憲廢除國家主席職務。

華國鋒作為毛澤東的繼承人，擔任過中共中央主席、國務院總理和中共中央軍委主席。之後在與鄧小平等革命元老的權力鬥爭中落敗，失去領導權。

鄧小平一生沒有擔任國家元首，但自 1978 年中共十一屆三中全會至 1989 年辭去中共中央軍委主席期間普遍被認為是第二代最高領導人。

江澤民卸任中共中央總書記、國家主席後留任中央軍委主席，實際上還掌握了軍職和軍權，江澤民在留任軍委主席兩年後才在中共十六屆四中全會上辭職，讓胡錦濤接任。

中共十八屆一中全會上，國家主席胡錦濤將中共中央總書記、中央軍委主席兩職同時交班給國家副主席習近平，胡錦濤雖然仍然是國家主席，但卸任黨職和軍權被外界認為是「裸退」。而習近平雖然是國家副主席，但憑藉中央軍委主席的職務掌握軍權，從而獲得全軍擁護，擁有軍隊最高指揮權，因此成為中華人民共和國最高領導人。

### 緬甸國防軍

緬甸國防軍總司令是緬甸國防軍的最高統帥，不僅全權指揮緬甸國防軍，而且直接控制國防部、內政部、邊境事務部等國家機關以及國內許多企業，並且能夠干涉國家和地方政治。

### 88 學生軍

88 學生軍是緬甸唯一的緬族反政府武裝，由全緬學生民主陣線領導。

### 克倫民族解放軍

克倫民族解放軍活躍於緬甸東部山區，由克倫民族聯盟領導。

## 參考文獻

## 參見

* 對暴力的壟斷
* 黨指揮槍、槍桿子裡面出政權、軍隊國家化
* 垂簾聽政、政治花瓶
* 軍政府、軍閥、政變
* 戰爭、起義、內戰、干涉
实模式

**真實模式**（英語：Real mode）是 Intel 80286 和之後的 x86 相容 CPU 的操作模式。真實模式的特性是一個 20 位元的區段記憶體位址空間（意思為只有 1MB 的記憶體可以被定址），可以直接軟體存取 BIOS 常式以及周邊硬體，沒有任何硬體等級的記憶體保護觀念或多工。所有的 80286 系列和之後的 x86 CPU 都是以真實模式下啟動；80186 和早期的 CPU 僅僅只有一種操作模式，也就是相當於後來晶片的這種真實模式。

286 架構匯入保護模式，允許硬體等級的記憶體保護。然而要使用這些新的特色，需要額外先前不需要的軟體指令。由於 x86 微處理機主要的設計規格，是能夠完全地向前相容於針對先前所有 x86 晶片所撰寫的軟體，因此 286 晶片的啟動是處於 ' 真實模式 '— 也就是關閉新的記憶體保護特性的模式，所以可以執行針對舊的微處理器所設計的軟體。到現在為止，即使最新的 x86 CPU 一開始在電源開啟處於真實模式下，也能夠執行針對先前任何晶片所撰寫的軟體。

IBM 引進的 PC-BIOS 與 DOS 作業系統（MS-DOS、DR-DOS 等等）都是在真實模式下運作。早期的 Microsoft Windows 版本（主要地只是圖形使用者介面外殼，而事實上不是作業系統）也在真實模式下運行，直到 Windows 3.0 是第一種在保護模式下執行的 Windows 系列的作業系統。Windows 3.0 進一步增強了這方面功能，能夠在真實模式或是保護模式下執行。Windows 3.0 在保護模式下有兩種執行 "喜好" - "標準模式"，也就是使用保護模式來運行；而 "386 - 增強模式"，允許使用 32 位元定址，因此無法在 286 上執行（儘管都有保護模式，但是 286 隻是 16 位元晶片；32 位元的暫存器在 80386 系列中推出）。Windows 3.1 不再允許在真實模式下執行，只能在保護模式下執行，因此也是第一個最少需要 80286 處理器的主流作業環境（不管 Windows/286，因為並非主流產品）。幾乎所有的現今 x86 作業系統（Linux、Windows 95 和之後、OS/2 等等）都會在啟動後將 CPU 切換到保護模式或長模式。

## 參見

* IA-32
* x86
* 保護模式
* 非真實模式
* A20 匯流排
* 啟動程式
* 長模式
* 系統管理模式
实武牙

**實武牙**（印尼語：Sibolga），又音譯**錫博爾加**，是印度尼西亞北蘇門答臘省西部海岸的海港城市。其面向於印度洋，是去往尼亞斯島的一個中轉港。在 2004 年印度洋地震中遭受重創。

## 參考文獻
实物模型

在製造及設計上，**mockup** 是一個設計或是設備的模型，用來教學、展示、設計評估、推廣或是其他用途，可以是比例模型或和實物一様大的模型。若 mockup 已有系統一部份的功能，已可以測試其設計，則稱為原型（prototype）。設計者會用 mockup 來收集使用者的意見及回饋。mockup 表示了一個流行的工程概念：設計者可以在繪圖板上用橡皮擦直接修改設計，也可以晚一點用錘子直接修正。

## 應用

Mockups (試驗模型) 在設計新產品時，常做為虛擬的設計工具的用途。

## 軟體工程

在軟體開發最常用的 Mockups (試驗模型)，是在軟體還沒有開發或底層功能的時候，以建立使用者介面向終端使用者展示該軟體看起來的樣貌。軟體使用者介面 Mockups (試驗模型) 的範圍可以從非常簡單的手繪螢幕版面、寫實的點陣圖、到在軟體開發工具中擁有部份功能的使用者介面。

## 建築

在一個建築專案的建造開始前，建築師通常會請承包商提供材料 Mockups (試驗模型，或稱實體模型、粗胚模型) 供檢閱，讓設計團隊在安裝所購置的產品前，可以瀏覽選定的材料和顏色。建築 Mockups (模型) 也能運用在性能測試 (例如安裝的窗戶滲水度測試)，及協助告知分包商細節如何安裝。

## 相關條目

* 作業研究
* 先期試驗

## 參考資料
实现

**實現**（Implementation）是指應用、計劃、構想、模型、設計、規範、算法或政策的執行。

## 不同領域的定義

### 計算機科學

在計算機科學中，實現是指通過程序設計和軟體部署，將技術規範或算法變成為程序、軟體組件或其他計算機系統。對於一個給定的規範或標準，可能存在多種實現。例如，網絡瀏覽器包含全球資訊網聯盟推薦的多個規範的實現，軟體開發工具包含多個程式語言的實現。
实现有组织的革命行动运动统一倾向

**實現有組織的革命行動運動統一傾向**（西班牙語：Tendencias Unificadas Para Alcanzar el Movimiento de Acción Revolucionaria Organizada），簡稱**圖帕馬羅**（Tupamaro），是委內瑞拉的一個共產主義政黨。該黨成立於 1992 年，與活躍於 1960 年代－1970 年代的烏拉圭城市游擊隊「圖帕馬羅斯」並無關係。該黨的政治立場是極左翼。該黨的主席是 Oswaldo Jiménez，總書記是 José Tomás Pinto Marrero。該黨的總部位於加拉加斯。據說該黨曾與哥倫比亞革命武裝力量－人民軍有聯繫。

## 參考文獻
实现梦想的哆啦A梦

〈**實現夢想的哆啦 A 夢**〉（日語：夢をかなえてドラえもん，羅馬字：Yume wo Kanaete Doraemon），或譯〈為你實現夢想的哆啦 A 夢〉、〈哆啦 A 夢為我實現夢想〉等等，臺灣填詞版名為〈藍色夢想〉，香港填詞版名為〈夢〉，是《哆啦 A 夢》中的一首動畫歌曲，亦是水田版動畫片頭曲，接替並取代有多年歷史的主題曲《哆啦 A 夢之歌》。

## 日語原版

〈夢をかなえてドラえもん〉於 2007 年 5 月 11 日至 2019 年 10 月 5 日作為水田版電視動畫的片頭曲。2008 年至 2014 年，2016 至 2017,2019 年的水田版電影也以它為主題曲。台灣華視播出的水田版動畫也是以它為主題曲。

### 製作

* 演唱：Mao
* 合唱：向日葵兒童
* 作詞：黒須克彥
* 作曲：黒須克彥
* 編曲：大久保薫

#### 聲優合唱版

2014 年 10 月 17 日開始播出的《哆啦 A 夢》中五位主角的配音員將其翻唱，2015 年電影《大雄的宇宙英雄記》也以它為主題曲。

* 演唱：水田山葵、大原惠、嘉數由美、木村昴、關智一

### 收錄

* Mao 於 2007 年推出的同名專輯《夢をかなえてドラえもん》
* 哆啦 A 夢電視主題歌大全集
* 哆啦 A 夢電影主題曲大全集

## 香港版

在香港該曲被翻唱並更名為〈夢〉，作為翡翠台及 J2 台播出水田版動畫的片頭曲。

### 製作

* 作詞：余皓文（粵語版）、張美賢（國語版）
* 作曲：黑須克彥
* 編曲：葉肇中

演唱：

* 廖碧兒（2009 年－2013 年 3 月 10 日、2014 年 10 月 16 日；後因廖碧兒過檔城市電訊旗下的香港電視網絡，於 2013 年 3 月 11 日起改由謝安琪主唱）
* 謝安琪（2013 年 3 月 11 日－2021 年 7 月 19 日）
* 鍾柔美、姚焯菲、詹天文、文凱婷（2021 年 8 月 9 日至今；《聲夢傳奇》第一季參賽者）

## 臺灣版

在臺灣，該曲在 2008 年被翻唱為國語版並譯為〈藍色夢想〉，使用於哆啦 A 夢電影版《大雄與綠之巨人傳》與《大雄的人魚大海戰》。

### 製作

* 演唱：黃璽翀
* 填詞：莊景雲
* 編曲：康友韋

## 參見

## 外部連結

* 實現夢想的哆啦 A 夢
* 實現夢想的哆啦 A 夢（聲優合唱版） （頁面存檔備份，存於網際網路檔案館）
* 藍色夢想
* 藍色夢想（電影片頭曲版）
* 實現夢想的哆啦 A 夢（中國大陸的北斗企鵝工作室諸成員合唱版，不過並無實際使用）（頁面存檔備份，存於網際網路檔案館）
* 哆啦 A 夢粵語版 OP (廖碧兒主唱版) (TVB J2) （頁面存檔備份，存於網際網路檔案館）
* 哆啦 A 夢粵語版 OP (謝安琪主唱版)
* Doraemon (UK) 主題曲
实球黑粉菌属

**實球黑粉菌屬**（學名：_Doassansia_）為實球黑粉菌科的一個屬。

## 物種

本屬包括以下物種：

* _Doassansia alismatis_ (Nees ex Fr.) Cornu
* _Doassansia alpina_ Lavrov
* _Doassansia borealis_ Liro
* _Doassansia disticha_ S. Ito
* _Doassansia domingensis_ Cif.
* _Doassansia eichhorniae_ Cif.
* _Doassansia epilobii_ Farl. ex De Toni
* _Doassansia gossypii_ Lagerh.
* _Doassansia hemigraphidis_ B.V. Patil & Thirum.
* _Doassansia lilaeae_ Henn.
* _Doassansia limosellae_ (J. Kunze) J. Schröt.
* _Doassansia nearctica_ Savile
* _Doassansia niesslii_ De Toni
* 暗淡實球黑粉菌 _Doassansia opaca_ Setch.
* _Doassansia peplidis_ Bubák
* _Doassansia ranunculina_
* _Doassansia reukaufii_ Henn.
* _Doassansia rhinanthi_ Lagerh. ex Zundel
* _Doassansia sagittariae_ (Fuckel) J.C. Fisch.
* _Doassansia sintenisii_ Bres.
* _Doassansia sparganii_ Vánky
* _Doassansia utriculariae_ Henn.
* _Doassansia zizaniae_ Davis

## 參考文獻
实球黑粉菌目

**實球黑粉菌目**（學名：Doassansiales）為外擔菌綱的一個目。

## 下級分類

本目包括以下科：

* 實球黑粉菌科 Doassansiaceae
* 小黑菌科 Melaniellaceae
* 鉤孢黑粉菌科 Rhamphosporaceae

## 參考文獻
实球黑粉菌科

**實球黑粉菌科**（學名：Doassansiaceae）為實球黑粉菌目的一個科。

## 下級分類

本科包括以下屬：

* _Burrillia_
* 實球黑粉菌屬 _Doassansia_
* _Doassinga_
* _Entylomaster_
* _Heterodoassansia_
* _Nannfeldtiomyces_
* _Narasimhania_
* _Pseudodermatosorus_
* _Pseudodoassansia_
* _Pseudotracya_
* _Tracya_

## 參考文獻
实用主义

**實用主義**（英語：pragmatism，派生於希臘詞 πρᾶγμα（事物、實物）），又稱實驗主義、試驗主義，是產生於 19 世紀 70 年代的現代哲學派別，認為人類的語言和思維具有局限性，無法完全反映真實世界，應把它當作解決問題的工具。在 20 世紀的美國成為一種主流思潮。對法律、政治、教育、社會、宗教和藝術的研究產生了很大的影響。

## 立場

實用主義認為，當代哲學劃分為兩種主要分歧，一種是非理性主義者，是唯心的、柔性重感情的、憑感覺的、樂觀的、有宗教信仰和相信意志自由的；另一種是經驗主義者，是唯物的、剛性不動感情的、理智的、悲觀的、無宗教信仰和相信因果關係的。實用主義則是要在上述兩者之間找出一條中間道路來，是「經驗主義思想方法與人類的比較具有宗教性需要的適當的調和者。」

實用主義者忠於事實，但沒有反對神學的觀點，如果神學的某些觀念證明對具體的生活確有價值，就承認它是真實的。將哲學從抽象的辯論上，降格到更個性主義的地方，但仍然可以保留宗教信仰。承認查爾斯・達爾文，又承認宗教，也不承認是二元論的，即既唯物，又唯心，而是認為自己是多元論的。

## 主要論點

實用主義的主要論點是：

* 強調知識是控制現實的工具，現實是可以改變的；
* 強調實際經驗是最重要的，原則和推理是次要的；
* 信仰和觀念是否真實在於它們是否能帶來實際效果；
* 真理是思想的有成就的活動；
* 理論只是對行為結果的假定總結，是一種工具，是否有價值取決於是否能使行動成功；
* 人對現實的解釋，完全取決於現實對他的利益有什麽效果；
* 強調行動優於教條，經驗優於僵化的原則；
* 主張概念的意義來自其結果，真理的意義來自於應證。

在實用主義大旗下派生的分枝有「人本主義」、「工具主義」、「邏輯經驗主義」、「神奇學派」、「邏輯學派」等。實用主義最初發生在英國和美國的哲學家中，在 20 世紀初，在美國發展成一種運動，並且蔓延到歐洲大陸。現在雖然已經不再是一種運動了，但仍然是一種非常有影響的思想體系，它把哲學從一種人生觀的思想體系降為一種研究問題和澄清信息的批判方法，把知識解釋為一種評價過程，以科學探索的邏輯作為人們處世待物的行為準則。

## 經典代表作品

* 《民主與教育》
* 《我們是怎麼思維的》
* 《君王論》

## 影響

實用主義是保守主義的信念要素之一，保守主義者認為生活環境極度複雜而人類理性具有有限性，故行動應根植於經驗和歷史以實際環境所決定。

## 參考資料

* 新田義弘ほか編 『分析哲學とプラグマティズム』第 7 巻、岩波書店〈岩波講座現代思想〉、1994 年。ISBN 978-4000105378。
* 鶴見俊輔 『アメリカ哲學』 こぶし書房〈こぶし文庫 - 戦後日本思想の原點〉、2008 年。ISBN 978-4875592259。
实用工具

**實用程式**（英語：Utility software），又譯為**公用程式**、**工具程式**，是用於幫助分析、組態、最佳化、維護電腦的系統軟體。

## 實用程式分類

* **防毒軟體**實用程式用於掃描電腦病毒
* **檔案歸檔器**在提供一組檔案或一個資料夾後輸出流或單個檔案。歸檔實用程式與歸檔套件不同，通常不包括壓縮或加密功能。有些歸檔實用程式可能有一個單獨的工具進行反向操作。
* **備份軟體**可以複製硬碟上儲存的所有資訊，並可以選擇檔案（如意外刪除）或全部恢復（如發生硬碟故障）。
* **剪貼簿管理器**擴充剪貼簿的功能。
* **檔案系統級加密**加密 / 解密流或檔案。
* **資料壓縮**實用程式在提供檔案或流後輸出更小的檔案或更短的流。
* **資料同步**實用程式保持從源到目標資料之間的一致性。此工具有以下幾個分支：
  * **檔案同步**實用程式維持兩個源之間的一致性。它們可以被用來建立備份副本，但也可以用來幫助使用者在行動裝置上攜帶數位音樂，相片和影片。
  * **版本控制**實用程式用於處理多個使用者修改同一檔案。
  * **除錯工具**實用程式用於測試並除錯其他程式，主要用於解決程式錯誤。
* **磁碟檢查程式**可以掃描硬碟機。
* **磁碟清理程式**可以找到系統不需要或占用過多空間的檔案。
* **磁碟壓縮**實用程式可以壓縮 / 解壓磁碟內容，增加可用空間。
* **磁碟重組工具**可以檢測到內容被分割到磁碟上多個位置的電腦檔案，並將檔案各部分移到一處以提高效能。
* **硬碟分割區**實用程式可以把一個驅動器分成多個邏輯驅動器，每個邏輯驅動器有自己的檔案系統。
* **磁碟空間剖析器**通過取得檔案、資料夾的大小直觀地顯示磁碟空間使用情況。
* **碟盤儲存**實用工具。
* **檔案管理器**提供便捷的執行檔案管理任務的方式。
* **十六進位編輯器**直接更改文字或資料、程式等檔案。
* **記憶體測試器**檢查記憶體錯誤。
* **網路實用程式**分析電腦的網路連接，組態網路設定，檢查資料傳輸或日記事件。
* **軟體套件管理實用程式**用於組態、安裝或更新電腦上的其他軟體。
* **登錄檔清理器**分析並清理登錄檔無用的鍵值。
* **螢幕保護裝置**原本通過將畫面空白，或在畫面上填滿移動的影像，避免電腦陰極射線管顯示器在靜止的情況下產生磷質烙印，從而減低其壽命。現在，螢幕保護裝置被用作娛樂或保安用途。
* **系統監視器**監測資源和效能。
* **系統剖析器**提供有關連接到電腦上的硬體和安裝的軟體的詳細資訊。

## 參考資料

## 參見

* IBM 大型電腦實用程式
* 批次檔
* Shell 指令碼
实用新型

**實用新型**是一種保護發明的智慧財產權權利。這種權利在一部分國家通過立法存在，例如阿根廷、奧地利、巴西、智利、中國、丹麥、芬蘭、法國、德國、匈牙利、義大利、日本、馬來西亞、墨西哥、摩洛哥、菲律賓、波蘭、葡萄牙、俄羅斯、韓國、西班牙、[[台灣](中國)]、烏茲別克斯坦等等。 實用新型和專利非常相像，但是通常具有比較短的期限（一般為 6 年或 10 年），並且沒有嚴格的可專利性要求。

德國和奧地利的實用新型被稱為「實用工具」（Gebrauchsmuster）。這影響了某些其它的國家，例如日本。在印度尼西亞、芬蘭和澳大利亞，實用新型被稱為「小型專利」（Petty Patent)。

## 定義

實用新型是一種法律給予的壟斷，以在某個有限的時期內作為發明人提供足夠的教導，以允許相關領域的技術人員可以實現該發明的交換。由實用新型法律給予的權利與專利法律給予的權利非常相似，但是會更適合那些被認為是「增量的發明」 . 例如「小規模專利」、「創新專利」、「次要專利」和「小專利」等等也可以被認為符合「實用新型」的定義。 在馬來西亞，則是叫做「實用創新」。

## 授權條件

大部分具有實用新型的國家，都要求發明具有新穎性。然而，許多專利局或實用新型局並不會進行實質審查，而是在檢查完實用新型申請符合格式規定之後就授予實用新型權利 (如台灣)。某些國家不允許某些特定的主題作為實用新型保護的對象，例如植物和動物通常都不能被實用新型保護。

在中國，實用新型只保護產品的形狀或結構，或者它們的結合，而不保護任何方法。現有技術包括任何在申請的優先權日之前，通過世界範圍內的書面描述或在中國境內使用而為公眾所知的知識。此外，實用新型採取註冊制度，不需要進行實質審查，其授權速度通常要比發明專利快許多。

在德國，如果實用新型不是現有技術的一部分，那它就被認為是新的。現有技術包括任何在申請的優先權日之前，通過書面描述或在德國境內使用而為公眾所知的知識。在優先權日前六個月內進行的公開或使用，如果是申請人或者他的繼承人作出的，不會被認為是現有技術。

在西班牙，作為獲得實用新型 (西班牙語：modelo de utilidad) 的新穎性要求是相對的，也就是說只有在西班牙境內對發明進行的書面公開會導致實用新型的權利要求喪失新穎性。這與西班牙專利的絕對新穎性要求形成鮮明的對比。什麼才是「在西班牙境內對發明的公開」成為西班牙最高法院最近兩個判決的主題。.

## 申請

實用新型申請可以在具有實用新型制度的國家的工業產權局準備及提交。或者，也可以在屬於 PCT 成員國的國家提交國際申請。大部分屬於這個協議並具有實用新型制度的國家，允許將實用新型申請作為專利國際申請的國家階段進行。

下面的列表是具有實用新型或其他類似名稱的保護的國家，數據截止至 2008 年 11 月。

## 參考文獻
实用日本语检定

**實用日本語檢定**（日語：実用日本語検定，英語：Test of Practical Japanese），簡稱 **J.TEST**，是對非母語者日語能力的測試。考試的主辦方是株式會社語文研究社所運營的日本語検定協會，是一種民間的日語資格認證。

## 沿革

首次實用日本語檢定於 1991 年由日本語檢定協會舉辦。2003 年，實用日本語檢定首次在中國開設考場，並於 2007 年 8 月獲得了中華人民共和國勞動和社會保障部的認可。截至 2019 年，實用日本語檢定已在日本、中國大陸、台灣、韓國、蒙古、菲律賓、越南、泰國、尼泊爾、緬甸、孟加拉國、印度尼西亞和巴西開設了考點，並以每年 6 次的頻率舉辦考試。

## 考試內容

自 2019 年 5 月開始，實用日本語檢定將從原本的 A－D 級考試和 E－F 級考試調整為 A－C 級考試、D－E 級考試和 F－G 級考試。雖然考試種類發生了變化，但題型設置並未發生明顯變化。每種類型的考試均由讀解試驗和聽解試驗構成。其中，讀解試驗由語法詞彙問題、讀解問題、漢字問題和記述問題（F－G 級考試改為選擇題形式的短文作成問題）構成，聽解試驗由寫真問題、聽讀解問題、應答問題和會話・說明問題構成。

## 測試結果評定

### 2019 年 5 月起的新版

2019 年 1 月，實用日本語檢定宣布將於同年 5 月進行考試改革。自 2019 年 5 月起，J-TEST 將從原來的 A-D 級考試和 E-F 級考試兩種類型調整為 A-C 級考試、D-E 級考試和 F-G 級考試三種類型。

### 2019 年 3 月之前的舊版

在 2019 年 5 月舉行的第 144 回考試前，實用日本語檢定的評定等級共計分為 10 個級別，從高至低依次為特 A 級、A 級、准 A 級、B 級、准 B 級、C 級、D 級、准 D 級、E 級和 F 級。而在實際實施過程中，自 2013 年 3 月起，J-TEST 還曾短暫引入過 G 級的單獨測試，但隨後取消。

### 與其他測試的對比

根據實用日本語檢定台灣事務所的數據，J-TEST 可與日本語能力試驗和歐洲共同語言參考標準進行對比參考。

## 真題出版

日本語文研究社每年出版當年的真題，一般在次年的 4 月份出版。

## 外部連結

* J.TEST 日本官網 實用日語檢定（頁面存檔備份，存於網際網路檔案館）
* J.TEST 中國大陸官網 J.TEST 中國事務局（頁面存檔備份，存於網際網路檔案館）
* J.TEST 台灣官網 J.TEST 台灣事務局（頁面存檔備份，存於網際網路檔案館）
* J.TEST 韓國官網 J.TEST 韓國事務局 （頁面存檔備份，存於網際網路檔案館）

## 參考文獻
实用汉语课本

**實用漢語課本**是北京語言學院受中華人民共和國教育部委託為了教授非漢語母語人士學習漢語而編寫的的六冊漢語教學叢書，第一、二冊於 1981 年由商務印書館首次出版，並由劉珣、鄧恩明、劉社會編寫。第三、四冊於 1986 年出版。在一些歐美國的大學漢語課程中，實用漢語課本的一、二冊普及率達到 75%。該課本的英文版 20 年間印刷了 17 次。2002 年又推出**新實用漢語課本**，同樣為 6 冊。

## 參考文獻

## 外部鏈接

* PCR Student resources; vocabulary lists, dialogue, etc （頁面存檔備份，存於網際網路檔案館）
* Publisher of New Practical Chinese Reader: Beijing Language and Culture University Press (BLCUP) （頁面存檔備份，存於網際網路檔案館）
* HSK Flashcards; PCR and NPCR vocabulary lists, online flashcards, and printable flashcards （頁面存檔備份，存於網際網路檔案館）
实用艺术

**應用藝術**，是指主要以實用為目的的藝術，和主要以純粹的審美為目的的純粹藝術相對。應用藝術主要包括日常生活用品所承載的工藝美術（餐具、燈具、家具等），建築藝術，和各種與藝術有關的設計（圖形設計、產品設計、服裝設計等）等。

## 藝術運動

* 裝飾風藝術
* 新藝術運動
* 藝術與工藝運動
* 包浩斯
* 藝術生產主義

## 參見

* 裝飾藝術
* 設計博物館
* 普普藝術

## 參考
实皆

**實皆**（緬甸語：စစ်ကိုင်းမြို့）是緬甸實皆省的首府與主要城市。實皆位於距離曼德勒西南二十公里的伊洛瓦底江對岸。

實皆是重要的宗教中心，有許多的佛寺。實皆曾在 1760 至 1764 年短暫地當過緬甸首都。

英國人所建的有十六跨的阿瓦橋（Ava Bridge）連接了實皆與曼德勒，遊客常常到實皆進行一日遊。明宮鐘（Mingun Bell）據稱是世界上最大的可使用的、發出鐘聲的鐘，這是實皆附近的一個熱門景點。
实皆树蜥

**伊江樹蜥**（學名：_Calotes irawadi_）也稱**實皆樹蜥**，一種分布於緬甸及中華人民共和國雲南省西南部德宏傣族景頗族自治州盈江縣銅壁關自然保護區等地的爬行動物，隸屬於鬣蜥科（飛蜥科）樹蜥屬。模式產地為緬甸實皆省 Chatthin 野生動物保護區。

 

## 參考文獻
实皆王

**巴基道**（緬甸語：ဘကြီးတော်，Bagyidaw，1784 年 —1846 年 10 月），又名**實皆王**，中國史料稱其為**弗極道**或**孟既**，是緬甸貢榜王朝的一位國王，1819 年至 1837 年在位。他是波道帕耶（孟雲）之孫、扎多敏梭之子。在位期間，王朝勢力範圍曾擴達今緬甸大部分與阿薩姆阿豪姆王國。

1826 年，為了港口控制權，他展開與英國為期三年的第一次英緬戰爭，雖成功抵抗英國入侵，且僵持不下，最後被迫與英國簽訂了不平等的揚達波條約，失去德林達依省（舊名丹那沙林）及印緬邊境。導致其統治後期身患嚴重的抑鬱症，無法治理朝政，國家日常事務交由其皇后米努及國舅莽烏管理，這導致其弟弟兼王儲沙耶瓦底嚴重不滿，於 1837 年發動政變，逼迫巴基道提前退位。巴基道在軟禁中度過 9 年餘生。
实皆王国

**實皆王國**（緬甸語：စစ်ကိုင်း နေပြည်တော်）是緬甸歷史上一個已不存在的撣族小王國，存在時間為 1315 年至 1365 年。該國原為彬牙王國北部省份實皆省。彬牙王底哈都之子蘇雲統治該省期間，取得了事實獨立的地位。1325 年底哈都死後，正式宣告獨立。

實皆王國能夠獨立主要歸功於彬牙王國的內部分裂，而實皆王國內部也充滿著宮廷陰謀。1330 年代中葉至 1350 年代，實皆王國的實權掌握在首相南達巴堅的手中，在此期間實皆國王權力甚弱。1350 年代，索敏成功修復了與彬牙王國之間的緊張關係，共同對抗北方的撣族政權孟卯。1356 年至 1364 年期間，孟卯多次入侵上緬甸，實皆首當其衝。1364 年，孟卯軍隊先後洗劫了實皆和彬牙。索敏之子德多明帕耶於同年控制了兩國被毀滅的首都，並於 1365 年建立阿瓦王國。
实直线

**實直線**有如下含義，它們有互相可作補充的部分：

* 數軸：即**數直線**、**實數軸**。實數與數直線上的點按順序一一對應，並且均勻地分布著。數直線作為直線的一種模型，等價於一維歐幾里得空間，即 $\mathbb {R} ^{1}$ 。
* 實數線：是一個拓撲空間，其拓撲結構和實直線相同，但忽略其距離結構。以符號 $\mathbb {R} $ 表示。

實直線在稱作**實數軸**或**實軸**時，可以特指複平面中的如下概念：

* 實軸：複平面中表示全體實數的直線；它與**虛軸**一起，構成複平面的一種笛卡兒坐標系。
实相寺昭雄

**實相寺昭雄**（1937 年 3 月 29 日 —2006 年 11 月 29 日）是一位日本電視和電影導演，其曾於 1960 年代拍攝電視連續劇《超人力霸王》和《超人七號》。迄今為止，他是唯一一位憑藉處女作（第一部長片）《無常》獲得國際電影製片人協會認可的國際影展（盧卡諾影展）最高榮譽（金豹獎）的日本導演。

2006 年，實相寺昭雄因胃癌在東京都去世，享年 69 歲，戒名「龍徳院禪徹定昭居士」。

## 作品

### 電視劇

* フランク永井ショー 君戀し（1962 年） - 劇場中継演出。
* おかあさん（1962 年） -
* あなたを呼ぶ聲（演出。大島渚腳本。）
* 生きる（演出。石堂淑郎腳本。）
* あつまり（演出。中島堅太郎腳本。）
* 鏡の中の鏡（演出。須川栄三腳本。）
* さらばルイジアナ（演出。田村孟腳本。）
* 汗（演出。恩地日出夫腳本。）
* 正月スペシャル　ハイティーン・ア・ラ・モード　ビート！ファイト！シュート！（1963 年） - 歌番組演出。
* 7 時にあいまショー（1963 年） - 歌番組。5 本演出。
* 近鉄金曜劇場『いつか極光（オオロラ）の輝く街に』（1963 年） 大島渚腳本。
* チャリティショー日劇中継（1963 年） - 劇場中継演出。
* でっかく生きろ！（1964 年） -
* スパイ 平行線の世界 日本編「介入」（1965 年） -
* 超異象之謎（1965 年） -
* 現代の主役 ウルトラ Q のおやじ（1966 年） -
* 超人力霸王前夜祭（1966 年） - 樋口祐三共同中継演出
* 超人力霸王（1966 年） - 第 14 話『真珠貝防衛指令』、第 15 話『恐怖の宇宙線』、第 22 話『地上破壊工作』、第 23 話『故郷は地球』、第 34 話『空の贈り物』、第 35 話『怪獣墓場』
* レモンのような女（1967 年） -
* 超人七號（1967 年） - 第 8 話『狙われた街』、第 12 話『遊星より愛をこめて』（現在欠番）、第 43 話『第四惑星の悪夢』、第 45 話『円盤が來た』
* 風（1967 年） - 演出の他、主題歌の作詞も「川崎高」名義で擔當。時代劇や撮影所のノウハウをこの時學ぶ。
* 怪奇大作戰（1968 年） - 第 4 話『恐怖の電話』、第 5 話『死神の子守唄』、第 23 話『呪いの壷』、第 25 話『京都買います』
* Oh! それ見よ（1968 年） - 第 7 話（小山內美江子腳本）、第 8 話（恩田誘腳本）の 2 話を監督。
* 歸來的超人力霸王（1971 年） - 第 28 話『ウルトラ特攻大作戦』腳本執筆。
* 銀假面（1971 年） - 第 1 話『ふるさとは地球』、第 2 話『地球人は宇宙の敵』
* 帶子狼（1972 年、日本テレビ） -
* 超人力霸王太郎（1973 年） - 沒腳本『怪獣無常！昇る朝日に跪く』を執筆。
* 長崎犯科帳（1975 年、日本テレビ）
* 歴史はここに始まる（1975 年、TBS）
* 遠くへ行きたい（1977 年、よみうりテレビ）
* あゝプロ野球（1977 年、朝日放送）
* すばらしき仲間（1977 年、中部日本放送）
* わたしは旅をする（1977 年、朝日放送）
* オーケストラがやってきた（1977 年 - 1983 年、TBS） -
* 二十四の瞳（1980 年、フジテレビ）
* カラヤンとベルリン・フィルのすべて（1981 年、TBS） -
* 原辰徳スペシャル（1981 年、日本テレビ） - 4 本を演出。
* 伝説のピアニスト ホロヴィッツのコンサート（1982 年、テレビ朝日）
* ボクの音楽武者修行 -'82 指揮者・小澤征爾の世界（1982 年、朝日放送） -
* 波の盆（1983 年、日本テレビ） - 倉本聰腳本、笠智衆主演。文化庁芸術祭大賞受賞。
* 交響曲 宇宙戦艦ヤマト（1984 年 5 月 4 日、NHK） - 演出、羽田健太郎作曲、大友直人指揮、NHK 交響楽団
* コンサートオペラ ヴォツェック（1985 年） - 演出。
* 東京幻夢（1986 年）
* 火曜サスペンス劇場『青い沼の女』（1986 年、日本テレビ） - 演出。岸田理生腳本、泉鏡花原作。
* THE レイプマン 狙われた女達（1986 年、ハーフムーン、円谷映像、コダイ） - 第 2 話『竜子』演出。
* 超人力霸王迪卡（1997 年、毎日放送） - 第 37 話『花』、第 40 話『夢』
* 超人力霸王帝納（1998 年、毎日放送） - 第 38 話『怪獣戱曲』
* ウルトラ Q dark fantasy（2004 年、テレビ東京） - 第 24 話『ヒトガタ』、第 25 話『闇』
* 超人力霸王馬克斯（2005 年、中部日本放送） - 第 22 話『胡蝶の夢』、第 24 話『狙われない街』
* 怪奇大作戦 セカンドファイル（2007 年、NHK-BShi） - 系列構成、題字、第 2 話『昭和幻燈小路』腳本。

### 電影

## 參考文獻

* 『圓谷英二の映像世界』（1983 年、実業之日本社）
* 『ウルトラマン怪獣墓場』（1984 年、大和書房）
* 岩佐陽一 編 (編). 银假面・钢王・红色巴隆大全―宣弘社英雄の世界。雙葉社. 2001-08-10. ISBN 978-4575292626.
* 中山基 (編). フィギュア王 No.118. ワールドフォトプレス. 2007 年 12 月 30 日. ISBN 978-4-8465-2697-9.
* DVD『シルバー仮面フォトニクル 2』 2015 年 12 月 18 日発売 発売元 - デジタルウルトラプロジェクト DUPJ-137
* テレビマガジン特別編集 ウルトラ特撮マガジン 2020. 講談社（講談社 MOOK）. 2020-08-31. ISBN 978-4-06-520743-7.
* ウルトラ特撮 PERFECT MOOK vol.17 ウルトラマンネクサス。講談社シリーズ MOOK（ウルトラ特撮 PERFECT MOOK）. 講談社. 2021-03-10. ISBN 978-4-06-520939-4.

## 外部連結

* 實相寺昭雄在網際網路電影資料庫（IMDb）上的資料（英文）
* 鬼才・実相寺昭雄の夢幻ワールド （頁面存檔備份，存於網際網路檔案館）
* 日刊サイゾー (実相寺監督と長年親交のあった河崎実監督を取材したインタビュー記事) （頁面存檔備份，存於網際網路檔案館）
* 日本電影資料庫（JMDb）上実相寺昭雄的資料（日語）
实相般若波罗蜜经

《**般若理趣經**》，相當於梵文《**般若理趣百五十頌**》（Prajñāpāramitā-naya-śatapañcaśatikā、Adhyardhaśatikā prajñāpāramitā）全一卷。唐不空三藏譯。全稱《大樂金剛不空真實三摩耶經・般若波羅蜜多理趣品》。在《大正藏》收入《般若部》。相當於《大般若經》般若十六會中之第十會「般若理趣分」。理趣是道理旨趣的意思。本經是大日如來為金剛手菩薩所說，內容共分十七章，說明了實相般若和密教無上秘密。

## 漢譯本

本經譯本有六本：

* 《大般若波羅蜜多經・第十會般若理趣分》，一卷，唐玄奘譯。
* 《實相般若波羅蜜經》，一卷，唐菩提流志譯。
* 《金剛頂瑜伽理趣般若經》，一卷，唐金剛智譯。
* 《大樂金剛不空真實三摩耶經・般若波羅蜜多理趣品》，一卷，唐不空譯。
* 《遍照般若波羅蜜經》，一卷，宋施護譯。
* 《最上根本大樂金剛不空三昧大教王經》，七卷，宋法賢譯。前十五品與唐譯對應。最勝本初（Paramādya）瑜伽怛特羅。

## 簡介

本經也是《金剛頂經》瑜伽十八會中的第六會。在金剛界曼荼羅的九會中設有理趣會。不空譯《金剛頂經瑜伽十八會指歸》：

### 般若理趣

《大般若經・第十會般若理趣分》：

1. 謂**大貪等**最勝成就，令大菩薩大樂最勝成就。
2. **大樂**最勝成就，令大菩薩一切如來大覺最勝成就。
3. **一切如來大覺**最勝成就，令大菩薩降伏一切大魔最勝成就。
4. **降伏一切大魔**最勝成就，令大菩薩普大三界自在最勝成就。
5. **普大三界自在**最勝成就，令大菩薩能**無遺餘拔有情界、利益安樂一切有情畢竟大樂**最勝成就。

### 別生經

本經第一章的別生經有六部：

* 《大樂金剛薩埵修行成就儀軌》，屬於第八會勝初瑜伽，
* 《金剛頂勝初瑜伽經・中略出大樂金剛薩埵念誦儀》，屬於第八會勝初瑜伽，
* 《金剛頂普賢瑜伽大教王經・大樂不空金剛薩埵一切時方成就儀》，
* 《金剛頂瑜伽他化自在天理趣會・普賢修行念誦儀軌》，
* 《金剛頂勝初瑜伽・普賢菩薩念誦法》，屬於第八會勝初瑜伽，
* 《普賢金剛薩埵略瑜伽念誦儀軌》，

都說與第一章十七清淨句相應的菩薩的供養念誦法。還有

* 《般若波羅蜜多理趣經・大樂不空三昧真實金剛薩埵菩薩等一十七聖大曼茶羅義述》，

說與十七清淨句對應的菩薩的本誓。

第十七章的別生經有

* 《金剛頂瑜伽金剛薩埵五祕密修行念誦儀軌》，

以金剛薩埵、金剛欲、金剛觸、金剛愛、金剛慢五位菩薩攝第一章十七尊，並說其修行念誦法。

### 註疏

在密教的經典儀軌之中，本經特別受到重視。重要註疏有：

* 《大樂金剛不空真實三昧耶經般若波羅蜜多理趣釋》，兩卷，唐不空譯。
* 《大般若波羅蜜多經般若理趣分述讚》，三卷，唐窺基撰。

## 參見

* 百五十頌般若經
* 《吉祥最勝本初大乘儀軌王》，德格版甘珠爾 No.487（Śrī-paramādya-kalpa-rāja）
* 《吉祥最勝本初真言儀軌品》, 德格版甘珠爾 No.488（Śrī-paramādya-mantra-kalpa-khaṇḍa）
* 《聖般若波羅密多理趣百五十頌》, 德格版甘珠爾 No.489

## 註釋與引用
实竹子

**實竹子**（學名：_Qiongzhuea rigidula_）是禾本科筇竹屬的植物，是中國的特有植物。分布於中國大陸的四川等地，生長於海拔 1,300 米至 1,700 米的地區，目前尚未由人工引種栽培。

## 參考文獻
实绩

**績效**又稱**工作表現**、**業績**、**實績**，是管理學中的概念，指員工或團隊在工作過程中所表現出來的能夠被評價的工作業績、工作能力和工作態度。其中工作業績就是指工作結果達到組織目標的程度；工作能力指員工或團隊在工作完成的過程中所表現出來的素質；工作態度則是員工或團隊價值觀的反映。

## 參考文獻
实肚竹

**實肚竹**（學名：_Phyllostachys nidularia_ f. _farcta_）為禾本科剛竹屬篌竹下的一個變型，但也可能只是篌竹的異名。

## 參考文獻
实胜寺

**實勝寺**，可以是：

* 實勝寺 (瀋陽市)，遼寧省瀋陽市和平區皇寺路 206 號的藏傳佛教格魯派寺院。
* 實勝寺 (北京)，北京市海淀區香山南路紅旗村的藏傳佛教格魯派寺院。
实胜寺_(北京)

**實勝寺**是位於中華人民共和國北京市海淀區香山南路紅旗村的團城演武廳西南的一座藏傳佛教格魯派寺院。

## 歷史

實勝寺的舊址本為表忠寺（俗名鮑家寺）。清朝乾隆年間，清朝進行了大小金川之役，實勝寺即為其間於乾隆十四年（1749 年）改建而成。第一次大金川之役結束之後，乾隆帝下令在香山用於練兵的戰碉旁邊，建實勝寺，以紀念平定大金川得勝，同時還把自金川回來的習雲梯的滿族士兵編為「健銳雲梯營」，在實勝寺旁邊建屋居住，並修建金川式樣的戰碉，仿照金川首領所居的刮耳崖、勒烏圍的環境，供士兵進行操練。

《欽定日下舊聞考・卷一百二・郊垧西十二》載：

實勝寺應是供健銳雲梯營兵士（屬於滿族）供奉佛像及護法嘛哈噶喇而建。清朝時，以寶諦寺為中心，形成了一組滿族藏傳佛教寺廟群。這組寺廟包括：寶諦寺、寶相寺、長齡寺、方圓廟、梵香寺、實勝寺。這組寺廟群距離團城演武廳很近。這組寺廟群後毀於八國聯軍之手。

## 建築

實勝寺現存建築僅有碑亭一座，碑亭內為《敕建實勝寺碑記》四體碑一通。

實勝寺的《敕建實勝寺碑記》（即《日下舊聞考》所載《御製實勝寺碑記》）刻於乾隆十四年五月。碑分為兩塊，一塊立於碑亭，現仍存，另一塊立於實勝寺內，21 世紀初重新發現，現改立於旭華之閣南側。

* 立在碑亭內的碑為青石立碑，四面方廣如一。碑額寬 175 厘米，高 145 厘米，篆書「御製」二字，四面雕「二龍戲珠」。碑身寬 155 厘米，高 310 厘米，碑側有高浮雕雲紋、龍戲珠紋。須彌座寬 192 厘米，高 115 厘米，有高浮雕雲紋、龍紋。碑身的四面分別以漢文、滿文、蒙古文、藏文書寫。漢文為乾隆帝御製正書，首題「敕建實勝寺碑記」，尾題「乾隆十有四年歲在己巳夏五月之吉御製並書」。
* 立於實勝寺內的碑，中國國家圖書館藏有拓片（京 6043 號）。拓片寬 107 厘米，高 194 厘米，側邊飾有纏枝花卉。碑額篆書「御製」二字。碑陽刻漢文，碑陰刻藏文，其餘兩面未刻碑文。（北側有碑文，為乾隆御製詩一首：實勝寺疊去歲韻）。其中漢文為乾隆帝御製正書。

《日下舊聞考》所載《御製實勝寺碑記》和石碑拓片有一處文字不同。《日下舊聞考》作：「因命擇向庀材建寺於碉之側，名之曰實勝。」石碑上則為：「因命於碉傍，就舊有寺新之，易其名曰實勝。」實際上，石碑上的此句是經鑿改過的。可見，乾隆帝最初想新建一座實勝寺，但最後只是將原有的表忠寺（俗稱「鮑家寺」）改建為實勝寺而已。《日下舊聞考》亦載：「表忠寺亦稱鮑家寺，今改建實勝寺。」但《日下舊聞考》未修改所載《御製實勝寺碑記》碑文。

《實勝寺詩刻》刻於乾隆五十三年四月。該詩附刻於實勝寺內《敕建實勝寺碑記》石碑的側面。由於實勝寺內石碑今已不存，中國國家圖書館藏有《實勝寺詩刻》碑文拓片（京 6047 號，已殘），該拓片寬 28 厘米，高 204 厘米，為乾隆帝御製行書。尾題「乾隆戊申清和月中瀚疊去歲韻御筆」。詩中讚揚健銳營在鎮壓台灣林爽文起義中所立戰功。

此外，現存《實勝寺後記》（即《日下舊聞考》所載《御製實勝寺後記》），刻於乾隆二十六年四月，立在團城演武廳北閱武樓內。此碑為臥式，由整塊青石製成。碑額寬 403 厘米，高 79 厘米，厚 70 厘米。碑身寬 387 厘米，高 166 厘米，厚 54 厘米，浮雕雲紋、夔龍拱璧。須彌座寬 412 厘米，高 97 厘米，厚 73 厘米。碑身陽面刻有漢文、滿文，陰面刻有蒙古文、藏文。漢文為乾隆帝御製正書，首題「實勝寺後記」，尾題「乾隆辛巳孟夏月之吉御製並書」。碑文記述健銳營平定新疆回部大小和卓之亂中所立戰功。

## 參考文獻

## 延伸閱讀

* 關於「實勝寺」的四座碑刻，頤和吳老 \_新浪博客，2013-03-10（頁面存檔備份，存於網際網路檔案館）
实胜寺_(沈阳市)

**蓮花淨土實勝寺**，簡稱**實勝寺**，又俗稱**皇寺**、**黃寺** ，位於中國遼寧省瀋陽市和平區皇寺路 206 號，是一座藏傳佛教格魯派寺院。

## 歷史

該寺始建於清朝崇德元年（1636 年）秋，崇德三年八月初一竣工。該寺由皇太極敕建，以籠絡信仰藏傳佛教的蒙古族，故該寺又稱「皇寺」。該寺是清朝在滿洲正式興建的第一座藏傳佛教寺院，也是清軍入關之前盛京（今瀋陽）最大的藏傳佛教寺院。

實勝寺於崇德三年（1638 年）落成時，皇太極曾親率內外諸王、貝勒、大臣以及留居盛京的朝鮮世子參加了落成典禮。皇太極主政時，每年正月上旬均來該寺禮佛。清朝雍正四年（1726 年），該寺大修。以後該寺又多次修繕。歷代清朝皇帝東巡盛京時，多到該寺朝拜。比如清朝乾隆帝四次東巡，均必到該寺禮佛，並詠詩紀事，乾隆帝所作的《題實勝寺》詩曰：

> 天聰建年後，蒙古曰觀來。是皆奉佛者，梵宇於是開。神道而設教，易語理最該。聖人豈外茲，所謀遠且恢。是寺名實勝，徵明德勝回。上下同努力，成功資眾財。
> 
> 

清朝時，盛京新上任的大小官員也要赴該寺禮佛受印。因該寺受到清朝皇帝重視，勤加修繕，故至今保存完好。

清朝時，實勝寺掌印喇嘛是清朝二品官。實勝寺的香火一直很興旺，尤其每年正月、四月的初八日至十五日，該寺舉行「跳布扎」以「驅除鬼邪」，喇嘛及信徒屆時雲集該寺。

1952 年，國家撥款對該寺進行維修。1984 年以來，翻修了大殿、瑪哈噶喇佛樓、經房，重建了山門、天王殿，新建了十間配房。其中，1985 年，瀋陽市人民政府撥款重修了山門、大殿、瑪哈噶喇佛樓。

實勝寺是遼寧省文物保護單位。2000 年代，該寺住持為益西丹森。

 

## 建築

實勝寺占地面積 7000 多平方米，建築面積 2000 多平方米。整個寺院坐北朝南，平面呈長方形，分為前後兩進院落。沿中軸線依次為：山門、天王殿、大殿，兩側則有鐘樓、鼓樓、配殿、瑪哈噶喇佛樓、經堂、僧房等建築。實勝寺中現供奉有僧舍利八粒。此外，實勝寺內原來還藏有皇太極為該寺開光時所賜的腰刀一柄，以及努爾哈赤寶劍，現均藏於瀋陽故宮博物館。

實勝寺內的《實勝寺碑》載，實勝寺原來有五楹大殿，裝塑三尊西方三聖像，左右排列著阿難、迦葉、無量壽佛、蓮花生、八大菩薩、十八羅漢。東西廡各三楹，東廡藏如來一百零八龕托生畫像，以及諸品經卷；西廡供奉瑪哈噶喇。前天王殿三楹，外山門三楹，還有僧寮、禪室、鐘鼓音樂之類。

* 牌樓：實勝寺前的東西大道上，原來有一對飛檐斗拱的木製牌樓，現已無存。
* 山門：
* 天王殿：三楹，歇山式。殿內兩側有四大天王彩繪造像。中間供奉彌勒佛，彌勒佛背後為韋馱。
  * 鐘樓、鼓樓：山門內東、西兩側分別建有鐘樓、鼓樓。鐘樓內懸有一口千斤重的鐵鐘，過去鐘樓早晚敲鐘，「皇寺鳴鐘」成為盛京八景之一。鼓樓內放置一面大鼓，夜間擊鼓報時，聲音依更次而有別。
* 大殿：大殿高十多米，建在青磚平台基礎之上。大殿周圍內廊有 24 根紅色的明柱。大殿面闊五楹，進深三楹。為飛檐斗拱歇山式木架結構，頂覆黃琉璃瓦綠剪邊。大殿正中供奉著六尺高的釋迦牟尼塑像。左右供奉阿難、迦葉、彌勒佛、燃燈佛、蓮花生、無量壽佛；彌勒佛左側有宗喀巴塑像。下有八大金剛，上有十八羅漢。大殿內雕梁畫棟，兩根頂梁的柱上繪製有金龍盤柱，天棚是藏式風格藻井。天花板上有彩繪的極樂世界 —— 佛城。大殿內還收藏有許多種經卷及樂器。
  * 碑亭：位於天王殿後的東、西兩側。右側石碑正面刻有滿文，背面刻有漢文。左側石碑正面刻有蒙古文，背面刻有藏文。兩碑合稱「四體文碑」。碑文記述了建寺經過及殿宇規模、供佛序列。
  * 瑪哈噶喇佛樓：位於大殿西南，兩層，飛檐斗拱歇山式木架結構。原來內藏瑪哈噶喇金佛，為皇太極征戰察哈爾部時獲得。該樓即為收藏此金佛而建，並由此得名。實勝寺內的石碑記載：「至大元寺主時，有喇嘛帕斯八用金鑄護法瑪哈噶喇，奉祀於五台山。後請移於沙漠。又有喇嘛夏兒巴忽禿兔，復移於大元裔插漢兒靈丹汗國祀之。我寬溫仁聖皇帝，徵服其國，人民咸歸。時有喇嘛默兒極，隨載而來，上聞之乃命眾喇嘛往迎，以禮接至盛京西郊。」瑪哈噶喇金佛供奉在該樓樓上，樓下為葬有盛京默兒極（今譯默爾根都爾吉）喇嘛遺骨的木製佛塔。清朝皇帝每次來巡該寺，均要參拜瑪哈噶喇金佛。金佛為立像，雙手捧著降魔杖，高大約一尺二寸，重量為 64.5 市斤（因舊時 16 兩為一斤，故金佛重一千兩，又稱「千兩佛」），外觀呈古銅色。建此樓時，為了防止金佛被盜，所以在樓梯口加了兩道鎖，下設大翻板，以防止人踏入該樓樓上。金佛於 1946 年被盜，至今下落不明，佛像曾於 1990 年重新泥塑。2016 年，經各方人士募捐下重塑金身，並經加持等儀式重回實勝寺。

## 參考文獻
实茂芳

**實茂芳**（Adolphe Rayssac：1866 年 11 月 4 日 —1941 年 6 月 17 日），是天主教法國籍主教和巴黎外方傳教會會士。曾任中國汕頭宗座代牧區宗座代牧。

## 生平

1866 年 11 月 4 日，實茂芳出生在法國洛特省呂南。1887 年，他在 20 歲時加入巴黎外方傳教會。1889 年 9 月 21 日，22 歲晉鐸，並被派遣到中國傳教。1914 年 4 月 6 日，廣東宗座代牧區分為出潮州宗座代牧區。同年 7 月 17 日，時任教宗庇護十世任命 47 歲的實茂芳成為首任潮州宗座代牧區宗座代牧，領銜 Cotyæum 教區主教 。1915 年 5 月 1 日，由香港宗座代牧區宗座代牧師多敏主教祝聖就任

同年 8 月 18 日，潮州宗座代牧區更名為汕頭宗座代牧區。1915 年 3 月 11 日至 1917 年 2 月 12 日，曾兼任廣州宗座代牧區宗座署理。

1935 年 6 月，他原定計劃乘船經日本和美國前往義大利羅馬。但是，當他到達法國馬賽時出現輕偏癱，被送到蒙伯通的養老院接受休養。同年 12 月 9 日，69 歲的實茂芳辭任汕頭宗座代牧區宗座代牧職務。1941 年 6 月 17 日，實茂芳在法國奧克西塔尼大區塔恩 - 加龍省蒙伯通去世，享年 74 歲。

## 參考文獻
实荣堡

**實榮堡**，位於中國廣東省湛江市遂溪縣城月鎮實榮村，為遂溪縣的一個縣級文物保護單位，類型為古建築，公布時間為 1995 年 4 月 17 日。

實榮堡的歷史年代為明代。

## 參考文獻
实葶葱

**實葶蔥**（學名：_Allium galanthum_）是蔥科蔥屬的植物。分布在俄羅斯西伯利亞、中亞地區以及中國大陸的新疆自治區等地，生長於海拔 500 米至 1,500 米的地區，多生長於山坡或河谷，目前已由人工引種栽培。

## 參考文獻