stanford-oval/wikipedia huggingface dataset:
Production Ace
外部連結

Production Ace官方網站（页面存档备份，存于） （日語）
塞爾瓦 (聖地亞哥-德爾埃斯特羅省)

塞爾瓦
塞爾瓦（西班牙語：），是阿根廷的城鎮，位於該國北部聖地亞哥-德爾埃斯特羅省，是里瓦達維亞縣的首府，距離聖地亞哥-德爾埃斯特羅337公里，始建於1892年7月1日，海拔高度83米，2001年人口2,543。
參考資料

Ministerio del Interior （页面存档备份，存于） （西班牙文）
29°46′S 62°03′W﻿ / ﻿29.767°S 62.050°W﻿ / -29.767; -62.050
桑顿 (艾奥瓦州)

| 桑頓 |
| --- | --- |
城市

坐标：42°56′42″N 93°23′03″W﻿ / ﻿42.94500°N 93.38417°W﻿ / 42.94500; -93.38417
國家: 美国
州份: 愛荷華州
縣: 塞羅戈多縣
面积
 • 总计: 3.24 平方公里（1.25 平方英里）
 • 陸地: 3.24 平方公里（1.25 平方英里）
 • 水域: 0.00 平方公里（0.00 平方英里）
海拔: 362 公尺（1,188 英尺）
人口（2010年美國人口普查）
 • 總計: 422人
 • 密度: 130人/平方公里（337人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
美國郵區編號: 50479
電話區號: 641（英语：）
地名信息系统ID: 462227
桑頓（英語：）是一個位於美國愛荷華州塞羅戈多縣的城市。
地理

桑頓的座標為42°56′42″N 93°23′03″W﻿ / ﻿42.94500°N 93.38417°W﻿ / 42.94500; -93.38417，而該地的平均海拔高度為362米（即1188英尺）。
人口

根據2010年美國人口普查的數據，桑頓的面積為3.24平方千米，當中陸地面積為3.24平方千米，而水域面積為0.00平方千米。當地共有人口422人，而人口密度為每平方千米130人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
多馬尼夫卡區

多馬尼夫卡區在尼古拉耶夫州的位置
多馬尼夫卡區（烏克蘭語：），曾是烏克蘭尼古拉耶夫州的一個區，位於該國南部，行政中心設於多馬尼夫卡，面積1,458平方公里，2013年人口25,862，人口密度每平方公里17.7人。
该区在2020年7月18日的乌克兰行政区划改革中被撤销，改革后尼古拉耶夫州下分为4个区。
浮石街道

| 浮石街道 |
| --- | --- |
街道
坐标：28°58′30″N 118°52′24″E﻿ / ﻿28.97502°N 118.8734°E﻿ / 28.97502; 118.8734
国家:  中华人民共和国
上级行政区: 衢江区
村级区划单位数:  10 0社区 10行政村 
时区: 北京时间（UTC+8）
行政区划代码: 33 08 03 002
电话区号: +86 (0)570
浮石街道，是中华人民共和国浙江省衢州市衢江区所辖的一个街道。
下辖行政区

下辖：
塔石塘村、​航东村、​徐家坞村、​姜家坞村、​方家村、​塔底村、​浮东村、​浮石村、​窑里村和元桥村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
塞爾瑪·金斯伯里

塞尔玛·金斯伯里
塞爾瑪·金斯伯里（Thelma Kingsbury，後來連續更改姓氏為Scovil、Welcome、Lougheed，1911年1月12日—1979年8月）是一位出生於英格蘭，入籍美國的女子羽球運動員。她從1930年代初期到1950年代初期在不列顛群島和美國贏得了大量羽球冠軍，同時擅長單打和雙打。
她於1933年至1937年間在享有盛譽的全英羽球錦標賽中獲得2項女子單打冠軍、4項女子雙打冠軍及1項混合雙打冠軍。在1935-1936賽季，她憑藉英格蘭、愛爾蘭、蘇格蘭和威爾斯的女子單打冠軍獲得了英國“大滿貫”。
在從英國移民到美國之後，她在1941年贏得了美國女子單打冠軍，並在1941年、1947年、1948年、1949年和1950年與珍妮特·賴特分享了美國女子雙打冠軍。雖然在1950年代初前達到40歲，但她繼續與埃塞爾·馬歇爾（英语：），瑪格麗特·華納和十多歲的茱蒂·德夫林這樣的強大對手進行極具競爭力的單打比賽。
塞爾瑪·金斯伯里是1956年入選美國羽球名人堂的首批球員之一。
參考文獻

↑  Pat Davis, The Guinness Book of Badminton (Enfield, Middlesex, England: Guinness Superlatives Ltd., 1983) 106, 107.
↑  赫伯特·舍勒, The International Badminton Federation Handbook for 1971 (Canterbury< Kent, England: J. A. Jennings Ltd., 1971) 163, 209, 273, 317.
↑  Scheele, 312, 313.
UP Girls

| Up Girls> 组合 |
| --- | --- |
语言: 汉语
音乐类型: 华语流行
出道地点: 北京市
出道日期: 2010年11月11日
活跃年代: 2010年-至今
唱片公司: EQ唱片（2010-至今）
经纪公司: 星光UP（2010-至今）
网站: UP Girls 官方微博
UP Girls，是北京星光UP集团于2010年11月推出的一支中国大陆知名偶像女子音乐团体，出道至今，已发行3张专辑。
主要经历

2011年，发行第一张专辑《Sweet Party》
2012年，发行专辑《爱情密语》
2013年，UP Girls升级分组 “奇奇达”、“MI”、“92”、“2SX”四个分组EP，发行专辑《92白银河组合》
组合成员

第一代成员：曹娜、吴晓辰、李昕岳、王希怡、孙一奇、陈艺丹、孙文婷
第二代成员：胡菀清、蔡潆萱、袁婷婷、谭志玲、李方丁、杨茜雯、孙思萌
现任成员：胡菀清、谭志玲、杨茜雯、杨雅诺、陈忆萱、冉蒲诱美
| 成员名称 | 生日 | 籍贯 | 备注 |
| --- | --- | --- | --- |
| 陈忆萱 | 1994年6月24日 | 北京市 | 2010山东综艺频道《综艺满天星》歌舞青春亚军 |
| 冉蒲诱美 | 1989年3月23日 | 安徽省芜湖市 | 2009上海星尚电视《星尚女》全国4强 |
| 杨雅诺 | 1986年12月13日 | 湖南省长沙市 |  2004湖南卫视《超级女声》长沙亚军、全国第七名  2011湖南卫视《快乐女声》西安六强、全国30强 |
| 杨茜雯 | 1988年10月5日 | 山西省晋城市 | 2009新浪网“美丽之星”三甲 |
| 胡菀清 | 1988年7月18日 | 北京市 | 2009湖南卫视《快乐女声》腾讯10强、全国300强 |
| 谭志玲 | 1990年4月5日 | 湖北省宜昌市 | 2008年《热舞派对》大赛冠军 |
音乐作品 > 专辑/EP

