zetavg/zh-tw-wikipedia huggingface dataset:
设计师交流之夜

**設計師交流之夜**（英文：PechaKucha 或 Pecha Kucha，日文：ペチャクチャ） 是一種演講形式，該演講規定使用 20 張演示文稿，並用 20 秒講述一張的時間完成（即共 6 分 40 秒的演講時間），旨在保證演講內容簡潔和快節奏的演講形式。

設計師交流之夜這樣的演講形式是由東京建築設計公司 Klein-Dytham Architecture (KDa)  的 Astrid Klein 和 Mark Dytham 於 2003 年設計出的，起初的目的是吸引年輕的設計師去位於六本木的 SuperDeluxe 參加他們的實驗性活動，在那裡可以展示設計師們的作品和交流想法。

2004 年，歐洲的幾個城市也開始嘗試該活動。 截止到 2014 年 5 月，PKNs 已經在全球 700 個城市裡舉辦過。 

## 活動形式

一個標準的設計師交流之夜通常會邀請 8-14 個演講者。每位演講者準備 20 張演示文稿 (PPT)，並用 20 秒時間講述一頁。不同城市的主辦方或許會加上他們自己的特色和形式。
在荷蘭的格羅寧根，演講的空隙會有現場樂隊演出，而在每個演講的最後 20 秒，會有主辦方邀請的評論人進行即時評論。

演講的聽眾一般都是來自設計，建築，攝影，藝術和創意領域，也有來自院校的學生 多數演講者是專業設計師來展示他們的設計作品，但也有演講者講述的主題是他們的旅行，研究課題，學習項目，興趣愛好，收藏，或是其他的興趣。有些活動中也會用到視頻作品作為演講素材。

## 如何發起一個設計師交流之夜

由於 PechaKucha 是一個被 Klein-Dytham Architecture (KDa) 註冊的商標。因此通常需由主辦方聯繫_設計師交流之夜_（PechaKucha）委員會來發起一個活動，完成非正式的申請程序之後，雙方達成相關的「握手」協定便可。設計師交流之夜並沒有形式上的限制。任何受邀請人都可以準備一個演講。

## 參考

## 外部連結

* PechaKucha 20x20（頁面存檔備份，存於網際網路檔案館）
* All talk（頁面存檔備份，存於網際網路檔案館） - Time magazine
* Short Wired piece and example PechaKucha（頁面存檔備份，存於網際網路檔案館） by Daniel Pink
设计异味

**設計異味**是計算機編程領域，設計所用結構違背了基本設計原則並對設計質量有負面影響。這個術語源自馬丁・福勒在《重構 - 改善既有代碼的設計》一書中描述的代碼異味。

不同作者對「異味」（smell）有不同的定義：

* N. Moha 等：「代碼與設計異味是差的解決方案，導致了實現與設計問題」
* R. C. Martin：「設計異味是腐敗的軟體的氣味」
* Fowler：「異味是代碼中特定的結構導致了重構的可能」

設計異味指示了積累的設計負債（技術負債的主要維度）。Bug 與未實現功能不算是設計異味。設計異味產生於很差的設計決策，使得設計脆弱、難於維護。在一個軟體系統中辨別設計異味，應用適當的重構去除異味，避免積累技術負債，是好的實踐。

在確定特定結構或決策是否算作設計異味時，上下文環境（如問題清單、設計生態圈、平台等）扮演了重要角色。很多時候，由於上下文環境所限，只好容忍設計異味。

## 常見設計異味

* 缺乏抽象（Missing abstraction），如果使用數據泥團而不是創建抽象。也稱作基本類型迷戀 、數據泥團（data clumps）。。
* 多方面的抽象（Multifaceted abstraction），如果一個抽象有多重責任。也稱作概念化的濫用
* 重複的抽象（Duplicate abstraction），如果兩個或多個抽象有相同的名字或實現。也稱作不同接口的可選類、重複的設計品。
* 缺乏封裝（Deficient encapsulation），如果一個抽象的一個或多個成員的被聲明的可訪問性超出了實際需要。
* 未利用的封裝（Unexploited encapsulation），如果客戶代碼使用顯式類型檢查（使用鏈式 if-else 或 switch 語句檢查對象的類型）而不是雷雨封裝在架構中的類型的變化。
* 破損的模塊化（Broken modularization），如果數據與 / 或方法本應在一個抽象中，卻被分開放到了不同的抽象中。
* 不充分的模塊化（Insufficient modularization），如果一個抽象實際上還沒有被徹底分解，如果進一步分解會減小其尺寸或實現複雜度。
* 循環依賴的模塊化（Cyclically-dependent modularization），如果兩個或多個抽象直接或間接互相依賴（抽象之間緊耦合）。也稱作循環依賴。
* 未分解的架構（Unfactored hierarchy），如果架構內部存在不必要的重複的類型
* 破損的架構（Broken hierarchy），如果一個父類型與一個子類型概念上並不構成「IS-A」關係，這導致了替代性的破缺。也稱作「繼承的不當使用」、無用「IS-A」。
* 循環的架構（Cyclic hierarchy），如果父類型依賴於它的某個子類型。也稱作繼承 / 引用循環。
* 僵化（Rigidity）：系統難以修改，因為每個改變迫使系統其他部分也要做出修改。
* 脆弱（Fragility）：一個修改可能引發沒有概念關係的其他地方的崩潰。
* 頑固（Immobility）：很難把系統分離為可被其他系統重用的模塊
* 粘滯（Viscosity）：做正確的事比做錯事更難。
* 不必要的複雜（Needless Complexity）：設計包含了沒有直接好處的基礎設施。
* 不必要的重複（Needless Complexity）：設計包含了本可以用一個抽象統一起來的重複的結構。
* 晦澀（Opacity）：難以閱讀與理解。不能很好的表達其意圖。

## 物件導向設計的有助於消除異味的原則

物件導向設計的 SOLID 五大原則：
單一功能原則：一個類只應有一個「改變的原因」（即功能）；
開閉原則：軟體實體（類、模塊、函數等）應當對擴展是開放的，對修改是關閉的；
里氏替換原則：子類型能替換基類型；
依賴反轉原則：高層模塊不應依賴於低層模塊，二者應當依賴於抽象。抽象不應依賴與細節。細節應當依賴於抽象。
接口隔離原則：類應當有胖（fat）接口，可被分為方法的分組。每個分組服務於不同的客戶集。客戶不應當知道這些分組是在同一個類中。

## 參見

* 代碼異味
* 反模式
* 軟體腐爛
* 技術負債

## 參考文獻
设计式缺陷

**設計式缺陷**（英語：Defective by Design）是由自由軟體基金會發起組織的反數位版權管理（DRM）運動。DRM 技術被自由軟體社群以及其他反對 DRM 的群體諷刺為「數位限制管理」（Digital Restrictions Management）或「數位限制機制」（Digital Restrictions Mechanisms） ，相比傳統媒體（如紙質書和 CD），使用了多種手段限制了使用者自由使用他們購買的電影、音樂、文學作品、軟體和硬體的能力。
「設計式缺陷」認為：DRM 是開發者主動「設計」出來的產品「缺陷」，其目的是阻止使用者自由使用產品。而對於這一點，他們認為這將嚴重削弱數位自由的未來。此運動針對「大媒體、（對消費者）沒有幫助的經銷商、DRM 發行商」，意在喚醒公眾對這個問題的意識並提高參與的積極性。這是自由軟體基金會首次嘗試與社會活動家在共同的主題上攜手，並鼓勵自由軟體支持者參與進來。在 2006 年末，此陣營聲稱已經有超過 12000 名成員加入。

## 對數位版權管理的觀點

數位版權管理是通過採用多種手段，對多媒體產品（包括音訊、影片和遊戲等）進行加密，從而自然而然地使得著作權持有者可以對使用者進行限制。例如：禁止對內容進行拷貝和複製，藉此希望完全阻止著作權侵害，但這同時也阻止了完全合法的分享和存檔；對系統的輸入輸出進行加密和妨礙，這阻止了消費者使用非官方的外設，特別是來自競爭對手的；DRM 還能夠禁止對 CD 和 DVD 進行複製，從而讓觀看者無法跳過其中的廣告；DRM 還會在不同的競爭產品間創造相容性問題。儘管有技術背景的使用者通常能找到繞過 DRM 的方法，然而這是非常困難的，而對於普通使用者，這阻止了使用者以合法的方式使用產品。

除了限制拷貝以外，DRM 技術還能使電腦的行為不被其擁有者所掌控。

## 標記行動

Defective by Design 網站鼓勵使用者利用網站的標籤功能，例如 Amazon.com 和 Slashdot 和其它允許進行標記的網站，對那些帶有 DRM 技術的產品，加入「defectivebydesign」的標籤。

## 參見

* 可信計算

## 參考來源
设计心理学

《**設計 & 日常生活**》一本是認知科學學者唐・諾曼在 1980 年代的重要著作。英文書原名為 The Psychology of Everyday Things。後改名叫做 The Design of Everyday Things。在中國大陸依照舊書名曾被譯為《**設計心理學**》，再版時又被譯作《**好用型設計**》。

這本書以認知心理學為基本原理，提供了若干非常有用的設計原則。這些原則包括心智模型、感知 / 現實映射原理、比喻以及可操作暗示等等。
设计收敛

**設計收斂**（英語：**Design closure**）是積體電路設計過程中，反覆設計、調整設計細節，以使目標電路逐漸滿足一系列設計約束的過程。積體電路設計的每個步驟（例如靜態時序分析、布局、布線等）都是極其複雜的過程，並形成了若干專門的學科進行研究。

## 外部連結

## 相關條目

* 時序收斂
设计文档

**設計文檔**是一種與軟體設計有關的電腦檔案，用於記錄軟體設計信息以及各種可能遇到的軟體設計問題。軟體設計和開發人員在開發軟體時要閱讀設計文檔。

## 參考文獻
设计概算

**設計概算**是指在初步設計階段，在投資估算的控制下，由設計單位根據初步設計或擴大初步設計圖紙及說明、概算定額或概算指標、綜合概算定額、取費標準、設備材料概算價格等資料，編制和確定建設項目從籌建至竣工交付生產或使用所需全部費用的經濟文件。設計概算可分為三級，單位工程概算、單項工程概算、建築項目總概算。

## 編制依據

## 編制方法
设计模式

**設計模式**可以指：

* 建築設計模式
* 設計模式 (電腦)
* 《設計模式：可復用物件導向軟體的基礎》，一本有關軟體設計模式的書
设计模式_(书)

《**設計模式：可復用物件導向軟體的基礎**》（Design Patterns: Elements of Reusable Object-Oriented Software）是軟體工程領域有關設計模式的一本書，提出和總結了對於一些常見軟體設計問題的標準解決方案，稱為軟體設計模式。該書作者是埃里希・伽瑪（Erich Gamma）、Richard Helm、Ralph Johnson 和 John Vlissides，後以「四人幫」（Gang of Four，GoF）著稱，書中的設計模式也被稱為「四人幫設計模式」（Gang of Four design patterns）。

這本書在 1994 年 10 月 21 日首次出版，至 2012 年 3 月已經印刷 40 版。

## 建立範例

建立範例全部是關於如何建立實例的。這組範例可以被劃分為兩組：類建立範例及物件建立範例。類建立實例在實例化過程中有效的使用類之間的繼承關係，物件建立範例則使用代理來完成其任務。

* 抽象工廠 (Abstract Factory)
* 構造器 (Builder Pattern)
* 工廠方法 (Factory Method pattern)
* 原型 (Prototype pattern)
* 單例模式 (Singleton pattern)

## 結構範例

這組範例都是關於類及物件複合關係的。

* 配接器（Adapter pattern）
* 橋接（Bridge pattern）
* 組合（Composite pattern）
* 裝飾（Decorator pattern）
* 外觀（Facade pattern）
* 享元（Flyweight pattern）
* 代理（Proxy pattern）

## 行為範例

這組範例都是關於物件之間如何通訊的。

* 責任鏈（Chain-of-responsibility pattern）
* 命令（Command pattern）
* 翻譯器（Interpreter pattern）
* 迭代器（Iterator pattern）
* 中介者（Mediator pattern）
* 回憶（Memento pattern）
* 觀察者（Observer pattern）
* 狀態機（State pattern）
* 策略（Strategy pattern）
* 模板方法（Template method pattern）
* 參觀者（Visitor）

## 參考文獻

## 外部連結

* Design Patterns CD: Elements of Re-usable Object-Oriented Software The entire book online, updated by the authors for CD.
* Formal And Precise Software Pattern Representation Languages A bibliography
* Pattern Hatching（頁面存檔備份，存於網際網路檔案館）
* LePUS A formal language for describing and reasoning about design patterns
* Microsoft patterns & practices Home（頁面存檔備份，存於網際網路檔案館）
设计模式_(计算机)

在軟體工程中，**設計模式**（design pattern）是對軟體設計中普遍存在（反覆出現）的各種問題，所提出的解決方案。這個術語是由埃里希・伽瑪（Erich Gamma）等人在 1990 年代從建築設計領域引入到計算機科學的。

設計模式並不直接用來完成程式碼的編寫，而是描述在各種不同情況下，要怎麼解決問題的一種方案。物件導向設計模式通常以類別或物件來描述其中的關係和相互作用，但不涉及用來完成應用程式的特定類別或物件。設計模式能使不穩定依賴於相對穩定、具體依賴於相對抽象，避免會引起麻煩的緊耦合，以增強軟體設計面對並適應變化的能力。

並非所有的軟體模式都是設計模式，設計模式特指軟體「設計」層次上的問題。還有其他非設計模式的模式，如架構模式。同時，演算法不能算是一種設計模式，因為演算法主要是用來解決計算上的問題，而非設計上的問題。

