yuhuanstudio/wikipedia-omni-zh huggingface dataset:
怀生机场

怀生机场，旧名八块飞行场，也称八块厝飞行场，原址位于台湾桃园市八德区（旧新竹州桃园郡八块庄，八块即八德之旧称）。于日治时期建造，驻有日军神风特攻队。在太平洋战争末期做为对美军船舰攻击的基地，另二处相同功用的机场是距离7公里外的龙潭(西)（战后荒废，跑道北半部现为国道三号）及龙潭飞行场（跑道部分约1公里；现为陆军航空601旅龙城营区）。二战后，在美军协助下铺设混凝土跑道（约2,573米）及柏油滑行道（约2,575米）各一条，并兴建一座现代型式的塔台。为纪念黑猫中队驾驶U-2侦察机殉职的飞行员陈怀生上校（追晋），取名为怀生机场。

## 历史

二战期间驻防八块飞行场的部队是日本陆军航空队，海军航空队被称为神风，陆军航空队的自杀特攻队称为诚字号，八块飞行场约在1944年10月建造完成，八德馀庆堂（莲塘公宗祠）与八德敦德堂（道陞公宗祠）分别在1945年2月被日军借用部分民宅做为军事使用，其中馀庆堂的右侧是被设置为医疗室，编制一名医官及两名医务兵，特攻队队长及队员便常到此处讨论军情或闲聊谈笑，当时住在馀庆堂左侧的邱创忠校长会说日语也对日军颇为礼遇，彼此礼尚往来，邱家人制作龙须糖送特攻队队员，队员则回礼整包的香烟。

1945年终战后，国民政府来台接收了飞行场，当时也接收了日军数台飞机与战车，八块飞行场开始被赋予空军桃园基地的备用机场任务，1950年代，被当作战斗机的练习打靶场，一般民众是禁止进入的，后来建造国道二号高速公路时，军方更在国道上方盖了一个飞机桥，是为了延伸飞机跑道而设想。

在美军驻台期间，当美军航空母舰停靠基隆后，其舰载机均暂驻怀生机场，待航空母舰离港时再飞返航空母舰归建。美国与中华民国断交后，做为中华民国空军防炮司令部使用，并担任空军桃园基地之备降机场。此一阶段，怀生机场仅提供高宾任务之直升机起降使用。

怀生机场在1998年正式解除军事机场任务，它也是国内最早的一个航空模型飞行场，早期由于航空模型协会与军方有签约的关系，提供给各玩家一个理想的场地。怀生机场于2001年拨交给中华民国陆军陆军运输学校使用，才真正结束其原有飞机起降之功用。部分现已改建为国防大学校本部；跑道部分仍保留。

1990年代初期，原本在兴建国道二号时，军方还打算保留怀生机场；然而在国道二号通车后，军方毅然决定废止此机场。废止后，其中一部分跑道，被国防大学相中，2007年7月正式从大直迁移至此而成为校本部。而大直原址则变成今日国防部新址。然而，国防大学除了在八德的校本部外，原本分散于桃园大溪的理工学院、台北复兴岗的政战学院及管理学院等校区仍然持续保留使用。

江国庆案发生于1996年，1997年在怀生基地（怀生机场）被执行枪决。

### 育勤营区

2020年10月22日，桃园市政府与国防部合作，在怀生机场原址兴建“育勤营区”的第一期工程开工，预计于2023年6月完工。基地总面积约75.15公顷，第一期开发面积28.57公顷，待营区完工之后，原驻守在内坜中原营区、大溪埔顶营区以及暂驻在莺歌岳仑营区的部队，将移至新建的育勤营区；同时成就中原营区（台铁中原站）及大溪埔顶营区（转运站）的都市计划发展。2023年12月28日，营区举行完工典礼，正式启用。
陈嘉辉

陈嘉辉（Chan Ka Fai；1963年6月13日），英属香港出生，曾为无线电视部头合约男艺员。太太是女艺人梁小冰。陈嘉辉为无线电视一九八零年代力捧小生，广为人知的是他曾主持儿童节目《430航天飞机》。

## 简历

陈嘉辉祖籍广东南海，母系家乡为潮州，他有1姊2弟，早年就读天主教慈幼会伍少梅中学（1980年中五），在校时曾以90分获得第28届香港学校朗诵节中二男子英语诗词独诵冠军。后来毕业于香港理工大学土木工程系，曾在政府土木工程署任职工程监督，因为偶然拍了一个大型广告而入行。

他早年曾签约予填词人卢国沾旗下的卢沾制作公司，后于1986年被无线电视罗致旗下，成为合约艺员。入行初期即被重用，于“430航天飞机”当儿童节目主持。之后电视台开拍新情景喜剧“都市方程式”时，陈嘉辉被选中为第一男主角与郭富城合演。

1990年，他与张卫健、林文龙以及刘锡明被力捧为“太阳之子”。自此便被编入戏剧组参与演出各类型不同的角色；时装剧有《大城小警》、《飞星寻龙》、《我为钱狂》、《三喜临门》、《灰网》等，民初剧有《天机》、《我系黄飞鸿》、《螳螂小子》等，古装剧有《白发魔女传》、《小李飞刀》、《独臂刀客》、《孝感动天》、《聊斋》等剧集的男主角。

他于1996年曾转往马来西亚发展。

他于2000年拍摄剧集《新梁山伯祝英台》后开始红遍中港台三地。

他于2014年返回无线电视，签约成为旗下部头合约艺人，此前曾是亚洲电视的艺员。

他于2026年离开无线电视。

## 家庭生活

陈嘉辉目前已婚，配偶为女星梁小冰，并于2000年3月4日结婚。

## 作品

- 《再亲我好妈》饰演莫家伟
- 《迷》饰Sam哥
- 《孝感动天》
- 《我系黄飞鸿》饰男主角
- 《螳螂小子》饰男主角
- 《430航天飞机》主持
- 《金宵大厦》饰忠广
- 《少年梁祝》
- 《守护神之保险调查》
- 《异搜店》饰韩昇
- 《青春不要脸》饰柳福
- 《特技人》饰秦振国
- 《破毒强人》饰总警司
- 《杀戮江湖》饰萧鸿
- 《福尔摩师奶》饰高明
- 《为食开心果》主持
- 《降魔的2.0》
- 《天使之城》
- 《大酱园》
- 《大帅哥》饰梁政清
- 《点解游埠咁好玩》主持
- 《逆天奇案2》饰徐仁达
- 《都市方程式》饰男主角
- 《平安谷之诡谷传说》饰尚尧
- 《飞星寻龙》
- 《我为钱狂》
- 《阴阳对》饰阿荣
- 《三喜临门》
- 《激战》
- 《灰网》
- 《白发魔女传》
- 《大城小警》
- 《天机》饰承武
- 《小李飞刀》
- 《异空感应》
- 《是咁的，法官阁下》
- 《包青天再起风云》
- 《梁山伯与祝英台》饰马文才
- 《我系黄飞鸿》
- 《张保仔》饰四贝勒
- 《爱回家之开心速递》饰朱展
- 《兄兄我我》
- 《美丽战场》饰马文才
- 《你好，我的大夫》饰程安生
- 《异空感应》饰邢有山
- 《寒战》
- 《刑侦12》饰郝烔
- 《执法者们》饰林志文
- 《麻雀乐团》饰宋扬
- 《侠医》饰罗明德
- 《巨塔之后》饰董立万
- 《卧底娇娃》饰盈父
- 《夫妻的博弈》饰姜正
撇脂定价法