| 專輯 | 專輯資料 | 曲目 |
| --- | --- | --- |
| 第一张 | 《Sweet Party》   发行时间：2011-10-10  发行公司：星光国际  曲目数量：8 |  曲目 Love Me Boy【MV】  再给我点勇气【MV】  爱自己【MV】  Come To Me  甩葱歌  寂寞跳舞  变  喀秋莎  |
| 第二张 | 《爱情密语》  发行公司：EQ唱片  发行日期：2012-05-18  曲目数量：7 |  曲目 整颗心都是你  借口  走在你身边还是你  爱不难，恨更简单  my angel  英雄  发香  |
| 第三张 | 《92白银河组合》  发行公司：EQ唱片  发行日期：2013-01-18  曲目数量：11 |  曲目 My Hearbeat  Bad Boy  风淡云清  因为你是男孩  雪花漫天  |
音乐作品 > 发行单曲

未收录在其专辑里的单曲
| 发行日期 | 歌曲名稱 | 所屬專輯、备注 |
| --- | --- | --- |
| 2012-02 | 《QQ仙境》 | 网游《QQ仙境》主题曲 |
| 2013-06 | 《qiuqiu是个大喇叭》 |  |
电影作品

| 上映时间 | 电影 | 参与角色 | 导演 | 合作艺人 |
| --- | --- | --- | --- | --- |
| 2012-05 | 《90后青春手写体—爱的时光机》 | 全体成员均参与 | 张一白 | MIC男团 |
写真集

2011-12，《Up Girls同名写真集》
夏曲镇

| 夏曲镇 |
| --- | --- |
镇
坐标：31°48′22″N 92°49′38″E﻿ / ﻿31.80602°N 92.82714°E﻿ / 31.80602; 92.82714
国家:  中华人民共和国
上级行政区: 比如县
村级区划单位数:  22 2社区 20行政村 
时区: 北京时间（UTC+8）
行政区划代码: 54 06 22 101
电话区号: +86 
夏曲镇，是中华人民共和国西藏自治区那曲市比如县下辖的一个乡镇级行政单位。
行政区划

夏曲镇下辖以下地区：
夏曲卡社区、​伯托社区、​玉纳村、​扎勒村、​扎热村、​瓦塘村、​改耐村、​勒加库村、​热萨村、​色娘村、​勒根村、​诺美尼村、​布龙村、​克玛村、​热布村、​察曲村、​茶迁村、​永嘎勒村、​托那莫布村、​娘热村、​仲拉村和边塘村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
多格斯冰原島峰

67°46′S 54°51′E﻿ / ﻿67.767°S 54.850°E﻿ / -67.767; 54.850
多格斯冰原島峰是南極洲的冰原島峰，位於愛德華八世灣西南部，處於雷納峰西南面60公里，該島嶼在1956年10月被澳大利亞探險隊拍攝。
塔特蘭斯卡魯門尼卡

塔特蘭斯卡魯門尼卡車站
塔特蘭斯卡魯門尼卡（斯洛伐克語：）是位於斯洛伐克北部的一個村鎮。塔特蘭斯卡魯門尼卡是斯洛伐克著名的旅遊勝地，以滑雪和登山運動而著稱。塔特蘭斯卡魯門尼卡也是一個行政區劃名。
Spyglass

| Spyglass公司 |
| --- | --- |

公司類型: 上市
股票代號: SPYG
公司結局: 由OpenTV收購
成立: 1990年，​34年前​（1990）
结束: 2000年
總部:  美国香檳
产业: 软件 
產品: 網頁瀏覽器
Spyglass公司（英語：）是位於伊利諾州香檳的網際網路軟體公司。該公司成立於1990年，是伊利諾大學厄巴納香檳分校一個分支，旨在將國家超級電腦應用中心（NCSA）的技術商業化。以其開發專有版本的Mosaic網頁瀏覽器而聞名。
Mosaic

1994年5月，Spyglass公司以數百萬美元的價格取得NCSA的Mosaic瀏覽器授權，旨在開發自己的網頁瀏覽器。Spyglass提供了三十天的試用版下載，但實際上並沒有將產品出售給終端用戶。相反，它向代理商（例如O'Reilly & Associates）提供未經修改的Spyglass Mosaic或基於Spyglass代碼庫的瀏覽器（CompuServe、IBM和Ipswitch）。使用Spyglass Mosaic代碼庫授權下開發的瀏覽器還包括微軟的Internet Explorer。
除了主要的桌面平台之外，Spyglass還將Mosaic移植到其他系統上，包括用於ShackWire Online系統的任天堂64。
Mosaic > 瀏覽器大戰

条目：瀏覽器大戰
由馬克·安德森共同創立的Netscape公司於1994年10月發布了旗艦產品Netscape Navigator瀏覽器，該公司很快成為了網頁瀏覽器業界的領導者，感受到威脅的微軟認為自己沒有時間從零到有的開發出一個瀏覽器出來。
微軟在1994年11月欲收購BookLink瀏覽器，但最終落入了AOL手中，之後微軟與Spyglass的談判取得了進展。1995年，微軟從Spyglass取得Mosaic授權成為了Internet Explorer 1基礎，該版本作為Windows 95的Microsoft Plus!（英语：）軟體包的一個附加元件發佈。根據協議規定，Spyglass將獲得Mosaic的基本季度授權費用以及微軟的Internet Explorer收入。
微軟隨後將Internet Explorer與Windows捆綁在一起，因此（在IE上沒有直接收入）只支付最低額度的季度授權費。1997年，Spyglass利用合約威脅微軟，最後微軟賠償了八百萬美元達成和解。
Internet Explorer 7（2006年10月18日發佈）之前建立的Internet Explorer所有版本仍然保留著部份Spyglass代碼。在這些版本的“關於”視窗包含這段文字“根據Spyglass公司的授權協議散佈”（Distributed under a licensing agreement with Spyglass, Inc.）。
網頁伺服器技術

Spyglass推出UNIX和Windows NT的商業網頁伺服器，名為Spyglass Server和Server SDK。該產品於1995年3月宣布，並於1995年7月上市 。與市面上的Netscape伺服器一樣，Spyglass Server包含一個應用程式介面，允許伺服器端應用程式在伺服器的進程中執行。這兩種伺服器平台在安全性上有所不同，Spyglass使用安全超文本傳輸協議（SHTTP），而Netscape使用自己的安全通訊協定（SSL）。Spyglass沒有將他們的伺服器作為零售產品提供，而是批量授權給原始設備製造商，就像它們的瀏覽器一樣。
結業