隨著軟體開發社群對設計模式的興趣日益增長，已經出版了一些相關的專著，定期召開相應的研討會，而且沃德・坎寧安（Ward Cunningham）為此發明了 WikiWiki 用來交流設計模式的經驗。

## 發展歷史

建築師克里斯托佛・亞歷山大在 1977/79 年編制了一本匯集**設計模式**的書，但是這種設計模式的思想在建築設計領域裡的影響遠沒有後來在軟體開發領域裡傳播的廣泛。

肯特・貝克和沃德・坎寧安在 1987 年，利用克里斯托佛・亞歷山大在建築設計領域裡的思想開發了_設計模式_，並把此思想應用在 Smalltalk 中的圖形使用者介面（GUI）的生成中。一年後，埃里希・伽瑪在他的蘇黎世大學博士畢業論文中開始嘗試把這種思想覆寫為適用於軟體開發。與此同時 James Coplien 在 1989 年至 1991 年也在利用相同的思想致力於 C++ 的開發，而後於 1991 年發表了他的著作 _Advanced C++ Programming Styles and Idioms_。同年，Erich Gamma 得到了博士學位，然後去了美國，在那與 Richard Helm、Ralph Johnson、John Vlissides 合作出版了《設計模式：可復用物件導向軟體的基礎》（Design Patterns - Elements of Reusable Object-Oriented Software） 一書，在此書中共收錄了 23 種**設計模式**。

這四位作者在軟體開發領域裡以「四人幫」（英語，Gang of Four，簡稱 GoF）而聞名，並且他們在此書中的協同運作導致了軟體設計模式的突破。有時，GoF 也會用於代指《設計模式》這本書。

## 表述格式

表述一個軟體設計模式的格式根據作者的不同，劃分和名稱等都會有所不同。常用的 GoF 描述模式的格式大致分為以下這些部分：

* 模式名：每一個模式都有自己的名字，模式的名字使得我們可以討論我們的設計。
* 問題：在物件導向的系統設計過程中反覆出現的特定場合，它導致我們採用某個模式。
* 解決方案：上述問題的解決方案，其內容給出了設計的各個組成部分，它們之間的關係、職責劃分和協同運作方式。
* 別名：一個模式可以有超過一個以上的名稱。這些名稱應該要在這一節註明。
* 動機：在哪種情況使用該模式，是本節提供的方案（包括問題與來龍去脈）的責任。
* 適用性：模式適用於哪些情況、模式的背景等等。
* 結構：這部分常用類圖與互動圖闡述此模式。
* 參與者：這部分提供一份本模式用到的類與物件清單，與它們在設計下扮演的角色。
* 合作：描述在此模式下，類與物件間的互動。
* 影響：採用該模式對軟體系統其他部分的影響，比如對系統的擴充性、可移植性的影響。影響也包括負面的影響。這部分應描述使用本模式後的結果、副作用、與權衡 (trade-off)。
* 實作：這部分應描述實現該模式、該模式的部分方案、實現該模式的可能技術、或者建議實現模式的方法。
* 範例：簡略描繪出如何以程式語言來使用模式。
* 已知應用：業界已知的實作範例。
* 相關模式：這部分包括其他相關模式，以及與其他類似模式的不同。

## 分類

《設計模式》一書原先把設計模式分為建立型模式、結構型模式、行為型模式，把它們通過授權、聚合、診斷的概念來描述。若想更進一步了解關於物件導向設計的背景，參考介面模式、內聚性。若想更進一步了解關於物件導向程式設計的背景，參考繼承，介面，多型。

## 參閱

* 設計範例
* 反模式，對某個問題經常出現的、在設計中應該儘量避免的、壞的設計方案。
* 模式挖掘
* 軟體重構
* 程式設計實踐

## 參考資料

* Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides: Design Patterns, Addison-Wesley, 1995, hardcover, 395 pages, ISBN 978-0-201-63361-0, Design Patterns CD, 1997 ISBN 978-0-201-63498-3
* Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, Michael Stal: Pattern-oriented Software Architecture, Volume 1: A System of Patterns, John Wiley & Sons Ltd., ISBN 978-0-471-95869-7
* Douglas Schmidt: Pattern-oriented Software Architecture. Volume 2: Patterns for Concurrent and Networked Objects, John Wiley & Sons Ltd., ISBN 978-0-471-60695-6
* Alan Shalloway, James R. Trott: Design Patterns Explained: A New Perspective on Object-Oriented Design, Addison-Wesley, ISBN 978-0-201-71594-1
* Martin Fowler: Patterns of Enterprise Application Architecture, Addison-Wesley, ISBN 978-0-321-12742-6

## 外部連結

* Java J2EE 模式目錄（頁面存檔備份，存於網際網路檔案館）
* 設計模式列表（頁面存檔備份，存於網際網路檔案館）.
* mgrand 的書介紹了許多模式
* hillside.net 模式目錄
* 設計模式會通（頁面存檔備份，存於網際網路檔案館）
* 設計模式工具箱（頁面存檔備份，存於網際網路檔案館）
* C# 面向物件設計模式縱橫談系列課程（頁面存檔備份，存於網際網路檔案館）
* 設計模式目錄（頁面存檔備份，存於網際網路檔案館）
设计矩阵

**設計矩陣**（英語：design matrix、model matrix、regressor matrix）在統計學和機器學習中，是一組觀測結果中的所有解釋變量的值構成的矩陣，常用 **X** 表示。設計矩陣常用於一些統計模型，如一般線性模型，方差分析中。

## 定義

通常情況下，設計矩陣的第 i 行代表第 i 次觀測的結果，第 j 列代表第 j 種解釋變量。如此一來，線性回歸模型就可以用矩陣乘法表達為

　
: $y=X\beta $

其中 $X$ 是設計矩陣， $\beta $ 是對應每一種解釋變量的係數組成的係數向量， $y$ 是每一個觀測對應的預測值構成的向量。

## 例子

### 算數平均

算數平均的設計矩陣是一個全為 1 的列向量。

### 簡單線性回歸

本節給出了一個簡單線性回歸的例子，其中有一個解釋變量和有七個觀測值。這七個數據點是 $\left\{y_{i},x_{i}\right\},i=1,2,\cdots ,7$ 。該簡單線性回歸模型可以表示為：

　
: $y_{i}=\beta _{0}+\beta _{1}x_{i}+\varepsilon _{i},\,$