撇脂定价法是指在产品生命周期的最初阶段，把产品的价格定得很高，随着时间的推移，再逐步降低价格使新产品进入弹性大的市场，以取得最大的利润，就像从牛奶中撇去奶油。在以下情况下可采用撇脂定价：市场有足够的购买者，他们的需求缺乏弹性，即使把价格定的很高，市场需求也不会大量减少。

最常见的案例为科技产品，科技产品在最具独创性的上市初期阶段暂时没有竞争对手推出同样的产品，本企业的产品具有明显的差别化优势，所以用高价贩售还是有相当多买方愿意买单。

## 条件

实施撇脂定价的条件：

- 市场上存在一批购买力很强、并且对价格不敏感的消费者。
- 这样的一批消费者的数量足够多，企业有厚利可图。
- 暂时没有竞争对手推出同样的产品，本企业的产品具有明显的差别化优势。
- 当有竞争对手加入时，本企业有能力转换定价方法，通过提高性价比来提高竞争力。
- 本企业的品牌在市场上有传统的影响力。

在上述条件具备的情况下，企业就应该采取撇脂定价的方法。此定价方法，普遍运用于奢侈品行业。

## 资料来源

- 中国高校自考委员会。
- 《定价》--卢强
飞盘

<image>

<image>

飞盘（香港称为飞碟）是一种新兴运动，也可以单指其所使用的塑胶制盘状器具。其基本玩法是用力抛向空中，经一段飞行而降落时，由自己或他人用手接住，近年来已发展出各种不同的玩法。

## 历史

现代塑胶飞盘是由美国西岸的沃尔特·弗雷德里克·莫里森于1948年首先开发出来的，然而其惯用英文名称却与远在东岸的一家派饼家有关。

“福瑞斯比派饼店”（The Frisbie Pie Company，1871-1958）最早创立于康乃迪克州桥港，以制造贩售派饼闻名，后来在邻近城市开设多家分店。一开始是附近大学生吃完福瑞斯比的派饼之后，顺手投掷空锡盘作乐，并称此动作为“福瑞斯比”。随后这项活动逐渐流行开来，并散播到新英格兰地区的各所大学。然而，当时此一活动仅能算是餐后的余兴节目，与现代飞盘及飞盘运动并无直接相关。

1937年，出生于犹他州的摩里森与其女友在洛杉矶丢掷爆玉米花的空罐盖时，激发出现代飞盘的灵感。1946年，摩里森画出现代飞盘的第一张设计图。1948年，摩里森找人合伙，以塑胶原料成功的研制出世界第一枚现代飞盘，并称之为“飞行浅碟”（Flying Saucer）。1955年，摩里森开发出新型飞盘，由于当时外太空不明飞行物之说极为盛行，故将它命名为“冥王星浅盘”（Pluto Platter）。

1957年，开发呼拉圈的Wham-O公司签下了莫里森飞盘的市场专卖权，仍以“冥王星浅盘”为名上市出售。随后该公司共同创办人里奇·聂尔（Rich Knerr）到东岸扩展市场时，得知当地大学生的“福瑞斯比”活动，决定用它当作品牌名称。由于并不知道“福瑞斯比派饼店”的典故，遂拼写成同音英文字“Frisbee”。1959年，该公司正式注册此一品牌名称，从此随着产品大量销售而广为人知。

<image>

1964年，艾德·黑德里克（Ed Headrick）开发出第一个职业运动级的新飞盘 Professional 110g，并由Wham-O公司制造销售。1967年，黑德里克在洛杉矶成立了国际飞盘协会（International Frisbee Association，IFA），随后又主导确立许多飞盘运动项目的规则，因而被誉为“飞盘运动之父”。

1974年，第一届世界飞盘锦标赛在加州玫瑰杯球场举行。1983年，Wham-O公司经营权易手，国际飞盘协会及世界飞盘锦标赛终止。1983年，世界飞盘总会（World Flying Disc Federation，WFDF）成立。

<image>

<image>

## 器材

<image>

一般把飞盘依据功能、造型、材质分为四大类：

一般飞盘（传统飞盘）：按盘型的大小又分为：

- 小型飞盘 100g以下 适合初学者及部分比赛项目
- 中型飞盘 120g以下 主要为110g~120g，适合成人及专项比赛
- 大型飞盘 150g以上 Master 150g为纪念飞盘,160g~165g 自由花式. 175g 花式.及 争夺赛

回收飞盘（俗称狗飞盘）：造型不同于传统飞盘,轻型重量由60g~70g; 一般重量在:90g~140g (不包括加重盘)

用于:各种回收比赛,由于盘子造型特殊,适合狗狗的比赛及游戏,又用于:Canine,一般写为:K - 9属犬类飞盘赛专用盘.

高尔夫飞盘：由美国专业公司发明开发出来的 专业飞盘.

主要是:依据飞行物理学的理论,经由:飞盘 直径的缩小 盘型的改造 盘缘的改变 原料的选择,设计新型的飞盘

依重量分为:

- 轻型盘 90g~130g 用于青少年教学使用的高尔夫飞盘
- 中型盘 140g~ 一般多为女子选手,及 非专业选手选用
- 重型盘 150g~180g 多为男子组选手 以及 专业组选手使用

盘子又分为:

- Dd盘 起杆及掷远飞盘
- Fd盘 掷远盘 长距离推进飞盘
- ad盘 推进盘 针对靠近目标的飞盘
- pd盘 敲杆盘 针对直接敲杆或直接投入"盘洞"的飞盘

玩具飞盘：主要针是以游戏及安全为前题,设计各种造的飞盘,其原料有:尼龙.泡绵.海绵.塑料.布等等..

其中目前的躲避飞盘就属于这一类的飞盘.

## 飞盘运动比赛项目