2000年3月26日，互動電視軟體公司OpenTV以25億美元收購了Spyglass以及多項專利技術。
參考資料

↑  . Computerworld. 1994-08-29  [2015-09-12]. （原始内容存档于2015-11-27）.
↑  Booker, Ellis. . Computerworld. 1994-08-29  [2015-09-12]. （原始内容存档于2015-11-27）.
↑  Ayre, Rick; Mace, Thomas. . PC Mag (Ziff Davis). 1996-03-12  [2017-05-21]. （原始内容存档于2016-06-10）.
↑   (新闻稿). Hunt Valley, MD: InterAct Accessories, Inc. PR Newswire. 1999-05-12  [2015-01-07]. （原始内容存档于2015-01-07）.
↑  . The New York Times. 1994-11-10  [2019-11-30]. （原始内容存档于2020-09-03）.
↑  Wallace, James (1997), Overdrive, John Wiley & Sons. ISBN 0-471-18041-6.
1 2  Elstrom, Peter. . Bloomberg Businessweek. 1997-01-22  [2011-02-09]. （原始内容存档于1997-06-29）.
↑  . 1997-01-22  [2011-02-09]. （原始内容存档于2012-09-19）.
↑  Booker, Ellis. . Computerworld. 1995-03-27  [2017-05-28]. （原始内容存档于2016-08-05）.
↑  .   [2011-02-09]. （原始内容存档于2011-06-04）.
↑  . InternetNews. 2000-03-27  [2015-09-12]. （原始内容存档于2015-09-26）.
壇金礦業

壇金礦業有限公司，簡稱壇金礦業（英語：，港交所：0621），在2011年10月14日，由永興國際（控股）有限公司更名而來。現時主要業務開採金礦、煤炭等產品。
現時主要地區包括南非、中國河北省等地區，主席及總裁為李學賢。總部位於香港新界楊屋道8號如心廣場19樓1901室。
連結

TaungGold.com （页面存档备份，存于）
UPS航空1354號班機空難

| --- | --- |
NTSB人員在事故現場進行調查
事件概要
日期: 2013年8月14日
摘要: 可控飛行撞地
地點:  美国阿拉巴馬州 伯明罕－沙特爾斯沃思國際機場18號跑道北側，靠近 33°35′2.061″N 86°44′51.9822″W﻿ / ﻿33.58390583°N 86.747772833°W﻿ / 33.58390583; -86.747772833
飞机概要
机型: 空中巴士A300F4-622R
營運者: UPS航空
註冊編號: N155UP
起飛地:  美国肯塔基州路易維爾國際機場
目的地:  美国阿拉巴馬州伯明罕－沙特爾斯沃思國際機場
機組人員: 2
死亡: 2
受傷: 0
生還者: 0
UPS航空1354號班機是由肯塔基州路易維爾國際機場往阿拉巴馬州伯明罕－沙特爾斯沃思國際機場的定期貨機。2013年8月14日該班機在伯明罕－沙特爾斯沃思國際機場進場時墜毀並發生大火，正副駕駛（也是機上僅有兩人）罹難。
此次事故被拍攝成空中浩劫第21季第10集《Deadly Delivery》
事故飛機

事故飛機是架空中巴士A300F4-622R，註冊編號N155UP，使用普惠PW4000引擎，2003年製造，並在隔年2月以新機交付UPS。事故發生時本機已累積約11,000飛行小時，並完成6,800次起降。
墜機

在阿拉巴馬州伯明罕－沙特爾斯沃思國際機場進場準備降落18跑道時，飛機「碰到一些樹」並以機鼻朝上的姿勢三次撞擊地面。機身隨後斷成兩截，機鼻的部份飛到距最初撞擊點200碼（180）的地方，其他部份再往跑道飛約75—80碼（69—73）後掉到地面並起火燃燒。
調查

美國國家運輸安全委員會（NTSB）在事發後展開事故調查，並派遣26人的行動小組到事故現場搜集易損壞的證物。同日稍晚的記者會上，NTSB表示因機尾部份仍在燃燒，暫時無法取得（放在機尾的）駕駛艙通話記錄器和飛航資料記錄器。法國航空事故調查處（BEA）與空中巴士的技術人員將以飛機製造國的身份參與調查。聯邦調查局採證小組（Evidence Response Team）亦將協助NTSB進行蒐證。
參考資料

↑  , 航空安全網,   [2013-08-14], （原始内容存档于2013-08-17） （英语）
1 2  Simon Hradecky, , The Aviation Herald, 2013-08-14  [2013-08-14], （原始内容存档于2021-03-09） （英语）
↑  , Globe Newspaper Company,   [2013-08-14], （原始内容存档于2013-08-17） （英语）
↑  Jason Rabinowitz, , NYCAviation（英语：）, 2013-08-14  [2013-08-14], （原始内容存档于2019-01-02） （英语）
↑  , Planespotters.net,   [2013-08-14], （原始内容存档于2013-08-20） （英语）
1 2  Amber Roberson, , Alabama's 13, 2013-08-14  [2013-08-14], （原始内容存档于2013-10-02） （英语）
↑  , 法國航空事故調查處, 2013-08-14  [2013-08-14], （原始内容存档于2013-08-14） （英语）
↑  Boxley, Mark. . 今日美國. 2013-08-15  [2013-08-15]. （原始内容存档于2021-01-15） （英语）.
外部連結

UPS航空
"Update on UPS Flight 1354." (Archive.is的存檔，存档日期2013-08-14)
"Flight UP1354 on 14 August 2013 A300-600, registered N155UP." Bureau d'Enquêtes et d'Analyses pour la Sécurité de l'Aviation Civile. (Archive.is的存檔，存档日期2013-08-14)
"UPS Flight 1354 accident in Birmingham – Alabama USA." - Airbus (Archive.is的存檔，存档日期2013-08-14)
多馬哈河 (南布格河支流)

多馬哈河（烏克蘭語：），是烏克蘭的河流，位於該國西部，屬於南布格河的左支流，發源自阿達姆皮利，流經赫梅利尼茨基州和文尼察州，河道全長20公里，流域面積112平方公里。
參考資料

Домаха
瀝青滴漏實驗

