hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
芒語
芒語（芒語：Thiểng Mường；越南语：／）為越南少數民族芒族的母語，亦屬于南亞語系孟-高棉語族的越芒語支。芒語與越南京族的越南語極為相似，但其漢語借詞更少。
從語言、文化和風俗習慣等方面來看，芒族與京族有親緣關係，可能同源於雒越，與東山文化有關。兩千多年來，居住於紅河流域與沿海地區的雒越人，經濟發展更快，受漢文化影響較深，逐漸分化為越族；而居住於山區的雒越人較大程度保留了傳統的生活方式，形成今天的芒族。語言發展也慢慢分道揚鑣。
芒語有5個聲調，與附近清化、乂安的越南語口音調值類似。主要分佈在主要集中在越南北部山區省份：和平省、清化省、永福省、安沛省、山羅省和寧平省。
芒語 书写系统
芒语直到20世纪初都没有书面形式，西方学者基于调整过的越南语字母发展出一套临时字母，加了w等字母，也允许其他字母出现为复辅音和韵尾位置。:1
2016年9月，和平省人民委员会通过2295/QĐ-UBND号决议，采用副教授裴贤改订的新字母表。其中共包含28个字母和4个声调符号。该省官方媒体《和平报》的电子版随即开始用这种字母拼写芒语。
芒語 音系
以下表格列出芒語的輔音。 用於拼寫的字母以斜體標註。
芒语荣方言缺乏塞音清浊对立/p b/、/t d/、/k ɡ/，只保留了清音。芒语块方言和瓮方言缺乏/ɡ/。石山方言则缺乏/p/。
另外，块方言缺乏送气齿龈音/tʰ/，而有/hr/。该方言还被描述为有唇软腭音/kʷ/和/kʷʰ/。
所有辅音均可作声母。韵尾只能有鼻音/m n ɲ ŋ/、清塞音/p t c k/、边音/l/和滑音/j w/。硬颚音/c ɲ/可被分析为/ʲk ʲŋ/。另外，音节末/c ɲ l/的分布似乎比其他韵尾辅音更受限。
以下表格列出芒語的元音。在各種方言中，元音的差異性並不高。/ɤ/與/a/兩個元音可以是長、短元音。
除了以上的單元音以外，芒語還有/iə, ɯə, uə/等三組雙元音。
陳與冏
陳與冏，字弼臣、弼宸，號緘齋，福建福州府閩縣（今福建省福州市）人，清朝政治人物、進士出身。
光緒六年，登進士，同年五月，改翰林院庶吉士。光緒九年四月，散館，授翰林院編修。光緒十四年，任山東鄉試副考官。次年，任順天鄉試同考官。有兄陳與同。
切爾米克
切爾米克是土耳其的城鎮，由迪亞巴克爾省負責管轄，位於該國東南部，面積987平方公里，海拔高度700米，該鎮在十六世紀被奧托曼帝國管治，2008年人口17,520。
傅嘉年
傅嘉年（1849年—？），福建建寧府建安縣（今福建省建甌縣）人，清朝政治人物、進士出身。
光緒六年，登進士，分部學習。后任工部學習主。光緒十六年，記名總理衙門章京，補總理衙門章京。后免補主事以本部員外郎遇缺即補。光緒二十七年，任工部都水司郎中、外務部考工司郎中。光緒三十二年，任湖北安襄鄖荊道。
2012年夏季奧林匹克運動會關島代表團
2012年夏季奧林匹克運動會關島代表團會參加2012年7月27日至8月12日在英國倫敦舉行的第三十屆奧林匹克運動會。他們共派出8位運動員參與5個項目。
北方低鰭鯧
北方低鰭鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種。
北方低鰭鯧 分布
本魚分布於西大西洋區，從美國東北部至巴西里約熱內盧海域，棲息深度15-136公尺。
北方低鰭鯧 形態特徵
本魚體高而側扁，呈橢圓形，吻短而鈍，約等於眼徑，口小，上頜尖，頜骨具弱齒，背鰭和臀鰭基部很長，兩個鰭鐮狀，體色淡藍色，上面綠色、銀色，背鰭硬棘2-5枚，背鰭軟條38-47枚，臀鰭硬棘2-3枚，臀鰭軟條35-45枚，體長可達30公分，
北方低鰭鯧 生態習性
本魚棲息在中上層海域，成群活動，屬肉食性，以水母、甲殼類、蠕蟲、魚類等為食，可做為食用魚。
葉大遒
葉大遒（1845年—1907年），字敷恭、號鐸人，福建福州府閩縣（今福建省福州市）人，清朝政治人物、進士出身。
同治四年，鄉試中舉。光緒六年，登進士，改庶吉士。光緒九年，任翰林院編修。光緒十一年，任武英殿協修官、國史館協修官。光緒十四年，任武英殿纂修官。光緒十九年，任武英殿總纂官。次年，交軍機處記名以道府用。光緒二十一年，任國史館纂修官。次年改武英殿提調官。后任廣東雷瓊兵備道。光緒二十七年，勒令休致。
鄭杲 (清朝)
鄭杲（）（1851年—1900年），字東父、東甫，直隸永平府遷安縣（今河北省遷安縣）人，清朝政治人物，同進士出身。
鄭杲父鳴岡，任山東即墨縣知縣，卒於官，家貧不能歸里，於是寄籍當地。鄭杲事母至孝。光緒五年（1879年），山東鄉試第一（解元）。光緒六年（1880年），登進士，授刑部主事。光緒十年，任江西司主事。后因母喪丁憂歸鄉，主講濼源書院。之後服闋，遷刑部員外郎。卒於任。
鄭杲 (清朝) 延伸阅读
Module:Wikisource_further_reading第46行Lua错误：attempt to concatenate local 'id' (a nil value)
磷钼酸
磷钼酸（英語：）也稱為十二钼磷酸，簡稱PMA，是化學式為H3PMo12O40的黃綠色無機化合物，是一種雜多酸，磷钼酸可溶於水及極性的有機溶劑（例如乙醇）。磷钼酸水合物為黃色固體，其中含有28個水分子，分子式為H3PMo12O40·28H2O。
磷钼酸 用途
磷钼酸可作為噴霧顯色劑，可偵測鉀、铊、钛、二氧化硫、銫、铈、錫、銣、锑、钒、钯等元素或化合物的存在。
磷钼酸是一種薄层色谱染色的试剂，可以對多酚、碳氫化合物、生物碱和类固醇等物質染色。磷钼酸是生物组织学研究中常用的Masson三色染色法试剂成份之一。
共軛的不飽和化合物會將磷钼酸還原成鉬藍。其顏色的深度會隨染色物質中雙鍵數量的增加而變深。
桂森
桂森（1870年—？年），字楫霖，號寶書，依普杼克氏，因二世祖武義都尉懷安故漢姓懷，京口駐防蒙古鑲紅旗毓慶佐領下附生。
桂森 生平
光緒十五年己丑恩科鄉試44名舉人，光緒十八年（1892年）壬辰科進士，同年五月，以主事分部学习，后以即用知縣分發江西，厯署鉛山等知縣，題補萍鄉縣知縣。
承勳
承勳，杭阿坦氏，漢姓趙，字鼎銘，号仲放，一号赞臣，京口駐防蒙古鑲白旗人。清末官員，进士出身。
承勳 生平
同治十二年（1873年）癸酉科舉人，光緒十八年（1892年）壬辰科三甲進士，同年五月，签分广东即补知縣，署肇庆府開平縣知縣。为正蓝旗汉军进士胡俊章辑《春明诗课汇选》参校。
太平洋低鰭鯧
太平洋低鰭鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於東北太平洋區，從加拿大卑詩省至墨西哥下加利福尼亞半島海域，棲息深度9-91公尺，體長可達25公分，棲息在沿岸沙底質海域，成群活動，可做為食用魚。
志銳
志銳（1852年—1911年），字伯愚，一字公颖，齋號廓軒，署名窮塞主人，清朝政治人物，他他拉氏，满洲镶红旗人（亦记为正红旗人），陕甘总督裕泰之孙。進士出身，官至伊犁將軍，辛亥革命時被革命黨人杀死。
志銳 生平
光緒二年（1876年），鄉試中舉（时隶镶红旗满洲舒昌佐领下）。光緒六年（1881年），登進士；同年五月，改翰林院庶吉士。光緒九年（1883年）四月，散館，授翰林院編修，升侍讀。
光緒十五年（1891年），任詹事府詹事。光緒二十年，升任禮部右侍郎、會試朝考閱卷大臣、烏里雅蘇台參贊大臣。光緒二十五年，任伊犁領隊大臣。光緒三十二年，任甯夏副都統。宣統二年（1910年），任杭州將軍。次年，改伊犁將軍，加尚书衔。到任不久，即发生辛亥革命，伊犁协统杨缵绪率军起义。结果志锐被枪杀。事闻，追赠太子少保，谥文贞。著有《廓轩竹枝词》（宣统二年印本）。
志銳 家庭
妻李氏。其父內務府正白旗汉军、道光甲辰科举人李慶會（字際雲），母索綽絡氏（父正白旗满洲、嘉庆庚午科举人觀瑞，伯祖父乾隆丁巳恩科進士觀保）；胞姊李氏，嫁咸豐己未科進士、镶白旗宗室常珩；姑母李氏，嫁内务府正白旗汉军、内务府庆丰司员外郎兼镶黄旗公中佐领尚氏纯嘏（其子道光戊戌（1838）进士延恒、道光庚子（1840）进士延愷；孙女尚氏，与正蓝旗汉军进士胡俊章家族联姻）。李慶會从堂侄繼昌，光緒三年（1877年）进士。
志銳 著作
志锐是清代重要的竹枝词大家，有《廓轩竹枝词》，是清代文人边疆竹枝词的代表作之一，也为清代蒙古的地区政治、经济、文化提供了史料。
志銳 延伸阅读
[在维基数据编辑]
《清史稿/卷470》，出自趙爾巽《清史稿》
在维基共享资源阅览影像
薩廉
薩廉（1844年—?），郭佳氏，字立甫，号儉齋、简斋，满洲镶蓝旗人。，清朝官员、進士出身。
重臣穆彰阿之子。光緒二年，丙子科順天乡试中举，六年（1880年），登進士，改庶吉士。光緒九年，授翰林院編修。后任國子監祭酒。光緒二十一年，任詹事府詹事。光緒二十二年，改通政使司通政使。光緒二十三年，任廣東鄉試正考官。次年，改禮部右侍郎、盛京兵部侍郎。光緒二十五年，任奉天牛馬稅務監督。后兼署盛京戶部侍郎。光緒三十年，任禮部左侍郎。光緒三十二年，任正黃旗護軍統領。
豐和
豐和 (1873年—? )，杭阿坦氏，漢姓趙，字幼農，号懋甫，京口駐防蒙古鑲白旗人。清末官員，进士出身。
豐和 生平
光緒十九年（1893年）癸巳恩科舉人，二十一年（1895年）乙未科進士，以即用知縣分發江西，署廣信府弋陽縣知縣。旋迁吏部主事。
石鴻韶
石鴻韶，廣西象州（今廣西壯族自治區象州縣）人，清朝政治人物、進士出身。
光緒五年，鄉試中舉；光緒六年，登進士，改庶吉士。光緒九年，任山西長子縣知縣。光緒十六年，任雲南補用知府。光緒十八年，署雲南開化府知府，后任雲南楚雄府知府。光緒二十八年，任雲南永昌府知府。光緒三十年，任雲南迤西道。
延昌 (光緒進士)
延昌，杭阿坦氏，漢姓趙，字子光，一字壽丞，京口駐防蒙古鑲白旗人，清末翰林。
光緒二十八年（1902年）壬寅補行庚子、辛丑科舉人，光緒二十九年（1903年）癸卯補行辛丑、壬寅恩正併科三甲進士，同年闰五月，改翰林院庶吉士。散館授檢討。光緒三十四年（1908年），補內閣學士。宣統三年（1911年），任典禮院直學士。
吳保齡
吳保齡（1852年—？），字佑之，江蘇丹徒縣（今江蘇省鎮江市）人，清朝政治人物、進士出身。
吳保齡 生平
光緒二年（1876年），丙子科江蘇鄉試舉人。光緒三年（1877年）中丁丑科會試，光緒六年（1880年）庚辰科補行殿試，吳保齡補中進士，同年五月，改翰林院庶吉士。光緒九年，改授主事籤分戶部。光緒二十二年，任戶部湖廣司主事。次年，改戶部山西司員外郎。光緒二十四年，任會試同考官。光緒二十七年，任山西道監察御史。次年，掌廣西道監察御史，并兼署掌貴州道監察御史。光緒三十一年，任湖廣道監察御史	、京畿道監察御史。光緒三十二年，兼署吏科掌印給事中。光緒三十二年，任四川潼川府知府。
史氏低鳍鲳
史氏低鰭鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於中東太平洋區，從加利福尼亞灣至秘魯海域，體長可達30公分，棲息在中底層水域，可做為食用魚。
放不低
《放不低》是鄭秀文的第九張粵語專輯，於1996年5月29日在香港、臺灣、新加坡及馬來西亞同步發行，其後此專輯於1996年6月24日推出韓國版。專輯推出後不久，己認證為雙白金，幾週後，銷售超過13萬張，然後，經過三個月的持續熱賣，成功獲得三白金，截至1996年11月，經核實總銷量約17萬5千， 為當年女歌手之中，最高銷量的粵語大碟。另外，該專輯兩度入圍臺灣金曲龍虎榜的候選名單，分別在秋季第4周以及秋季第5周入圍。
放不低 宣傳
鄭秀文透過各種現場演出、活動和電視節目宣傳了這張專輯。她也接受了多家雜誌和報紙的採訪。此外，香港尖沙咀HMV大樓外還懸掛了一張巨大的專輯戶外廣告看板。
主打歌《放不低》被用作電視劇《當女人愛上男人》的主題曲，並被用於樂聲牌手提CD唱機的廣告中，這有助於它觸及更廣泛的受眾。 此外，《意見不合》也被用作該電視劇的插曲。不久之後，由鄭秀文主演的電影《百分百感覺》上映，並大受歡迎。該片的主題曲《不拖不欠》以及插曲《問我》和《顔色…氣味》均由鄭秀文演唱。
為了宣傳這張專輯，華納音樂香港公司舉辦了兩場簽名會，這在當時並不常見，因為很少有歌手會為一張專輯舉辦超過一場簽名會。為了慶祝專輯在發行首周內便達到雙白金銷量，第一場簽名會於1996年6月8日下午2點至3點在華納兄弟片埸精品店舉行。專輯銷售超過三白金後，第二場簽名會於1996年8月17日上午11點在尖沙咀的HMV唱片店舉行，到場的歌迷更獲贈樂聲牌「放不低（珍藏版）」宣傳單曲的第二版。
吳樹芬
吳樹棻（1857年—？），又稱吳樹芬，字栘香，山東濟南府歷城縣（今屬濟南市）人，清朝政治人物、進士出身。
光緒二年，鄉試中舉；光緒六年，庚辰科會試第一名（會元），同年殿試二甲進士，改庶吉士。光緒七年，任武英殿協修。光緒九年，任翰林院編修、國史館協修、武英殿纂修。光緒十二年，任會試同考官、教習庶吉士。光緒十五年，任方略館纂修、河南學政。光緒十九年，任山西道監察御史。光緒二十年，任四川學政。光緒二十一年，掌山西道監察御史。光緒二十三年，任兵科給事中。光緒二十七年，署陝西按察使，任陝西鳳邠鹽法道。
三刺低鳍鲳
三刺低鰭鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於西大西洋區，從加拿大紐芬蘭島、聖羅倫斯灣至墨西哥灣海域，棲息深度15-420公尺，本魚身體橢圓形、側扁;眼中型，吻短而鈍，有點超出上突出的下顎，口小，沒有達到眼前緣的上頜尖，牙齒在頜骨很小，背鰭、臀鰭的鰭基部很長，胸鰭尾鰭深叉形;側線高，背輪廓;體上部淡藍色，下部銀色;具許多不規則的黑斑，體長可達30公分，棲息在中底層水域，成群活動，屬肉食性，以水母、甲殼類、箭蟲、魷魚等為食，可做為食用魚。
苏联狙击手
苏联狙击手在第二次世界大战东线战役中有着非常重要的作用。在二战中，苏联狙击手使用装载着口径为7.62×54mmR步枪子弹的莫辛-納甘PU M1891/30狙擊步槍 ，弹夹内可以装载轻型、重型、穿甲彈（B-30）、穿甲燃烧弹、校准/燃烧弹（P3）与跟踪弹。 大部分二战中的苏联狙击手的战场作战弹药储备为120发步枪子弹。与其他国家的军队要求不同的是，苏联对狙击手没有性别限制。在1943年，苏联军队中有超过两千名女狙击手在服役。
苏联狙击手 军事编制
苏联与其所控制的军队的编制包括班排等级的狙击手班，通常称为「神枪手」。在其他编制中也被称为「特等射手」 。这个名字的来源是因为，常规队伍由于大量使用冲锋枪（擅长近距离，强火力战斗），失去了远距离与对方交火的能力。
苏联军队利用狙击手进行远距离压制火力与消灭远程目标，特别是利用狙击手射杀敌军领导，因为在二战中，苏联军事领袖与战争理论学家们认为，军队在战斗时要更换一个有经验的士官或者战场军官是非常困难的。并且，虽然狙击步枪对于更便宜的冲锋步枪来说更贵且不耐用，但是如果搭配上了优秀的的人员，良好的训练与好的军事原则，他们之间的成本就相差无几了。苏联也大量使用女狙击手执行任务，包括著名的女狙击手柳德米拉·帕夫里琴科与尼娜·洛伯科夫斯卡娅。在二战中，苏联利用狙击手最成功的时候是在苏联的防守战阶段（1941 - 1943），因为此时苏联作为防守方，他们的狙击手可以利用这一段优势对德军的狙击手造成强大的威胁。
苏联狙击手 军事编制
在使用了德拉古诺夫狙击步枪后，苏军的狙击手部署到达了排一层的等级。这些狙击手排中的士兵由特等射手与志愿军中的优秀者组成。这些狙击手对于射中一个800米远的站立成年人大小的目标，有50%的几率命中；500米时需有80%的命中率。当距离不超过200米远时，需要有超过90%的命中率。达到这样的命中率时，狙击手不能在一分钟之内同时与两个这样的目标交火。
達爾蓋奇特
達爾蓋奇特是土耳其的城鎮，由馬爾丁負責管轄，位於該國東南部，面積539平方公里，海拔高度900米，2010年人口14,700。第一次世界大戰期間，部分敘利亞居民因經濟問題移民至其他歐洲國家。
李秉灝
李秉灝（生年不詳—卒年不詳），江蘇常州府武進縣（今屬常州市）人。清朝政治人物。
李秉灝 生平
嘉慶十四年（1809年）中式己巳恩科二進士。榜名李錦。官至內閣中書。曾任《欽定平定教匪紀略》校對官。
杜爾孫貝伊
杜爾孫貝伊是土耳其的城鎮，由巴勒克埃西爾省負責管轄，位於該國西北部，距離首府巴勒克埃西爾80公里，面積1,952平方公里，2010年人口16,925。
霍拉桑
霍拉桑（土耳其語：，庫德語：）是土耳其的城鎮，由埃爾祖魯姆省負責管轄，位於該國東北部，面積1,662平方公里，該鎮在1983年10月30日發生的地震中受到嚴重破壞，2008年人口17,838。
霍拉桑 参考文献
40°03′N 42°10′E﻿ / ﻿40.050°N 42.167°E﻿ / 40.050; 42.167
巴西真鯧
巴西真鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於西南大西洋區，從巴西至阿根廷火地島海域，棲息深度22-133公尺，本魚體背部藍色或綠色，腹部白色，體側具有許多暗藍色圓斑，背鰭軟條47-56枚;臀鰭軟條40-48枚，體長可達38公分，棲息在中上底層水域。
牡丹燈籠
牡丹灯籠（日语：／ Botan Doro）是三遊亭圓朝創作的怪談噺（かいだんばなし），落語的演目之一。改编自中国明代小説《剪灯新话·牡丹灯记》，原名『怪談牡丹灯籠』。和「四谷怪談」、「皿屋敷」並稱日本三大怪談。
牡丹燈籠 概要
旗本飯島平左衛門的女兒阿露，因為和浪人萩原新三郎的戀情而苦惱死亡。下女阿米也在之後死去，應該已不在人世的阿露和阿米每晚提著牡丹灯籠來找新三郎。之後，關口屋伴藏發現抱著髑髏的新三郎，得知阿露非此世間之人。伴藏將此事告知新三郎，所以新三郎從良石和尚處求得魔除之符，但是幽靈給伴藏百兩黃金，將魔除之符撕去，新三郎最後因為伴藏的背叛而身亡。
居米斯哈吉柯伊
居米斯哈吉柯伊是土耳其的城鎮，由阿馬西亞省負責管轄，位於該國北部，距離梅爾濟豐20公里，面積653平方公里，該鎮在十三至十四世紀期間經濟繁榮，2010年人口24,806。
40°52′N 35°13′E﻿ / ﻿40.867°N 35.217°E﻿ / 40.867; 35.217
天主教梅斯教区
天主教梅斯教區（拉丁語：；法語：）是法國一個羅馬天主教教區。
教區管轄摩澤爾省。2010年有教友829,000人，佔轄區總人口81.0%。教區下轄649個堂區，有443名司鐸。現任教區主教為若望-基多福·拉格萊澤，輔理主教為若望-伯多祿·維勒曼，榮休主教為伯多祿·拉凡。
教區於3世紀成立，1801年11月29日重建。1874年6月14日起直屬聖座。
為你等
《為你等》是鄭秀文的第十二張個人專輯和第二張國語專輯，於1997年4月22日發行。推出後在台灣金曲龍虎榜秋季銷售排行榜停留達十七週之久，最高排名為季軍。在新加坡亦屬於長賣型，由同年四月熱賣到去八月，仍在新加坡十大中文銷量榜上，就算八月底跌出十大，往後日子仍然在二十名內徘徊。在1997年5月18日於華納旗艦店(台北市忠孝東路四段175號) 中午12點，舉行一場簽名會，並宣布於全省唱片行銷售排名為冠軍。及後，同年此專輯在台灣銷量突破60萬張。該專輯在1998年1月2日統計，新馬港台總銷量合共一百萬，新加坡售出五萬張，但由於專輯推出的時候，屬於新加坡盜版高峰期，故搶走了不少銷量。
牛淑贤
牛淑贤（1946年6月11日—），祖籍河南省柘城县，出生于河南省商丘市一个梨园家庭，中国豫剧演员，豫剧大师陈素真的关门弟子，豫剧十大名旦之一，中国国家一级演员。曾担任邯郸市东风豫剧团团长，牛淑贤5岁便登台演出，被誉为“五岁红”。其唱腔以委婉细腻、俏丽多姿、活泼明快、舒展流畅而著称。
牛淑贤 艺术贡献
牛淑贤广纳豫剧各大门派之精髓，借鉴和吸收评剧、黄梅戏、现代歌剧以及民间小调的唱法和旋律，她将歌曲演唱的发声方法成功地融合到现代豫剧的演唱之中，探索出一种与众不同的豫剧演唱风格。她的表演情真意切，浑身是戏。牛淑贤2000年进入邯郸文化局戏研所工作后，开始在理论上系统地研究和梳理“北派豫剧”。
克孜勒賈哈馬姆
克孜勒賈哈馬姆是土耳其的城鎮，由安卡拉省負責管轄，位於該國北部，距離首府安卡拉70公里，面積1,712平方公里，平均海拔高度975米，2010年人口25,203。
埃爾迪爾
埃爾迪爾是土耳其的城鎮，由伊斯帕爾塔省負責管轄，位於該國西南部，距離首府伊斯帕爾塔34公里，面積1,520平方公里，每年平均降雨量705毫米，2008年人口18,559。
Metasploit
Metasploit项目是一个旨在提供安全漏洞信息计算机安全项目，可以协助安全工程师进行渗透测试（penetration testing）及入侵检测系统签名开发。
Metasploit项目最为知名的子项目是开源的Metasploit框架，一套针对远程主机进行开发和执行“exploit代码”的工具。其他重要的子项目包括Opcode数据库、shellcode档案、安全研究等内容。
Metasploit项目知名的功能还包括反取证与规避工具，其中的某些工具已经内置在Metasploit Framework里面。
Metasploit Metasploit Framework
使用Metasploit框架的基本步骤包括：
这种允许任何攻击代码和任何有效负载进行随意组合的模块化的结构是Metasploit框架的主要优势。使用者可以通过不同的搭配在有限的漏洞下导入不同的负载。Metasploit框架可以通过添加模块实现扩展，允许使用者，攻击代码作者和有效负载的作者专注于写出所需的功能，而无需处理其他问题。
选择攻击代码和有效负载需要目标系统的部分信息，比如其操作系统的版本和安装的网络服务。这些信息可被类似于Nmap的端口扫描和操作系统分析工具收集到。类似于Nexpose或Nessus的弱点扫描工具可以探测到目标系统的弱点。Metasploit可以导入弱点扫描数据并通过对比已发现的弱点和拥有的攻击代码模块来进行准确的攻击。
Metasploit Metasploit 用户界面
Metasploit有多个可用的用户界面，最流行的界面由Rapid7和Strategic Cyber LLC.维护。
由Rapid7发布的Metasploit 的免费版本。 包括命令行界面，拥有第三方引入, 手动攻击和手动暴力破解等功能。
在2011年10月，Rapid7 发布了免费的，使用网页界面的Metasploit Community Edition（社区版）。基于收费版本，但并不包括所有付费版的功能。它的功能包括：网络发现，模块浏览，和手动攻击。
在2010年4月, Rapid7 发布了开放核心的付费版本Metasploit Express。它使用网页界面，拥有Metasploit Community的所有功能和智能攻击，密码审计，基准渗透测试报告等免费版所没有的功能。
在2011年10月， Rapid7 添加了开放核心的付费版本Metasploit Pro。它使用网页界面，拥有Metasploit Express的所有功能和闭环弱点验证，模拟钓鱼式攻击等社会工程学功能，网络应用程序测试，攻击自动化，和其他Express版所没有的功能。
Metasploit Metasploit 用户界面
Armitage是一个由Strategic Cyber LLC.开发的，拥有图形用户界面的Metasploit管理工具。 允许使用者通过一个实例共享对话和数据，这个自由且开源的网络安全工具在帮助红队(red team)合作上有显著贡献。
Cobalt Strike是一个由Strategic Cyber LLC.开发的，拥有图形用户界面的Metasploit管理工具。它是Armitage的扩展，并包含报告生成工具等Armitage所没有的功能。
Metasploit 扩展阅读
Chapter 12: Writing Exploits III from Sockets, Shellcode, Porting & Coding: Reverse Engineering Exploits and Tool Coding for Security Professionals by James C. Foster (ISBN 1-59749-005-9). Written by Vincent Liu, chapter 12 explains how to use Metasploit to develop a buffer overflow exploit from scratch.
沙爾柯伊
沙爾柯伊是土耳其的城鎮，由泰基爾達省負責管轄，位於該國西北部馬摩拉海沿岸，距離首府泰基爾達86公里，面積481平方公里，海拔高度12米，2010年人口17,095。
縱帶真鯧
縱帶真鯧為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於東大西洋區，從法國比斯開灣至南非好望角海域，棲息深度10-70公尺，本魚體背部藍色或棕色，腹部銀白色，體側具有許多暗斑，背鰭軟條42-50枚;臀鰭軟條33-38枚，體長可達50公分，棲息在大陸棚，屬肉食性，以水母、浮游生物等為食，可做為食用魚。
寒星
寒星，又称间寒星，是五子棋的一种开局名称，日文作：Kansei，英文为I6。直止打法第一局，间打第四局。
博阿茲勒揚
博阿茲勒揚是土耳其的城鎮，由約茲加特省負責管轄，位於該國中部，距離首府約茲加特125公里，面積2,129平方公里，海拔高度1,091米，2011年人口16,721。
星斑真鯧
星斑真鯧（学名：Stromateus stellatus）為輻鰭魚綱鱸形目鯧亞目鯧科的其中一種，分布於東南太平洋區，從秘魯及智利海域，棲息深度10-70公尺，本魚體背部藍綠色，腹部銀白色，體背側具有許多暗藍色小細點，背鰭軟條47-50枚;臀鰭軟條41-44枚，體長可達25.1公分，棲息在中底層水域。
其种加词“stellatus”意为“星斑的”。
迪基利
迪基利是土耳其的城鎮，由伊茲密爾省負責管轄，位於該國西部，距離首府伊茲密爾約120公里，面積510平方公里，海拔高度7米，2010年人口33,021。
天主教沙特爾教區
天主教沙特爾教區（拉丁語：、法語：）是法國一個羅馬天主教教區。屬圖爾總教區。
教區範圍包括厄尔-卢瓦省。2010年有教友287,000人，佔轄區總人口70.1%。教區下轄七十八個堂區，有一百零四名司鐸。現任教區主教為彌額爾·龐薩爾。
3世紀成立教區，1801年11月29日被併入凡爾賽教區。1822年10月6日恢復，2002年12月16日前屬布爾日總教區。
雨月 (连珠)
雨月，又称连雨月，是五子棋的一种开局名称，日文作：Ugetsu，英文为D6（Direct6），直止打法第六局，连打第八局。
圖-2轟炸機
圖-2轟炸機是第二次世界大战中蘇聯圖波列夫設計局研发的一款中型轟炸機，原本稱為ANT-50，1942年改稱為"圖-2"（Tu-2）。圖-2在第二次世界大戰時作為蘇聯紅軍的水平轟炸機甚至俯衝轟炸機，參與了德蘇戰爭中後期各战役。
圖-2轟炸機 历史
研制目标对标Ju-88轰炸机。
1941年1月29日首飛。采用两台ASh-82活塞风冷发动机，三叶螺旋桨，单台1450马力，性能完胜Pe-2前线轰炸机。1942年8月22日首架生产型称图-2。圖波列夫為此无罪释放，并在1943年得到斯大林奖金。
1943年图-2S投产，换装了ASh-82FN活塞风冷发动机，单台功率1850马力，四叶螺旋桨。S型成为图-2系列中产量最高的型号。最大起飞重量12.8吨，最大速度547千米/小时，最大航程2700千米。最大载弹量3吨，配套3门20毫米航炮（单炮备弹200发），3挺自卫用12.7毫米航空机枪。性能赶超了Ju-88轰炸机。
二戰後，苏联把圖-2軍援東歐各國，北韓和中國。中國人民解放軍空軍的第34和35飛行大隊於1950年得到20架圖-2，同年10月6日又在徐州接收到9架後又成立了第36飛行大隊，中國的圖-2在朝鲜战争期間參加了大和島戰役，之後在台海又參加了對國軍的大陳島和一江山島戰役，解放軍的圖-2在1982年退役。
圖-2轟炸機 型号
轰教机“乌特伯”/“乌特伯二”（УТБ/УТБ-2)：1946年苏霍伊设计局设计的中型轰炸教练机型号。1947年装备部队。采用降低发动机功率的阿什-21活塞螺旋桨发动机星型七缸气冷，单台690马力，2页螺旋桨。好处是飞行小时成本低、妥善率出动率高。累计生产了约500架，其中100架是波兰制造的。1949年10月至1950年2月中国进口33架，装备了空军的两个轰炸机航校，代号“4号机”；是中国装备的第一种苏霍伊飞机。在苏联1962年退役，在中国1965年退役。机长/翼展/机高：13.99/18.86/4.45米。净重/全重：5386/6546千克。最大速度/巡航速度：391/332千米/小时。航程950千米。升限7100米。安装12.7毫米UTB活动机枪1挺，2枚200千克航弹。
阿赫拉特
阿赫拉特（鄂圖曼土耳其語：；亞美尼亞語：）是土耳其的城鎮，由比特利斯省負責管轄，位於該國東部凡湖西岸，面積989平方公里，海拔高度1,650米，每年平均降雨量590毫米，2008年人口19,551。
新北板橋轉運站
。25°00′56″N 121°27′53″E﻿ / ﻿25.015516°N 121.464707°E﻿ / 25.015516; 121.464707
新北板橋轉運站是新北市板橋區的長途客運站，位於新站路與縣民大道口，板橋車站東側，是新北市第一座公辦民營轉運站。目前營運單位為國光客運。
2013年12月16日遷移到原址旁邊的板橋客運站臨時站，2020年5月12日搬遷至臺北捷運環狀線板橋站北側臨時站。原址改建為與環狀線板橋站共構的大樓，1、2樓屬於板橋轉運站，於2020年8月完工，2021年4月8日開幕。
新北板橋轉運站 樓層規劃
公共客運轉運：一樓部分區域為中長程國道客運轉運站、統一超商
二樓區域為候車旅客休息區域、化妝室，並可由此至三樓轉乘環狀線
※標示記號者，表示該線可使用悠遊卡付款乘車（不論刷卡購票或車上刷卡）
阿爾達漢
阿爾達漢（土耳其語：；亞美尼亞語：；喬治亞語：，羅馬化：Artaani；庫德語：）是土耳其的城市，也是阿爾達漢省的首府，位於該國東北部，毗鄰與格魯吉亞接壤的邊境，面積1,191平方公里，海拔高度1,900米，受濕潤大陸性氣候影響，每年平均降雨量554毫米，2010年人口16,251。
莎拉龍屬
莎拉龍屬（學名：Sarahsaurus）是蜥腳形亞目恐龍的一屬，生存於侏羅紀早期的北美洲。在早期理論中，原始蜥腳形亞目恐龍起源於三疊紀中期或晚期的南半球，並迅速擴散到盤古大陸的各地區，持續生存到侏羅紀早期。莎拉龍的發現，顯示原始蜥腳形亞目恐龍從南美洲遷徙到北美洲的時間，可能在三疊紀-侏羅紀滅絕事件發生後。
莎拉龍屬 發現與命名
莎拉龍的正模標本（編號TMM 43646-2）是一個關節仍連接、接近完整的身體骨骼與部分頭顱骨，包含：前上頜骨、額骨、方骨、腦殼。根據枕骨基部的癒合狀況，椎體與神經弓的癒合狀況、薦椎與其肋骨的癒合狀況、尾椎與其肋骨的癒合狀況，可知正模標本是個成年個體。除了正模標本，還發現一個部分身體骨骼（編號TMM 43646-3）；一個幾乎完整、但遭到壓碎的頭顱骨與下頜，以及頸椎與尾椎、肱骨末端、股骨幹（編號MCZ 8893）。這三個標本都發現於美國亞利桑那州金春的卡岩塔組（Kayenta Formation）地層，地質年代相當於侏羅紀早期的錫內穆階或普林斯巴階。第三個標本，枕骨基部仍有明顯骨縫，是個未成年個體，過去曾被列為大椎龍的未命名種（Massospondylus sp.）。正模標本與第三個標本的重疊部位，包含：腦殼、方骨、額骨、前上頜骨、頸椎、肱骨，兩者有許多相同特徵，因此第三個標本也被改編入於莎拉龍。
莎拉龍屬 發現與命名
在2011年，古生物學家提摩西·洛伊（Timothy B. Rowe）、漢斯·戴爾特·蘇伊士（Hans- Dieter Sues）、羅伯特·勞茲（Robert R. Reisz）將這些化石進行敘述、命名，模式種是金泉莎拉龍（S. aurifontanalis）。屬名是以Sarah Butler女士為名，她與其丈夫Ernest Butler曾長期贊助德州的藝術活動、科學與醫藥，他們曾替德克薩斯州奥斯丁自然科學中心募集經費；種名是由拉丁文的 aurum（黃金）與 fontanalis（噴泉）所構成，意指化石發現地的亞利桑那州金泉（Gold Spring）。
莎拉龍屬 體徵
與其他蜥腳形亞目相比，莎拉龍的特徵包含：顱底結節與中前孔之間有個低矮骨牆、背椎的神經棘有明顯基部、掌骨數量為2-3-4-2-2、具有恥骨孔。
莎拉龍的身長估計約4.2公尺，體重估計值約為113公斤。莎拉龍的特徵是具有大型而強壯的手掌，研究人員據此假設莎拉龍可能是雜食性動物。
莎拉龍屬 分類
在2011年，其他研究人員提出原始蜥腳形亞目的親緣分支分類法研究，提出莎拉龍的最近親是懦弱龍，兩者都屬於大腳類演化支。
莎拉龍是北美洲所發現、命名的第三種基礎型蜥腳形亞目恐龍；其他兩個分別是：發現於康乃狄克河流域的近蜥龍（跟砂龍恐龍是相同動物），生存於侏羅紀早期、以及發現於猶他州的沙怪龍，生存年代也是侏羅紀早期，但年代較晚。
在早期理論中，原始蜥腳形亞目恐龍起源於三疊紀中期或晚期的南半球，並迅速擴散到盤古大陸的各地區，在各地區從三疊紀晚期持續生存到侏羅紀早期。研究人員提出不同假設，認為三疊紀-侏羅紀滅絕事件使北美洲的多數優勢陸地動物消失後，一群原始蜥腳形亞目恐龍從南美洲遷徙到北美洲。
塔什克普呂
塔什克普呂是土耳其的城鎮，由卡斯塔莫努省負責管轄，位於該國北部，距離首府卡斯塔莫努42公里，面積1,811平方公里，海拔高度553米，2011年人口16,550。
宋智娜
宋智娜（韓語：，1959年9月12日—），大韓民國電視編劇。自MBC廣播電台節目《星光燦爛的夜晚》開始從事編劇工作，1982年的MBC兒童電視劇《老虎老師》是首部擔任電視劇編劇的作品。
埃斯基爾
埃斯基爾是土耳其的城鎮，由阿克薩賴省負責管轄，位於該國中部，面積1,369平方公里，海拔高度932米，主要經濟活動有農業和畜牧業，2011年人口17,599。
左顯記
左顯記創立於1945年，主要產品為蠔油等調味醬料。1994年開拓北美市場，並在紐約成立Accord Food Inc (Accord Foods Inc.961 Lyell Avenue Rochester, NY 14606 U.S.A.)
埃斯皮耶
埃斯皮耶是土耳其的城鎮，由吉雷松省負責管轄，位於該國東北部黑海沿岸，距離首府吉雷松28公里，面積230平方公里，主要經濟活動有旅遊業，2011年人口17,379。
国际海底管理局
国际海底管理局（英語：，縮寫；法語：）是管理国际海底区域及其资源的政府間组织，根据第三次聯合國海洋法會議决议，由167個成員國和歐洲聯盟根據1982年《聯合國海洋法公約》及其執行協定建立，並於1983年3月成立联合国国际海底管理局和国际海洋法法庭筹备委员会，简称海底筹委会。
主要任务是为筹备建立国际海底管理局和国际海洋法法庭而制定有关规则、规章，处理先驱投资者申请登记问题。
1994年11月16日，海洋法公约生效，同年，国际海底管理局在牙买加首都金斯敦宣告正式成立。
国际海底管理局 起源
国际海底管理局是根据1982年 海洋法公约 所设立的国际机构，是《联合国海洋法公约》缔约国组织和控制各国管辖范围以外的国际海底区域内的活动，特别是管理有關海域内资源的组织。
《联合国海洋法公约》第308条规定，管理局大会应在《联合国海洋法公约》生效之日召开。《联合国海洋法公约》在1994年11月16日生效，管理局于当日宣布成立。
直至1999年8月，管理局一共召开了五届十一期的会议。
国际海底管理局 採礦守則
採礦守則是指國際海底管理局為管理國際海底區域之中海洋礦物的勘探，勘探和開採而制訂的一整套全面性規則，條例和程序（界定為超出界限的海底和底土國家管轄權）。
所有規則，條例及程序都是在1982年《聯合國海洋法公約》及1994年《深海採礦實施協定》所確定的框架內制訂的。
迄今為止，管理局已頒布了以下規則或規定：
這些規定包括申請勘探權所需的表格以及勘探合同的標準條款。
這些規定的全套內容將構成“採礦守則”的一部分，連同管理局法律和技術委員會關於指導承包者評估多金屬結核勘探的環境影響的建議。
惠淑帝姬
惠淑帝姬（1105年—1105年），宋徽宗之女，母懿肃贵妃王氏。
宋徽宗崇寧四年（1105年）闰二月二十八日生，六月封惠庆公主，当年十月二十一日夭折，仅一岁。追封鄧国公主。政和三年（1113年），改公主号为帝姬，国号改为二字美名，政和四年（1114年）十二月，追封惠淑帝姬。
康淑帝姬
康淑帝姬（1106年—1108年），宋徽宗皇十女。母懿肃贵妃王氏。
宋徽宗崇寧五年（1106年）八月出生，十一月封康庆公主，大觀二年（1108年）二月，改封承福公主。同月早卒夭折，追封商国公主。政和三年（1113年），改公主号为帝姬，国号改为二字美名，政和四年（1114年）十二月，追封康淑帝姬。
荣淑帝姬
榮淑帝姬（1106年—1110年），宋徽宗第十一女，生母顯肅皇后。
宋徽宗大觀元年（1107年）五月封榮庆公主，大觀二年（1108年）二月，改封懿福公主。公主在大觀四年（1110年）十一月早卒夭折，追封蔡国公主。政和三年（1113年），改公主号为帝姬，国号改为二字美名，政和四年（1114年）十二月，追封榮淑帝姬。
保淑帝姬
保淑帝姬（1106年—1107年），宋徽宗之女。母大王贵妃。
宋徽宗大觀元年（1107年）七月封保庆公主，閏十月公主早卒夭折，追封魯国公主。政和三年（1113年），改公主号为帝姬，国号改为二字美名，政和四年（1114年）十二月，追封保淑帝姬。
VerilogCSP
在集成电路设计中，VerilogCSP是Verilog硬件描述语言的一个宏，目的是为了支持通信顺序进程（CSP）。这个宏可以用来进行同步数字电路的设计。 VerilogCSP还可以描述非线性流水线结构高级别通道的时间属性，正向或负向的时间延迟，最小循环时间等。
SystemVerilog
SystemVerilog是一種在現代積體電路（尤其是超大型積體電路）的设计及验证流程中，由Verilog发展而来的硬體描述、硬件验证统一语言，前一部分基本上是2005年版Verilog的扩展，而后一部分功能验证特性则是一门面向对象程序设计语言。面向对象特性很好地弥补了传统Verilog在芯片验证领域的缺陷，改善了代码可重用性，同时可以让验证工程师在比寄存器传输级更高的抽象级别，以事务而非单个信号作为监测对象，这些都大大提高了验证平台搭建的效率。
SystemVerilog
SystemVerilog已经被采纳为电气电子工程师学会1800-2009标准，并获得了主流电子设计自动化工具供应商的支持。雖無任一個仿真系統能聲稱自己完全支援SystemVerilog语言参考手册（Language Reference Manual, LRM）裡介紹的所有语言结构，要改善测试平台的互操作性相当困难，但推进跨平台兼容性的研究开发工作已在進行中。若干种验证方法学相继出现，以预定义类的形式对测试平台模块进行标准化，如今最新基于SystemVerilog的验证方法学为通用验证方法学。此方法学主要包括开放源代码的类库以及支援可重用测试平台、开发验证IP核的预置格式。许多第三方提供商则开始推出基于SystemVerilog的验证IP核。
SystemVerilog 发展历史
SystemVerilog的历史可以追溯到2002年，当时一个被称为“Superlog”的语言被捐赠给Accellera公司（Verilog的主要支持者）。而Synopsys公司捐赠的OpenVera后来发展成为SystemVerilog中硬件验证语言子集。2005年，SystemVerilog获批成为电气电子工程师学会1800-2005标准。当时Verilog作为电气电子工程师学会1364-2005标准尚独立存在。2009年，SystemVerilog与的Verilog进行了合并，成为了新的电气电子工程师学会1800-2009标准。现在的最新标准是电气电子工程师学会1800-2017标准。
SystemVerilog 设计特性
对于电路设计工程师来说，SystemVerilog中有大部分内容继承自Verilog，但是也提供了一些增强或者改进的特性。下面的章节主要讲述SystemVerilog的这些特性。
SystemVerilog定义了一种新的逻辑型（logic）变量。和Verilog中变量的声明类似，以下代码描述了一个32位的逻辑型变量：
在传统的Verilog中，变量主要分为线网型（wire）和寄存器型（reg）两大类型。只有寄存器型变量才能够在过程代码块中被赋值，而线网型变量只能在过程代码块之外被连续赋值。寄存器型变量的过程赋值和线网型变量的连续赋值使用了完全不同的语句结构。在Verilog中，二者的区分比较微妙，以至于有些专业的工程师也在设计中混淆二者。由于always过程代码块不仅可以描述时序逻辑电路，还可以通过将所有寄存器型的输入变量添加到敏感列表来实现纯组合逻辑电路，因此“寄存器型”这个带有时序逻辑意义的术语本身也令人误会。
SystemVerilog 设计特性
SystemVerilog增强了寄存器型变量的功能，它可以像Verilog中线网型变量一样由线网（如逻辑门等模块的输出）驱动（这样的线网驱动寄存器的方式在Verilog中是不允许的）。这种增强的变量类型被命名为“逻辑型”，从而避免“寄存器型”在字面上给人带来的误会。在大多数情况中，SystemVerilog中的logic可以替代Verilog中的reg和wire，但是如果某个某个变量具有多个驱动源，那么就不能使用logic，而要使用严格的wire来定义它。
这种结构将Verilog中与寄存器、存储器相关的概念进行了合并和扩展。
SystemVerilog 设计特性
在Verilog中，变量名称左边的索引被用来表示二进制变量的位宽，Verilog规定它只能是一维的。而这个数组名称右边的索引用来表示以这种位宽变量组成数组的元素个数，因为数组可以是一维数组、二维数组或者多维数组，因此这个索引可以是任意整数。在SystemVerilog中，如果在变量名称左边指定了由高至低的位宽（如8位信号由[7:0表示），则称之为“压缩数组”（packed array，有时也被译为“合并数组”）。压缩数组本身可以是多维的，即变量名称左边可以具有多维索引。如果在变量名称右边指定了数组尺寸，则称之为“非压缩数组”。下面用示例代码表示了一个由二维压缩数组构成的一维非压缩数组：
SystemVerilog 设计特性
在上面的例子里，非压缩数组数组my_pack具有32个元素（这里用到了类似C语言的数组元素个数表示方法，这里也可以写成Verilog中常见的[31:0]形式）。这个非压缩数组每一个元素本身又是压缩数组，即2个位宽为3的逻辑型变量，因此非压缩数组的每一个元素包含六位二进制数的信息。A variable of packed array type maps 1:1 onto an integer arithmetic quantity.
SystemVerilog引入了枚举型变量，它使用一系列有实际字面意义的名称来代表若干变量。如果不进行专门的数据类型转换，一个枚举型变量不能直接赋值给另一个枚举型的变量。过去在Verilog中描述有限状态机常常使用参数（关键字为parameter），而在SystemVerilog中，使用枚举则更为方便。
SystemVerilog 设计特性
上面的例子使用了typedef来创建了一个新的数据类型名称，从而可以用它来创建一系列枚举数据。枚举类型的数据类型，为位宽为3的逻辑型变量。3位二进制数能够逐一指代六种颜色。使用代码color_t my_color = GREEN;创建了一个新的color_t型变量，其值初始化为六种颜色中的绿色。系统函数$display的作用与Verilog相同，其参数是my_color所属函数name()的返回值，即当前枚举值的ASCII值。
除了基本的逻辑型变量（logic），SystemVerilog正还提供了字节型变量（byte，8位）、短整型变量（shortint，16位）、整型变量（int，32位）和长整型变量（longint64位）、比特型变量（bit，1位，仅具有两个逻辑状态，和逻辑型数据（logic）缺少了未知逻辑（x）和高阻态（z）。使用两态逻辑可以提高逻辑仿真速度）。
SystemVerilog 设计特性
这两种数据类型和C语言中的结构体和联合体类似。在SystemVerilog中，与这两种数据类型相关的增强特性为压缩属性（packed）和标签属性（tagged）。压缩属性使得mapped 1:1 onto a packed array of bits，而标签属性允许跟踪当前联合体中实际被使用的成员。这些结构占据了连续的存储空间。
当条件、选择语句的路径分支较为复杂时，设计人员稍不留意就可能造成代码所描述的行为违背设计人员预计的优先级别，或者被判断的表达式同时满足多个分支条件，从而在仿真过程中产生无规律结果。
为此，SystemVerilog增强了条件、选择语句的功能，允许设计人员为这分支流程的执行设置特别的约束。在多级条件、选择语句中使用关键字unique，可以限定有且只有一个分支可能被执行到，否则将产生一个警告。而关键字priority则指出某些分支路径具有更高的优先级。过去，在传统的Verilog中，要实现类似的功能，设计人员需要在可综合代码中附带一些特殊的注释（例如： // synopsys full_case parallel_case）来通知逻辑综合工具产生正确的分支逻辑电路。不过，注释并非SystemVerilog代码的正式组成部分，它们只是在逻辑综合过程被特定的工具读取，而不严谨的注释很可能造成综合后电路与综合前仿真结果不同的情况。
Verilog中的过程代码可以描述时序逻辑电路，也可以描述组合逻辑电路，这一点容易造成概念的混淆，如果代码不严谨，逻辑综合很可能推断出锁存器，从而产生不符合预期的硬件模型。SystemVerilog除了继续支持原来Verilog中的老式过程结构always、initial，还在原有always基础上针对组合逻辑电路、触发器、锁存器设计了专用的always结构。虽然它们显得不够通用，但是三类硬件模型的差异得到了明确地区分，避免使用老式always时容易出现的锁存器推断：
三种专用的always结构在使用时会检查设计代码是否符合对应硬件模型的特征。如果设计人员在过程代码中描述了与对应硬件不符合的行为（例如在always_latch的敏感列表中添加了定時器訊號的上升沿），那么系统会发出警告。这是SystemVerilog种专用型过程结构的优越之处。
下面的例子使用always_comb来描述组合逻辑电路。在SystemVerilog中无需像Verilog中描述组合逻辑电路那样写出敏感列表，always_comb会告诉逻辑综合工具这是一个组合逻辑电路，因此系统会默认对所有输入信号的电平敏感。在表示组合逻辑电路的过程代码中，一般使用阻塞赋值。
逻辑综合工具会将always_ff推断为同步时序逻辑，这里需要写明对什么信号的什么边缘（上升或者下降）敏感。在表示时序逻辑电路的过程代码中，一般使用非阻塞赋值。
逻辑综合工具还会将always_latch推断为电平敏感的锁存器电路，对输入信号的电平敏感，但是具有信号储存特性：
SystemVerilog 接口
对于小型的设计，Verilog设计人员可以使用端口（port）来简洁地描述模块与外部环境的连接情况。不过，在规模较大、抽象层次较多的设计中，处于枢纽地位的模块往往具有大量连线与外界的连通。为此，SystemVerilog引入了接口（interface）的概念，这个概念一方面减少了大量需要声明的端口名称，另一方面，它还方便设计人员将某些相关信号的通道作为一捆相对独立的线网组，这样就使复杂的设计更加简单、明晰。另一个概念是modport，它显示了逻辑连接的方向。例如：
SystemVerilog 验证特性
随着集成电路集成规模的不断提高，电路的复杂程度也越来越大。在这种情况下，设计验证在整个设计流程中所占用的时间越来越高。SystemVerilog在Verilog基础上增加了许多专门针对验证的特性，使其成为一种杰出的硬件验证语言。下面所提到的验证代码通常是不可综合的，它们的作用主要体现在测试平台的搭建过程中。
SystemVerilog引入了专门的字符串型变量，用关键字string表示，例如：
除了在设计中使用静态数组，SystemVerilog还提供了动态数组、关联数组（associative array）和队列（queues）：
动态数组的行为和非压缩数组相似，不过它允许仿真在运行时动态分配元素个数（正如上面例子所示）。压缩数组部分的元素个数（以往称之为“位宽”）必须在编译的时候已知（通过由常数或常数表达式直接确定），而非压缩数组的动态大小则可以在程序运行时，由另一个运行中的程序变量进行初始化，这样就可以在运行中根据所需改变数组的大小。
SystemVerilog为验证代码的编写提供了面向对象程序设计的模型。
SystemVerilog 验证特性
SystemVerilog支持类的单一继承，即不允许一个类继承多个基本类。需要注意的是, 虽然SystemVerilog里提供了与Java中名称相同的“接口”概念，但是二者的实际含义却大有不同，后者的接口能够提供类似多继承的功能。SystemVerilog的类可以自带配置参数，这种类被称为参数化的类，其功能与C++的模板类似，不过SystemVerilog不支持模板特化和函数模板。SystemVerilog的多态性和C++类似，在子类中被覆盖的同名方法在基本类中必须使用关键字virtual予以标识。SystemVerilog里也有诸如local、protected等关键字来管理数据、方法成员的可见性。默认情况下，所有方法、数据都是对外公有的。类的示例由构造函数new来创建，而析构函数则无需验证人员手动创建。如果某个对象没有被任何句柄指向，系统会自动销毁它。SystemVerilog的类是构建诸如通用验证方法学类库结构的基础。
SystemVerilog 验证特性
可以对定义在类或者其他语句块中的整数型变量进行随机化，从而实现输入激励的随机化，大大降低了验证人员专门定义输入激励的复杂程度。这时使用SystemVerilog构建随机验证平台的重要技术基础。在类数据变量声明前使用rand和randc这两个关键字，可以让系统得知这些变量在随后被随机化。randc产生的随机数序列可以保证变量被再次赋值为同一数值之前，所有可能数值已经被遍历，而声明为rand的变量则在随机化过程中没有这一特性。
SystemVerilog 验证特性
在上面这一例子中，数据成员fcs未被声明为随机变量，而其他几个数据成员则被声明为随机变量。在这个类中，紧随变量声明的是两个对随机化进行约束的语句块，用关键字constraint予以标识。例如第一个名为basic的约束要求数据成员payload[]（动态数组）的大小在46和1500之间（包含这两个边界值）。如果没有专门指定约束条件，则变量在可能的取值范围内的随机化不受任何约束。约束块内代码的写法有若干种，验证人员可以设定更加复杂的约束关系，例如变量取得区间甲内某一数值的权重为某一定值，或者采用多个数学关系式来限定变量的随机化取值。当然，这样做的前提是数学上能够找到数值来同时满足这些约束。SystemVerilog的解析器会尽量产生符合条件的随机数值，但是如果没能够成功，则会返回信息告知验证人员此随机化过程失败。
SystemVerilog 验证特性
每一个SystemVerilog类都有隐含的三个与随机化有关的方法，它们是pre_randomize、randomize和post_randomize。其中，randomize方法为整个随机化过程中最重要的方法，验证人员可以在过程代码中使用该方法来启动变量的随机化过程。注意该方法的主体是事务对象本身（在通用验证方法学中，事务一般是一个具有uvm_sequence_item类型或从它继承而来的类型），因此需要用object.randomize()来调用该方法，每执行一次该方法，该对象所有的随机变量将会得到满足约束条件（如果有）的随机数值。如果随机化失败，例如没能找到满足工程师定义约束的数值，则该方法将返回0表示随机化存在问题。另外两个方法pre_randomize和post_randomize则可以被用来处理随机化主过程之前、之后其他需要的事情。
SystemVerilog 验证特性
此外，SystemVerilog还提供了constraint_mode()和random_mode()这两个方法来在过程代码中控制随机化，前者用于临时开启或关闭一个约束，而后者则用于临时开启或关闭某个变量的随机化。此外还有randomize () with {constraint}方法可以在该方法被调用时将花括号内的约束附加到原有的约束条件之上。
与其他属性规约语言类似，SystemVerilog具有断言这一概念。在整个芯片验证流程中，断言检查器会自动检查定义的属性是否得到满足，如果违背，则会给出警告。SystemVerilog断言由序列（sequences）和属性（properties）两部分组成。属性可以是多个序列在时间上的组合。序列主要用布尔表达式和时序操作符来描述。
SystemVerilog 验证特性
这一简单序列的意思是，信号gnt会在信号req为高电平一个时钟周期后也为高电平，如果这一情况没有发生，则断言失败。SystemVerilog还提供其他一些时序操作符，例如重复、连续操作符。这些操作符可以让验证人员定义更加复杂的变量关系。在上面这个例子中，加入信号req为低电平，则这个断言永远都是失败的。我们可以使用蕴含操作符|=>来表示我们所需的情况。
上面这个例子显示了蕴含（implication）操作符|=>的使用。它左边的子句称为先行算子（antecedent）而右边的子句称为后续算子（consequent）。这时，如果req未满足高电平的要求，则后面的gnt无论是高电平还是低电平，整个断言都默认为成功；但是如果req为高电平，则系统会根据gnt的逻辑值来决定断言是否成功。除此之外，SystemVerilog还支持断言覆盖。
在硬件验证中，功能覆盖是指验证过程中对人工定义信号事件的数据采样和收集过程。功能覆盖率在某种程度上反映了被测设计在所给输入激励下，其内部功能正确与否被检测到的百分比。功能覆盖率越高，一般代表测试越完备。注意功能覆盖率和代码覆盖率不同，后者只是测量被测设计的所有代码有多少在仿真过程中被执行过。功能覆盖的目的是确保设计中的所有边界情况都能够被经历。
SystemVerilog覆盖组（coverage group）内可以定义若干个仓（bins）来储存相关变量取值在其范围内的次数。交叉覆盖（Cross-coverage）则可以进一步获取多个变量分别在某一范围内统计数据。通过使用覆盖组的sample方法，可以启动该覆盖率的统计。
For example:
在这一例子中，验证工程师重点关注广播和单播帧的分布以及负载大小。
一个复杂的测试平台往往是包含多个可重用验证模块的环境，这些模块之间需要互相通信。Verilog的事件（event）允许不同语句块之间相互触发，不过这在复杂测试平台的线程间通信比较繁琐。为此，SystemVerilog提供了两种新的语言要素，信箱（mailbox）和旗语（semaphore）。信箱类似一个参数化的FIFO（意味着其内容的类型是可定义的），可以将符合其类型的对象“装入”和“取出”信箱。而旗语则限定了对同一资源的访问个数。
SystemVerilog 其他与传统Verilog类似概念的比较
除了前面提到的特性，SystemVerilog还在以下方面对传统的Verilog进行了增强：
朱慎䤰
朱慎䤰（1599年12月30日—？），字節甫，號鼎石，山西汾州府汾陽縣人，明朝晉藩慶成王府宗籍，慶成溫穆王朱鍾鎰來孫，天啟二年壬戌科進士，為明朝第一位宗室進士。
朱慎䤰 生平
天啟元年（1621年）辛酉科鄉試第六十九名舉人，天啟二年（1622年）中式壬戌科會試第二百七十三名，三甲第六十名進士。刑部觀政。天啟三年（1623年），授中書舍人。天啟七年（1627年），升禮部精膳司主事。
崇禎二年（1629年），閑住。
朱慎䤰 家族
曾祖朱表桐，誥封輔國將軍。祖父朱知𧣌，誥封奉國將軍。父朱新䐍，母李氏。兄朱慎⿰雲金，誥封輔國中尉；朱慎⿰？金，誥封輔國中尉；朱慎鍙，宗生。弟朱慎鏾。娶王氏。
朱慎䤰 參考文獻
「明代宗科進士輯考」，陳長文，2009年5月第26卷第3期，《魯東大學學報》(哲學社會科學版)
香港公務員房屋資助制度
香港公務員房屋資助制度，是香港公務員的員工福利之一。按照資助方式分類，有關津貼大致可分為公務員宿舍、合作社建屋、各類現金資助、首期貸款，以及公務員申請公營房屋配額五類。有關房屋津貼的事務，主要由公務員事務局轄下的「住屋資助及編制政策部」負責，並與有關的政府部門合作。
香港公務員房屋資助制度 津貼類別
歷來的香港公務員房屋津貼可分為五種：
現金資助：在新、舊制度中，現金資助分為三類：
居所資助計劃/自置居所資助計劃：供2000年前入職的公務員以「實報實銷」方式領取資助，以償還樓宇按揭，為期10年。
自行租屋津貼：1990年前入職、薪金為34點或以上的公務員，可以「實報實銷」方式領取租金資助，但需向政府繳交薪金7.5%作為租金。
非實報實銷現金資助計劃：供2000年後入職的公務員，在任職期間領取按資助表規定的定額資助。與舊制一樣，此等資助為期10年，而且資助條件仍以總薪級第34點作分水嶺。