- 掷远赛 Distance
- 掷准赛 Accuracy
- 越野赛 Discathon
- 掷接赛 Disc Tennis
- 双飞盘 D.D.C.
- 勇气赛 Guts
- 极限飞盘 Ultimate 一般七人制 五人制又称B-mate
- 飞盘高尔夫 Disc Golf
- 传接花式 T&C
- 自由花式 Freestyle
- 回收计时 MTA - MAXIMUM TIME ALOFT
- 投 跑 接 TRC - THROW, RUN & CATCH
- 计时投跑接 SCF - Self-Caught Flight
- 躲避飞盘 Dodgebee
- 狗接飞盘 K-9 具多种竞赛
- 盘子瓶子 Colabee or Beerbee
字串搜寻算法

字串搜寻算法（String searching algorithms）又称字串比对算法（string matching algorithms）是一种搜索算法，是字串算法中的一类，用以试图在一长字符串或文章中，找出其是否包含某一个或多个字符串，以及其位置。

最直观的解法是比对，如下例中，在字符串haystack中找出字符串needle

```c
char* haystack;
char* needle;
int hlen, nlen, found;
int i,j,k;

found = 0;
hlen = strlen(haystack);
nlen = strlen(needle);
for (i = 0; i < hlen; ++i) {
    for (j = 0; j < nlen; ++j) {
        if (haystack[i+j] != needle[j]) break;
        if (j == nlen - 1) found = 1;
    };
};
return found;
```

上例中，若字符串needle存在于字符串haystack中，则传回1，否则传回0。

但是此直观算法的复杂度为 O(mn)，其中haystack的长度为n、needle的长度为m，所以另有更快速的算法。

## 部分算法比较

令 m 为模式的长度， n 为要搜索的字符串长度， k为字母表长度。

算法｜预处理时间｜匹配时间

朴素算法｜0 (无需预处理)｜Θ(nm)

Rabin-Karp算法｜Θ(m)｜平均 Θ(n + m),最差 Θ((n−m)m)

基于有限状态机的搜索｜Θ(mk)｜Θ(n)

克努斯-莫里斯-普拉特算法｜Θ(m)｜Θ(n)

Boyer-Moore字符串搜索算法｜Θ(m + k)｜最好Ω(n/m),最坏 O(n)

Bitap算法｜Θ(m + k)｜O(mn)

## 外部链接

- Huge (maintained) list of pattern matching links
- StringSearch — high-performance pattern matching algorithms in Java – Implementations of many String-Matching-Algorithms in Java (BNDM, Boyer-Moore-Horspool, Boyer-Moore-Horspool-Raita, Shift-Or)
- Exact String Matching Algorithms—Animation in Java
- String similarity metrics
- Project Dedupe http://dedupe.sourceforge.net
- Boyer-Moore-Raita-Thomas
数据库理论

数据库理论（Database theory）指数据库与数据库管理系统的相关理论与研究。

数据管理方面的理论涵盖其他领域，如查询语言的基础、计算复杂性和查询的表达能力 (计算机科学)、有限模型理论、数据库设计理论、依附理论 (数据库理论)、并发控制和数据库恢复基础、演绎数据库、时间数据库与空间数据库、实时数据库，管理不确定数据和概率数据库，以及Web数据。

大多数研究工作，传统上都基于关系模型，因为关系模型通常被认为是最简单和最基础的模型。其他数据模型的相应结果，例如面向对象或半结构模型，或者最近的图形数据模型和XML，通常可以从关系模型的结果中推导出来。
验电器

<image>

验电器（electroscope）是一种检测物体是否带静电荷以及粗略估计带电量大小的仪器，这是物理学历史上的第一种电学测量仪器，今日通常用于物理教学。一般的验电器由顶部的金属球、金属杆和最低端的金属箔。其典型构造如右图所示。当被检验物体接触验电器顶端的导体时，自身所带的电荷会传到玻璃钟罩内的箔片上。由于同种电荷相互排斥，箔片将自动分开，张成一定角度。根据两箔片张成角度的大小可估计物体带电量的大小。其实这是箔片所受电场力包括箔片上同名的电荷的斥力和器皿内壁异名电荷的吸引力。如果将玻璃瓶改为使用金属盒以便屏蔽静电、金属棒和器皿引出导线以便测量两点间电势差、增加刻度以便将结果量化，那么验电器可以改造为更精确的静电计。
中新奖学金项目

中新奖学金项目（中国和新加坡奖学金项目），是中国和新加坡根据两国政府之间的协议而执行的教育奖学金项目。也称SM系列奖学金项目。该项目由中国教育部留学服务中心负责项目的开展，符合条件的中国学生可以在自愿的基础上报名参加，也可以由所在院校选拔推荐，选拔通过的中国学生将获得新加坡政府提供的全额奖学金以前往新加坡留学。由于中国政府不对此项目提供奖学金，因此参加此项目的中国留学生被视为自费留学，需要申办普通护照。

该项目针对不同类型的学生提供了三类奖学金：SM1、SM2和SM3，截止2011年，SM3项目20年期满，协议不再续期。

随着COVID-19疫情，SM1和SM2也实质上停止。其中SM1已经由相似的通商中国奖学金代替。

中国和新加坡教育系统的学制差异较大，参见中国内地教育和新加坡教育。

## JM3（已停止并被通商中国奖学金代替）

所谓SM1的正式名称为JM3, SM1仅为通俗叫法。英文名称现已改为School-based Scholarship，这个项目开始于1991年，对象主要是中国国内一些省份的初级中学毕业生。

入选学生在当年的10月内（可能是月初，也可能是月底）前往新加坡，之后进行两个月左右的英文衔接课（English Bridging Course），次年1月进入新加坡中学就读三年级。

在中学毕业时，学生需要参加剑桥O水准考试（O-Level），并根据成绩报考初级学院（学制为两年的本科预备班），而参加直通车项目的学生则无需考试，直接升入对口的初级学院。

在初级学院毕业时，学生需要参加剑桥A水准考试（A-Level），并根据成绩报考大学。由于SM1项目的协议期为4年，因此在初级学院毕业后，学生也可以选择申请新加坡以外的大学，新加坡的剑桥A水准考试也受到英联邦国家及美国的部分大学的认可。选择继续在新加坡读大学的学生则可以相对自由地选择学校和专业。

### 待遇