於昆士蘭大學進行的瀝青滴漏實驗
瀝青滴漏實驗（英語：）是一個長期實驗，其目的是為了测量極高黏度瀝青在室溫環境下的流動速度。這個實驗由澳洲布里斯本昆士蘭大學在1927年開始進行。當時的湯瑪士·帕奈爾教授把一些瀝青放進一個封了口的漏斗內，至1930年，漏斗封口被剪开，沥青開始緩慢流動。每一滴高黏度瀝青需經近十年時間，方能滴進漏斗下方的燒杯之中，第一滴瀝青於1938年12月滴出。時至今日，已滴出九滴瀝青。
從實驗的結果當中，人們可計算到瀝青的黏度大約是水之千億倍。
一直到1988年以前，由於該實驗周圍的環境並沒有特別控制，因此其瀝青流動速度會因溫度的變化而改變，但第7滴之後裝了冷氣使溫度固定。
帕奈爾教授於1948年9月1日逝世後，實驗改由約翰·梅史東（John Mainstone）教授負責，他與帕奈爾教授於2005年憑着這個實驗，而獲得搞笑諾貝爾獎。梅史東教授於2013年8月23日逝世後，實驗續由安德魯·懷特（Andrew White）教授負責。
根據健力士世界紀錄，這個實驗是全球持續時間最長的實驗，而漏斗內的瀝青也足夠使這個實驗再進行幾百年。
時間表

| 年份 | 狀況 | 到達此狀態 所用時間 | 從切開封口 所用總時間 | 從架設實驗 所用總時間 | 負責教授 |
| --- | --- | --- | --- | --- | --- |
| 1927年 | 架設實驗 | ／ | ／ | ／ | 湯瑪士·帕奈爾 |
| 1930年 | 切開封口 | 3年 | ／ | 3年 | 湯瑪士·帕奈爾 |
| 1938年12月 | 第一滴 | 8年11個月 | 8年11個月 | 11年11個月 | 湯瑪士·帕奈爾 |
| 1947年2月 | 第二滴 | 8年3個月 | 17年1個月 | 20年1個月 | 湯瑪士·帕奈爾 |
| 1954年4月 | 第三滴 | 7年2個月 | 24年3個月 | 27年3個月 | 約翰·梅史東 |
| 1962年5月 | 第四滴 | 8年1個月 | 32年4個月 | 35年4個月 | 約翰·梅史東 |
| 1970年8月 | 第五滴 | 8年3個月 | 40年7個月 | 43年7個月 | 約翰·梅史東 |
| 1979年4月 | 第六滴 | 8年8個月 | 49年3個月 | 52年3個月 | 約翰·梅史東 |
| 1988年7月 | 第七滴 | 9年3個月 | 58年6個月 | 61年6個月 | 約翰·梅史東 |
| 2000年11月28日 | 第八滴 | 12年5個月 | 70年11個月 | 73年11個月 | 約翰·梅史東 |
| 2014年4月20日 | 第九滴 | 13年6個月 | 84年5個月 | 87年5個月 | 安德魯·懷特 |
都柏林圣三一学院的实验

从1944年7月11日开始，愛爾蘭都柏林圣三一大学进行了类似的实验。在2013年7月11日，他们第一次拍到了沥青液滴的滴落。
參考資料

↑  Biever, Lisa Grossman and Celeste. . New Scientist.   [2021-08-11]. （原始内容存档于2021-10-21） （美国英语）.
↑  中時新聞網. . 中時新聞網.   [2021-08-11]. （原始内容存档于2021-08-11） （中文（臺灣））.
↑  The 2005 Ig Nobel prize winners （页面存档备份，存于）. Improbable Research. Retrieved 6 July 2013.
↑  . NY Post.   [27 August 2013]. （原始内容存档于2013-08-30）.
↑  .   [2019-02-20]. （原始内容存档于2017-01-05）.
↑  .   [2013-07-19]. （原始内容存档于2013-07-18）.
此圖表顯示出每滴瀝青滴落所花的時間：橫軸是瀝青滴數，縱軸是月數
一次性密碼本

此條目介紹的是加密通讯協议中的一次性密碼本（one-time pad）。关于身份验证系统中的一次性密碼（One-time password），请见「」。
一次性密碼本節錄
一次性密碼本（英語：，缩写为OTP）是古典密碼學中的一種加密演算法。是以隨機的密钥（key）組成明文，且只使用一次。
安全性

在理論上，此種密碼具有完善保密性，是牢不可破的。它的安全性已由克劳德·艾尔伍德·香农所證明。
雖然它在理論上的安全性無庸置疑，但在實際操作上卻有著以下的問題：
用以加密的文本，也就是一次性密碼本，必須確實是隨機產生的。
它至少必須和被加密的文件等長。
用以加密的文本只能用一次，且必須對非關係人小心保密，不再使用時，用以加密的文本應當要銷毀，以防重複使用。
加密方法

首先手上要有一本一次性密碼本用以加密文件，接著將一次性密碼本裡的字母，與被加密文件的字母給依序按某個事先約定的規定一一相混，其中一個相混的作法是將字母指定數字（如在英語中，將A至Z依序指定為0至25）然後將一次性密碼文本上的字母所代表的數字和被加密文件上相對應的數字給相加，再除以該語言的字母數後取得其餘數，假設字母數是 n（如英語為26），若就此得出來的某個數字小於零，則將該小於零的數給加上n，如此便完成加密。
舉個例子，若要加密訊息「This is an example」，而用以加密的一次性密碼本如下所示：
MASKL NSFLD FKJPQ
則利用指定數字的方法，可分別將兩者給做以下的轉換：
This is an example → 19 7 8 18 8 18 0 13 4 23 0 12 15 11 4
MASKL NSFLD FKJPQ → 12 0 18 10 11 13 18 5 11 3 5 10 9 15 16
兩者依序相加後得到的訊息如下：
31 7 26 28 19 31 18 18 15 26 5 22 24 26 20
將以上得到的訊息模26（除以26後取餘數）可得：
5 7 0 2 19 5 18 18 15 0 5 22 24 0 20
它也就變成了
FHACTFSSPAFWYAU
而若要解密以上訊息，反向操作即可。
參考文獻

Erskine, Ralph, "Enigma's Security: What the Germans Really Knew", in "Action this Day", edited by Ralph Erskine and Michael Smith, pp 370–386, 2001.
外部連結

Marcus Ranum's 一次性密码本常见问题 （页面存档备份，存于）
FreeS/WAN 一次性密码本的弱点讨论 （页面存档备份，存于）
可汗学院一次性密码本 （页面存档备份，存于）
參見

信息论安全性
完善保密性
隱寫術
Windows 10X

| --- | --- |
Windows NT操作系统的一个版本