其中 $\beta _{0}$ 為 y 軸的截距， $\beta _{1}$ 是回歸線的斜率。該模型可以表示為矩陣形式：

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&x_{1}\\1&x_{2}\\1&x_{3}\\1&x_{4}\\1&x_{5}\\1&x_{6}\\1&x_{7}\end{bmatrix}}{\begin{bmatrix}\beta _{0}\\\beta _{1}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$

其中設計矩陣中的第一列用以估計 y 軸的截距，而第二列包含與相應 y 值相關的 x 值。

### 多元回歸

本節給出了一個有兩個協變量（解釋變量）的多元回歸例子： $w$ 和 $x$ 。假設數據由七個觀測值組成，對於每個待預測的觀測值 $y_{i}$ ，兩個協變量的值 $w_{i}$ 和 $x_{i}$ 也被觀察到。該模型可以表示為：

　
: $y_{i}=\beta _{0}+\beta _{1}w_{i}+\beta _{2}x_{i}+\varepsilon _{i}$

該模型可以表示為矩陣形式：

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&w_{1}&x_{1}\\1&w_{2}&x_{2}\\1&w_{3}&x_{3}\\1&w_{4}&x_{4}\\1&w_{5}&x_{5}\\1&w_{6}&x_{6}\\1&w_{7}&x_{7}\end{bmatrix}}{\begin{bmatrix}\beta _{0}\\\beta _{1}\\\beta _{2}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$

右側的 $7\times 3$ 矩陣即為設計矩陣。

### 單方向方差分析

在單方向方差分析中，此時的模型為

　
: $y_{ij}=\mu +\tau _{i}+\varepsilon _{ij}$

限制： $\tau _{1}$ 為 0

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&0&0\\1&0&0\\1&0&0\\1&1&0\\1&1&0\\1&0&1\\1&0&1\end{bmatrix}}{\begin{bmatrix}\mu \\\tau _{2}\\\tau _{3}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$

## 參考文獻

## 延伸閲讀
设计科学许可证

**設計科學許可證**（或**設計科學許可協議**） （英語：Design science license,DSL） 是一個用於任何種類的自由內容的 copyleft 協議，例如文字、圖片、音樂等。不同於其他的開源協議，設計科學許可證的目的是用於任何受版權保護的內容，包括文檔和源代碼在內。它是第一個「廣義的 Copyleft」協議，由邁克爾・施圖茨（英語：Michael Stutz）發布。

設計科學許可協議誕生於 20 世紀九十年代，在創作共用之前。當創作共用出現時，施圖茨認為設計科學許可協議的實驗「結束」並不在推薦使用它。

## 參考文獻

## 外部鏈接

* Copy of the Design Science License（頁面存檔備份，存於網際網路檔案館）
设计程序

**設計程序**是一系列讓設計師、建築師和一些系統設計師跟隨的步驟。它是 (英國) 普通中等教育證書課程大量科目中的一部分。設計程序典型的階段包括：

* 設計摘要 - 手頭任務的簡報
* 分析 (系統設計) - 對當前的系統的分析
* 研究 - 調查相似的產品在實地或相關題目
* 規格 - 詳細定義產品必需確切地達到的效果
* 設計 - 解決方案的展示
* 發展 - 一種解決方案的延續和改善
* 測試 (系統設計) - 實地測試系統
* 完成 (系統設計) - 將設計介紹入環境
* 評估和結論 - 程序總結，包括為未來改善而提出的建設性批評和建議

有些階段也許在真實情況下為了節省時間被忽略，或因為它們在某些情況下是多餘的。
设计结构质量指数

**設計結構質量指數**（DSQI，design structure quality index）是軟體架構設計階段使用的軟體度量，評估軟體結構及模組效率。設計結構質量指數最早是由美國的空軍系統司令部開始使用。

設計結構質量指數計算的結果是一個 0 到 1 之間的數值，數值最接近 1 表示品質越好。設計結構質量指數最適合用來作為和以往成功的軟體專案比較的基準。

## 參考資料

## 外部連結

* DSQI 計算器
设计自动化标准委员会

**設計自動化標準委員會**（英語：**Design Automation Standards Committee, DASC**）是由 IEEE 中對設計自動化感興趣的人結成的子學會、IEEE 計算機社團（Computer Society）和 IEEE 標準協會（IEEE Standards Association）共同組成。該組織負責監管有關計算機輔助設計（即設計自動化）的 IEEE 標準。它也是 IEEE 計算機社團的一部分

設計自動化委員會贊助的標準包括：

* IEEE 1076 Standard VHDL Language Reference Manual (VASG)[1]（頁面存檔備份，存於網際網路檔案館）
  * VHDL-200x [2]（頁面存檔備份，存於網際網路檔案館）: the next revision
  * Issues Screening and Analysis Committee (ISAC) [3]（頁面存檔備份，存於網際網路檔案館）
  * VHDL Programming Language Interface Task Force (VHPI) [4]（頁面存檔備份，存於網際網路檔案館）
  * P1076.1 Standard VHDL Analog and Mixed-Signal Extensions (VHDL-AMS)
  * P1076.1.1 Standard VHDL Analog and Mixed-Signal Extensions - Packages for Multiple Energy Domain Support (StdPkgs)
  * P1076.4 Standard VITAL ASIC (Application Specific Integrated Circuit) Modeling Specification (VITAL)
  * P1076.6 Standard for VHDL Register Transfer Level (RTL) Synthesis (SIWG)
* P1364.1 Standard for Verilog Register Transfer Level Synthesis (VLOG-Synth)
* P1481 Standard for Integrated Circuit (IC) Open Library Architecture (OLA) (IEEE1481R)
* P1499 Standard Interface for Hardware Description Models of Electronic Components (OMF)
* P1603 Standard for an Advanced Library Format (ALF) Describing Integrated Circuit (IC) Technology, Cells, and Blocks (ALF)
* P1647 Standard for the Functional Verification Language 'e' (eWG)
* P1666 Standard SystemC Language Reference Manual [cosponsored with IEEE-SA CAG]
* P1685 SPIRIT XML Standard for IP Description (IEEE-1685)
* P1735 (Study Group)
* SystemVerilog Working Group
  * P1800 SystemVerilog: Unified Hardware Design, Specification and Verification Language (SV-IEEE1800) [cosponsored with IEEE-SA CAG]
  * P1364 Standard for Verilog Hardware Description Language (IEEEVerilog)
* IEEE 1801 Standard for the Design and Verification of Low Power Integrated Circuits, the Unified Power Format
* IEEE 1850 Standard for PSL: Property Specification Language (cosponsored with IEEE-SA CAG)

## 參考文獻
设计艺术学

**設計藝術學**是中國大陸學科門類名稱，也可簡稱**設計學**。此學科於 1998 年被國務院學位委員會列為「藝術學」一級學科門類下的二級學科。該名稱對應於英文的「Design」，在大陸藝術學界常常被簡稱為「設計」或「藝術設計」。但「設計藝術學」包含的主要門類是平面設計、環境藝術設計、服裝設計、產品設計、景觀設計、陶瓷設計等等，而通常不包括「建築設計」和「工業設計」。

目前中國大陸的設計藝術學國家重點學科設在清華大學。此外，中國美術學院、中央美術學院、澳門科技大學、中國藝術研究院、南京藝術學院、湖南大學、江南大學、上海交通大學、上海大學上海美術學院等院校和研究機構，也具有設計藝術學博士學位授予權。另外還有一些院校雖然沒有「設計藝術學」博士學位的直接授予權，但也合法地利用「美術學」、「中國現當代文學」等相關學科博士點，實際招收從事設計藝術學研究方向的美術學或文學博士研究生。

在歐美國家，藝術設計學沒有博士學位，只有兩個碩士學位 MA (Master of Art) 和 MFA（Master of Fine Art）：MFA 比 MA 要多修 30 多個學分的課程；MFA 由於是最高的藝術設計學學位，所以相當於其他專業的博士學位。中國大陸的藝術設計學博士學位在歐美對應的就是 MFA 的學位，碩士學位對應的則是 MA 的學位。

## 參考文獻

1. 祝帥.「設計」的闡釋焦慮.[J]. 美術觀察.2004 (1).
设计规则检查

**設計規則檢查**（英語：**Design rule checking, DRC**）是電子設計自動化的一個重要組成部分，它決定了指定積體電路晶片的物理版圖是否滿足推薦的參數要求，這個要求即設計規則。

## 設計規則

設計規則是一系列由半導體製造廠商提供的參數，確保設計者能夠畫出正確的光罩板。

## 設計規則軟體

設計規則檢查的目的是生產出高良率和高穩定性的產品。如果違反了設計規則，會對設計的功能造成影響。

一般在運行設計規則檢查時，會輸入由版圖導出的 GDSII 格式文件。由軟體並經過一系列設計規則的技術文件進行處理，產生違反規則的報告。設計者對這些違反規則的數據進行確認。

軟體在定義設計規則的時候，通常會使用一種計算機語言來描述如何對設計規則進行操作。比如 Mentor Graphics 使用 Standard Verification Rule Format (SVRF)。

## 商業化軟體

電子設計自動化（EDA）廠商提供商業化的軟體，主要由

* _Calibre_ by Mentor Graphics
* _Hercules_ and _IC Validator_ by Synopsys
* _Diva_, _Dracula_, _Assura_ and _PVS_ by Cadence Design Systems

## 參考文獻

* _Electronic Design Automation For Integrated Circuits Handbook_, by Lavagno, Martin, and Scheffer, ISBN 0-8493-3096-3 A survey of the field, from which part of the above summary were derived, with permission.

## 相關條目

* 積體電路版圖
设计运动

**設計運動**指的是因為製作手段、工藝改進和消費水準不同，而導致的國際性設計潮流和風格改變的藝術運動。主要地區在歐美。大致可分為下幾類的設計運動，有時也稱為**設計流派**或是**視覺藝術運動**（Visual Art Movement）。

要注意的是，設計運動與設計流派並不是絕對的，在不同的設計評論家、設計史家當中、有不同的歸納做法。在此列出是廣為人知的整理。越晚期的設計運動就越有爭議性，也分的越細。而且會與文化運動、藝術運動混合在一起。

## 簡單的設計流派整理

### 早期

* 1880 年到 1910 年：工藝美術運動
* 1880 年代：新藝術運動時期，主要在 1892 年至 1902 年達到頂峰（1900 年，巴黎世界博覽會時），大約 1907 年以後就開始被忽視。
  * 下列流派也被歸類在在新藝術運動當中：

新藝術在德國被稱作「青年風格」[JUGENDSTIL]，
在法國被稱作「現代風格」[MODERN STYLE]，
在義大利被稱亻「自由風格」[STILE LIBERTY]。

* * * 維也納分離派運動
    * 德國青年運動
    * 義大利自由風格
* 1925 年到 1930 年代：裝飾藝術運動時期
  * 在美國發展的比較久，一直到 1960 年代達到巔峰，代表為好萊塢風格。

### 中期

* 1930 年代；現代主義運動，1890 年開始持續到 1945 年
  * 下列流派也被歸類在在現代主義運動當中：
    * 荷蘭風格派運動
    * 俄國構成主義設計
    * 德意志工藝聯盟
    * 奧地利工藝組織

### 近代

* 1960 年代：波普藝術
* 1970 年代：後現代主義
* 1980 年代：解構主義在 1960 年代晚期就醞釀。

### 建築設計

* * 建築師羅伯特・斯坦恩在 Modern Classicism 書中的分類
    * 冷嘲熱諷古典主義 (Ironic Classicism) 或符號性古典主義 (Semiotic Classism)
    * 潛伏古典主義 (Latent Classicism)
    * 原教旨古典主義 (Fundamentalish Classicism)
    * 規範古典主義 (Canonic Classicism)
  * 查爾斯・詹克斯的分類
    * 原教旨古典主義 (Fundamentalish Classicism)
    * 復興古典主義 (Revivalist Classicism)
    * 都市古典主義 (Urbanist Classicism)
    * 折衷古典主義 (Eclectic Classicism)

### 產品設計

所謂產品，是指人類生產製造的物質產品，是人類設計思想付之於實施的產物。產品設計所著重考慮的是產品的造型、結構和功能等，設計的目的是生產製造出符合人們需要的實用、經濟、美觀的產品，從原始人敲砸而成的石器，到今天的飛機、汽車、計算機都是人類產品設計的結晶。

從生產方式的角度看，產品設計包括手工業加工的手工藝設計及現代大機器生產的工業設計兩大類。

* 高科技風格設計 (High-Tech)
* 過渡高科技風格設計 (Trans High Tech)
* 減少主義風格設計 (Minimalism)
* 建築風格設計 (Archetypes)
* 微建築風格設計 (Micro-Architecture)
* 微電子風格設計 (Micro-Electronics)

## 參見

* 新現代主義

## 外部連結
设计预算

**設計預算**是指在建築施工圖設計階段，在設計概算的控制下，由建築師根據建築施工圖及施工說明、預計工時、預算定額或預算指標、綜合預算定額、取費標準、建築材料預算價格、建築設備預算價格、整體產品預算價格、室內裝修預算價格等資料，編制和確定建設項目從籌建至竣工交付生產或使用所需全部費用的經濟文件。設計預算是下一步進行招投標的重要基礎文件之一。

## 編制依據

## 編制方法

## 參考文獻
设计－建造

**設計－建造**（英文：**Design-Build**）是一種建築項目的交付模式，業主將項目交給單一實體全面負責，承攬設計、採購、施工等，直至項目完成。與傳統的設計－招標－建造項目交付模式相比，設計和建造業務由一個被稱為設計 - 建造承包商的單一實體來承擔；而設計－招標－建造模式中，設計和建造是由不同的實體承擔的。

## 定義

美國總承包協會（Associated General Contractors of America, DBIA）的定義：設計－建造模式，又稱設計－施工（Design-Construct）模式或單一責任主體（Single Responsibility）模式，是一種合同框架；在此框架下，由一個實體，根據一份合同，承擔全部的設計和施工任務。

美國土木工程師協會（American Society of Civil Engineers, ASCE）的定義：政府機構和私人商業領域可選用的項目交付方式之一；使用該模式，業主可將設計和施工的責任集中在一份合同之中，從而期望項目的生命周期成本被最有效利用，獲得高質量的產品和服務。

英國皇家特許建築學會（The Chartered Institute of Building, CIOB）定義是：業主就整個建設項目直接與一個承包商溝通，這個承包商要負責每個設計和施工的流程，並負責協調。施工與設計階段雖有聯繫，但還是獨立的過程。業主可以直接任命內部人員或者一個單獨的諮詢人員來審核項目是否物有所值，質量是否滿足業主要求。

香港工程監督學會 (The Hong Kong Institute of Clerks of Works, HKICW) [1] 定義是：業主由可以由直接聘用工程監督，在施工的工地中，進行監督日常工地施工的工程質量的模式，轉而透過主要承包商去聘用工程監督的模式，去達到進行監督日常工地施工的工程質量。

設計－建造承包商通常是建築承包商，但在很多情況下，也可以是設計專業人士，如建築師或工程師。 設計 - 建造 承包商可採用下述組織結構：

1. 應用自己實體的力量獨立完成全部合同
1. 以設計承包商和施工承包商組成一個聯合實體
1. 以設計承包商為主導組成團隊，施工承包商作為分包商
1. 以施工承包商為主組成團隊，設計承包商為分包商

## 優點

建築項目歷來一方面需要確定建築設計師，另一方面需要確定建築承包商，而這種設計－建造模式改變了傳統的流程。這一項目交付模式，對業主的期望是否能實現的責任方是單一實體的，從而有可能減少風險和整體成本。

設計－建造交付模式，用於為業主降低項目風險，並通過使項目設計階段與項目建築階段重疊，以縮短項目交付時間。

## 工程項目交付

在西方，工程項目的交付模式通常包括設計－建造模式、設計－採購－施工模式（Engineering-Procurement-Construction，簡稱 EPC 模式）模式、以及交鑰匙（Turnkey）模式三種。

這三種工程項目交付模式的細微差別，可世界工程師聯合會（FIDIC）1999 年作出的如下定義來判斷：1）EPC 模式：承包商承擔項目設計和施工的全部責任，業主很少介入；2）交鑰匙模式：承包商承擔全部設計、採購和施工，最終提供配備完善的設施，業主拿到鑰匙即可運行；3）設計－建造模式，承包商按業主的要求設計提供工程設施。

## 缺點

設計－建造承包商的性能，跟該承包商是純粹單一實體、是聯合體，還是鬆散組合是密切相關的。純粹單一實體承包商，通常自身擁有設計和建造資源；聯合體往往是自身部分擁有建造資源總建築承包商僱傭設計團隊，而鬆散組合指中小型建商和外部設計團隊間的合作。這三者技術和管理水平是不同的，從純單一實體，至鬆散組合，很可能在設計和建築能力上是降低的。而對於項目成本，則剛好相反，業主選擇純粹單一實體承包商，與選擇鬆散組合承包商相比，項目成本是增加的。

## 歷史

設計 - 建造有時被比作最古老建築流程 ——「建築大師」（「master builder」）模式。與傳統的建築合同採購方式相比，《設計－建造合同手冊》一書的作者們評論說：「從歷史上來看到，所謂的傳統模式，實際是很近代的概念，只使用 150 年。而設計 - 建造概念，也以「建築大師」著稱，據報導已經使用了超過 4,000 年歷史」。

## 參考文獻

## 外部連結

* The Design/Build Institute of America（頁面存檔備份，存於網際網路檔案館）
* The Design/Build Institute of Canada（頁面存檔備份，存於網際網路檔案館）
* Yestermorrow Design/Build School（頁面存檔備份，存於網際網路檔案館）
* 香港工程監督學會 (The Hong Kong Institute of Clerks of Works, HKICW)
设赏伽

**設賞伽**（孟加拉語：শশাঙ্ক，羅馬化：_Śaśāṃka_）首次將孟加拉地區統一為一個獨立的實體，是為高達王國。其統治時期為公元 7 世紀。一些歷史學家認為是 590 年至 625 年。他是戒日王及拘摩羅・跋濕迦羅跋摩的競爭對手。王國首都為羯羅拿蘇伐剌那，位於今日孟加拉西部的穆爾斯希達巴德。而孟加拉曆法也常常歸功於他，因為該曆法的起始時間便在其統治時期內。

如今，關於其生平信息有幾個主要來源。來自其附庸國的銅板，來自於敵對國家戒日王朝及穆克里王朝的銅板，宮廷詩人波那的記述，中國僧人玄奘的記載，以及設賞伽統治時期的貨幣。

## 生平

設賞伽為高達王國君主，但其統治區域不僅限於高達地區。王國疆域自文伽至布巴內什瓦爾，東側與迦摩縷波接壤。在設賞伽之前，孟加拉分為三個區域，分別是孟加、三摩呾吒以及高達。後笈多王朝統治者 Mahasenagupta 在此維繫著微弱的統治，設賞伽為其封臣之一。 Mahasenagupta 死後，設賞伽將後笈多王朝及其他一些名門望族逐出此地，以羯羅拿蘇伐剌那為都建立了高達王國。

一份 12 世紀的文書稱設賞伽摧毀了孟加拉地區的佛塔，對佛教十分殘暴。他還砍掉了摩訶菩提寺中佛曾悟道的菩提樹。

Ramesh Chandra Majumdar 宣稱該記述令人懷疑，因為文書書寫於這些事情的五個世紀之後，並認為把此書中的講述直接當做歷史並不妥當。Radhagovinda Basak 則認為沒有理由相信一個 12 世紀的佛教徒會對設賞伽抱有不適感，故其很可能會對 7 世紀的事件忠實描述。

設賞伽及其盟國曾與戒日王爆發過一次重要戰爭。戰爭結果無法確信，因為設賞伽得以保全領土。曷利沙伐彈那兄長曷羅闍伐彈那在此戰中遇害。雖無確切證據，但可能是設賞伽將其殺死。關於此事唯一的來源便是波那的《戒日王傳》，其中所述這幾人都沒有死亡。

戒日王即位後，頻頻對高達王國發動攻擊。設賞伽死後，其子 Manava 即位，但在八個月後就被推翻。高達王國也被戒日王朝和迦摩縷波瓜分。

## 參考資料

### 腳註

### 書籍

* R. C. Majumdar, _History of Bengal_, Dacca, 1943, pp 58–68
* Sudhir R Das, _Rajbadidanga_, Calcutta, 1962
* P. K. Bhattacharyya, _Two Interesting Coins of Shashanka_, Journal of the Royal Asiatic Society of Great Britain & Ireland, London, 2, 1979

## 外部連結

* Shashanka（頁面存檔備份，存於網際網路檔案館） from Banglapedia
设赏伽王朝

**羯羅拏蘇伐剌那國**（梵語：Karṅasuvarṅa），意譯作**金耳國**，王號**喬荼**（孟加拉語：গৌড় রাজ্য，羅馬化：_Gauṛa rājya_），在英語中稱「**高達王國**」，為古典印度後期的一股勢力，是孟加拉地區的起源。。

## 名稱

「喬荼」（Gauḍa，「荼（ḍa）」通「茶」，類似現代標準漢語和閩東語的「茶」音）一詞最早出現於公元 5 世紀左右，但是何時用於指代此地區已不可考。公元 6 世紀末，笈多帝國封臣設賞伽於此建立了金耳國，晚期這一詞彙逐漸變音為「喬羅」（Gauṛa），形成今天的孟加拉語名稱。

## 歷史

設賞伽首次將孟加拉地區各獨立的政治實體統一，是為高達王國。他在位時間為 7 世紀，一些歷史學家推測為 590 年至 625 年。王國首都金耳城，位於今巴哈拉姆普爾西南 9.6 公里（6.0 英里）。

中國高僧玄奘曾遊歷羯羅拏蘇伐剌那國，自金耳城至今奧里薩邦一帶。並明確記載道奔那伐彈那國為金耳國一部分。

606 年，普西亞布蒂王朝的曷利沙伐彈那即位後，緊接著便與迦摩縷波的拘羅摩夾擊金耳國。後者甚至想要進攻金耳城。設賞伽被擊退。

設賞伽離世後，其子摩那婆繼位，但只掌權了八個月即遭推翻，孟加拉地區再次陷入群龍無首的狀態。

## 宗教信仰

玄奘稱「好尚學藝，邪正兼信」、「習學小乘正量部法」、「異道寔多」、「初，此國未信佛法，時南印度有一外道，腹錮銅鍱，首戴明炬，杖策高步來入此城，振擊論鼓，求欲論義」。

## 後事

喬荼末代君主死後，其子獻國波羅，波羅王朝君主在當地被稱作「磐起缽底」（意為「磐起之君」）或「喬荼伊濕伐羅」（意為「喬荼之主、自在」），犀那國王也自稱「喬荼伊濕伐羅」。自此之後，兩個名稱在孟加拉地區開始等同。

## 參考資料
设里河

**設里河**，位於中國雲南省東南部，是西江南盤江段右岸支流，上游又稱**鳳尾河**，發源於丘北縣東北部溫瀏鄉以西的山丘，向北流經師宗縣東南部的高良壯族苗族瑤族鄉，於高良鄉北部南盤江大橋下游匯入南盤江。全長 50.9 公里，河道比降 10.8‰，落差 700 米，流域面積 348.3 平方公里。水力資源理論蘊藏量 1.88 萬千瓦。

## 參考資料
设问

在修辭法中，**設問**指不直述，而以提問帶出重點的筆法。從中國古典詩辭到現代的思辯文章，設問手法一直存在，旨在引起讀者注意，不一定需要答案。

## **懸問**

懸問又叫「**疑問**」，懸示作者確實沒有答案，讓聽者尋思。是指作者心中真的有疑問，並在文章中提出問題，讓讀者一起去思考，我們稱為懸問。

例句：

* 「君自故鄉來，應知故鄉事，來日綺窗前，寒梅著花未？」(王維，《雜詩三首・其二》)
* 「兒童相見不相識，笑問客從何處來？」(賀知章，《回鄉偶書二首・其一》)
* 「聰明的，你告訴我，我們的日子為什麼一去不復返呢？」(朱自清，《匆匆》)
* 「以君之力，曾不能損魁父之丘，如太行、王屋何？且焉置土石？」(列子，《愚公移山》)
* 「春眠不覺曉，處處聞啼鳥。夜來風雨聲，花落知多少？」(孟浩然，《春曉》)
* 「春花秋月何時了？往事知多少？小樓昨夜又東風，故國不堪回首月明中」。(李煜，《虞美人》)
* 「靖康恥，猶未雪；臣子恨，何時滅？」(岳飛，《滿江紅》)
* 「老殘眼見北斗七星的斗杓東指，因物換星移、歲月如流而感懷人生的蹉跎無常與自己的漂泊不定，所以由感而嘆，道出內心的疑惑：『一年一年地這樣瞎混下去，如何是個了局呢？』」(劉鶚 ，《黃河結冰記》)

## **激問**

激問又稱「**詰問**」或「**反問**」。有問無答，推敲下卻見暗示，答案一定在問題的反面。可以讓文章更有氣勢。

例句：

* 「學而時習之，不亦說乎？有朋自遠方來，不亦樂乎？人不知而不慍，不亦君子乎？」（論語學而篇）
* 「不經一番寒徹骨，焉得梅花撲鼻香？」(黃蘗希運，《上堂開示頌》)
* 「如果今天交通好的話，我需要衝得這麼辛苦嗎？」
* 「蓮之愛，同予者何人？」（周敦頤，《愛蓮說》）

## **提問**

提問又叫「**問答法**」。答案在問題之後，用問提示下文。以突出語意重點，吸引注意。

例句：

* 「問君能有幾多愁？恰似一江春水向東流。」(李煜，《虞美人・春花秋月何時了》)
* 「人生到處知何似？應似飛鴻踏雪泥。」(蘇軾，《和子由澠池懷舊》)
* 「借問酒家何處有？牧童遙指杏花村。」(杜牧，《清明》)

## 參考資料

* 《修辭學》，陳正治 著，五南出版社 出版。
* 《修辭學》，黃慶萱 著，臺北三民書局 出版
* 《修辭學》，沈謙 著，臺北國立空中大學出版社 出版
* 《實用修辭學》，黃麗貞 著，臺北國家出版社 出版
* 《實用修辭學》，關紹箕 著，臺北遠流出版公司 出版
* 《修辭通鑑》，成偉鈞 著，臺北建宏出版社 出版
* 《修辭析論》，董季棠 著，臺北文史哲出版社 出版
* 《活用修辭》，吳正吉 著，高雄復文書局 出版
* 《修辭百例》，譚全基 著，臺北書林書屋 出版
* 《妙語傳神─語用修辭技巧》，王春德 著，臺北臺灣商務印書館 出版
* 《現代實用修辭學》，林淑貞 著。高雄復文書局 出版
* 《字句鍛鍊法》，黃永武 著，臺北洪範書局 出版
* 《語言藝術妙語百題》，彭華生 著，臺北智庫大學出版社 出版
* 《修辭散步》，張春榮 著，臺北東大圖書公司 出版
访仙桥

**訪仙鎮**，是中華人民共和國江蘇省鎮江市丹陽市下轄的一個鄉鎮級行政單位，位於丹陽東部，東接武進西夏墅，南接運河鎮，西接荊陵，北接新橋，因八仙過海訪仙之傳說而得名。

## 歷史

## 行政區劃

訪仙鎮下轄以下地區：

永興路社區、​訪仙橋社區、​楊城村、​池塘村、​草塘村、​竇莊村、​仁里村、​蕭家村、​獨山村、​紅光村、​雙茆村、​訪仙村和永豐村。

## 參考資料
访客

**訪客**可以指：

* 訪客，從別處來訪的客人，法律定義包括遊客、外籍學生、工人，及居於當地不足指定天數的人士。
* 訪客 (小說)，倪匡的一部科幻小說
* 訪客 (電視電影)，一部臺灣的電視電影
访客_(小说)

《**訪客**》是衛斯理系列中的一部科幻小説，由香港科幻小説作家倪匡所寫，系列編號 21。

這個故事在衛斯理系列之中，首個故事以巫術來作題材，涉及海地的巫毒教利用可怕的黑巫術，使得死人能在夜間聽指揮所作的怪事。為增添故事的科學性，這本小說以藥物上的麻醉來解釋整件事件。

## 故事大綱

### 死人來訪

著名政治家鮑伯爾突然死亡，原因是因為心臟病猝發。但怪事就在發現鮑伯爾的屍體的同時，也發現了對面一張椅子也有一具屍體，可是當法醫檢查那屍體後，卻證明那屍體已死去了至少三天以上。那人來拜訪鮑伯爾時，他還說他的名字是「石先生」。而他已經是死人了，但還會說話。

### 會說話的死人

這個案子引起傑克上校的興趣。他邀衛斯理一起調查。衛斯理則在偶然的情況之下接到了舊同學陳福雷的一通電話，經其子陳小雷口中知道了事情的經過。那人來拜訪鮑伯爾的時候，剛好鮑伯爾太太的姪女的兒子陳小雷在玩捉迷藏時躲到鮑伯爾書房的櫃子裏，聽到了鮑伯爾和那位「石先生」之間的對話。那段「石先生」與鮑伯爾的對話，使得衛斯理知道了事情的經過，衛斯理在聆聽的那段對話的內容是：那位「石先生」對鮑伯爾說他是一個死人，要求鮑伯爾檢查他的身體後，鮑伯爾便離奇地死亡了。

### 追查送死人上車的人

衛斯理知道這件事後，便去調查那個送死人上車的人，他問到一個計程車司機，司機自稱看過那個人，在警署內繪圖員的協助下，畫下那人的臉的圖像，衛斯理向傑克上校，討來這份差事，他利用人物圖像，沿著公路邊走邊找，意外找到那個送死人往鮑伯爾家的人。衛斯理自稱是路人想向那人要水喝，結果反被識破，被困在一個地窖裏。

### 神秘的地下室

衛斯理被困在地窖一籌莫展，而他偶然發現地窖裏有個地方，一直吹出冷風，原來是一扇門的門縫，衛斯理用祖傳的開鎖技術打開它，這扇門通往一個很冷的地窖，冷風就是由其中吹出來的，那裏有很多死屍，放在由空調溫度控制的鋼櫃裡，衛斯理打開其中一個，其中是那個死人石先生。在衛轉頭時，一個人走了出來，而且還坐在椅子上，赫然就是那個石先生。原來那些死屍和那「石先生」一樣，被人用藥物控制。此時那人現身，並以手槍威嚇衛斯理，要他乖乖聽話，結果手槍卻被衛斯理奪去，情勢意外逆轉，意謂衛斯理掌控主導權，此時衛斯理威脅說要通知警方，那人自稱丁納醫生，丁納說會把事情始末說給衛斯理聽，要他稍安勿躁。

### 生死恩怨

那人自稱丁納，是個醫生，在地下室鋼櫃裡那些人，其實還活著，他們之所以看來像不會動的死人，其實是某種藥物麻醉延緩新陳代謝的結果，他勸衛斯理不要追查下去，衛斯理仍不死心，經一輪糾纏後，令丁納醫生吐出舊事，原來丁納醫生是認識鮑伯爾的，兩人是醫學院的同學。在美國南方城市紐奧良，流行著鄰近海地島上的巫毒 (voodoo) 教。那是一種神祕宗教。丁納在學生時代在美國南方城市紐奧良念書時，他被鮑伯爾欺騙，在暑假前往海地某個小島，只為了二十塊月薪。沒想到這卻是他人生的轉淚點。

### 只能存身黑暗中的教主

跟隨包伯爾被教主召見的丁納，在黑暗中用打火機意外弄出光亮，惹惱了巫毒教主。而被海地的巫毒教當作奴隸，在某個島上大麻田裡幹粗活，四周都是死人，都是那種藥物麻醉的結果。丁納假裝被麻醉，後來他逃出魔掌，打算報仇。逃出生天後，他苦讀六年，成功當了醫生，並蒐集那種像紅紗絲線的植物中提煉出的藥物，用來麻醉絕症如肺癌患者，讓他們有機會繼續活下去。事發那天，他送來一個死人，包伯爾一檢驗，沒有心跳，也沒呼吸，包伯爾就嚇死了。因為知道以前做的壞事，東窗事發，那些人要來討債了。當衛斯理知道真相後，丁納醫生就對衛斯理說他會去投案，但當衛斯理走出屋外後，丁納醫生便利用炸彈把整間屋子爆炸焚燒，而那些在地窖裡鋼櫃中的屍體也都毀掉，丁納醫生也永遠消失了。

## 故事角色

* 鮑伯爾 - 退休的政治家。七十歲的老人。
* 石先生 - 來拜訪包伯爾的臉色很差的訪客。其實是個死人。
* 衛斯理 - 故事主角的作家。好奇心重的人。
* 傑克上校 - 警方特別工作室主任。調查包伯爾一案。
* 陳小雷 - 躲在櫃子裡。偷聽到包伯爾和訪客石先生的對話。
* 丁納 - 自稱醫生。跟包伯爾有一段過去。

## 廣播劇

本故事亦曾經被改編成廣播劇。

* 香港商業電台以粵語於 1987 年星期一至五，每日下午三時正首播《訪客》廣播劇，合共 6 集。為商台衛斯理廣播劇系列第十八個故事。
  * 監製：金貴
  * 改編：圓方
  * 配音
    * 朱子聰 飾演 衛斯理
    * 錢佩卿 飾演 白素
    * 盧雄 　飾演 傑克上校
    * 陳森 　飾演 鮑伯爾
    * 李學明 飾演 丁納
    * 楊廣培 飾演 陳福雷
    * 甄惠儀 飾演 陳小雷
    * 葉佳 　飾演 石先生
    * 金貴 　飾演 管家
    * 甄錦華 飾演 男僕
    * 陳永信 飾演 王法醫
    * 何錦榮 飾演 值日警官
    * 朱雪梅 飾演 鮑太太
    * 金貴 　飾演 巫都教教主
    * 陳永信 飾演 黑人 (巫都教教徒)
    * 吳忠泰 飾演 警官 (第 1 集，無被列入配音名單)

---
访客书

**訪客留言簿**又稱**留言簿**、**訪客簿**、**訪客日誌**、**訪客書**、**訪客相冊**，是一種供訪客留下他們的姓名、郵編、電子郵件地址、即時通訊軟體賬號和任何意見的紙質冊子、小本子或網站意見區。在教堂、旅館、民宿、博物館、學校、圖書館和其他對公眾開放的設施中，這種紙質的訪客留言簿很常見。

留言簿中提供的姓名和地址經常被圖書館等機構管理者記錄和整理，用於統計數據，並在將來與訪客聯繫。

## 參考文獻
访渔

**李榘**（1869 年？—？），字**訪漁**，直隸束鹿縣人。清末民初政治人物，法學家。

## 生平

光緒三十年（1904 年）中式甲辰科二甲進士。選翰林院庶吉士，後授侍讀銜翰林院編修。其間，1905 年他任《束鹿縣鄉土志》總校。光緒三十三年（1907 年）他被派赴日本留學。宣統元年（1909 年）他畢業於日本法政大學，同年歸國。後來他曾任直隸法律學堂監督、北洋法政學堂監督。宣統元年（1909 年），順直諮議局在天津成立，他任議員。後來他還任資政院議員。其間，他於 1910 年曾參加張謇發起的三次國會請願運動。宣統二年九月（1910 年 10 月），第四次國會請願舉行，他在天津積極參加，後來此次請願被清政府鎮壓，組織天津學界請願的溫世霖被遣戍新疆。1911 年憲友會成立，他是發起人之一。

中華民國成立後，他曾任北京臨時參議院議員、大總統府政治諮議、國會眾議院議員、平政院評事（1914 年就任）、約法會議議員（1914 年就任）等職。獲授中大夫加上大夫銜。1922 年曹錕賄選，議員李榘和孫潤宇等 4 人代表各個政團到天津見王承斌，驗證賄選支票的真假，並回電告知在北京的議員稱賄款真實可信，最後曹錕通過賄選而當選了中華民國大總統。

此後李榘的生平不詳。

## 參考文獻
访谈法

**面談**或**採訪**，是指一種涉及兩名或以上人士的對話，由一方發問，並由另一方回答。面談的其中常見的一種形式是面試，這是大部分企業在招聘員工過程中需要的一環。此外，面談亦是新聞採訪、市場研究等活動中收集資料的的重要方式。「採訪」大致可以分為口述與筆錄兩種，其形式則多種多樣，如新聞採訪、問卷調查、公司面試、市場調查等等。

## 新聞採訪

新聞採訪作為傳播學名詞，是指記者為獲取新聞對客體所進行的觀察、詢問、傾聽、思索和記錄等活動。是新聞寫作的前提，是一種特殊的調查研究。
採訪活動的方法有個別訪問、現場查勘、參加會議、開調查會、出席記者招待會、閱讀文字材料等。採訪的活動方式有個別採訪、集體採訪、交叉採訪、分段採訪、巡迴採訪、隱性採訪 (在某些特殊場合由於特殊原因而不公開記者身份或不申明採訪目的的採訪活動) 等。新聞記者因分工和採訪習慣不同，採訪記錄的方式有默記、筆錄、攝影及錄音、錄影等不同形式。

## 問卷調查

問卷調查是社會調查里的一種數據收集手段，屬於定性調查（Qualitative research）的工具。當一個研究者想通過社會調查來研究一個現象時，他可以用問卷調查收集數據，也可以用訪談或其它方式收集數據。問卷調查假定研究者已經確定所要問的問題。這些問題被列印在問卷上，編製成書面的問題表格交由調查對象填寫，然後收回整理分析，從而得出結論。

問卷調查是一種發掘事實現況的研究方式，最大的目的是搜集、累積某一目標族群的各項科學教育屬性的基本資料，可分為描述性研究及分析性研究兩大類。在決定是否採用問卷法作為研究工具，應考量是否能順利達成研究目標以及注意研究樣本在問卷上的配合度，另外，問卷調查也有其優缺點，檢視其特性配合研究主題，方能達成其目標。

## 企業面試

在企業中，面試是遴選合適員工的重要方法。面試一般通過書面或面談的形式來考察一個人的工作能力，是一種經過組織者精心策劃的招聘活動。面試給公司和應招者提供了進行雙向交流的機會，能使公司和應招者之間相互了解，從而雙方都可更準確做出聘用與否、受聘與否的決定。

## 市場調查

市場調查就是指運用科學的方法，有目的地、有系統地搜集、記錄、整理有關市場行銷的信息和資料，分析市場情況，了解市場現狀及其發展趨勢，為市場預測和營銷決策提供客觀的、正確的資料。其中，訪問法 (Interview) 與問卷法 (survey) 是兩種十分常見的調查方法。
访问中华人民共和国的中华民国政党领袖列表

本列表是 1949 年以來赴中華人民共和國訪問的中華民國各政黨領袖列表。

## 中國國民黨

## 親民黨

## 新黨

## 參見

* 國共關係
* 國共合作
* 中國歷史
* 台灣政治
* 海峽兩岸關係
* 泛藍
* 中國國民黨歷史
* 親民黨歷史
* 新黨歷史
* 九二共識
* 台灣統獨議題

## 參考資料
访问中华人民共和国的各国元首及最高领导人列表

**訪問中華人民共和國的各國國家元首及最高領導人列表**收錄中華人民共和國 1949 年 10 月 1 日成立以後，各國國家元首來華所進行的外交訪問。

部分國家的實際統治者既不是國家元首，也不是政府首腦，例如在一些社會主義國家中，最高領導人可以無任何政府職務，但仍以政黨領袖（如總書記或第一書記）的身份掌握實際領導權。這些領導人亦掌握著國家的對外關係，故仍收錄至下表。

## 20 世紀 50 年代

## 20 世紀 60 年代

## 20 世紀 70 年代

## 20 世紀 80 年代

## 20 世紀 90 年代

## 21 世紀 00 年代

### 2000 年

### 2001 年

### 2002 年

### 2003 年

### 2004 年

### 2005 年

### 2006 年

### 2007 年

### 2008 年

### 2009 年

## 21 世紀 10 年代

### 2010 年

### 2011 年

### 2012 年

### 2013 年

### 2014 年

### 2015 年

### 2016 年

### 2017 年

### 2018 年

### 2019 年

## 21 世紀 20 年代

### 2020 年

### 2021 年

### 2022 年

### 2023 年

 

## 注釋

## 參考文獻

## 參見

* 周恩來出訪列表、朱鎔基外交訪問列表、溫家寶外交訪問列表、李克強外交訪問列表，李強外交訪問列表
* 江澤民外事訪問列表、胡錦濤外事訪問列表、習近平外事訪問列表
* 中華人民共和國外交史

Template:NavboxV2
访问令牌_(Windows)

**存取權杖**（Access Token）是 Windows 作業系統用於描述行程或執行緒安全上下文的一種物件。系統使用存取權杖來辨識擁有行程的使用者，以及執行緒試圖執行系統任務時是否具有所需的特權。 

## 內容

* 使用者帳戶的安全識別碼 (SID)
* 使用者帳戶所屬的使用者群的 SIDs
* 一個 logon SID，標識當前登入對談
* 使用者或使用者群的特權清單
* 所有者的 SID
* 基本群的 SID
* 當使用者建立可安全物件（securable object）且沒有給出安全描述符時，系統使用的預設的自主存取控制列表（DACL）
* 存取權杖資源
* 是否為 primary 或 impersonation token
* 限制性 SIDs 的可選列表
* 當前 impersonation 級別
* 其他統計

## 參考文獻
访问器

在電腦科學中， **變異子方法**（mutator 或 setter）是一種用於控制變數更改的方法。通常，**變異子**伴隨著**存取子** （accessor 或 getter）返回私有成員變數的值。

變異子方法最常用於物件導向的編程封裝，與封裝原則保持一致。根據這個原則，類的成員變數被設為私有以隱藏和保護它們不受其他代碼的影響，並且只能由公共成員函式（變異子方法）修改，該函式將所需的新值作為參數來修改私有成員變數。可以將變異子方法與賦值運算子多載進行比較。

變異子方法也可以在非物件導向的環境中使用。在這種情況下，對要修改的變數的參照與新值一起傳遞給變異子。編譯器無法限制代碼繞過變異子方法並直接更改變數。開發人員有責任確保僅通過變異子方法修改變數，而不是直接修改變數。

在支援它們的程式語言中，屬性提供了一種方便的替代方案，而不放棄封裝的效用。

在下面的範例中，完全實現的 變異子方法還可以驗證輸入資料或採取進一步的操作，例如觸發事件 。

## 影響

定義變異子和 存取子方法或屬性塊的另一種方法是為實例變數提供一些可見性，而不是私有化它或直接從物件外部存取它。可以使用修改器和存取器定義更精細的控制存取權限。例如，將一個參數設為唯讀，可以通過定義一個存取器而不提供修改器。兩種方法的可見性可能不同：存取器通常是公開的；變異子是保護的、包私有的或內部的。

定義了變異子的塊有機會驗證或預處理傳入的資料。如果保證所有外部存取都通過變異子，則無法繞過這些步驟。例如，如果日期由單獨的私有 `year` 、 `month` 和 `day` 變數表示，則傳入日期由變異子 `setDate` 拆分，同時為了一致性，相同的私有實例變數由 `setYear` 和 `setMonth` 存取。在所有情況下，1 - 12 之外的月份值都可以被相同的代碼拒絕。

相反，存取器允許從內部變數合成有用的資料表示，同時保持它們的結構封裝和對外部模組不可見。貨幣 `getAmount` 存取子可以由一個內部私有的數值變數構建一個字串，其小數位數由參數 `currency` 定義。

現代程式語言常提供在一行中修改器和存取器的生成樣板 — 例如 C# 的 `public string Name { get; set; }` 和 Ruby 的 `attr_accessor :name` 。在這些情況下，不會為驗證、預處理或合成等操作建立代碼塊。這些簡化的存取器仍然保留了對簡單公共實例變數進行封裝的優勢，但常見的是，隨著敏捷軟體開發、軟體維護和需求的變化，對資料的需求變得更加複雜。許多自動修改器和存取器最終會被單獨的代碼塊取代。在實現的早期自動建立它們的好處是，無論是否添加了更複雜的類，類的公共介面都保持相同，如果添加，則不需要進行大量重構。 

由於涉及額外的步驟，存取器函式的效率可能低於直接取得或儲存資料欄位， 然而，這些函式通常是行內的，從而消除了函式呼叫的開銷。

## 例子

### 組合語言

### C

檔案 student.h:

檔案 student.c:

檔案 main.c:

檔案 Makefile:

### C++

檔案 Student.h:

檔案 Student.cpp:

### C#

C# 支援屬性編程。

從 (.NET Framework 3.5 開始，可以縮寫為自動屬性：

可以限制只有本類可以私有存取：

### Python

下例子使用的類，與一個變數、一個存取子，一個變異子。

### Visual Basic.NET

類似於 C#, 明確使用 `Get` 與 `Set` methods. 

VB.NET 2010, 利用 Auto Implemented 建立一個屬性而不必使用 Get 與 Set 語法。編譯器自動建立一個隱變數，如 `_name` 對應於屬性名 `name`. 

## 參考文獻
访问学者

**訪問學者**或**客座教授**、講座教授在學術界是指一所學術單位的學者前往拜訪另一所學術單位。他們在所訪問的學術機構裡，有專題的開堂授課，或者進行著有專題的學術研究。若是要進行學術研究，則專題通常是訪問學者所認為重大且亟欲探討的。此職大部份是未給薪的，而年限基本為一年， 但可視情況延長時限。

## 簡介

設立訪問學者的目的，在於使從事此職之學者，能將母校（尤其是學者本身）所欲探究的學術問題，帶到另一所學術機構去研習和深造。他們所要探究的學術問題，必須是能在研究完成後，對社會於知識和研究上，因其社會價值性而引發更多的國際學者有興趣且前來跟進探索。因此為了促使更多的學者去研究所設定的專題，訪問學人需要積極地參與許多具有貢獻性質的學術機構活動，包括：

* 在所訪問的機構內，開堂授課
* 積極與研究生討論正式或非正式的議題
* 參與所訪問的學術機構之文學院或理學院（的學術職員）正進行的研究，並擔負著一定的研究任務
* 在所訪問的學術機構內，於客座講學或小型研討會上，以教學形式做出貢獻
* 發表學術論文，以做為整個學術訪問計劃的總結

## 另見

* 交換學生
* 留學生

## 參考文獻

### 引用

### 來源
访问局部性

**參考區域性**（英語：Locality of reference）指的是在計算機科學領域中應用程式在訪問內存的時候，傾向於訪問內存中較為靠近的值。

參考區域性分為兩種基本形式，一種是時間區域性，另一種是空間區域性。時間區域性指的是，程序在運行時，最近剛剛被引用過的一個內存位置容易再次被引用，比如在調取一個函數的時候，前不久才調取過的本地參數容易再度被調取使用。空間區域性指的是，最近引用過的內存位置以及其周邊的內存位置容易再次被使用。空間區域性比較常見於循環中，比如在一個數列中，如果第 3 個元素在上一個循環中使用，則本次循環中極有可能會使用第 4 個元素。第三種為循序區域性。

區域性是出現在計算機系統中的一種可預測行為。系統的這種強參考區域性，可以被用來在處理器內核的指令流水線中進行性能優化，如緩存，內存預讀取以及分支預測。

## 參見

* 分區全局地址空間
访问控制

**存取控制**（英語：Access control）是指對存取者向受保護資源進行存取操作的控制管理。該控制管理保證被授權者可存取受保護資源，未被授權者不能存取受保護資源。

## 實體控制

現實生活中的存取控制可以由付費或者認證達成。例如，火車站的剪票員要求旅客排成一列依序剪票，未持票旅客不得上車；或者公司警衛要求員工出示識別證，否則不得進入辦公室等。

## 存取模型

存取控制有很多模型，比如：

1. 自主記憶體取控制（英語：Discretionary access control）
2. 強制存取控制（英語：Mandatory access control）
3. 角色存取控制（英語：Role-based access control）
4. 屬性存取控制（英語：Attribute-based access control）
5. 識別存取控制（英語：Identity-based access control）

## 參見

* 門禁系統

## 資訊安全

在資訊安全領域中，存取控制包含了認證、授權以及稽核。
访问控制列表

**存取控制串列**（英語：Access Control List，**ACL**），又稱**訪問控制表**，是使用以存取控制矩陣為基礎的存取控制表，每一個（檔案系統內的）物件對應一個串列主體。存取控制串列由存取控制條目（access control entries，ACE）組成。存取控制串列描述使用者或系統行程對每個物件的存取控制權限。

存取控制串列的主要缺點是不可以有效迅速地枚舉一個物件的存取權限。因此，要確定一個物件的所有存取權限需要搜尋整個存取控制串列來找出相對應的存取權限。

## 檔案系統 ACL

## SQL ACL

## 參考文獻
访问点名称

**存取點名稱**（英語：APN, Access Point Name），是 GPRS 等行動網路和另一個電腦網路（通常來說是網際網路）之間的閘道器的名稱，用以定義行動裝置上所有行動數據連線的網路路徑。

行動裝置必須設定了運營商提供的存取點名稱才能建立資料連接。運營商會使用這個名稱區別將要建立的網路連接的類型，例如將要給無線裝置分配何種 IP 位址，又或者是將要採用何種安全方式，還有是否或如何連接到某些私有的客戶網路。

更確切的說，存取點名稱點明了一個行動資料使用者想使用何種 PDN 通訊。除此以外，存取點名稱也可以用於定義 PDN 提供的服務類型（例如連接到 WAP 伺服器、多媒體訊息服務（MMS））。APN 已用於 3GPP 資料存取網路，例如 GPRS、EPC 等。

## 存取點名稱結構

如圖所示，一個結構化的存取點名稱由兩部分組成。

* _網路識別碼_: 定義連接何 Gateway GPRS Support Node（GGSN）的外部網路。不過，這也可以包含使用者請求的協定。這個部分必須存在。
* _運營商識別碼_: Defines the specific operator's packet domain network in which the GGSN is located. This part of the APN is optional. The MCC is the Mobile Country Code and the MNC is the Mobile Network Code which together uniquely identify a mobile network operator.

存取點名稱的例子:

* internet.t-mobile
* internet.mnc012.mcc345.gprs
* internet （注意：這個不包含運營商識別碼）
* prepaid internet （注意：這個不包含運營商識別碼還有個空格）
* CMNET
* CMWAP
* UNINET
* UNIWAP

## 參考資料

## 外部連結

* Service Provider Database （頁面存檔備份，存於網際網路檔案館）
访问者模式

訪問者模式是一種將算法與對象結構分離的軟體設計模式。

這個模式的基本想法如下：首先我們擁有一個由許多對象構成的對象結構，這些對象的類都擁有一個 accept 方法用來接受訪問者對象；訪問者是一個接口，它擁有一個 visit 方法，這個方法對訪問到的對象結構中不同類型的元素作出不同的反應；在對象結構的一次訪問過程中，我們遍歷整個對象結構，對每一個元素都實施 accept 方法，在每一個元素的 accept 方法中回調訪問者的 visit 方法，從而使訪問者得以處理對象結構的每一個元素。我們可以針對對象結構設計不同的實在的訪問者類來完成不同的操作。

訪問者模式使得我們可以在傳統的單分派語言（如 Smalltalk、Java 和 C++）中模擬雙分派技術。對於支持多分派的語言（如 CLOS），訪問者模式已經內置於語言特性之中了，從而不再重要。

## Python 的例子

## Java 的例子

## 一個實際的例子

這個例子是 Htmlparser 計劃（頁面存檔備份，存於網際網路檔案館）里的一段示例。為獲得一個 Web 頁面的所有內容，採用如下的方式使用類 TextExtractingVisitor:

```
Parser parser = new Parser("http://pageIwantToParse.com");
TextExtractingVisitor visitor = new TextExtractingVisitor();
parser.visitAllNodesWith(visitor);
System.out.println(visitor.getExtractedText());
```

## 參考條目

* 軟體設計模式
* 組合模式
访问部队协议

**訪問部隊協議**是一個國家與外國簽訂的軍事協議。協議簽訂後，外國軍事部隊可以來到本國領土進行訪問。該協議最複雜的一方面就是東道國對來訪部隊的民事和刑事管轄權。
访问键

**便捷鍵**（英語：**Access Key** 或 **accesskey**；又稱：**存取鍵**、**訪問鍵**）是指在網頁瀏覽器或其他軟體中定義的按下特定鍵盤按鍵即可跳轉或呼叫相應功能的按鍵，例如快速切換到網頁中的不同區域。這項概念在公元 1999 年被提出且立刻得到各家瀏覽器的支援。便捷鍵最受到注目的是它提供某些身心障礙人士能更加方便且有效率地瀏覽網頁。

## 在網頁瀏覽器

便捷鍵並非一般電腦軟體中的鍵盤快捷鍵、熱鍵或組合鍵（如 `Ctrl` + `S` 通常是儲存檔案的組合按鍵），而是由網頁設計師在 HTML 中指定。HTML 中針對便捷鍵的語法為 `accesskey="h"`，其中 `h` 即為被指定之便捷鍵。便捷鍵在 HTML 中僅需指定為單一字元，但不同瀏覽器有不同啟動便捷鍵之組合鍵，因此大多需要同時接下數個按鍵才能完整地使用便捷鍵。

網頁設計師在組態便捷鍵時並非漫無章法。一般而言，會將以下最常用到的目標組態上便捷鍵：

* 經常使用的超連結
* 輸入表單，例如搜尋或回應表單
* 具有重要資訊或經常更動之網頁，例如首頁、最新訊息、問與答、著作權聲明、或是網站地圖
* 本網頁的便捷鍵使用說明
* 上一篇與下一篇文章

以方便使用者快速地到達最常使用的目標。

## 在不同瀏覽器的啟動方法

對於大多數的瀏覽器，啟動便捷鍵的組合鍵為 `Alt`（於一般個人電腦的作業系統），或是 `Ctrl`（於麥金塔電腦），並同時按下網頁中所指定的某一便捷鍵。

## 參考資料

## 外部連結

* A bug report for the MediaWiki software regarding conflicts with Accesskeys – includes lengthy discussion of various problems on different platforms
* A CSS stylesheet to make access keys on a website visible（頁面存檔備份，存於網際網路檔案館）
* ACCESS + KEY = Accesskey (XHTML Role Access Module still flawed)
* Accesskeys and Reserved Keystroke Combinations（頁面存檔備份，存於網際網路檔案館）
* Changes to Accesskeys in Firefox 2.0（頁面存檔備份，存於網際網路檔案館）
* Ui.key.contentAccess（頁面存檔備份，存於網際網路檔案館） – instructions on configuring access key behavior in Mozilla Firefox
* UK Government suggested numerical key standard
* User-defined Accesskeys using PHP（頁面存檔備份，存於網際網路檔案館）
* Using Accesskeys is Easy（頁面存檔備份，存於網際網路檔案館）
* SAK2014: Standard Access Keys 2014（頁面存檔備份，存於網際網路檔案館）
诀女星

**訣女星**是第 181 顆被人類發現的小行星，位於火星和木星之間的小行星帶。
证之于:爱

《**證之於：愛**》（希伯來語：עיין ערך: אהבה‎）是以色列作家大衛・格羅斯曼的一部小說，於 1986 年出版。這也是格羅斯曼在美國出版的第一部小說。埃德蒙・懷特在《紐約時報書評》中將該書與《百年孤獨》、《鐵皮鼓》相比，將其稱為「這種小規模而令人敬畏的經典的傑出繼承人」。它被譯成 20 多種語言，並被科里・費希爾改編成舞台劇。

小說分四部分，第一部分「莫米克」講 9 歲兒童莫米克發現周期的大人無法從猶太人大屠殺的噩夢中解脫，立志從家中引出那些「納粹野獸」。第二部分「布魯諾」中，莫米克已成為 39 歲的以色列作家，這一部分本身也是莫米克寫下的一個故事。莫米克認為「愛征服不了什麼」，最終從妻子和情人那裡解脫，在一間小屋中孤獨創作。布魯諾是真實存在過的猶太作家，他在二戰中被納粹槍殺。莫米克尋找布魯諾遺失的手稿《彌賽亞》，在他的想像中，布魯諾復活並變成一條魚，與他融合在一起。第三部分「沃瑟曼」敘述莫米克的舅舅沃瑟曼在納粹集中營中，毒氣和槍擊都無法令他死亡。德國軍官尼格爾讓他講故事以換得死亡的機會，最後被沃瑟曼的故事感染。第四部分「卡齊克生平之百科全書」充滿了碎片化敘述，講述了卡齊克的人生，對前三章的內容加以補充。

## 參考資料
证书吊销列表

在一些密碼系統的運作中（一般情況下是公開金鑰基礎建設的系統），**憑證吊銷列表**（英文：**Certificate revocation list**，縮寫：**CRL**，或譯作**憑證廢止清冊**）是尚未到期就被憑證頒發機構吊銷的數位憑證的名單。這些在憑證吊銷列表中的憑證不再會受到信任。

目前，線上憑證狀態協定（OCSP）已經替代憑證吊銷列表（CRL）成為檢查憑證狀態的主流。

## 吊銷狀態

根據在 RFC 3280 中的定義，吊銷有兩種不同的狀態：

* 吊銷：該憑證被不可逆的吊銷。例如，它被不當的憑證頒發機構頒發了憑證，或者私鑰被認為已經破壞。被吊銷的最常見的原因是使用者不再獨有私鑰，而私鑰則被竊取。
* 弔扣：這個狀態是可逆的。

## 註腳

## 參考資料
证书管理协议

**憑證管理協定**（Certificate Management Protocol）是一個網際協定，用於在公開金鑰基礎建設（PKI）體系中取得符合 X.509 標準的數位憑證。文件 RFC 4210 對其進行了詳細地描述，該協定是至今為止唯二使用 CRFM 格式的（憑證請求訊息格式，Certificate Request Message Format，在文件 RFC 4211 中進行描述），另一個使用該格式編碼的協定是 CMC（基於 CMS 的憑證管理，Certificate Management over CMS，在文件 RFC 5273 中進行描述）。RFC 2510 中描述了一個過時的 CMP 版本，RFC 2511 中描述了一個過時的 CRMF 版本。

CMP 訊息使用 ASN.1 進行編碼，使用 DER 方法，通常在 HTTP 協定上傳輸。

## PKI 實體

在 PKI 體系中，憑證頒發機構（CA）負責頒發數位憑證，並作為伺服器端使用 CMP 協定。通過該協定取得數位憑證的客戶端被稱為**終端實體**（end entity，EE）。EE 和 CA 之間可以存在 0 個或者多個序號產生器構（registration authorities，RA）。

## 特徵

EE 可以利用 CMP 從 CA 取得憑證。 這可以通過「初始註冊 / 認證」、「金鑰對更新」或「憑證更新」訊息序列完成。通過復原請求，它也可以取消其自己的一個憑證。使用「交叉認證請求」，CA 可以獲得由另一個 CA 簽署的憑證。如果 EE 失去了私鑰並由 CA 儲存，可能會通過請求「金鑰對恢復」來恢復。

## 傳輸

可以有多種傳輸方式攜帶 CMP 訊息：

* 壓縮在 HTTP 訊息內
* TCP 或者其他可靠的傳輸連接
* 通過檔案協定，例如 FTP 或者 SCP
* 通過電子郵件，使用 MIME 編碼標準

其 MIME 類型為 _application/pkixcmp_；舊版本草案為 _application/pkixcmp-poll_、_application/x-pkixcmp_ 或 _application/x-pkixcmp-poll_。

## 參考文獻
证书透明

**憑證透明度**（英語：**Certificate Transparency**，簡稱 **CT**）也稱**憑證透明**、**憑證透明化**，它是一個實驗性的 IETF 開源標準和開源框架，目的是監測和審計數位憑證。通過憑證紀錄檔、監視和審計系統，憑證透明度使網站使用者和域名持有者可以辨識不當或惡意簽發的憑證，以及辨識數位憑證認證機構（CA）的作為。

至 2021 年，公開信任的 TLS 憑證須強制實現憑證透明度，但其他類型的憑證則未有相應要求。

## 背景

當前的數位憑證管理系統中的缺陷正使欺詐憑證導致的安全問題與隱私泄露風險變得日益明顯。

2011 年，荷蘭的數位憑證機構 DigiNotar 在入侵者利用其基礎設施成功建立了超過 500 個欺詐性數位憑證後申請破產。

Ben Laurie 和 Adam Langley 構思了憑證透明度，並將一個框架實現開發為開源專案。

### 優點

數位憑證管理的問題之一是，欺詐性憑證需要很長時間才能被瀏覽器提供商發現、報告和復原。憑證透明度有助於避免駭客在未經網域持有者的知情下為網域頒發憑證。

憑證透明度不需要側信道通信來驗證憑證，它們由線上憑證狀態協定（OCSP）或 Convergence 等技術完成。憑證透明度也不需要信任第三方。

### 憑證透明度紀錄檔

憑證透明度依賴於可驗證的憑證透明度紀錄檔。紀錄檔會添加新的憑證到不斷增長的雜湊樹。 為正確完成該行為，紀錄檔必須：

* 驗證每個提交的憑證或預憑證是否有有效的簽章鏈，鏈條鏈向受信任的根憑證頒發機構憑證。
* 拒絕發布無有效簽章鏈的憑證。
* 儲存新接受的可鏈向根憑證的憑證。
* 根據請求提供此鏈的審計。

紀錄檔可以接受尚未完全生效或者已過期的憑證。

### 憑證透明度監視器

監視器是作為紀錄檔伺服器的客戶端，檢查紀錄檔以確保行為正確。發生不一致則表示紀錄檔沒有正確執行。紀錄檔的資料結構（Merkle 樹）上的簽章防止紀錄檔否認不良行為。

### 憑證透明度審計器

審計器也作為紀錄檔伺服器的客戶端執行。憑證透明度審計器使用有關紀錄檔的部分資訊驗證紀錄檔及其他部分的資訊。

## 憑證頒發機構實現

2013 年 3 月，Google 推出其首個憑證透明度紀錄檔。 2013 年 9 月，DigiCert 成為首個實現憑證透明度的數位憑證認證機構。

Google Chrome 在 2015 年開始要求新頒發的擴充驗證憑證（EV）提供「憑證透明度」。因為被發現有 187 個憑證在未經域所有者知曉的情況下被頒發，賽門鐵克（Symantec）被要求自 2016 年 6 月 1 日起新頒發的所有憑證必須配備憑證透明度。

2017 年 4 月，Google 將原定的 2017 年 10 月 Chrome 將要求所有 SSL 憑證支援憑證透明度（CT）的日期推遲至 2018 年 4 月，以給行業更多準備時間

## 參考資料

## 外部連結

* RFC 6962 - 網際網路工程任務組
* Certificate-transparency.org（頁面存檔備份，存於網際網路檔案館），有關憑證透明度工作機制的常規資訊
* crt.sh（頁面存檔備份，存於網際網路檔案館），一個憑證透明度紀錄檔搜尋引擎
* Certificate Transparency 那些事（頁面存檔備份，存於網際網路檔案館）
证书颁发机构

**數位憑證認證機構**（英語：Certificate Authority，縮寫為 CA），也稱為**電子商務認證中心**、**電子商務認證授權機構**，是負責發放和管理數位憑證的權威機構，並作為電子商務交易中受信任的第三方，承擔公鑰體系中公鑰的合法性檢驗的責任。

## 介紹

CA 中心為每個使用公開金鑰的使用者發放一個數位憑證，數位憑證的作用是證明憑證中列出的使用者合法擁有憑證中列出的公開金鑰。CA 機構的數位簽章使得攻擊者不能偽造和篡改憑證。它負責產生、分配並管理所有參與網上交易的個體所需的數位憑證，因此是安全電子交易的核心環節。在 SET 交易中，CA 不僅對持卡人、商戶發放憑證，還要對獲款的銀行、閘道器發放憑證。

CA 是憑證的簽發機構，它是公鑰基礎設施的核心。CA 是負責簽發憑證、認證憑證、管理已頒發憑證的機關。它要制定政策和具體步驟來驗證、辨識使用者身分，並對使用者憑證進行簽章，以確保憑證持有者的身分和公鑰的擁有權。

CA 也擁有使用者的憑證（內含公鑰）和私鑰。網上的公眾使用者通過驗證 CA 的簽章從而信任 CA，任何人都可以得到 CA 的憑證（含公鑰），用以驗證 CA 所簽發的憑證。

使用者若欲取得憑證，應先向 CA 提出申請，CA 判明申請者的身分後，為之分配一個公鑰，並將該公鑰與其身分資訊繫結，為該整體簽章，簽章後的整體即為憑證，發還給申請者。

如果一個使用者想鑑別另一個憑證的真偽，他就用 CA 的公鑰對那個憑證上的簽字進行驗證，一旦驗證通過，該憑證就被認為是有效的。

為保證使用者之間在網上傳遞資訊的安全性、真實性、可靠性、完整性和不可抵賴性，不僅需要對使用者的身分真實性進行驗證，也需要有一個具有權威性、公正性、唯一性的機構，負責向電子商務的各個主體頒發並管理符合國際安全電子交易協定標準的電子商務安全證，並負責管理所有參與網上交易的個體所需的數位憑證，因此 CA 是安全電子交易的核心環節。

## 憑證

憑證實際是由憑證簽證機關（CA）簽發的對使用者的公鑰的認證。

憑證的內容包括：電子簽證機關的資訊、公鑰使用者資訊、公鑰、權威機構的簽字和有效期等等。目前，憑證的格式和驗證方法普遍遵循 X.509 國際標準。

* 加密：CA 認證將文字轉換成不能直接閱讀的形式（即密文）的過程稱為加密。
* 解密：將密文轉換成能夠直接閱讀的文字（即明文）的過程稱為解密。

如打算在電子文件上實現簽章的目的，可使用數位簽章。RSA 公鑰體制可實現對數字資訊的數位簽章，方法如下：

資訊傳送者用其私鑰對從所傳報文中提取出的特徵資料（或稱數字指紋）進行 RSA 演算法操作，以保證發信人無法抵賴曾發過該資訊（即不可抵賴性），同時也確保資訊報文在傳遞過程中未被篡改（即完整性）。當資訊接收者收到報文後，就可以用傳送者的公鑰對數位簽章進行驗證。

在數位簽章中有重要作用的數字指紋是通過一類特殊的雜湊函式（HASH 函式）生成的。對這些 HASH 函式的特殊要求是：

1. 接受的輸入報文資料沒有長度限制；
2. 對任何輸入報文資料生成固定長度的摘要（數字指紋）輸出；
3. 從報文能方便地算出摘要；
4. 難以對指定的摘要生成一個報文，而由該報文可以算出該指定的摘要；
5. 兩個不同的報文難以生成具有相同的摘要。

## 數位憑證

數位憑證為實現雙方安全通信提供電子認證。在網際網路、公司內部網路或外部網中，使用數位憑證實現身分辨識和電子資訊加密。數位憑證中含有金鑰對（公鑰和私鑰）所有者的辨識資訊，通過驗證辨識資訊的真偽實現對憑證持有者身分的認證。

## 數位身分認證原理

若註冊者認定一個人的身分，是通過註冊者信任的另外一個人來進行的。註冊者信任的那個人就是身分認證機構（可以是一個自然人）。把數位身分比喻成一個證件，那麼數位憑證就是身分認證機構蓋在數位身分證上的一個章或印（或者說加在數位身分證上的一個簽章），這一行為表示身分認證機構已認定這個人。

身分認證機構是人們註冊公鑰的機構。註冊之後，身分認證機構就向註冊者發一數位憑證，也就是說在註冊者的數位身分證上加簽。服務有免費，也有收費。身分認證機構也可以是一個自然人，就如 PGP 和 GPG 系統所倡導的。

## 參見

* X.509
* 擴充驗證憑證
* TLS
* 數字簽名

## 連結

* 開放式目錄計劃中和 Certificate authorities 相關的內容
* Certificate Authority Reviews（頁面存檔備份，存於網際網路檔案館）
* 認證中心國別一覽
* How secure is HTTPS today? How often is it attacked?（頁面存檔備份，存於網際網路檔案館）, _Electronic Frontier Foundation_ (25 October 2011)
* 憑證信任鏈 https://letsencrypt.org/zh-cn/certificates/ （頁面存檔備份，存於網際網路檔案館）
证书颁发机构安全理事会

**證書頒發機構安全理事會**（**The Certificate Authority Security Council**，縮寫 **CASC**）也稱**證書頒發機構理事會**，是由多個行業供應商倡導團體創建的進行研究、促進網際網路安全標準和教育公眾對待網際網路安全問題的組織。

## 歷史

該組織由最大的七家數字證書頒發機構、SSL 證書頒發者成立於 2013 年 2 月，它們是：科摩多集團（Comodo）、賽門鐵克（Symantec）、趨勢科技（Trend Micro）、DigiCert、Entrust、GlobalSign 和 GoDaddy。

## 目標

CASC 支持 CA / 瀏覽器論壇和其他標準制定機構的成果。它們支持改進安全套接字層（SSL）和數字證書頒發機構（CA）運作的增強開發。

根據 Comodo CTO 及理事會成員 Robin Alden，CASC 將作為所有 CA 的統一戰線：「雖然不是一個標準制定組織，我們致力於提供有關 SSL 的最佳實踐和用法的教育、研究和宣傳來補充標準制定組織。

## 會員要求

CASC 的會員要求為滿足其信譽、操作和安全性要求的 SSL 證書頒發機構。會員必須接受年度審計，並遵守行業標準，例如 CA / 瀏覽器論壇的基線要求和網絡安全指南。

## 行業倡導

該組織協作創建和定義各項舉措，以提高對政策及其對網際網路基礎設施影響的理解。

### 證書撤銷和 OCSP 裝訂

該組織的焦點之一是促進對證書撤銷檢查重要性以及 OCSP 裝訂好處的理解。該協議旨在確保 Web 用戶在訪問 SSL 證書已被撤銷或過期的網站時了解這點。

### 使用數字代碼簽名保護軟體分發

該組織還致力於通過數字代碼簽名實現安全的軟體分發。代碼簽名證書有助用戶識別軟體代碼來自真實的有信譽的發布者，並在確保代碼接收未被篡改方面發揮關鍵作用。

## 參考資料
证人_(1985年电影)

《**證人**》（英語：_Witness_）是 1985 年的一部美國新黑色犯罪片。由彼得・威爾執導，哈里遜・福特主演，凱莉・麥吉利斯、盧卡斯・哈斯、揚・魯貝斯、丹尼・葛洛佛、約瑟夫・薩莫爾、亞歷山大・戈杜諾夫、帕蒂・盧波內以及維果・莫天森以配角身份出演電影。威廉姆・凱利、帕梅拉・華萊士以及厄爾・W・華萊士編寫劇本。電影主要講述了一位偵探保護了一位在費城目擊了一場謀殺案件之後成爲追殺目標的年輕阿米什人男孩的故事。

此電影共獲得第 58 屆奧斯卡金像獎 8 項提名，包括最佳影片、最佳男主角，並獲得最佳原創劇本以及最佳影片剪輯。同時榮獲英國電影學院獎 7 項提名（莫里斯・賈爾榮獲最佳電影音樂獎）、六項金球獎提名、威廉姆・凱利與厄爾・W・華萊士榮獲美國編劇工會獎最佳原創劇本獎以及 1986 年由美國推理作家協會頒佈的愛倫・坡獎最佳電影劇本獎。

## 參考資料

## 進一步閲讀

* Wahlbrinck, Bernd. _WITNESS Revisited: An Appreciation of Peter Weir's Famous Film_, Tumbleweed 2020, ISBN 978-3-9821463-5-5
* Kelley, William and Earl W. Wallace (based on the screenplay by Earl W. Wallace and William Kelley). _Witness_, Pocket Books; Media Tie In, 1985 ISBN 978-0671545956

## 外部鏈接

* 網際網路電影資料庫（IMDb）上《證人》的資料（英文）
* TCM 電影資料庫上《證人》的資料（英文）
* Box Office Mojo 上《證人》的資料（英文）
* 爛番茄上《證人》的資料（英文）
* 豆瓣電影上《證人》的資料 （簡體中文）
证人保护计划

**美國聯邦證人保護項目**（英語：United States Federal Witness Protection Program；Witness Security Program；WITSEC）是由美國司法部管理、美國法警局具體執行的證人保護計劃，在審判之前、期間或之後為受威脅的證人提供保護。

包括加利福尼亞州、紐約州與德克薩斯州在內的少數一些州為此聯邦項目沒有覆蓋的罪案提供自己的證人保護項目。聯邦項目比這些由各州獨立運行的項目提供了更為廣泛的保護。

## 歷史

美國聯邦證人保護項目（又稱**證人安全項目**，英語：Witness Security Program，簡稱 WITSEC）於 1960 年代末由當時在美國司法部有組織犯罪與詐騙分局（Organized Crime and Racketeering Section）工作的吉勞德・蘇爾（Gerald Shur）創立，後經 1970 年《有組織犯罪控制法》（Organized Crime Control Act）通過後最終生效。其中規定，美國司法部長可以為在有組織犯罪以及其他嚴重罪行中的聯邦或州政府證人（或可能的證人）提供安置及保護。

## 程序

在申請的證人保護由美國司法部長最終批准後，美國法警局會為證人提供新的身份（證人的新名字通常會保留其原先的姓與名字的首字母，以方便他們儘快熟悉）、新的居住地以及經濟補助，還會為他們融入新的社區以及就業提供幫助。而證人則需要出庭作證並遵守其他一些義務。

## 參考資料

## 延伸閱讀

## 外部連結

* 美國法警局證人保護項目 （頁面存檔備份，存於網際網路檔案館）
* How Stuff Works, US Marshals Witness Protection Program （頁面存檔備份，存於網際網路檔案館）, HowStuffWorks
* FBI newsletter description

template:United States Department of Justice
证伪

**可否證性**（英語：Falsifiability、Refutability），又稱**可反證性**、**可證僞性**，在科學和科學哲學中用來表示由經驗得來的表述所具有的一種屬性，並使用嚴格的否證法（相對於實證法）來判別一個理論是否科學，即「這些結論必須容許邏輯上的反例的存在」。

作為可反證性對比的則包括形式上的或數學的表述，如恆真式或同義反覆（由於定義的原因它們總是真的），數學公理和定理 —— 這些表述不容許邏輯上反例的存在。

可證偽性是科學哲學家卡爾・波普爾在他 1934 年的著作科學發現的邏輯中引入的科學理論和假設的評估標準。他提出它作為解決歸納和劃界問題的基石。如果一個理論或假設可以被現有技術的實證檢驗在邏輯上抵觸，那麼它就是**可證偽**的（或**可反駁**的）。可證偽性的目的，甚至是一個邏輯標準，是使理論具有預測性和可測試性，從而在實踐中有用。

波普爾反對可驗證性概念。驗證「所有的天鵝都是白色的」這一說法在邏輯上需要觀察所有的天鵝，這在技術上是不可能的。相比之下，對單個黑天鵝的觀察在技術上是合理的，並且足以在邏輯上證偽這一主張。另一方面，皮耶・杜漢提出了杜漢 - 奎因論題。

在這種情況下，波普爾堅持認為在邏輯方面存在明顯的不對稱性，可證偽性不存在杜漢所提出的問題，因為它是一個邏輯標準，與拉卡托什・伊姆雷的證偽主義「被證明錯誤的能力」相關的概念不同。實驗方面和相關方法確實存在杜漢所提出的問題和其他問題，例如歸納問題（英語：Problem of induction），但是，對於波普爾來說，統計檢驗和其他數學工具，當一個理論是可證偽的時，這是可能的，在批判性討論中仍然對科學有用。

作為區分科學與非科學和偽科學的關鍵概念，可證偽性在許多科學爭議和應用中佔有突出地位，甚至被用作法律先例。

對理論的佐證雖然認可了合理性，但與邏輯實證主義經驗能證實理論的確證不同，佐證則是暫時的。一些哲學家和科學家（如卡爾・波普爾）宣稱：一切從經驗得來的假說、命題和理論必須邏輯上容許反例的存在，才是科學的。波普爾提出否證論（相對於實證論）作為科學真理的檢驗原則，且通過否證論說明科學理論只是假說，有可能被推翻。一個主張「可證偽」並不意味著這個主張是「假」的；不具可證偽性的科學理論則是屬於偽科學與失敗假設的範本。而非科學的人類活動如宗教、藝術、哲學等雖然是不可證偽的，但也不能說成是「錯誤」的，例如人們不會說達文西的最後的晚餐是錯誤的。

## 定義

如果一個主張是可否證的，則至少在理論上存在一種觀測的方法（即使實際上沒有進行這項觀測也無妨），來表明這個主張不符合重言式的標準（即這個主張不總是真的）。對某種描述進行觀測的邏輯前提是它描述的事物是存在的。科學活動中要不斷思考、批判、否證，而且結果不能保證永遠正確。

例如「所有的天鵝全都是白色的」這個主張可以被「存在黑色天鵝」的觀測否證，雖然這個觀測並不一定會發生。一個可否證的命題必須定義某些被禁止的情形。例如，在這個例子中，「所有的天鵝全都是白色的」這個主張禁止了「黑天鵝」的存在。由於理論上可能存在「觀測到黑色天鵝」這個反例，「所有的天鵝全都是白色的」這個主張是可否證的。
再比如假設現在有一個人宣稱「我說的話一直都是對的」，那麼我們考察他以前說過的話，如果有自相矛盾的地方，那麼這句話肯定是個假命題。然而，即使這個人過去一直貫徹一種想法，在他自己的言論中沒有自相矛盾之處，也不能作為足夠的證據證明這句話是個真命題。

## 科學理論的必要屬性

可否證性是一個科學理論的必要屬性。可否證性是由經驗得來的主張的必要屬性，卻不是充分屬性。一個主張需要更多的屬性及證據使其成為經驗上有意義的。

## 參見

* 卡爾・波普爾
* 本質主義
* 特例假設
* 黑天鵝效應
* 奧卡姆剃刀
* 科學哲學
* 科學方法
* 研究綱領
* 典範轉移

## 參考文獻

## 外部連結

* Problems with Falsificationism （頁面存檔備份，存於網際網路檔案館） explained at The Galilean Library
* FALSIFIABILITY OR REFUTABILITY （頁面存檔備份，存於網際網路檔案館） "FALSIFIABILITY OR REFUTABILITY" at Sociology Index
证券

**有價證券**（英語：Marketable Securities），簡稱**證券**（Securities），是一種表示財產權的有價憑證，持有者可以依據此憑證，證明其所有權或債權等私權的證明文件。例如：國債券、股票、債券、權證、權益證券和股票價款繳納憑證等。

**證券**也是多種經濟**權益憑證**的統稱，是證明證券持有人有權按其券面所載內容取得應有權益的書面證明。按其性質，不同證券分為證據證券，憑證證券、有價證券等等。有些證券是可以在市場上流通的，證券的存在活躍了金融、經濟和投資。對證券的不恰當投機，例如「無貨沽空」，可能導致金融市場的動盪。

## 基本屬性

一般證券的基本屬性有**市場性**、**流動性**、**報酬性**及**風險性**四種。

**市場性（Marketability）：**
: 市場性是指能在短時間內，有足夠交易市場以處理相當數量的交易，而且不會受到重大的價格損失。

**流動性（Liquidity）：**
: 流動性是將有價證券轉換成現金過程中，是否產生其他額外的損失。如果流動性良好，可以很快的轉換成所要的現金，不會產生額外的損失。此外，證券的流動性具有市場性且能免除價格風險。

**報酬性（Return）：**
: 證券的報酬來源大致有二：**投資收益**和**資本利得**。

* **投資收益**包括：股息和利息收入。
* **資本利得**包括：買價與賣價的差額。

　
: 股票的投資報酬為股息與差價；債券的投資報酬為利息。

**風險性（Risk）：**
: 報酬的產生，必定也承受相當程度的風險。一般而言，由於報酬中含有「風險溢酬」，風險越高，報酬也越大。正常狀況下，股票的風險會大於債券的風險。

## 貨幣市場的證券

貨幣市場係指利用**一年以內**之**短期**有價證券來進行交易的金融市場。而所謂貨幣市場證券係指政府、金融機關、企業等為籌集短期資金而發行到期日在**一年以內**的有價證券。

### 種類

* 國庫券（Treasury Bill，TB）
* 銀行承兌匯票（Banker's Acceptance，BA）
* 可轉換定期存單（Certificate of Deposits，CD）
* 商業本票（Commercial Paper，CP）
1. 第一類商業本票（CP1），又稱「交易性商業本票」或「自償性商業本票」
2. 第二類商業本票（CP2），又稱「融資性商業本票」
* 附買回協定（Repurchase Agreement）

## 資本市場的證券

資本市場係指利用**一年以上**的**長期**有價證券來進行交易的金融市場。而資本市場證券係指政府、金融機關、企業等為籌集長期資金而發行到期日在**一年以上**的有價證券。

由於時間比較長，因此風險比貨幣市場證券來得高。

### 種類

* 政府債券（Government Bond）
* 公司債（Bond）
  1. 抵押債券（Mortgage Bonds）
  2. 零息債券（Zero-Coupon Bonds）
  3. 分期還本債券（Serial Bond）
  4. 信用債券（Debenture）
  5. 附屬信用債券（Subordinated Debenture）
  6. 收益債券（Income Bonds）
  7. 可轉換債券（Convertible Bonds）
  8. 贖回債券（Callable Bonds）
* 金融債券：專業金融機構為籌措長期資金，所發行的債券憑證。
* 特別股（Preferred Stock）
* 普通股（Common Stock）

## 註釋

## 另見

* 名稱以「證券」開頭的所有條目
证券交易所

**證券交易所**（英語：Stock exchange）是買賣股票、公司債、政府公債、國庫券、可轉讓定期存單等有價證券的金融市場。集合有價證券的買賣者，經過證券經紀人的居間完成交易。

世界上最早的證券交易所是 1602 年由荷蘭東印度公司設立的荷蘭阿姆斯特丹交易所。在中國，最早的證券交易所是 1905 年外商組織的上海眾業公所，以及 1918 年設立的北平證券交易所。現代交易所中規模較大的，如紐約和倫敦的證券交易所，都有經營除了當地證券外的各國證券交易。證券交易所的出現，為證券買賣創造了一個常設市場，成為貨幣資本藉以實現長期投資的機構，因此通常稱它為**長期金融市場**。在一些國家，證券交易所作為經濟的核心，有能力從項目跨越大公司，幾個特定的產品在證券交易所內交易，參與者之間的新形式的經濟交流。

## 交易所

## 上市要求

每個證券交易所都對希望在該交易所上市的公司提出了自己的上市要求。此類條件可能包括已發行股票的最低數量、最低市值和最低年收入。

上市要求示例
一些證券交易所規定的上市要求包括：

* 紐約證券交易所 (NYSE)：紐約證券交易所要求公司至少發行了 110 萬股價值 4000 萬美元的股票，並且在過去三年中的收入必須超過 1000 萬美元。
* 那斯達克證券交易所 (NASDAQ)：那斯達克要求公司至少發行 125 萬股價值至少 7000 萬美元的股票，並且在過去三年中的收入必須超過 1100 萬美元。
* 倫敦證券交易所 (LSE)：倫敦證券交易所的主要市場要求最低市值（700,000 英鎊）、三年經審計的財務報表、最低公眾持股量（25%）和自上市之日起至少 12 個月的充足營運資金.
* 孟買證券交易所 (BSE)：孟買證券交易所要求最低市值為 2.5 億盧比（ 330 萬美元），最低公眾持股量為 1 億盧比（130 萬美元）。

## 參見

* 現貨交易
* 期貨交易
* 投機
* 投資
* 模擬炒股

## 另見

* 期貨交易所
* 金融衍生工具
* 商品交易所
* 交易所
证券交易所宫_(波尔图)

**證券交易所宮**（Palácio da Bolsa）是葡萄牙波多的一座歷史建築，由該市的商會建於 19 世紀，新古典主義建築。它座落在波多歷史中心區的恩里克王子廣場，毗鄰聖方濟各堂，為世界遺產項目的一部分。

## 歷史

1832 年，一場大火燒毀聖方濟各修道院的迴廊。1841 年，瑪麗二世將其廢墟捐贈給商會。1842 年開始建造證券交易所宮。宮殿的大部分在 1850 年完成，華麗的室內裝修直到 1910 年才完成，涉及到幾個不同的藝術家。

## 建築

中央庭院覆蓋著巨大的八角形金屬穹頂，穹頂下部裝飾著葡萄牙以及在 19 世紀與葡萄牙有商業關係的國家的國徽。庭院後面有一華麗的樓梯，建於 1868 年。由安東尼奧・拉馬略在天花板上繪製壁畫。

宮殿的亮點是阿拉伯房間，由貢薩爾維斯 é 索薩（Gonçalves e Sousa）建於 1862 年和 1880 年之間。房間裝飾為 19 世紀時髦的摩爾復興風格，用於接待訪問波多的貴賓。

## 參考

* Palácio da Bolsa official website（頁面存檔備份，存於網際網路檔案館）
证券交易所研究设计联合办公室

**中國證券市場研究設計中心**（曾稱**證券交易所研究設計聯合辦公室**，簡稱**聯辦**；英語：Stock Exchange Executive Council），是中華人民共和國的一家事業單位，掛靠在中華全國工商業聯合會，創辦了《財經》、《證券市場周刊》等 19 個雜誌以及和訊網、財經網、支點網等網站。

1989 年 3 月 15 日，9 家中國全國性非銀行金融機構組建**證券交易所研究設計聯合辦公室**。1991 年 12 月更名為中國證券市場研究設計中心。

聯辦曾參與起草中華人民共和國證券法、中華人民共和國公司法；參與籌建上海證券交易所、深圳證券交易所以及中國證監會；設計籌建第一個全國性的電腦聯網的證券交易自動報價系統（STAQ）；組織實施第一次中國國債發行承銷。此外聯辦還創辦和管理一些基金。

## 參考文獻
证券交易法

《**證券交易法**》是世界各個設有證券交易市場的國家及地區為監管交易而訂立的法規。它可能指以下其中一項：

* 中華人民共和國的《中華人民共和國證券法》
* 美國聯邦法律中的《證券交易法》
* 中華民國的《證券交易法》
* 日本的《金融商品取引法》
证券传媒

《**證券日報**》是由經濟日報報業集團主管、主辦，《證券日報》社出版的報紙。

## 歷史

該報於 2001 年 1 月 8 日創立，獲中國證監會批准承繼《經濟日報》的證券市場信息披露資格，並先後獲得了中國銀監會、中國保監會及北京、上海、天津、重慶四大產權交易所的信息披露資格授權。

2018 年，《證券日報》被中華人民共和國國家新聞出版廣電總局新聞報刊司評為 2017 年全國「百強報刊」。2020 年，《證券日報》獲准繼續作為上市公司信息披露的指定刊物之一。

## 爭議

該報下屬企業**證券日報傳媒股份有限公司**（新三板除牌前：832051，簡稱：證券傳媒）曾一度掌控《**證券日報**》的發行、廣告、網絡運營等全部經營性業務。成立之初，該公司名義上由《**證券時報**》社實際控制，但「**明天系**」下屬的多個子公司持有該公司約 36% 的股權，導致該公司實際上已由肖建華實際控制，而《證券時報》從經營到內容也受到「明天系」的影響：該報曾多次刊登「明天系」對立公司的負面消息，並設置免於負面報導的「白名單」，其中多為「明天系」關聯公司，例如在監管當局對當時受「明天系」實際控制的恆泰證券予以批評時，《證券時報》曾反向刊登對該證券公司的正面稿件。2017 年 1 月 4 日，**證券傳媒**宣布停牌。1 月 25 日，《證券日報》社收回了該公司的信息披露代理業務授權。2 月，因嚴重違反中國共產黨黨紀，《證券日報》社前社長謝鎮江被撤職、開除黨籍並接受調查。7 月 3 日，證券傳媒通過不按期披露年報的方式自**全國中小企業股份轉讓系統**摘牌，公告以 1.59 億元人民幣回購 16.94% 的股份並註銷，此舉被認為是清理《證券時報》下屬公司股權行動的一部分。

## 參考來源

## 外部連結

* 證券日報網（中國資本證券網） （頁面存檔備份，存於網際網路檔案館）
* 證券傳媒網 （頁面存檔備份，存於網際網路檔案館）