- 学费、住宿费全免(学杂费如书本、校车等由自己承担，各学校有不同的要求）
- 生活补贴：中学2200新元/年，初级学院2400新元/年
- 抵达新加坡时，一次性安置费400新元，不同学校安置费可能不同
- 初次抵新机票，毕业回程机票以及一次度假往返机票，均为经济舱，共4张

选择继续在新加坡读大学的学生可以考虑续约申请政府的学费津贴，毕业后则需要在新加坡工作3-6年。

SM1奖学金得主可以自费申请新加坡大学（毕业后不需要在新加坡工作），也可以报考外国大学（如英国、美国大学，学费由学生承担）。

## SM2(已停止)

SM2中的“SM”指的是Senior Middle School，其对象是中国国内一些高中的高二学生。

学生在3月份参加选拔考试（笔试），5月份参加面试。

过去，选中者于当年12月前往新加坡。基础较好的学生在经过8个月的短期预科培训后即可于次年8月开始正式的大学课程，而大多数学生则需要接受20个月的预科培训后方可开始正式的大学课程。

现如今，选中者7月收到分配大学名单（新加坡国立大学，南洋理工大学，4个实验省有新加坡科技设计大学）8月前往新加坡进行为期10个月的预科，并于次年6月确定专业，8月正式进入大学。具体时间细节根据大学不同而定。

### 待遇

部分待遇包括：

- 学费、住宿费全免（预科后住宿费补贴以最低级别Hall Double Room为准）
- 生活补贴：6000新元/年
- 医疗保险

参与此项目的学生需要在毕业后在新加坡注册公司工作6年或缴纳一定数额的违约金。

## SM3（已停止）

SM3的招生对象是中国名牌大学的大一入学新生。截止2011年，SM3项目20年期满，协议不再续期。

### 选拔

SM3的选拔对象为中国30多所重点大学的本科入学新生。选拔人数一般以各个大学的不同从15到30不等。引2006为例，奖学金人选是从下面15所大学中选出：（按音序排列）

- 北京航空航天大学（15人）
- 重庆大学（20人）
- 大连理工大学（30人）
- 东南大学（20人）
- 哈尔滨工业大学（25人）
- 吉林大学（30人）
- 南京大学（20人）
- 山东大学（30人）
- 四川大学（20人）
- 武汉大学（20人）
- 西安交通大学（25人）
- 西北工业大学（25人）
- 厦门大学（15人）
- 浙江大学（30人）
- 中南大学（20人）

报名者须参加由新加坡教育部于10月份举行的笔试和面试。笔试项目包括：综合能力、数学和英语。

### 待遇

- 生活费：6000元/年
- 抵新后一次性安置费新加坡币200元
- 经济舱飞机票（包括赴新和毕业来回机票一共三张）
- 医疗保险
- 大学课程及预备班的学费及杂费。

参与此项目的学生需要在毕业后在新加坡工作6年。

### 补充说明

- 在不到7个月的预备班期间，奖学金获得者的住宿由新加坡教育部安排。大学第一年，奖学金生将住在大学的学生宿舍；第二或第三年的住宿资格将取决于奖学金生在校的活动积分。宿舍费包括在奖学金之中。如果奖学金获得者没有获得足够的活动积分而被踢出宿舍，其校外的部分租金将由奖学金承担。
- 奖学金在第一年将保持有效，一年过后将根据学生每年品行和成绩而定，学期GPA两次如低于3.5，学制GPA低于3.0，奖学金则会终止。
- 奖学金获得者将被安排在南洋理工大学和新加坡国立大学这两所大学学习本科学业。
- 奖学金获得者一旦由于自身原因（例如：考试不及格、违反校规，触犯法律、中途无故退学或拒绝服务）毁约，其应按契约规定对新加坡方面进行经济赔偿。
- 奖学金获得者只能在新加坡大学攻读相应规定的科学和工程学类专业，不能修读商科，医科等其他学科。

## 赞助商

部分赞助商包括：

- 星展银行
- 吉宝企业
- 海皇轮船
- 胜宝旺企业
- 新加坡航空公司
- 新加坡港务集团
- 新加坡电信
前天

前天，指昨日之前的一整日，已经成为过去，是历史的一部分。

## 描述

在口语中，“前天的前一天”常被称为“大前天”，而“大前天的前一天”则称为“大大前天”，以此类推；不过，在书面语上，“大大前天”、“大大大前天”……等应分别以“四日前”、“五日前”……等来表达。

“前天”原本仅指“前日的上午至下午时段”，而“前天的夜晚”则概称为“前晚”。
桑普森县 (北卡罗莱纳州)

<image>

桑普森县（Sampson County）是美国北卡罗莱纳州中南部的一个县。面积2,454平方公里。根据美国2000年人口普查，共有人口60,161人。县治克林顿（Clinton）。

成立于1784年4月18日。县名纪念新汉诺威县治安官、民兵中校约翰·桑普森（John Sampson）。
罗伯逊县 (北卡罗莱纳州)

<image>

罗伯逊县（Robeson County）是美国北卡罗莱纳州中南部的一个县，南界南卡罗莱纳州。面积2,463平方公里。根据美国2000年人口普查，共有人口123,339人。县治兰伯顿（Lumberton）。

成立于1784年4月18日。县名纪念美国独立战争时期军官汤玛斯·罗伯逊上校 （Thomas Robeson）。
珀森县 (北卡罗莱纳州)

珀森县（Person County）是美国北卡罗莱纳州北部的一个县，北界维吉尼亚州。面积1,046平方公里。根据美国2000年人口普查，共有人口35,623人。县治罗克斯伯勒（Roxboro）。

成立于1791年12月5日。县名纪念州议员汤玛斯·珀森（Thomas Person）。

## 基本资料

- 县：Person County
- county_zh：珀森县
- 成立：1791年
- 行政中心：Roxboro
- 总面积：1,047
- 水域：31
- area percentage：2.92%
- 人口：2005
- 人口：37,341
- 密度：35
- 网站：www.personcounty.net
艾尔代尔县 (北卡罗莱纳州)

艾尔代尔县（Iredell County）是美国北卡罗莱纳州中西部的一个县。面积1,546平方公里。根据美国2000年人口普查，共有人口122,660人。县治斯泰茨维尔（Statesville）。

成立于1788年11月3日。县名纪念美国最高法院法官詹姆斯·艾尔代尔 （James Iredell）。

## 基本资料

- 县：Iredell County
- county_zh：艾尔代尔郡
- 成立：1788
- 行政中心：Statesville
- 总面积：1,546
- 陆地：1,491
- 水域：56
- area percentage：3.59%
- 人口：2000
- 人口：122,660
- 密度：82
- 网站：www.co.iredell.nc.us
多重序列比对

多重序列比对（Multiple sequence alignment；MSA）是对三个以上的生物学序列（biological sequence），如蛋白质序列、DNA序列或RNA序列所作的序列比对。一般来说，是输入一组假定拥有演化关系的序列。从MSA的结果可推导出序列的同源性，而种系发生关系也可引导出这些序列共同的演化始祖。如右图般的视觉化叙述可描绘出各种突变事件，例如点突变的单格变化，或是如删除突变与插入突变，可使各个序列之间产生鸿沟。MSA常用来研究序列的保守性，或是蛋白质结构域的三级结构与二级结构，甚至是个别的氨基酸或核苷酸。

## 外部链接

- ExPASy sequence alignment tools
- Multiple Alignment Resource Page from the Virtual School of Natural Sciences
- Tools for Multiple Alignments from Pôle Bioinformatique Lyonnais
- Multiple sequence alignment lectures from the Max Planck Institute for Molecular Genetics
平移运动

本条目中，向量与标量分别用粗体与斜体显示。例如，位置向量通常用 $\mathbf{r}\,\!$ 表示；而其大小则用 $r\,\!$ 来表示。

<image>

在欧几里得几何中，平移（translation）是一种几何变换，它将图形（figure）、形状（shape）或空间（space）中的每一个点沿给定方向移动（move）相同的距离。平移也可以解释为：给每一个点加上一个常向量（constant vector），或者是坐标系原点的移位（shifting）。在欧几里得空间中，任何平移都是一种等距变换（isometry）。

在经典力学中，任何刚体，不论尺寸大小，假若它内部每一部分都是朝相同的方向、以相同的速度移动，则称此刚体的运动为平移运动（translational motion），简称平动、平移。

物体平动的特征为：物体上任一点的空间坐标呈现出线性变化的运动，任意两点所连直线在运动中始终保持平行；同一时刻物体各点的速度和加速度都相同。物体平动通常由x-y-z方向的一组局部坐标来描述即可。

## 艾德蒙·惠特克定义

英国物理历史学者艾德蒙·惠特克这样定义：

假设一刚体从某最初位置移动到最终位置，则其位置的改变称为位移。某些特别样式的位移会得到特别的命名。假设其内部处于某直线L的每一点的位置都不变，则称此位移为绕定轴旋转；假设其内部某一点P的位置不变，则称此位移为绕定点旋转；假设连接其内部每一点最初位置与最终位置的线段，都是相互平行、长度相同的直线段，这刚体在空间的取向保持不变，则称此位移为平行于直线段方向的平移。

平移运动会将刚体内部每一点的位置 $(x,y,z)$ 移动至 $(x+\Delta x_{0},y+\Delta y_{0}, z+\Delta z_{0})$，其中， $(\Delta x_{0},\Delta y_{0},\Delta z_{0})$ 是同样的位移向量。

## 概念

“理想刚体”是一种有限尺寸，可以忽略形变的固体。不论是否感受到外力，在刚体内部，点与点之间的距离都不会改变。根据相对论，这种物体不可能实际存在，但物体通常可以假定为完美刚体，前提是必须满足运动速度超小于光速的条件。

<image>

如右图所示，从时间 $t_1$ 到时间 $t_2$，当刚体在做平移运动时，任意内部两点，点P与点Q的轨迹（以黑色实线表示）相互平行，线段 $\overline{PQ}$ （以黑色虚线表示）的方向保持恒定、长度不会改变。

挑选刚体内部一点G来代表整个刚体，则在刚体内部任意一点P的位置 $\mathbf{r}_P$ 为

$\mathbf{r}_P=\mathbf{r}_{G}+\mathbf{r}_{P/G}$。

其中，$\mathbf{r}_{G}$、$\mathbf{r}_{P/G}$ 分别是点G的位置、点P对于点G的相对位置。

呈平移运动的刚体，其平移速度是向量，是其位置向量的时间变化率，即点G的速度。由于 $\mathbf{r}_{P/G}$ 是常向量，其时间变化率为零，点P的速度等于点G的速度：

$\mathbf{v}_P=\mathbf{v}_{G}$。

同样原因，点P的加速度等于点G的加速度：

$\mathbf{a}_P=\mathbf{a}_{G}$。

所以，呈平移运动的刚体，其内部所有质点的速度都相同、加速度也相同。

## 沙勒定理

当刚体移动时，它的位置与取向都可能会随着时间演进而改变。沙勒定理是欧拉旋转定律的一个推论。根据沙勒定理，刚体的最广义位移等价于一个平移加上一个旋转。所以，刚体运动可分为平移运动与旋转运动。刚体的现在位置与现在取向可以视为是从某个初始位置与初始取向经过平移与旋转而成。

挑选刚体内部一点G来代表整个刚体，从空间参考系S观测，点G的位置就是整个刚体在空间的位置，在刚体内部任意一点P的位置 $\mathbf{r}_P$ 为

$\mathbf{r}_P=\mathbf{r}_{G}+\mathbf{r}_{P/G}$。

其中，$\mathbf{r}_{G}$、$\mathbf{r}_{P/G}$ 分别是点G的位置、点P对于点G的相对位置。

刚体从时间 $t_1$ 到时间 $t_2$ 的运动，可以分为点G从 $\mathbf{r}_{G}(t_1)$ 到 $\mathbf{r}_{G}(t_2)$ 的平移运动，与位移 $\mathbf{r}_{P/G}$ 从时间 $t_1$ 到时间 $t_2$ 的旋转运动。

点P的速度 $\mathbf{v}_P$ 为

$\mathbf{v}_P=\mathbf{v}_{G}+\mathbf{v}_{P/G}$。

其中，$\mathbf{v}_{G}$、$\mathbf{v}_{P/G}$ 分别是点G的速度、点P对于点G的相对速度。

点P的加速度 $\mathbf{a}_P$ 为

$\mathbf{a}_P=\mathbf{a}_{G}+\mathbf{a}_{P/G}$。

其中，$\mathbf{a}_{G}$、$\mathbf{a}_{P/G}$ 分别是点G的加速度、点P对于点G的相对加速度。

## 参阅

- 匀速运动
- 平抛运动
- 曲线运动
- 简谐运动
祖灵之流

《祖灵之流》（《Where The Ancestors' Souls Gathered》）是闪灵组团后发行的第一张创作专辑，于1999年1月11日在台湾西门町的淘儿唱片行首卖。原由Freddy和Doris独立自组的公司佛锐唱片负责制作发行，2000年后由水晶唱片接手发行业务。

此专辑共收录九首歌曲。内容以越海三曲为主体，描述台湾先人来台开垦的故事。闪灵组团初期曾翻唱外国知名金属曲目，亦从事创作，这张专辑即收录这些早期创作作品。

## 参与团员

- 主唱、二胡手：Freddy
- 吉他手：大麻
- 键盘手：Ambrosia（郎雅玲）
- 贝斯手：Yu（侯淙仁）
- 鼓手：小汪

## 歌词中的神祇

在闪灵“母岛解体‧登基”一曲中，大量的运用台湾原住民传说中的神祇。以下为歌词所提到的神祇简介：

- 库维特（Kuit na Lazin）：在噶玛兰族语言中，Kuit是“鬼”的意思，而Lazin是“海”的意思。
- 西卡如论（Sikazozo）：达悟族传说中开天辟地的巨神。
- 卡费（Kafit）：阿美族神话中的海神。
- 妮芙努（Nivenu）：邹族神话中，创造宇宙天地万物的女神。
- 萨鲁曼（Saluman）：噶玛兰族习俗中，入山打猎前必须祭拜的山神。
- 阿拉扬（Arajang）：阿美族大地创生神话中的神之子，后来化为了“天”。

## 基本资料

- 艺术家：闪灵乐团
- 发行日期：1999年
- 录制时间：丹麦‧阿尔胡斯、Jan Borsing Recoding
- 类型：金属乐
- 长度：0:45:18
- 专辑：水晶唱片
- 制片：佛锐唱片
- next_title：灵魄之界
- 发行日期：2000
吉尔福德县

吉尔福德县（Guilford County）是美国北卡罗来纳州北部的一个县，面积1,703平方公里。根据2020年美国人口普查，共有人口54万1,299人。县治格林斯伯勒（Greensboro），县政府位于海因波特（High Point）。该县成立于1770年12月5日，县名纪念英国贵族第一代吉尔福德伯爵法兰西斯·诺斯（英国首相诺斯勋爵腓特烈·诺斯之父）。

<image>

## 基本资料

- 县：Guilford County
- 州：北卡罗来纳州
- 成立：1771年
- 名称来源：第一代吉尔福德伯爵法兰西斯·诺斯
- seat wl：格林斯伯勒
- largest city wl：格林斯伯勒
- 类型：community
- 总计：657.63
- 陆地：645.92
- 水域：11.71
- area percentage：1.78
- 人口：2020
- 人口：541299
- pop_est_as_of：2023
- 估计：549866人
- density_sq_mi：838.03
- 座标：36.08 -79.79
- 时区：Eastern
- 网站：www.guilfordcountync.gov
- 区：第6选区
- ex image cap：旧吉尔福德县政府
灵魄之界

《灵魄之界》（9th Empyrean）是闪灵乐团的第二张专辑，于2000年发行，并于2002年由美国 Nightfall 唱片公司全球发行闪灵《灵魄之界》英文版。

其专辑概念是前专辑祖灵之流之中一曲“母岛解体‧登基”的延续，原曲描述台湾原住祖灵于母岛苏醒，与中原汉神灵大战，击败汉神重新登基母岛。而《灵魄之界》整张专辑则描述汉神灵逃回中原后，由张三丰施法复活，重新结集反攻母岛。原神反抗苦战，最后藏神加入战局，合力驱除汉神回中原。

在前专辑《祖灵之流》中，闪灵的不同曲目的风格并不统一，有黑死腔（第四曲母岛解体‧登基）、原声腔（第二曲越海）、和女声独唱（第六曲燕歌行）。《灵魄之界》这张专辑奠定了闪灵以黑死腔为主的风格。

## 参与团员

- 主唱、二胡手：Freddy
- 吉他手：Jesse
- 键盘手：Ambrosia（郎雅玲）
- 贝斯手：Doris
- 鼓手：A-Jay

## 基本资料

- 艺术家：闪灵乐团
- 发行日期：2000年
- 录制时间：台湾‧撒哈拉录音室
- 类型：金属乐
- 长度：0:38:20
- 专辑：水晶唱片
- 制片：佛锐唱片
- prev_title：祖灵之流
- 卫冕冠军：1998
- next_title：永劫轮回
- 发行日期：2002
永劫轮回

《永劫轮回》（《Relentless Recurrence》）是闪灵乐团的第三张专辑，原专辑于2002年水晶唱片发行，2006年发行复刻版，并于2007年6月由Deathlight唱片公司全球发行英文版。2003年，闪灵乐团以此专辑获得第14届金曲奖最佳乐团奖。

其专辑是以台湾民间故事“林投姐”为背景，描述林昭娘死后为了拯救独子，不惜化为厉鬼对抗天庭，最后被打入永劫轮回。专辑的另一特点是整张专辑都是用台语演唱。

“永劫轮回”的概念在于凸显出台湾的厉鬼复仇悲剧情节，Freddy 认为，“当初被中原视为化外之地的台湾．．．中国商人来台欺骗掠夺后随即返大陆，台湾人承受这样的人祸却无法可管．．．于是“林投姐”“周成”这类厉鬼复仇的传说不但出现，而且成为广为流传的民间故事。相较于中原文化中小鬼应受正神惩处、力求阳世大团员结局的价值，这种（台湾）厉鬼传说不会在中原盛行，也不会成为中原文化的主流。”

公元一八五一年四月十九日

诸罗大宅 陈氏遭周亚诗杀害夺财

其妻李氏昭娘遭强奸后自尽于林投树林

陈宅活口仅存其子一人。

## 参与团员

- 主唱、二胡手：Freddy
- 吉他手：Jesse
- 键盘手、女合音：Vivien
- 贝斯手、女合音：Doris
- 鼓手：A-Jay

## 基本资料

- 艺术家：闪灵乐团
- 发行日期：2002年4月1日
- 录制时间：丹麦‧阿尔胡斯、Jan Borsing Recoding
- 类型：金属乐
- 长度：00:56:52
- 专辑：水晶唱片
- 制片：五四三音乐站
- reviews：Allmusic 3.5 连结、Encyclopaedia Metallum (80%) 连结
- prev_title：灵魄之界
- 卫冕冠军：2000
- next_title：赛德克巴莱
- 发行日期：2005
赛德克巴莱 (专辑)

《赛德克巴莱》（Seediq Bale）是闪灵乐团的第四张专辑，于2005年发行，并在2006年发行英文版。专辑内容描述“雾社事件”中，台湾原住民赛德克族领袖莫那鲁道对抗日本殖民统治的经过。

在创作《赛德克巴莱》专辑之前，闪灵就有以原住民为背景，架空历史的“高砂帝国”构想。后来受到台湾导演魏德圣斥资百万拍摄《赛德克巴莱》短片的精神感召，而改为以“雾社事件”为专辑概念。

## 概念

世居雾社的台湾赛德克族，相传数千年前由岩山与巨木融合而诞生，族人通过严厉试炼后得以纹面，并以此标记于死后越过彩虹桥回归祖灵得到永生。1895年，日本展开殖民统治，严禁族人维系相传千年文化；莫那鲁道领导族人奋起对抗，一段惊天地泣鬼神的悲怆历史于焉开起．．．。

## 台湾版

### 参与团员

- 主唱、二胡手：Freddy
- 吉他手：Jesse
- 键盘手、女合音：Alexia
- 贝斯手、女合音：Doris
- 鼓手：Dani
- 鼓手：Reno Kiilerich（欧洲乐团Old Man's Child鼓手，参与录制《赛德克巴莱》专辑）
- 客串女音：陈珊妮

## 英文版

### 参与团员

- 主唱：Freddy
- 吉他手：Jesse
- 贝斯手、女合音：Doris
- 键盘手：CJ
- 鼓手：Dani
- 二胡手：甦农(Su-nong)

## 基本资料

- 日语原文：赛德克巴莱
- 艺术家：闪灵乐团
- 发行日期：2005年
- 录制时间：丹麦阿尔胡斯 Borsing Recoding
- 类型：金属乐
- 长度：43:38
- 专辑：荒岛网络科技
- 制片：Jan Borsing
- prev_title：永劫轮回
- 卫冕冠军：2002
- next_title：十殿
- 发行日期：2009
哈尼特郡 (北卡罗莱纳州)

哈尼特县（Harnett County）是美国北卡罗来纳州中部的一个县，面积1,557平方公里。根据2020年美国人口普查，共有人口13万3,568人。县治利灵顿。该县成立于1855年2月7日，县名纪念大陆会议代表科尼利乌斯·哈尼特（Cornelius Harnett）。

## 基本资料

- 县：Harnett County
- CN_county：哈尼特郡
- 州：北卡罗莱纳州
- founded year：1855年
- 成立时间：2月7日
- 名称来源：科尼利乌斯·哈尼特
- 行政中心：利灵顿
- 最大城市：安德森溪 (北卡罗莱纳州)
- 总计：601.22
- 陆地：594.93
- 水域：6.29
- area percentage：1.05
- 人口：2020
- 人口：133568
- pop_est_as_of：2023
- 估计：141477人
- 人口密度：auto
- 网站：www.harnett.org
- ex image cap：哈尼特郡政府
- 区：第9选区
- 包含的国会选区：第13选区
- 时区：Eastern
DNA运算

<image>

DNA计算（DNA computing，或译DNA运算）是一个新出现的交叉学门领域，利用DNA、生物化学以及分子生物学原理，而非传统上以硅为基础的电子计算技术。该领域涉及DNA计算的理论、实验和应用。虽然该领域最初始于 1994 年Len Adleman的计算应用演示，但现在已扩展到存储技术开发等其他几个方面、纳米级成像模式、合成控制器与反应网络、等。

## 历史

DNA运算最先由南加州大学的伦纳德·阿德曼在1994年实现。Adleman演示了一种将DNA应用于解决七点 哈密顿路径问题的概念验证方法。自Adleman的实验以后，学界又取得了许多进展，多种图灵机被证明是可行的。

尽管一开始的研究热点集中在解决P/NP问题，但人们旋即意识到此类问题并不是DNA运算的最佳应用场合，以致有多种意见要求寻找杀手级应用。1997年，计算机学家 Mitsunori Ogihara和生物学家Animesh Ray一道提出了一种组合逻辑电路的评价方法，并描绘了实现方法。

2002年，来自Weizmann Institute of Science的研究者公开了一种由DNA分子和酶，而不是硅组成的计算机器。2004年3月28日，Weizmann Institute的Ehud Shapiro, Yaakov Benenson, Binyamin Gil, Uri Ben-Dor,和Rivka Adar在自然杂志上发表文章称，他们实现了一种整合了输入输出的DNA计算机，理论上可以实现细胞内的癌症诊断，并释放抗癌药物。DNA分子由四种碱基组成，通过酶改变他们的排列可以进行计算。2004年，英国科学家成功的在一小团DNA中存储了大量文件，并成功读取。

2003 年， Reif's group 首次展示了一种基于 DNA 的行走器，这种行走器可以沿着类似于线性跟随机器人的轨道行走。他们利用分子生物学作为行走器的能量来源。自首次展示以来，已经有多种基于 DNA 的步行器被展示出来。

## 优点和缺点

DNA 计算机的处理速度较慢（响应时间以分钟、小时或天计算，而不是以毫秒计算），但它可以进行大量的多重并行计算。这使得系统进行复杂计算所需的时间与进行简单计算所需的时间相近。之所以能做到这一点，是因为数百万或数十亿分子能同时相互影响。不过，分析 DNA 计算机给出的答案要比数字计算机难得多。

## 外部链接

- DNA modeled computing
- How Stuff Works explanation
- Dirk de Pol: DNS – Ein neuer Supercomputer? . In: Die Neue Gesellschaft / Frankfurter Hefte , Heft 2/96, Februar 1996, S. 170–172
- 'DNA computer' cracks code, Physics Web
- Ars Technica
- - The New York Times DNA Computer for detecting Cancer
- Bringing DNA computers to life, in Scientific American
- Japanese Researchers store information in bacteria DNA
- International Meeting on DNA Computing and Molecular Programming
- LiveScience.com-How DNA Could Power Computers
加斯顿县 (北卡罗莱纳州)

加斯顿县（Gaston County）是美国北卡罗莱纳州南部的一个县，南邻南卡罗莱纳州。面积942平方公里。根据美国2000年人口普查，共有人口190,365人。县治加斯托尼亚（Gastonia）。

成立于1846年12月21日。县名纪念州议员、北卡罗莱纳州最高法院法官、联邦众议员威廉·加斯顿。

## 基本资料

- 县：Gaston County
- county_zh：加斯顿县
- 成立：1846
- 行政中心：Gastonia
- 总面积：942
- 陆地：923
- 水域：19
- area percentage：2.02%
- 人口：2000
- 人口：190,365
- 密度：206
- 网站：www.co.gaston.nc.us
花旗骰

花旗骰(CRAPS)又叫派司拉(Pass line)，是种赌博玩法。

## 简介

在美国拉斯维加斯花旗骰被许多人视为娱乐场中速度最快，最多玩法的桌上游戏。该游戏只使用两粒骰子，而投骰者(shooters)投骰后两粒骰子的点数结果下注。

## 外部链接

- Games/Gambling/Craps

template:Craps template:Gambling
哈密顿路径问题

图论中的经典问题哈密顿路径问题（Hamiltonian path problem）与哈密顿环问题（Hamiltonian cycle problem）分别是来确定在一个给定的图上是否存在哈密顿路径（一条经过图上每个顶点的路径）和哈密顿环（一条经过图上每个顶点的环）。两个问题皆为NP完全。

## 哈密顿环问题与哈密顿路径问题之间的关系

哈密顿环问题与哈密顿路径问题之间有着很简单的关系：

- 给定图$G$ ,通过加入新顶点$v$ 并将新顶点与所有其他顶点连接起来，我们得到了图$H$。在图$G$ 之上的哈密顿路径问题与在$H$之上的哈密顿环问题等价。因此寻找哈密顿路径的速度不可能比寻找哈密顿环的速度快很多。
- 从另一个方向来看，给定图$G$，给定图上一个顶点$v$，通过加入新顶点给定图$v'$,并且让$v'$的邻居等于$v$的邻居，再增加两个度为1的新顶点，并让他们分别与$v$和$v'$相连，得到图$H$，则图$G$上的哈密顿环问题与图$H$上的哈密顿路径问题等价。

## 算法

在一个阶数为$n$的图中，可能成为哈密顿路径的顶点序列最多有有$n$!个（在完全图的情况下恰好为$n$!个)，因此暴力搜索所有可能的顶点序列是非常慢的。