开发者: Microsoft
作業系統家族: Microsoft Windows
運作狀態: 停止研發
首次发布: 2019年10月2日，​5年前​（2019-10-02）
当前版本: 14.0.20229.1017（2013年6月28日；穩定版本） 20279.1002  
支持的语言: 英语
Windows 10X 是微软公司一個被取消的作業系統。系统最初宣布時企劃使用於Surface Neo双螢幕计算机，被視為Chrome OS更直接的競爭對手。2020年5月，微軟表示Windows 10X將先行使用於单螢幕设备。2021年5月19日，微软宣布不会发布Windows 10X操作系统。
发展历程

2019年10月2日，Windows 10X在Microsoft Surface发布会上亮相。
2020年2月12日，面向开发人员的Windows 10X 10.0.19563模拟器镜像正式在应用商店上架。
2020年3月11日，模拟器更新至10.0.19578，新增全新文件资源管理器。
2021年1月，Windows10X一个内部版本泄露，版本号为20279，文件管理器已经被替代，包含新的安装、启动界面。
2021年5月19日，据国外媒体报道，微软宣布不会发布Windows 10X操作系统。相反，微软将在Windows系统及其他产品中整合Windows 10X的功能。
兼容性

Windows 10X 在 2019 年首次宣布的时候，微软承诺该系统能够运行标准的 Win32 应用程序，不同于 Windows RT 或者 Windows 10 S 模式。不过，即将发布适用于单屏的 Windows 10X 初版并不支持传统桌面应用，用户只能使用 UWP 和 PWA 应用。
已知问题

摄像头无法使用
Windows Hello 虹膜扫描仪不可用
Hyper-V 不可用
SD卡启动不可用
电池寿命降低
使用GPS时无法调用任何其它传感器协助导航
Miracast在许多无线设备上都无法使用，但在Xbox和Windows 10电脑上却能正常工作
在低于或等于20100的构建上，亚克力效果显示时会偶发图形故障。
偶尔可以观察到阴影特效上的图形故障
如果第二次插入设备，MTP可能无法启动，需要通过任务管理器停止NcsdService来解决这个问题
不支持双卡
不支持VoLTE
大凯赖斯图尔

| 大凯赖斯图尔 Nagykeresztúr |
| --- | --- |
坐标：48°02′19″N 19°43′20″E﻿ / ﻿48.0387°N 19.7221°E﻿ / 48.0387; 19.7221
国家: 匈牙利
州: 诺格拉德州
面积
 • 总计: 8.20 平方公里（3.17 平方英里）
人口（2010年）
 • 總計: 269人
 • 密度: 32.8人/平方公里（85人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
邮编: 3129
電話區號: 32
大凯赖斯图尔（匈牙利语：），是匈牙利诺格拉德州所辖的一个村。总面积8.20平方公里，总人口269，人口密度32.8人/平方公里（2010年1月1日）。
塞瓜卡

塞瓜卡（西班牙語：），是洪都拉斯的城鎮，位於該國西北部，由聖巴巴拉省負責管轄，始建於1895年1月19日，面積61.20平方公里，海拔高度504米，2001年人口3,833，人口密度每平方公里62.63人。
參考資料

"Extra information"
14°48′00″N 88°12′00″W﻿ / ﻿14.800°N 88.200°W﻿ / 14.800; -88.200
塔曼拉塞特區

22°47′N 5°31′E﻿ / ﻿22.783°N 5.517°E﻿ / 22.783; 5.517
塔曼拉塞特區（阿拉伯语：‎），是阿爾及利亞的行政區，位於該國東南部，由塔曼拉塞特省負責管轄，首府設於塔曼拉塞特，面積131,151平方公里，2008年人口96,843，人口密度每平方公里0.7人。
參考資料

(PDF). Office National des Statistiques Algérie.   [30 May 2013]. （原始内容存档 (PDF)于2011-11-13） （法语）.
(PDF). Journal officiel de la République Algérienne: 1299. 4 September 1991  [30 May 2013]. （原始内容 (PDF)存档于2013-03-02） （法语）.
多枝赖草

| 多枝赖草 |
| --- | --- |

保护状况
 未予评估（IUCN 3.1）
科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 单子叶植物 Monocots
演化支：: 鸭跖草类植物 Commelinids
目：: 禾本目 Poales
科：: 禾本科 Poaceae
属：: 赖草属 Leymus
种：: 多枝赖草 L. multicaulis
二名法
Leymus multicaulis (Kar. & Kir.) Tzvelev

多枝赖草（学名：）为禾本科赖草属下的一个种。
扩展阅读

維基物種上的相關：多枝赖草
塞爾登 (堪薩斯州)

| 塞爾登 Selden |
| --- | --- |
城市


坐标：39°32′28″N 100°34′01″W﻿ / ﻿39.54111°N 100.56694°W﻿ / 39.54111; -100.56694
國家: 美国
州份: 堪薩斯州
縣: 謝里敦縣
面积
 • 总计: 0.79 平方公里（0.31 平方英里）
 • 陸地: 0.79 平方公里（0.31 平方英里）
 • 水域: 0.00 平方公里（0.00 平方英里）
海拔: 864 公尺（2,835 英尺）
人口（2020）
 • 總計: 184人
 • 密度: 233人/平方公里（603人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 67757
電話區號: 785（英语：）
GNIS ID: 471107
塞爾登（英語：）是一個位於美國堪薩斯州謝里敦縣的城市。
地方資料

根據2020年美國人口普查的數據，塞爾登的面積為0.79平方千米，當中陸地面積為0.79平方千米，而水域面積為0.00平方千米。當地共有人口184人，而人口密度為每平方千米232.91人。
參考文獻

↑  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
刺毛对囊蕨

| 刺毛对囊蕨 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
纲：: 真蕨綱 Polypodiopsida
目：: 水龍骨目 Polypodiales
科：: 蹄盖蕨科 Athyriaceae
属：: 对囊蕨属 Deparia
种：: 刺毛对囊蕨 D. setigera
二名法
Deparia setigera (Ching ex Y. T. Hsieh) Z. R. Wang

異名
 Dryoathyrium setigerum Ching ex Y. T. Hsieh
刺毛对囊蕨（学名：）也称刺毛介蕨，为蹄盖蕨科对囊蕨属下的一个种。
海医

海医可以指：
览海医疗，中国大陆医疗企业，曾为上市公司
海南医学院，位于中国大陆海南省海口市的高等院校
中国人民解放军海军军医大学，位于中国大陆上海市的军事院校
海珠路

海珠路可以指：
海珠路 (香港)，香港新界屯門區的一條道路
海珠路 (廣州)，中國廣州市越秀區的一條道路
大凤丫蕨

| 大凤丫蕨 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
纲：: 真蕨綱 Polypodiopsida
目：: 水龍骨目 Polypodiales
科：: 鳳尾蕨科 Pteridaceae
属：: 凤丫蕨属 Coniogramme
种：: 大凤丫蕨 C. gigantea
二名法
Coniogramme gigantea Ching ex K. H. Shing

大凤丫蕨（学名：）为裸子蕨科凤丫蕨属下的一个种。
扩展阅读

維基物種上的相關：大凤丫蕨
浦山口站

月台（2008年2月）
浦山口站（日语：／ Urayamaguchi eki */?）是位於埼玉縣秩父市荒川久那字平澤3895番地，秩父鐵道的秩父本線車站。
歷史

1930年（昭和5年）：3月15日 - 車站啟用。
車站構造

此站是地面車站，設有1面1線的單式月台。此站是由秩父站管理的業務委託車站。
由於月台建設彎道上。自家通勤型車輛中，每卡車輛只會開啟兩度車門。
車站職員當值時間為平日的星期二、三、五7:50～16:50，和星期六日8:30～17:00，其餘時間沒有職員當值。
在檢票口內設有廁所（多用途廁所和濕廁）。
使用狀況

在2018年度1日平均乘車人次為94人。
| 年度 | 1日平均 乘車人次 |
| --- | --- |
2009年（平成21年）: 114
2010年（平成22年）: 108
2011年（平成23年）: 103
2012年（平成24年）: 118
2013年（平成25年）: 115
2014年（平成26年）: 119
2015年（平成27年）: 109
2016年（平成28年）: 104
2017年（平成29年）: 95
2018年（平成30年）: 94
車站周邊

荒川
國道140號 （日语 ： ）
久那橋（日语：）
浦山川
浦山水壩（日语：）（秩父櫻湖） - 步行約20分鐘
秩父札所（日语：）28號橋立堂、橋立鍾乳洞（日语：） - 步行約15分鐘
秩父札所29號長泉院 - 步行約15分鐘
武甲山 - 登山路線起點
浦山歷史民俗資料館（日语：）
秩父市立荒川綜合運動公園
荒川綜合運動公園體育館
荒川綜合運動公園棒球場
橋立淨水場
巴士路線

| 乘車處 | 乘車處 | 系統 | 主要途經 | 目的地 | 巴士公司 | 備註 |
| --- | --- | --- | --- | --- | --- | --- |
| 浦山口 |   | 久那線 | 浦山常盤橋、花見之里、久那、佐久良橋 | 西武秩父站 | 西武觀光巴士（日语：） |  |
| 浦山口 |   | 市內線 |   | 浦山常盤橋 | 西武觀光巴士 |  |
| 浦山口 |   | 久那線 市內線 | 影森小學、中町、秩父站 | 西武秩父站 | 西武觀光巴士 |  |
注腳

↑  【掲載】０９、運輸・TRANSPORTATION （页面存档备份，存于）（日語）
相關條目

日本鐵路車站列表 Bu
外部連結

車站情報 浦山口站（秩父鐵道） （页面存档备份，存于）（日語）
VocaListener

| --- | --- |
開發者: 產業技術綜合研究所
类型: 語音合成系統
网站: staff.aist.go.jp/m.goto/VocaListener/index-j.html
VocaListener（簡稱）是一個自動測定用戶歌聲的語音合成參數的系統，可以簡單地把輸入的歌聲轉換成另一種風格或聲質的技術。技術分為三部分：一是合成歌聲模仿目標歌聲的核心技術「VocaListener-core」，二是編輯目標歌聲的技術「VocaListener-plus」，三是分析歌聲的技術「VocaListener-front-end」。主要由中野倫靖和後藤真孝參與研究，先後以VOCALOID 2的初音未來、鏡音鈴、連、GACKPOID和VOCALOID的MEIKO、KAITO作研究測試，採用的原因是因為產品已發放於市場，較容易入手。而音樂採用RWC研究用音樂資料庫（流行音樂）（RWC-MDB-P-2001）。研究目的是希望可以做到輕易合成高品質的歌聲，從而探索動聽歌聲的技巧，並在歌唱中得知人類個人的知覺。
歷史

技術早於2006年8月已進行研究。最初於2008年4月28日公開，於NICONICO動畫上載音樂軟件初音未來版本的《PROLOGUE （页面存档备份，存于）》，歌曲原唱為聲優緒方智美。但最初只是寫作簡稱「」，並沒有正式發表技術，是一個試驗性質的公開。當時正值初音未來熱潮後不久，其極為自然、非常接近人類的歌聲大大超越初音未來平常歌曲的水準而被稱為「神調教」（把初音未來的歌曲調整得十分自然之意），更引起一段短暫對新技術真相的猜測。同年5月2日承認「」就是VocaListener。在5月28日的第75回音樂資訊科學研究會 （页面存档备份，存于）正式發表。6月6日再公開鏡音鈴版本的《Game of Love （页面存档备份，存于）》，歌曲原唱為吉井弘美。9月22日再同時公開KAITO、MEIKO、初音未來、鏡音鈴、連ACT2、GACKPOID和合唱版本的演歌《大漁船》，2009年2月6日再公開巡音流歌的版本，歌曲原唱為西一男。4月27日開始Yamaha的「」Alpha版測試，只提供部份功能。
技術

系統先以VocaListener-front-end分析目標歌聲和歌詞，辨認音高、音量、歌詞等，再由用戶以VocaListener-plus編輯修正，其後以VocaListener-core分析歌聲並加以合成，反覆測定音高、音量、歌詞等的相似度，由用戶加以微調，最後得到合成歌聲的參數。
技術 > VocaListener-core

這是合成歌聲模仿目標歌聲的核心技術，由歌聲分析、歌聲合成、反覆的合成參數更新三種要素組成。歌聲分析的對象不止目標歌聲，亦會對合成後的歌聲作出分析，但分析的使用技術Viterbi alignment會有辨認錯誤的問題，需要反覆分析，務求兩者的風格盡量相近。判定音高分為MIDI的音名數值和滑音斜率。在音名數值中，組合VOCALOID 2滑音斜率（PIT、Pitch Bend）和滑音斜率敏感度（PBS、Pitch Bend Sensitivity）最多可以做出高或低兩個八度的滑音，而音名數值由以下數式選擇（NoteNumber：音名數值、σ=0.03、t是音符長度。）：
{NoteNumber}={\overset {argmax}{n}}{{\Big (}{\sum _{t}exp}{{\Big \{}-{\frac {(n-F_{0}(t))^{2}}{2\sigma ^{2}}}{\Big \}}}{\Big )}}
而合成歌聲是 F0{\overset {(n)}{syn}}(t)、目標歌聲則是 F0_{org}(t)。經過重複計算而把兩個數值不斷更新，變得相似。把PIT和PBS轉換為數式則是如此：
{Pb}^{(n+1)}{(t)}={Pb}^{(n)}{(t)}+{{\Big (}{{F0_{org}}(t)}-{F0{\overset {(n)}{syn}}(t)}{\Big )}}
而音量測定上是使用相對數值，反覆測定而得到從0至127的強弱（DYN、Dynamics）數值。
技術 > VocaListener-plus