一个早期的在有向图上寻找哈密顿环的算法是Martello的枚举算法由Frank Rubin 提供的搜索过程将图的边分为3种类型：必须在路径上的边、不能在路径上的边和未定边。在搜索的过程中，一个决策规则的集合将未定边进行分类，并且决定是否继续进行搜索。这个算法将图分成几个部分，在它们上问题能够被单独地解决。

另外，Bellman, Held, and Karp 的动态规划算法可以在O(n2 2n)时间内解决问题。在这个方法中，对每个顶点集$S$和其中的每一个顶点$v$，均做出如下的判定：是否有一条经过$S$中每个顶点，并且在$v$结束的路径，对于每一对$S$和$v$，当且仅当存在$v$的邻居$w$满足存在一条路径经过$S-v$的所有顶点，并在$w$上结束的路径时，存在路径经过$S$中每个顶点，并且在$v$结束。这个充要条件已经可以之前的动态规划计算中确认。

Andreas Björklund通过容斥原理将哈密尔顿环的计数问题规约成一个更简单，圈覆盖的计数问题，后者可以被通过计算某些矩阵的行列式解决。通过这个方法，并通过蒙特卡洛算法，对任意$n$阶图，可以在O(1.657n)时间内解决。对于二分图，这个算法可以被进一步提升至O(1.415n)。

对于最大度小于等于3的图，一个回溯搜索的方法可以在 O(1.251n)时间内找到哈密顿环。

哈密顿环和哈密顿路径也可以通过SAT求解器找到。

## 复杂度

哈密顿环和哈密顿路径问题是FNP问题，它的决定性问题是检测是否存在一条哈密顿环或哈密顿路径。有向图和无向图上的哈密顿环问题是卡普的二十一个NP-完全问题中的其中两个。对于一些特殊类型的图来说，它们仍然是NP完全的。例如：

- 二分图
- 最大度为3的无向平面图
- 入度和出度最大为2的有向平面图
- 无桥的无向的平面3-正则二分图
- 3-顶点连通，3-正则的二分图
- square grid graph的子图
- square grid graph的3-正则子图

然而，对于某些类型的图，哈密顿环和哈密顿路径问题可以在多项式时间内解决：

- 根据威廉·汤玛斯·图特的结论，4-顶点连通平面图总是存在哈密顿环，并且可以在线性时间内找到哈密顿环。通过计算 a so-called Tutte path.
- 图特通过证明2-正则平面图包含图特路径，证明了以上的结论。对2-正则平面图来说，其图特路径可以在平方时间内找到，这可能可以被用来寻找一般平面图上的哈密顿环和较长的环。