這是編輯目標歌聲的技術，可以令歌聲有更廣闊的種類，但並非一定要使用。技術中分為兩種類，分別是改變音高和改變歌唱風格的機能。前者的改變音高，用途可以是修正走音，或可以合成原唱者不能唱出的音高。然而在音符較短的時候，可能會不能修正音高。後者可調整振音的強弱、音高、音量的平滑感，藉以改變歌唱風格，甚至加強歌唱的表現。
技術 > VocaListener-front-end

VocaListener-front-end則分為歌聲分析及歌聲合成，在歌聲分析中需要從原歌聲中抽出音高、音量、發音開始時間和音長。
{fNoteNumber}={12}*{\log _{2}}{\frac {fHz}{440}}+{69}
Pow(t)=\sum _{r=t-N/2}^{t+N/2}{{\Big (}{\sqrt {(x(r)*h(r-t))^{2}}}{\Big )}}
參見

語音合成
VOCALOID
產業技術綜合研究所
参考資料

↑  （页面存档备份，存于） （页面存档备份，存于）  （页面存档备份，存于），發佈頁 （页面存档备份，存于）
↑  . ITmedia. 2008年5月1日  [2008年5月3日]. （原始内容存档于2022年3月8日） （日语）.
↑  . J-CAST. 2008年5月2日  [2008年5月3日]. （原始内容存档于2008年5月3日） （日语）.
↑   [VOCALOID「神調教」技術「VocaListener」實用化，Yamaha與產總研合作]. ITmedia. 2009年4月27日  [2009年4月27日]. （原始内容存档于2021年10月7日） （日语）.
中野倫靖、後藤真孝.  (PDF). 産業技術綜合研究所. 2008年6月1日  [2008年6月1日]. （原始内容 (PDF)存档于2021年10月12日） （日语）.
中野倫靖、後藤真孝.  (PDF). 産業技術綜合研究所. 2008年6月1日  [2008年6月1日]. （原始内容 (PDF)存档于2021年10月12日） （日语）.
外部連結

（日語）VocaListener （页面存档备份，存于）
（日語）NICONICO動畫：VocaListener Demonstrations （页面存档备份，存于）
（英文）（日語）產業技術綜合研究所 （页面存档备份，存于）
（日語）後藤 真孝's Home Page （页面存档备份，存于）
（日語）中野倫靖個人檔案
（英文）（日語）RWC音樂資料庫：流行音樂 （页面存档备份，存于）
（英文）（日語）RWC音樂資料庫：音樂分類 （页面存档备份，存于）
洛伦萨

| 洛伦萨 Lourenzá |
| --- | --- |
市镇

   旗幟 徽章
洛伦萨在西班牙的位置
坐标：43°28′16″N 7°17′58″W﻿ / ﻿43.471111111111°N 7.2994444444444°W﻿ / 43.471111111111; -7.2994444444444
国家: 西班牙
自治区: 加利西亚自治区
省: 卢戈省
面积
 • 总计: 63 平方公里（24 平方英里）
人口（2001）
 • 總計: 2,776人
 • 密度: 44.1人/平方公里（114人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
洛伦萨（西班牙语：），是西班牙加利西亚自治区卢戈省的一个市镇。 总面积63平方公里，总人口2776人（2001年），人口密度44人/平方公里。
域理论

：此条目页的主题不是或。
域理论（英語：）是研究通常叫做「域」的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中，特别是针对函数式编程语言，用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念，并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。
动机和直觉

Dana Scott 在 1960 年代后期发起对域的研究的主要动机是为 lambda 演算找寻指称语义。在这种形式化中，认为“函数”通过在这个语言中的特定项指定。在纯粹语法方式下，可以得到从简单函数到接受其他函数作为它的输入参数的函数。再次只使用在这种形式化中的可获得的语法变换，可以获得所谓的不动点组合子(其中最著名的是 Y 组合子)；通过定义，它们有如下性质，对于所有函数 f 都有 f(Y(f)) = Y(f)。
要公式化这样一种指称语义，首先会尝试为 lambda 演算构造一个模型，在其中为每个 lambda 项关联上一个真正的(全)函数。这样一种模型将形式化作为纯语法系统的 lambda 演算和作为操纵具体的数学函数的符号系统的 lambda 演算之间的连接。不幸的是，这种模型不能存在，如果存在，它必须包含对应于组合子 Y 的一个真正的全函数，它是计算任意输入函数 f 的不动点的函数。不能给予 Y 这样的函数，因为某些函数(比如“后继函数”)没有不动点。这个对应于 Y 的真正函数至少必须是偏函数，对于某些输入必须是未定义的。
Scott 通过形式化"部分"或"不完全"信息的概念来表示仍未返回一个结果的计算来克服这个困难。通过对计算的每个域(比如自然数)考虑一个额外的元素，表示“未定义”输出，就是永不结束的计算的"结果"来建模。此外，计算的域被装备了一个“次序关系”，在其中"未定义结果"是最小元素。
为 lambda 演算找到模型的一个重要步骤是只考虑保证有最小不动点的那些函数(在这种偏序集合上)。这些函数的集合，与适当的排序一起，再次是这个理论意义上的一个"域"。而限制于所有可获得的函数的一个子集有另一个巨大的好处: 有可能获得包含它们自己的函数空间的域，就是得到应用于自身的函数。
除了这些需要的性质，域理论还允许吸引人的直觉释义。同上所述，计算的域总是部分有序的。这种排序表示信息或知识的层次。元素在这个次序上越高，它就更加明确和包含更多的信息。更低的元素表示不完全的知识或中间结果。
接着通过在这个域上重复的应用单调函数来精制出结果。到达一个不动点等价于完成一个计算。域为这些想法提供了优越的设施，因为可以保证单调函数的不动点的存在，并且在额外的限制下，可以从下面逼近。
形式定义指南

在本章节中，将介绍域理论的中心概念和定义。强调上述的域为“信息排序”的直觉来引发这个理论的数学形式化。精确的形式定义可以在每个概念的专门文章中找到。包含域理论概念的一般的序理论定义可以在序理论术语表中找到。下面只介绍域理论最重要的概念。
形式定义指南 > 有向集合作为收敛规定