将以上提供的条件汇总起来，3-正则，3-定点连通的二分图是否总是存在哈密顿环这一问题仍然是开放的，在这个情况下这一问题不是NP完全的，详见Barnette猜想。

在所有顶点的度都是奇数的途中，一个与握手引理有关的结论说明对于任意一条边来说，经过它的哈密顿环的个数总是偶数，因此如果存在一条哈密顿环，则一定存在另一条 然而，找到第二条哈密顿换并不是一个简单的计算问题。Papadimitriou定义了一个复杂性类PPA来描述这一类问题。

## 外部链接

- Hamiltonian Page : Hamiltonian cycle and path problems, their generalizations and variations
布尔可满足性问题

可满足性（英语：Satisfiability）是用来解决给定的真值方程式，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题（Boolean satisfiability problem；SAT）属于决定性问题，也是第一个被证明属于NP完全的问题。此问题在电脑科学上许多的领域皆相当重要，包括电脑科学基础理论、算法、人工智能、硬件设计等等。

## 直观描述

- 对于一个确定的逻辑电路，是否存在一种输入使得输出为真。

## 外部链接

SAT Solvers:

- Chaff
- HyperSAT
- Spear
- The MiniSAT Solver
- UBCSAT

Conferences/Publications:

- SAT 2007: Tenth International Conference on Theory and Applications of Satisfiability Testing
- Journal on Satisfiability, Boolean Modeling and Computation
- Survey Propagation

Benchmarks:

- Forced Satisfiable SAT Benchmarks
- IBM Formal Verification SAT Benchmarks
- SATLIB
- Software Verification Benchmarks

SAT solving in general:

- http://www.satlive.org
- http://www.satisfiability.org
- Sat4j
抽象机器

抽象机器（Abstract machine），又称抽象电脑（abstract computer），利用自动机理论，建立出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性（computability），或是分析算法的时间复杂度及空间复杂度。
一次性密码本

一次性密码本（one-time pad，缩写为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

而若要解密以上讯息，反向操作即可。

## 外部链接

- Marcus Ranum's 一次性密码本常见问题
- FreeS/WAN 一次性密码本的弱点讨论
- 可汗学院 一次性密码本
遗传系谱学

<image>

遗传系谱学或称遗传家谱学（genetic genealogy）是应用遗传学来研究传统的家谱学。利用DNA的分析，建立出个体之间的系谱关系。可用于追溯母系或父系祖先、民族起源、生物地理学以及人类迁徙。Y染色体与粒线体DNA是常用的分析对象。

## 延伸阅读

### 书籍

- Early book on adoptions, paternity and other relationship testing. Carmichael is a founder of GeneTree.
- Survey of major populations.
- Out of date but still worth reading.
- Early guide for do-it-yourself genealogists.
- Guide to the subject of family medical history and genetic diseases.
- Names the founders of Europe’s major female haplogroups Helena, Jasmine, Katrine, Tara, Velda, Xenia, and Ursula.

## 外部链接

- International Society of Genetic Genealogy
- MSNBC – Genetic genealogy links from MSN
- Guide to ancestry testing from Sense about Science
- "Debunking Genetic Astrology" a set of webpages at University College London
汉方医学

汉方医学是日本的传统医学之一，其是从汉医学的基础上发展而来。汉方的治疗方法以草药为主，但也包括传统的治疗手段，如针灸、按摩等，执业医师称为汉方医。

## 历史

中医在大约7世纪至9世纪时从中国传至日本，江户时代时，为与从欧洲传入的“兰方医学”以及日本自有的“和方医学”相区别，便将源自中医的传统治疗方法称为“汉方医学”。汉方医学以《伤寒论》和《金匮要略》为主要经典。

明治年间，称为皇方、皇汉方、和方、和汉方、东洋医学等。昭和初期，东洋医学的称呼取代了汉方医学。

## 现代

现代日本从1967年开始接受汉方医学药物进入健康保险允许使用的药物名单。时至今日，共有148种汉方复方药剂、241种粗药剂（饮片等）、5种粗药获得承认。