按前面所提及的，域理论处理偏序集合来建模计算的域。目标是把这种次序下的元素解释为“信息片段”或“计算的(部分)结果”，这里的在次序上更高的元素以一种一致性的方式扩展了下面元素的信息。从这个简单直觉例子中，已经明显的看出域经常没有最大元素，因为这将意味着有一个元素包含所有其他元素的信息 - 这是一个非常无趣的情况。
在这个理论中扮演重要角色的概念是一个域的有向子集，就是说在其中每两个元素都有某个上界的次序的非空子集。按我们关于域的直觉看法，这意味着在有向子集内的每两个信息片段都可以被在子集内的某个其他元素所一致性的扩展(extend)。所以我们可以把有向集合看作一致性规定，就是看作在其中没有两个元素有矛盾的“部分结果”的集合。这个解释可以比较于在数学分析中的序列的概念，在这里每个元素都被前面的更加特殊。实际上，在度量空间理论中，序列扮演了在很多方面类似于有向集合在域理论中的角色。
现在在序列的情况下，我们感兴趣于有向集合的极限。依据上面所述，这将是扩展这个有向集合的所有元素的信息的最一般性的信息片段，就是说包含在这个有向集合中出现的“全部的”信息的唯一的元素 - 而没有东西有更多的信息。在序理论的形式化中，这叫做有向集合的最小上界。在序列的极限的情况下，有向集合的最小上界总是存在的。
自然的，你会特别感兴趣于在其中所有一致性规定都收敛的计算域，就是说，它有着所有有向集合都有一个最小上界的次序。这个性质定义了有向完全偏序，简写为 dcpo。实际上，域理论的多数考虑都只考虑至少是有向完全的次序。
从部分指定的结果表示不完全的知识的根基性想法，你能得出另一个需要的性质: 存在最小元素。这样的一个元素建模了没有信息的状态 - 这是大多数计算开始的地方。它也可以被当作根本不返回任何结果的计算的输出。由于它对于这个理论的重要性，带有最小元素的 dcpos 被叫做完全偏序或简写为 cpos。
形式定义指南 > 计算和域

现在我们有了计算的域应当是什么样的基本形式描述，我们可以转到计算自身。明显的，它们必须是函数，从某个计算域接受输入并返回在某个(可能不同的)域中的输出。但是，你还希望在输入的信息内容增加的时候函数的输出包含更多的信息。形式上，这意味着我们希望一个函数是单调的。
在处理 dcpos 的时候，你还可能希望计算兼容于有向集合的极限的公式化。形式的说，这意味着对于某个函数 f，有向集合 D 的像 f(D)(就是 D 的每个元素的像的集合)再次是有向的并且有一个最小上界，就是 D 的最小上界的像。你还可以称 f“保持了有向上确界”。还要注意，通过考虑两个元素的有向集合，这样的函数也必须是单调的。这些性质引发了 Scott-连续函数的概念。因为经常是没有歧义的，你也可以称它为连续函数。Henry Baker 和 Carl Hewitt 证明了任何表现得如同函数的演员(actor)都是连续的。
域理论的一个重要应用是 Will Clinger 用它来开发并发计算的演员模型的语义(参见指称语义)。
形式定义指南 > 逼近和有限

域理论是建模信息状态的结构的纯粹定性的方式。你可以说某个东西包含更多信息，但是增加信息的数量没有指定。在某些情况下你希望在比给定信息状态更加简单(或更加不完全)的意义下谈论元素。例如，在某个幂集上自然的子集包含次序中，任何无限元素(也是集合)比任何它的有限子集更加富有信息。
如果你希望建模这样一种关联，你首先可能希望考虑带有次序 ≤ 的域的诱导出的严格次序 <。尽管在全序的情况下这是一个有用的概念，在偏序集合情况下它不能告诉我们更多东西。再次考虑集合的包含次序，如果一个集合包含的元素比另一个(可能无限的)集合只少一个，从严格意义上说这是这个集合比另一个集合小，但这很难说这个集合比另一个集合更简单。
形式定义指南 > 远低于关系

导致所谓“逼近次序”定义的更精细的方式是所谓的远低于关系。元素 x 远低于元素 y，如果对于所有有上确界
的有向集合 D，有某个 D 中的元素 d 使得
那么你还可以称 x“逼近”y 并写为
这确实蕴涵了
因为单元素集合 {y} 是有向的。例如，在集合的排序中，无限集合总是在任何有限集合的上面。在另一个方面，考虑有限集合的有向集合(事实上是链)
因为这个链的上确界是所有自然数的集合 N，这证明了没有无限集合远低于 N。
但是，远低于某个元素是“相对”概念并且不显露关于一个元素自身的事情。例如，你可以用序理论的方式来刻画有限集合，但是即使无限集合都可以远低于某个其他集合。这些有限元素 x 的特殊性质是它们远低于自身，就是说
有这种性质的元素也叫做紧致元素。然而，这种元素不必须在这个术语的其他数学用法意义上是“有限”的或“紧致”的。尽管如此这个概念由平行于集合论和拓扑学的各自概念的动机所推动。一个域的紧致元素有重要的特殊性质，就是不能获得为它们未在其中出现的有向集合的极限。
关于远低于关系的很多其他重要结果支持了这个定义适合捕获域的很多重要方面。
形式定义指南 > 域的基

前面的思考引发了另一个问题: 是否有可能保证一个域的所有元素可以作为这种更简单元素的极限而获得? 这在实践中是非常重要的，因为我们不能计算无限对象但是我们仍然希望任意近的逼近它们。
更一般的说，我们希望限制于足够得到所有其他元素作为最小上界的那些元素的特定子集。因此，你定义偏序集合 P 的基为 P 的子集 B，是的对于 P 中每个 x，B 中远低于 x 的元素的集合包含带有上确界 x 的有向集合。偏序集合 P 是连续偏序集合，如果它有某个基。特别是，P 自身在这种情况下是一个基。在很多应用中，你限制于连续 (d)cpos 作为主要研究对象。
最后，通过要求存在紧致元素的一个基的而给出对偏序集合的一个更强限制。这样一个偏序集合叫做代数的。从指称语义的观点看，代数偏序集合是特别行为良好的，因为它们允许所有元素的逼近，即使限制于有限元素的时候。按前面所提及的，不是所有有限元素在经典意义上是“有限”的 ，有充分的理由这些有限元素可以构成一个不可数集合。
但是在某种意义上，偏序集合的基是可数的。在这种情况下，你称之为 ω-连续偏序集合。 因此，如果如果可数基完全由有限元素组成，我们获得的次序是ω-代数的。