ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
SystemVerilog引入了枚舉型變量，它使用一系列有實際字面意義的名稱來代表若干變量。如果不進行專門的數據類型轉換，一個枚舉型變量不能直接賦值給另一個枚舉型的變量。過去在Verilog中描述有限狀態機常常使用參數（關鍵字為parameter），而在SystemVerilog中，使用枚舉則更為方便。
typedef enum logic 2:0 {
RED, GREEN, BLUE, CYAN, MAGENTA, YELLOW
} color_t;
color_t   my_color = GREEN;
initial $display("The color is %s", my_color.name);
上面的例子使用了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）。使用兩態邏輯可以提高邏輯仿真速度）。
這兩種數據類型和C語言中的結構體和聯合體類似。在SystemVerilog中，與這兩種數據類型相關的增強特性為壓縮屬性（packed）和標簽屬性（tagged）。壓縮屬性使得mapped 1:1 onto a packed array of bits，而標簽屬性允許跟蹤當前聯合體中實際被使用的成員。這些結構占據了連續的存儲空間。
typedef struct packed {
bit 10:0  expo;
bit         sign;
bit 51:0  mant;
FP     zero = 64'b0;
當條件、選擇語句的路徑分支較為復雜時，設計人員稍不留意就可能造成代碼所描述的行為違背設計人員預計的優先級別，或者被判斷的表達式同時滿足多個分支條件，從而在仿真過程中產生無規律結果。
為此，SystemVerilog增強了條件、選擇語句的功能，允許設計人員為這分支流程的執行設置特別的約束。在多級條件、選擇語句中使用關鍵字unique，可以限定有且只有一個分支可能被執行到，否則將產生一個警告。而關鍵字priority則指出某些分支路徑具有更高的優先級。過去，在傳統的Verilog中，要實現類似的功能，設計人員需要在可綜合代碼中附帶一些特殊的注釋（例如： // synopsys full_case parallel_case）來通知邏輯綜合工具產生正確的分支邏輯電路。不過，注釋并非SystemVerilog代碼的正式組成部分，它們只是在邏輯綜合過程被特定的工具讀取，而不嚴謹的注釋很可能造成綜合后電路與綜合前仿真結果不同的情況。
Verilog中的過程代碼可以描述時序邏輯電路，也可以描述組合邏輯電路，這一點容易造成概念的混淆，如果代碼不嚴謹，邏輯綜合很可能推斷出鎖存器，從而產生不符合預期的硬件模型。SystemVerilog除了繼續支持原來Verilog中的老式過程結構always、initial，還在原有always基礎上針對組合邏輯電路、觸發器、鎖存器設計了專用的always結構。雖然它們顯得不夠通用，但是三類硬件模型的差異得到了明確地區分，避免使用老式always時容易出現的鎖存器推斷：
* always_comb：用于組合邏輯電路（相當于Verilog中對所有輸入變量電平敏感的always，但always_comb無需手動列出所有輸入變量，系統會自動識別）；
* always_ff：用于觸發器及相關的時序邏輯電路（相當于Verilog中對某個或某幾個信號有效跳變沿敏感、并帶有信號儲存特性的always）；
* always_latch：用于鎖存器級相關的時序邏輯電路（相當于Verilog中對某個或某幾個信號電平敏感、并帶有信號儲存特性的的always）。
三種專用的always結構在使用時會檢查設計代碼是否符合對應硬件模型的特征。如果設計人員在過程代碼中描述了與對應硬件不符合的行為（例如在always_latch的敏感列表中添加了定時器訊號的上升沿），那么系統會發出警告。這是SystemVerilog種專用型過程結構的優越之處。
下面的例子使用always_comb來描述組合邏輯電路。在SystemVerilog中無需像Verilog中描述組合邏輯電路那樣寫出敏感列表，always_comb會告訴邏輯綜合工具這是一個組合邏輯電路，因此系統會默認對所有輸入信號的電平敏感。在表示組合邏輯電路的過程代碼中，一般使用阻塞賦值。
always_comb begin
tmp = b * b - 4 * a * c;
no_root = (tmp
邏輯綜合工具會將always_ff推斷為同步時序邏輯，這里需要寫明對什么信號的什么邊緣（上升或者下降）敏感。在表示時序邏輯電路的過程代碼中，一般使用非阻塞賦值。
always_ff @(posedge clk)
邏輯綜合工具還會將always_latch推斷為電平敏感的鎖存器電路，對輸入信號的電平敏感，但是具有信號儲存特性：
always_latch
if (en) q
對于小型的設計，Verilog設計人員可以使用端口（port）來簡潔地描述模塊與外部環境的連接情況。不過，在規模較大、抽象層次較多的設計中，處于樞紐地位的模塊往往具有大量連線與外界的連通。為此，SystemVerilog引入了接口（interface）的概念，這個概念一方面減少了大量需要聲明的端口名稱，另一方面，它還方便設計人員將某些相關信號的通道作為一捆相對獨立的線網組，這樣就使復雜的設計更加簡單、明晰。另一個概念是modport，它顯示了邏輯連接的方向。例如：
interface intf;
logic a;
logic b;
modport in (input a, output b);
modport out (input b, output a);
endinterface
module top;
intf i ;
u_a m1 (.i1(i));
u_b m2 (.i2(i));
module u_a (intf.in i1);
module u_b (intf.out i2);
隨著集成電路集成規模的不斷提高，電路的復雜程度也越來越大。在這種情況下，設計驗證在整個設計流程中所占用的時間越來越高。SystemVerilog在Verilog基礎上增加了許多專門針對驗證的特性，使其成為一種杰出的硬件驗證語言。下面所提到的驗證代碼通常是不可綜合的，它們的作用主要體現在測試平臺的搭建過程中。
SystemVerilog引入了專門的字符串型變量，用關鍵字string表示，例如：
string s1 = "Hello";
string s2 = "world";
string p = ".?!";
string s3 = {s1, ", ", s2, p2}; // 字符串的拼接
$display("%d %s", s3.len, s3); // 仿真結果顯示為：“13 Hello, world!”
除了在設計中使用靜態數組，SystemVerilog還提供了動態數組、關聯數組（associative array）和隊列（queues）：
int cmdline_elements; // # elements for dynamic array
int da;       // 動態數組
int aiint;    // 以整數位索引的關聯數組
int asstring; // 以字符串為索引的關聯數組
int qa$;      // 隊列
initial begin
cmdline_elements = 16;
da = new cmdline_elements ; // 為da數組分配16個元素
動態數組的行為和非壓縮數組相似，不過它允許仿真在運行時動態分配元素個數（正如上面例子所示）。壓縮數組部分的元素個數（以往稱之為“位寬”）必須在編譯的時候已知（通過由常數或常數表達式直接確定），而非壓縮數組的動態大小則可以在程序運行時，由另一個運行中的程序變量進行初始化，這樣就可以在運行中根據所需改變數組的大小。
SystemVerilog為驗證代碼的編寫提供了面向對象程序設計的模型。
SystemVerilog支持類的單一繼承，即不允許一個類繼承多個基本類。需要注意的是, 雖然SystemVerilog里提供了與Java中名稱相同的“接口”概念，但是二者的實際含義際ha卻大有不同，后者的接口能夠提供類似多繼承的功能。SystemVerilog的類可以自帶配置參數，這種類被稱為參數化的類，其功能與C++的模板類似，不過SystemVerilog不支持模板特化和函數模板。SystemVerilog的多態性和C++類似，在子類中被覆蓋的同名方法在基本類中必須使用關鍵字virtual予以標識。SystemVerilog里也有諸如local、protected等關鍵字來管理數據、方法成員的可見性。默認情況下，所有方法、數據都是對外公有的。類的示例由構造函數new來創建，而析構函數則無需驗證人員手動創建。如果某個對象沒有被任何句柄指向，系統會自動銷毀它。SystemVerilog的類是構建諸如通用驗證方法學類庫結構的基礎。
virtual class Memory;
virtual function bit 31:0 read(bit 31:0 addr); endfunction
virtual function void write(bit 31:0 addr, bit 31:0 data); endfunction
endclass
class SRAM #(parameter AWIDTH=10) extends Memory;
bit 31:0 mem 1
可以對定義在類或者其他語句塊中的整數型變量進行隨機化，從而實現輸入激勵的隨機化，大大降低了驗證人員專門定義輸入激勵的復雜程度。這時使用SystemVerilog構建隨機驗證平臺的重要技術基礎。在類數據變量聲明前使用rand和randc這兩個關鍵字，可以讓系統得知這些變量在隨后被隨機化。randc產生的隨機數序列可以保證變量被再次賦值為同一數值之前，所有可能數值已經被遍歷，而聲明為rand的變量則在隨機化過程中沒有這一特性。
class eth_frame;
rand bit 47:0 dest;
rand bit 47:0 src;
rand bit 15:0 type;
rand byte       payload;
bit 31:0      fcs;
rand bit 31:0 fcs_corrupt;
constraint basic {
payload.size inside {46:1500};
constraint good_fr {
fcs_corrupt == 0;
在上面這一例子中，數據成員fcs未被聲明為隨機變量，而其他幾個數據成員則被聲明為隨機變量。在這個類中，緊隨變量聲明的是兩個對隨機化進行約束的語句塊，用關鍵字constraint予以標識。例如第一個名為basic的約束要求數據成員payload（動態數組）的大小在46和1500之間（包含這兩個邊界值）。如果沒有專門指定約束條件，則變量在可能的取值范圍內的隨機化不受任何約束。約束塊內代碼的寫法有若干種，驗證人員可以設定更加復雜的約束關系，例如變量取得區間甲內某一數值的權重為某一定值，或者采用多個數學關系式來限定變量的隨機化取值。當然，這樣做的前提是數學上能夠找到數值來同時滿足這些約束。SystemVerilog的解析器會盡量產生符合條件的隨機數值，但是如果沒能夠成功，則會返回信息告知驗證人員此隨機化過程失敗。
每一個SystemVerilog類都有隱含的三個與隨機化有關的方法，它們是pre_randomize、randomize和post_randomize。其中，randomize方法為整個隨機化過程中最重要的方法，驗證人員可以在過程代碼中使用該方法來啟動變量的隨機化過程。注意該方法的主體是事務對象本身（在通用驗證方法學中，事務一般是一個具有uvm_sequence_item類型或從它繼承而來的類型），因此需要用object.randomize來調用該方法，每執行一次該方法，該對象所有的隨機變量將會得到滿足約束條件（如果有）的隨機數值。如果隨機化失敗，例如沒能找到滿足工程師定義約束的數值，則該方法將返回0表示隨機化存在問題。另外兩個方法pre_randomize和post_randomize則可以被用來處理隨機化主過程之前、之后其他需要的事情。
此外，SystemVerilog還提供了constraint_mode和random_mode這兩個方法來在過程代碼中控制隨機化，前者用于臨時開啟或關閉一個約束，而后者則用于臨時開啟或關閉某個變量的隨機化。此外還有randomize  with {constraint}方法可以在該方法被調用時將花括號內的約束附加到原有的約束條件之上。
rand bit        corrupted_frame;
constraint one_src_cst {
src == 48'h1f00
eth_frame my_frame;
my_frame.one_src_cst.constraint_mode(0); //關閉one_src_cst約束，之后該變量的隨機化將不再受該約束限制
my_frame.type.random_mode(0);        // 關閉type變量的約束，之后的隨機化將不會給該變量賦予隨機數值
my_frame.randomize;
與其他屬性規約語言類似，SystemVerilog具有斷言這一概念。在整個芯片驗證流程中，斷言檢查器會自動檢查定義的屬性是否得到滿足，如果違背，則會給出警告。SystemVerilog斷言由序列（sequences）和屬性（properties）兩部分組成。屬性可以是多個序列在時間上的組合。序列主要用布爾表達式和時序操作符來描述。
sequence S1;
@(posedge clk) req ##1 gnt;
endsequence
這一簡單序列的意思是，信號gnt會在信號req為高電平一個時鐘周期后也為高電平，如果這一情況沒有發生，則斷言失敗。SystemVerilog還提供其他一些時序操作符，例如重復、連續操作符。這些操作符可以讓驗證人員定義更加復雜的變量關系。在上面這個例子中，加入信號req為低電平，則這個斷言永遠都是失敗的。我們可以使用蘊含操作符|=>來表示我們所需的情況。
property req_gnt;
@(posedge clk) req |=> gnt;
endproperty
assert_req_gnt: assert property (req_gnt) else $error("req not followed by gnt.");
上面這個例子顯示了蘊含（implication）操作符|=>的使用。它左邊的子句稱為先行算子（antecedent）而右邊的子句稱為后續算子（consequent）。這時，如果req未滿足高電平的要求，則后面的gnt無論是高電平還是低電平，整個斷言都默認為成功；但是如果req為高電平，則系統會根據gnt的邏輯值來決定斷言是否成功。除此之外，SystemVerilog還支持斷言覆蓋。
在硬件驗證中，功能覆蓋是指驗證過程中對人工定義信號事件的數據采樣和收集過程。功能覆蓋率在某種程度上反映了被測設計在所給輸入激勵下，其內部功能正確與否被檢測到的百分比。功能覆蓋率越高，一般代表測試越完備。注意功能覆蓋率和代碼覆蓋率不同，后者只是測量被測設計的所有代碼有多少在仿真過程中被執行過。功能覆蓋的目的是確保設計中的所有邊界情況都能夠被經歷。
SystemVerilog覆蓋組（coverage group）內可以定義若干個倉（bins）來儲存相關變量取值在其范圍內的次數。交叉覆蓋（Cross-coverage）則可以進一步獲取多個變量分別在某一范圍內統計數據。通過使用覆蓋組的sample方法，可以啟動該覆蓋率的統計。
// Definitions as above
covergroup cov;
coverpoint dest {
bins bcast1 = {48'hFFFFFFFFFFFF};
bins ucast1 = default;
coverpoint type {
bins length16 = { 0:1535 };
bins typed16 = { 1536:32767 };
bins other1 = default;
psize: coverpoint payload.size {
bins size = { 46, 47:63, 64, 65:511, 512:1023, 1024:1499, 1500 };
sz_x_t: cross type, psize;
endgroup
在這一例子中，驗證工程師重點關注廣播和單播幀的分布以及負載大小。
一個復雜的測試平臺往往是包含多個可重用驗證模塊的環境，這些模塊之間需要互相通信。Verilog的事件（event）允許不同語句塊之間相互觸發，不過這在復雜測試平臺的線程間通信比較繁瑣。為此，SystemVerilog提供了兩種新的語言要素，信箱（mailbox）和旗語（semaphore）。信箱類似一個參數化的FIFO（意味著其內容的類型是可定義的），可以將符合其類型的對象“裝入”和“取出”信箱。而旗語則限定了對同一資源的訪問個數。
除了前面提到的特性，SystemVerilog還在以下方面對傳統的Verilog進行了增強：
* 過程賦值操作符（包括阻塞和非阻塞）能夠直接對數組進行操作
* 端口（輸入、輸出、雙向）可以支持更多的數據類型，包括結構體、枚舉、實數等
* For循環內部可以自動定義變量，并為它添加了continue和break功能
* 在原有的while循環基礎上添加了do-while循環
* 可以使用關鍵字const來聲明常量
* 預處理器的字符串宏的功能得到增強
* 除了原有的并發過程語句塊fork/join結構，還提供join_none和join_any兩種代碼塊結尾方式
* 任務的端口能夠被聲明為引用類型（ref），這使得任務能夠直接獲取任務參數自身（引用傳遞），而不是一個臨時復制的數值（值傳遞）。因此，對輸入方向的形式參數的操作會直接改變對應的實際參數。
* 函數能夠被聲明為空類型void，即不返回任何數值
* 參數（parameters）可以被聲明為任何類型，包括用戶使用typedef定義的新類型
* 提供SystemVerilog DPI（即SystemVerilog直接編程接口）來連接以C語言、C++編寫的模塊
* SystemVerilog Assertions Handbook, 2nd Edition - http://SystemVerilog.us
* A Pragmatic Approach to VMM Adoption - http://SystemVerilog.us
*  1800-2009 IEEE Standard for System Verilog-Unified Hardware Design, Specification, and Verification Language
* SystemVerilog 3.1a Language Reference Manual - 2004 draft version, which is before IEEE 1800-2005 standard.
*  SystemVerilog Tutorial
*  IEEE P1800 – Working group for SystemVerilog
* Sites used before IEEE 1800-2005
**  SystemVerilog official website
**  SystemVerilog Technical Committees
*  Verilog AUTOs - An open-source meta-comment system to simplify maintaining Verilog code.
朱慎?，字節甫，號鼎石，晉藩山西汾州府慶成王府宗籍，明朝政治人物，天啓二年（1622年）壬戌科進士。是明代第一位宗室進士。
治《詩經》。天啟元年（1621年），辛酉科鄉試第六十九名。天啟二年（1622年），壬戌科會試第二百七十三名，殿試第三甲第六十名。刑部觀政。天啟三年（1623年），授中書舍人。天啟七年（1627年），升禮部精膳司主事。
崇禎二年（1629年），閒住。
曾祖表桐，誥封輔國將軍。祖知??，誥封奉國將軍。娶王氏。
「明代宗科進士輯考」，陳長文，2009年5月第26卷第3期，《魯東大學學報》(哲學社會科學版)
香港公務員房屋資助制度，是香港公務員的員工福利之一。按照資助方式分類，有關津貼大致可分為公務員宿舍、合作社建屋、各類現金資助、首期貸款，以及公務員申請公營房屋配額五類。有關房屋津貼的事務，主要由公務員事務局轄下的「住屋資助及編制政策部」負責，並與有關的政府部門合作。
歷來的香港公務員房屋津貼可分為五種：
*公務員宿舍：主要分為非部隊宿舍、紀律部隊宿舍，以及高級公務員宿舍三類。
*建屋合作社：供本地公務員自行組建合作社，向政府申請撥地興建宿舍。與一般公務員宿舍不同，此制度下的單位由他們共同持有，並可於合作社解散及補地價後轉為私人住宅。
*現金資助：在新、舊制度中，現金資助分為三類：
**居所資助計劃/自置居所資助計劃：供2000年前入職的公務員以「實報實銷」方式領取資助，以償還樓宇按揭，為期10年。
**自行租屋津貼：1990年前入職、薪金為34點或以上的公務員，可以「實報實銷」方式領取租金資助，但需向政府繳交薪金7.5%作為租金。
**非實報實銷現金資助計劃：供2000年後入職的公務員，在任職期間領取按資助表規定的定額資助。與舊制一樣，此等資助為期10年，而且資助條件仍以總薪級第34點作分水嶺。
*首期貸款：只適用於2000年前入職的公務員，在置業時向政府借款以支付首期，並可分10年歸還。
*公屋配額：供任職滿兩年的基層公務員在申請公屋時獲得指定配額，以更快獲編配公屋，而且可於離職或退休後繼續居住。此外，基層公務員亦可在申請居屋時獲相關綠表配額，但申請人數偏少（大概只及申請公屋配額的5%）。
香港公務員的住屋資助制度，早於1950年代已經開始實施。當時，政府除了會向英國駐港公務員提供宿舍，亦容許本地公務員組建建屋合作社，以興建由他們共同持有的政府宿舍。
到了1960-70年代，基層公務員住屋資助制度亦開始建立：當時，房協撥出了漁光邨和明華大廈部分單位，以供無力置業的基層公務員優先入住。其後，香港屋宇建設委員會亦為他們申請政府廉租屋或廉租屋邨，劃定了每年15%的配額，以保障他們的住屋權益。至此，一套完整的公務員住屋資助體系大致成形。
由於公務員本地化政策，導致外地派駐香港的公務員人數減少，加上成本效益的考量，公務員住屋資助政策的形式於1980-2000年代逐步改變，而是次轉變大致可分為三個階段。
首階段改革於約1980年代中開始。由於公務員合作社房屋（公務員樓）的管理複雜，加上政府在此投入大量土地成本（有關宿舍地價為市價的三分之一，而且合作社可向政府申請貸款，以清付地價及建築費；而由於補地價難度較高，不少業主因而不願將「公務員樓」改為私人住宅，政府亦因此難以收回土地成本），此計劃於1980年代中終止。與此同時，政府改為在各區購入不少豪宅，以滿足「公務員樓」政策取消後的公務員住屋需求。
第二階段改革於1990年開始。當時，政府規定自同年10月1日起聘用的高級公務員不能申請宿舍，並以「實報實銷」的自置房屋或租屋津貼替代。由此，公務員房屋資助體制，開始走向以現金資助為主的道路。
而第三階段改革則與2000年6月推出的「公務員改革」政策一併實施，形成現今的公務員房屋資助制度。在此制度中，租屋及自置房屋的資助合二為一，並改為按「資助表」發放定額津貼；此外，自同年6月1日起受聘的公務員當中，只有紀律部隊人員才可申請宿舍。
自從1990年及2000年兩輪的公務員房屋資助制度改革後，合資格入住宿舍的公務員數目減少，不少宿舍因而騰空。按照1996年訂立的相關規定，被評定為過剩的高級公務員宿舍理應盡快出售。但是，政府多年來被指出售高級公務員宿舍的速度偏慢，而其他過剩宿舍資源亦未有善用。
目前，所有即將退休的紀律部隊員佐級人員，均可申請公屋或居屋綠表配額。但是，由於輪候人數不斷增加，而配額並未相應增加，導致相關人員輪候公營房屋的時間不斷延長；由於他們可以在派樓後才遷出宿舍，此問題亦影響新入職的員佐級人員輪候宿舍的進度。
* 香港公務員利用「財技」領租津，早年甚普遍
《耶穌美名歌》是美國傳教士富善根據中國民歌《茉莉花》的曲調而寫的一首基督教圣詩，第二至四節是唐守臨所寫。本詩在1911年就已選入《頌主圣名》。
第一段歌詞：
美哉！圣哉！耶穌名，鮮於奇花最香馨，早也暮也我常念，欣然傳出使人聽。奇哉！奇哉！耶穌恩，救主愛罪人，臨于凡間舍已身。
磷化鈉（Na3P）是一種紅色固體，是由鈉離子和磷離子構成的無機化合物。Na3P能夠提供非常活潑的磷離子。它用作磷化劑，制備磷化氫和農藥。
除了Na3P，鈉還已知多種磷化物，如NaP、Na3P7、Na3P11、NaP7和NaP15等。
磷化鈉可由磷和金屬鈉的化合反應制得。
磷化鈉遇水立刻反應，生成劇毒且可燃的氣體。
: Na3P + 3H2O → 3NaOH + PH3↑
萊氏龍屬（學名：''Leyesaurus''）是蜥腳形亞目大椎龍科恐龍的一屬，生存於侏羅紀早期的南美洲。萊氏龍的發現，顯示南半球的大椎龍科已具有高度多樣性，比過去研究的推論結果還要多樣性。
萊氏龍的已發現化石部位
萊氏龍的頭顱骨上側
萊氏龍的正模標本（編號PVSJ&nbsp;706）是一個大部分的頭顱骨、關節仍連接的下頜、以及部分身體骨骼。頭顱骨缺少：左右鼻骨、左前額骨、左上頜骨中段、左下頜的前段、枕骨上骨、外枕骨、側蝶骨、以及犁骨。身體骨骼則包含：多節前段頸椎、一節前段尾椎、一節中段尾椎、左肩胛骨近端、肩胛鳥喙骨、肱骨、缺少近端與末端的右恥骨、左右坐骨的近端，以及部分左腳掌，包含：第三與第四跗骨、缺少末端的第三蹠骨、完整的第四與第五蹠骨、第一腳趾的第一節趾骨、第二腳趾的第二節趾骨、以及第四腳趾的第二節趾骨。
化石發現於阿根廷西北部的聖胡安省東部的Balde de Leyes鎮，屬於Quebrada del Barro組地層的最上層，根據相同地層組發現的大椎龍科化石，該地層年代相當於侏羅紀早期。
在2011年，古生物學家Cecilia Apaldetti、迪亞戈·玻爾（Diego Pol）等人將化石進行敘述、命名，模式種是馬拉耶斯萊氏龍（''L. marayensis''）。屬名是以Balde de Leyes鎮的Leyes家族為名，他們發現這個恐龍化石，並通知聖胡安博物館的古生物學家；種名則是以化石發現處的Marayes-El Carrizal盆地為名。
萊氏龍是種原始蜥腳形亞目恐龍，研究人員列出兩個自衍徵：上頜骨的上升突與齒槽邊緣形成明顯的50度銳角、頸椎相當長，第六頸椎椎體的長度/寬度比例大於五。
除此之外，研究人員還列出萊氏龍的許多特徵：上頜骨的上升突筆直，側面有垂直稜脊、上頜牙齒的唇側有明顯的凸塊、頸椎有球根狀的神經棘、骨骺短，長度是後關節突的三分之二、第三蹠骨的近側關節呈架狀，並稍微偏向。
萊氏龍的頭顱骨長度為18公分，完整身長估計約2.5公尺。
萊氏龍的最近親是遠食龍，兩者都被歸類於大椎龍科。根據種系發生學分析，萊氏龍是種原始蜥腳形亞目恐龍。阿根廷的原始蜥腳形亞目化石，發現於伊斯基瓜拉斯托、El Tranquilo、聖胡安省的Mogna地區。阿根廷目前已發現多樣化的化石紀錄，包含數種原始蜥腳形亞目恐龍，例如：濫食龍、顏地龍、數種大椎龍科。大椎龍科是群原始蜥腳形亞目恐龍，化石發現於盤古大陸的許多地區，大部分發現於南半球。
研究人員命名萊氏龍時，也提出種系發生學分析。不同於近年研究，他們提出北半球的莎拉龍與沙怪龍不類似典型大椎龍科。萊氏龍的發現，顯示南半球的大椎龍科已經有高度多樣性，而且比盤古大陸其他地區的大椎龍科還具多樣性。此外，萊氏龍與大椎龍非常類似，顯示Quebrada del Barro組地層的地質年代，應該比過去估計值還年輕。
香港免費電視臺聯合轉播體育賽事協議，是指香港無線電視及亞洲電視的一個商業協議，主要針對夏季奧林匹克運動會、亞洲運動會及世界杯足球賽的聯合轉播安排，該協議已於2012年倫敦奧運會後完結。
1984年7月，無線電視總經理陳慶祥及亞洲電視董事局主席邱德根達成口頭協議，兩家電視臺將聯合洽購1988年漢城奧運會香港地區播映權。但播映權由體運傳訊奪得，但由於體運傳訊並非媒體，無法自行播放，所以與亞洲電視合作，惟亞視於1986年5月宣佈奪得漢城奧運會香港獨家轉播權，引起香港無綫不滿。
為此，無綫在87年元旦入稟英國法院，指亞視違反與無線達成的口頭協議，並以公眾利益為由投訴亞視壟斷播映權。雖香港高等法院原訟庭當時裁定無綫一方敗訴，但上訴庭三位按察司一致認為，兩家電視臺的口頭協議不只是純粹君子協定、也是商業協議，故裁定此口頭協議具有法律約束力，並改判無綫勝訴。儘管亞視最終就裁決向英國樞密院申請上訴，但仍以失敗告終。
為免再引起爭端，據悉，無綫和亞視的巨頭事後達成不明文協議，承諾日後任何國際大型節目，兩家電視臺將一同播放。
由於無線及亞視同為亞太廣播聯盟的會員，自1988年漢城奧運會後，兩家電視臺均透過亞太廣播聯盟代為競投奧運會、亞運會及國際足協世界盃的香港地區播映權，再由亞太廣播聯盟作出轉播權分配。
然而，香港有線電視經常以高價競投轉播權以干擾此轉播安排，使無線及亞視不能完全播映體育賽事。
香港無綫電視曾取得2016年夏季奧林匹克運動會的獨家轉播權，但由於無綫電視在取得轉播權之後出現嚴重虧損，而宣布放棄競逐東京奧運轉播權，而香港有線電視則無意競逐。至於Now TV因為轉播權的費用達天文數字亦宣布放棄，成為香港轉播多屆奧運以來首次沒有免費電視臺投得今屆奧運獨家轉播權。
2021年5月11日，香港特別行政區行政長官林鄭月娥宣佈，政府將斥資低於1.2億元購入東京奧運會的香港電視播映權，以供持牌免費及收費電視臺轉播奧運賽事，惟商營電視臺須自行承擔電視節目製作費用及播映奧運宣傳節目，亦須播映香港代表團運動員所參與之賽事，及將賽事片段提供予香港電臺播映。東京殘奧會方面，特區政府與五間電視臺達成協議，要求電視臺每日播放東京殘疾人奧運會精華片段，以及直播殘奧會的開幕禮和閉幕禮。
金星，又稱間金星，曾稱作晨星，是五子棋的一種開局名稱，日文作：Kinsei，英文為D7（Direct7）。直止打法第七局，間打第六局。
何塞·奧迪戈薩（，），是一名巴拉圭足球運動員，現在效力于日本職業足球聯賽球隊甲府風林。
奧迪戈薩出道于美洲太陽的青訓系統，并被租借到多家俱樂部效力，2012年7月，他加盟中超球會山東魯能泰山。 但2012賽季結束后，奧迪戈薩就被山東魯能解約。2013年3月，日本職業足球甲級聯賽（J1聯賽）升班馬甲府風林宣布和奧迪戈薩簽約，合同期到2014年1月1日。
奧迪戈薩是巴拉圭U23隊的成員，2010年，奧迪戈薩首次入選巴拉圭國家足球隊。
德魯斯拉龍屬（學名：''Drusilasaura''）是蜥腳形亞目蜥腳下目泰坦巨龍類恐龍的一屬，可能屬於隆柯龍類演化支，生存於白堊紀晚期的南美洲。
在21世紀初期，古生物學家馬塞羅·特赫多爾（Marcelo Tejedor）在阿根廷巴塔哥尼亞聖克魯斯省尋找哺乳動物化石時，在一個私人牧場發現一些蜥腳類恐龍化石。當地古生物博物館與國立巴塔哥尼亞大學組成聯合挖掘團隊，將化石挖掘出來。德魯斯拉龍的正模標本（編號MPM-PV&nbsp;2097/1到2097/19）是一個部分身體骨骼，包含：四節背椎、一節薦椎、六節尾椎、左肩胛骨、肋骨碎片、以及其他無法鑑定部位的骨頭碎片。該挖掘地點屬於Bajo Barreal組的上層，地質年代屬於白堊紀晚期的森諾曼階到土侖階。
在2011年，阿根廷古生物學家塞薩爾·納瓦瑞提（César Navarrete）等人將化石進行敘述、命名，模式種是德塞亞多德魯斯拉龍（''D. deseadensis''）。屬名是以牧場擁有家庭的新生女兒Drusila Ortiz de Zárate為名，並採用雌性字根的''~saura''；種名則是以聖克魯斯省的德塞亞多河（Río Deseado）為名。
研究人員列出德魯斯拉龍的許多獨特特徵，大多數蜥腳類恐龍有類似的外形、很少發現完整化石，研究人員常利用脊椎的椎板以鑑定、區別蜥腳類恐龍的不同物種。德魯斯拉龍的前段背椎有兩個粗壯的棘骨突椎板，分別位於前後，中間由長而深的凹處隔開。前段背椎後緣的椎管周圍有小型環狀椎版。最後一節薦椎的神經棘頂端附近，有個棘後椎版。至少前五節尾椎的神經棘頂端附近，有個棘前椎板。前段尾椎具有結節後椎骨關節突椎板。至少前四節尾椎具有腹側孔。至少前四節尾椎的前椎骨關節突結節，接觸棘前椎板。
如同其他泰坦巨龍類恐龍，德魯斯拉龍是種大型、四足、草食性恐龍，具有長頸部、長尾巴。德魯斯拉龍是種大型蜥腳類恐龍，肩胛骨長度為143公分，比門多薩龍的肩胛骨還大了30%。研究人員參考其近親，推測德魯斯拉龍的身長超過20公尺，體重估計值介於20到30公噸。
研究人員在命名德魯斯拉龍時，將牠們歸類於泰坦巨龍類，可能屬於隆柯龍類演化支。如果屬實，德魯斯拉龍將是生存年代最早的隆柯龍類恐龍。隆柯龍類還包含富塔隆柯龍、門多薩龍、可能還有普爾塔龍，化石都發現於南美洲的白堊紀晚期地層。
橫紋魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於東大西洋區，從茅利塔尼亞至納米比亞海域，棲息深度可達75公尺，體長可達205公分，棲息在沿海，會進入河口及潟湖，屬肉食性，以魚類、甲殼類為食，可做為食用魚，具利齒，易造成創傷。
《命令與征服：泰伯利亞聯盟》是一款由EA Phenomic開發，美國藝電發行的即時戰略類網頁游戲。這款游戲在2012年3月15日開始公測，并在2012年5月24日正式投入運營。游戲需要EA的Origin賬號。
這款網頁游戲沒有故事情節，玩家的任務目標是占領游戲地圖的中央。
每位玩家在游戲一開始需要在世界地圖中選一塊區域來建立他的第一個基地。這個基地會被保護一周不被其它玩家攻擊。玩家可以建設基地，以基地為中心進行作戰。這款游戲有多種資源可供使用，如綠礦（Tiberium）、藍礦（Crystal）、電力（Power）等。綠礦用于建造建筑，藍礦用于建造步兵、坦克與空軍，電力在建造建筑與軍隊中都需要使用。研究點數(Research Points)用于研究新的軍隊與建筑。
在游戲初期，玩家與Forgotten陣營作戰。若玩家的基地被別的玩家所殲滅，那么他將損失資源，而且需要重新選擇基地位置并修復基地。
銀魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於東太平洋區，從美國阿拉斯加至墨西哥加利福尼亞半島海域，棲息深度可達18公尺，體長可達145公分，棲息在沿海，會進入海灣，屬肉食性，以魚類為食，可做為食用魚及遊釣魚，具利齒，易造成創傷。
康爾韞，別名康我待，字叔玉，號彥英，福建同安縣豪山人，明末清初政治人物。
康爾韞在萬曆三十七年（1609年）中舉。萬曆四十七年（1619年）29歲時中式己未科進士。歷任戶部江西司主事、郎中、山東兗州府知府等職務。康氏為官清廉，又勤於政事。但後來因積勞成疾告歸故里。崇禎二年（1629年）病卒。
康爾韞墓址位於廈門後溪鎮許莊西面約1.5公里獅頭崙山東北面山坡（現址為廈門集美區後溪鎮廈門坂頭林場）。墓址坐南向北，佔地約70平方米，外布三合土圍住墓地。而墓址平面呈「風」字形結構，寬約8.7米，深6.5米。塚丘前豎了一塊厚實長方形高1.4米，寬1米的墓碑，碑上鐫刻了6行楷銘文「明賜進士中憲大夫山東袞州府知府前戶部雲南浙江清吏司郎中我待康先生暨累誥封奉人呂氏塋」。墓前石供桌長2.3米，寬0.55米，高1米。本來墓前對峙山坡神道兩旁有石馬、石虎各一對，但已佚。墓址東北面100米處（現今許莊小學校的門口）巖石上保留清代乾隆十九年（1754）「奉憲」石刻，為福建巡撫、按察使司和興泉永道關於康氏及盧氏的家族糾紛及分轄山林的裁決文書。1998年，康爾韞墓址被列為廈門市級文物保護單位。
*  康爾韞墓址 廈門市文物保護單位
北為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於西大西洋區，從加拿大至墨西哥灣海域，體長可達46公分，棲息在沿海，屬肉食性，以魚類為食，具利齒，易造成創傷。
朱統鉓 ，字章華，號甓園，明代寧藩瑞昌王府宗籍，江西省新建縣人，祖籍安徽鳳陽，封輔國中尉，崇禎元年戊辰科進士。是明代第二位宗室進士。
萬曆十九年辛卯九月十二日（1591年10月28日）寅時生。由廩生中式天啟辛酉科（1621年）三十四名舉人。崇禎元年（1628年）戊辰科九十九名進士，考選庶吉士，吏部以其宗室，不宜官禁近，改授中書舍人，告假三年，后入京具疏辨爭，適周延儒新詔至京，統鉓乃其辛酉（天啓元年）所錄士也，奏復為館員，六年癸酉授翰林院檢討。
歷任右春坊右中允，充展書官，召對記注，編纂《六曹章奏》，升右諭德，經筵日講，纂修《玉牒》、《大明會典》、《五經注書》。崇禎八年（1635年）乙亥，冊封襄藩。崇禎十三年（1640年）庚辰，同考禮闈。崇禎十五年（1642年）壬午，典試江南，升南京國子監祭酒。崇禎十七年（1644年）甲申正月十三日（2月20日）寅時卒，歷年五十四。贈禮部侍郎，諡文恪。
其三弟朱統鎾和五弟朱統金-{廠?}-均為舉人出身。
*「明代宗科進士輯考」，陳長文，2009年5月第26卷第3期，《魯東大學學報》(哲學社會科學版)
比加迪奇是土耳其的城鎮，由巴勒克埃西爾省負責管轄，位於該國西部，面積1,007平方公里，海拔高度163米，該鎮在1920至1922年期間受希臘管治，2011年人口16,957。
*  Turkish Statistical Institute's official website
克爾卡阿奇是土耳其的城鎮，由馬尼薩省負責管轄，位於該國西部，面積549平方公里，始建於十五世紀，海拔高度188米，主要經濟活動是農業，2011年人口27,350。
*  Road map of K?rka?a? and environs
* Webshots -  Image of K?rka?a? Melon Show
*  Buy Kirkagac Melon in the UK
薩魯漢勒是土耳其的城鎮，由馬尼薩省負責管轄，位於該國西部，距離首府馬尼薩約19公里，面積839平方公里，海拔高度32米，2011年人口15,364。
*  Road map of Saruhanl? and environs
克孜勒珀納爾是土耳其的城鎮，由泰基爾達省負責管轄，位於該國西北部，距離首府泰基爾達約55公里，海拔高度150米，該鎮由來自保加利亞的伊斯蘭教難民所建成，2016年人口29,670。
A view of Pazar district
帕扎爾是土耳其的城鎮，由里澤省負責管轄，位於該國東北部，距離首府里澤37公里，面積315平方公里，海拔高度37米，主要經濟活動有種植茶葉、漁業、貿易業和農業，2011年人口15,698。
*  Pazar town's web site
吉漢貝伊利是土耳其的城鎮，由科尼亞省負責管轄，位於該國南部，距離首府科尼亞100公里，面積4,109平方公里，海拔高度950米，2011年人口15,689。
阿爾特諾盧克是土耳其的城鎮，由巴勒克埃西爾省負責管轄，位於該國西部，面積4,044平方公里，受地中海氣候影響，主要經濟活動有旅遊業、漁業和種植橄欖，2011年人口15,399。
* Alt?noluk Guide
* Alt?noluk Municipality website
黃紋魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於印度洋及太平洋海域，體長可達30公分，棲息在沿海，屬肉食性，以魚類為食，具利齒，易造成創傷。
巴納茲是土耳其的城鎮，由烏沙克省負責管轄，位於該國西部，距離首府烏沙克33公里，面積1,063平方公里，海拔高度914米，2008年人口15,241，居民主要是信奉伊斯蘭教遜尼派。
陳之望，中國國民黨第二十屆中央委員會委員、黨代表、港澳總支部常委、新思維創黨成員兼執委、香港中山學會主席、浸信會愛羣社會服務處主席、南華體育會執行董事、香港浸信會聯會董事。2015年7月獲香港特區政府授予為太平紳士。2020年12月因藐視法庭罪被判即時入獄。
陳之望對外公布的學歷，包括2007年在愛爾蘭歐洲大學（European University of Ireland, EUI）取得博士學位，但培正校友追查後，於愛爾蘭教育部門的報告和當地傳媒報道中，發現EUI被廣泛指為未獲當局許可批準營辦的「文憑工廠」。至2016年8月，顧明均獲愛爾蘭政府回覆確認，EUI未獲愛爾蘭政府認證，無權頒發學位。該校更沒有校舍，只在首都都柏林設有辦公室。
2020年6月，高院法官下令陳之望要交出博士學位證書正本，但陳未有遵守法庭命令，只呈交一份認證副本。2020年12月21日，高院法官歐陽桂如裁定陳之望藐視法庭罪成，判即時入獄 6 星期，並要支付懲罰性訟費50萬元。
*中國國民黨中央委員、港澳總支部常委
*香港培正中學、香港培正小學校監
施兆昂，字顒昆，福建福清人，明末官員、畫家。
施兆昂在萬曆四十七年（1609年）被選為翰林院庶吉士。他學問淵博、工詩賦、精書畫。一生著有《天尺樓稿》及《館課四江集》。他聞山水便心動，曾遊歷稻廬三天門、靈巖、嘯臺、及禮鬥壇諸遺跡。
* 《福建通志》第三十六卷〈s:福建通志 (四庫全書本)/卷36〉
*  林栗〈歷代修志沿革 福清圖經總敘〉「公署」第二卷第32頁，福清市地方志編纂委員會
格雷萊是土耳其的城鎮，由吉雷松省負責管轄，位於該國東北部黑海沿岸，距離首府吉雷松63公里，面積290平方公里，海拔高度158米，2011年人口15,738。
*   Gorele News Official Page
*   GoreleGenclik Official Page
*   Radyo Gorele Official Page
*   Gorelespor  Official Page
*   Gorele School Official Page
*   Gorele  Official Page
*   Gorele Ekspres  Official Page
周世澤，字其生，浙江省山陰縣人，寄籍順天府大興縣，治詩經，順治十一年甲午科中舉順天鄉試第一百七十八名舉人 ，順治十八年辛丑科會試第366名，殿試三甲進士，兵部觀政。康熙七年（1668年）任四川省鄰水縣知縣，《鄰水縣志》述其「才能優長，賢奸立辨」，「甄拔士類，時稱藻鑑」。
布爾丹是土耳其的城鎮，由代尼茲利省負責管轄，位於該國西南部，距離首府代尼茲利46公里，面積518平方公里，海拔高度690米，2010年人口27,092。
劍形魣又名墨西哥金梭魚，為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於東太平洋區，從墨西哥至厄瓜多海域，體長可達127公分，棲息在大陸棚，屬肉食性，以魚類為食，可做為食用魚及遊釣魚，具利齒，易造成創傷。
埃爾馬勒街景
埃爾馬勒是土耳其的城鎮，由安塔利亞省負責管轄，位於該國西南部，距離首府安塔利亞110公里，面積1,594平方公里，海拔高度1,100米，2010年人口37,756。
*  Prefecture of Elmal? (also in English)
*  Private site on Elmal?
首爾交通公社2000系斬波控制電力動車組是首爾交通公社的一款通勤型電力動車組，首爾地鐵2號線運營。
2000系斬波控制電力動車組是首爾地鐵2號線的第1款列車，是直流用車輛，電阻和斬波控制列車，由日本車輛制造、大宇重工業、現代Mobis和韓進重工業負責生產，在1980年正式使用，運行于首爾地鐵2號線全部區間。MELCO為三菱電機的縮寫，列車的電機便在此制造。列車客室車門為內藏門，每節車廂共4對車門，目前有4、6、10三種編組，配屬于新亭車輛基地。
車組編號為201~214的列車在1980年至1993年由日本車輛制造負責制造，這款列車的外形參考了日本國鐵201系電力動車組，是首爾地鐵首款設有空調系統的列車。201-205為電阻控制列車，206~214的列車為斬波控制列車。其中201~205在主線服役，206~209在新亭支線服役，210~214在圣水支線服役。列車初期均為4編組，編號201~205的列車在1993年由韓進重工業負責擴編為10編組。值得一提的是，同時期的2000系GEC列車也為斬波控制。
該批列車在2005年至2007年間退役，由2000系VVVF列車替代。
車組編號為215~239的列車在1983年由日本車輛制造負責制造，初期為4編組或6編組。其中215~231在2007年-2008年間退役，部分列車退役後出售至越南其中編號為232-239的列車改造後較其他列車在兩端多了緊急出口。
車組編號為240~253、256、273~277的列車在1989年-1993年制造，其中編號為245-248、256、273~277的列車改造後較其他列車在兩端多了緊急出口，控制方式為電阻控制。其中240、241及244已於2018年退役。
第4批列車在1994年生產，編號為293~295。2003年2月18日大邱地鐵縱火案發生后，列車更換為防火材料，所有列車改造後較未改造時在兩端多了緊急出口，本批列車計劃于2020年停用。
Image:Dangsan Railway Bridge.jpg|列車在堂山鐵橋
Image:Seoul-Metro-2056-20070722.jpg|256號列車
Image:Seoul Subway Line 2 ????? 2?? - Flickr - skinnylawyer.jpg|進站中的列車
2003年2月18日大邱地鐵縱火案發生后，列車便開始了改造，在2005年全部改造完畢。212和213安裝有LED顯示屏，206~214、240~244已安裝有液晶顯示屏。
20XX(Mc)
22XX(T)
25XX(M)
27XX(T)
29XX(Mc)
Mtr,SIV,CP,BT
6輛編組(新亭支線)
25XX(Mc)
23XX(Mc)
首爾地鐵2000系GEC電力動車組（朝鮮語：）是首爾地鐵的一款通勤型電力動車組。
2000系GEC電力動車組是首爾地鐵2號線的第2款列車，是直流用車輛，斬波控制列車，由大宇重工業和韓進重工業負責生產，在1983年正式使用，運行于首爾地鐵2號線主線。GEC為英國通用電氣的縮寫，列車的晶閘管便在此制造。列車客室車門為內藏門，每節車廂共4對車門，列車在兩端設有緊急出口，目前均為10輛編組，配屬于君子車輛基地。值得一提的是，本列車在外觀上與首都圈電鐵3號線的3000系斬波控制列車在外觀上十分相似，只不過在涂裝上有所不同。目前，所有列車已于2020年退役。
第1批列車在1983年至1984年期間生產，編號為261~275。這批列車已於2008年全數退役，並出售至越南。
第2批列車在1985年至1993年期間生產，一度運行于首都圈電鐵3號線和首都圈電鐵4號線（首爾地鐵4號線），編號為278~292。在2003年2月18日大邱地鐵縱火案發生后，列車更換為防火材料。這批列車已於2020年全數退役
目前經過改造，編號278~292列車已安裝液晶電視，其中編號285列車已安裝LED顯示屏，現時此車已退役。
23XX(M)
SIV,CHOP,BT
CP,CHOP
黃條魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於西大西洋，從美國麻州至巴西；東大西洋，從塞內加爾至安哥拉海域，棲息深度可達100公尺，體長可達200公分，棲息在水淺、泥底質的海域、河口，成群活動，屬肉食性，以魚類、魷魚為食，可做為食用魚，具利齒，易造成創傷。
奧夫是土耳其的城鎮，由特拉布宗省負責管轄，位於該國東北部，距離敍爾梅內14公里，面積330平方公里，海拔高度10米，主要經濟活動是農業，2009年人口43,293。
Memi? A?a Mansion in Sürmene
敍爾梅內是土耳其的城鎮，由特拉布宗省負責管轄，位於該國東北部，距離首府特拉布宗35公里，面積227平方公里，處於海拔水平面，2008年人口13,670。
*  Sürmene group's site
*  Surmenem.com - A local website about Sürmene
謝姆丁利是土耳其的城鎮，由哈卡里省負責管轄，位於該國東南部，毗鄰與伊朗和伊拉克接壤的邊境，面積1,661平方公里，海拔高度1,450米，2008年人口13,081。
*  ?emdinli indictment, ''Milliyet''
德尼茲吉萊爾是土耳其的城鎮，由哈塔伊省負責管轄，位於該國南部地中海沿岸，距離首府安塔基亞65公里，海拔高度60米，2011年人口17,154。
劍形魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於東南太平洋區的秘魯及加拉巴哥群島海域，棲息深度3-24公尺，體長可達91公分，棲息在沿岸淺水域，屬肉食性，以魚類為食，可做為食用魚及遊釣魚，具利齒，易造成創傷。
阿爾哈維是土耳其的城鎮，由阿爾特溫省負責管轄，位於該國東北部黑海沿岸，面積314平方公里，海拔高度19米，每年平均降雨量181毫米，2010年人口19,319。
勞溫良，字特生，號鄹涯，廣東順德縣小勞村人，清朝政治人物。
習易經，順治十七年庚子科廣東鄉試第38名舉人，康熙九年（1670年）庚戌科會試第92名，殿試三甲進士。康熙十年（1671年）任四川省鄰水縣知縣，《鄰水縣志》述其「湛深經術，治先教化，士民歌頌不置」。
戴永豐，中華民國國父孫中山的外孫、孫婉與戴恩賽的小兒子。
1923年，出生於香港。這年陳炯明叛變革命，孫中山先生廣州蒙難，于永豐艦上指揮抗擊叛軍。為了紀念這件事，教育后一代，孫中山先生給外孫取名“永豐”。戴永豐小學及中學就讀於澳門粵華中學。畢業後在嶺南大學攻讀畜牧系，1952年畢業。1949年10月，解放軍攻占廣州前夕，戴恩賽、孫婉、戴成功移居澳門。戴永豐沒有隨父母、姐姐到澳門，卻仍然留在廣州，後在嶺南大學攻讀研究生，從事畜牧免疫學的研究。
1952年初，五反運動開始，戴永豐報名參加。獲得學校的批準，被分配到廣州市東山區五反工作隊，住在培正中學內。入隊後第4天，因患肺結核病發，在培正中學咯血窒息而去世，英年早逝，葬於嶺南大學墳場（現廣州中山大學西區墳場）。
亮魣為輻鰭魚綱鱸形目鯖亞目金梭魚科的其中一種，分布於中東太平洋的加利福尼亞灣海域，體長可達70公分，棲息在沿岸水域，屬肉食性，可做為食用魚及遊釣魚，具利齒，易造成創傷。
圖波列夫SB轟炸機，設計代號TsAGI-40、社內代號ANT-40，SB為俄文的快速轟炸機（ - ''Skorostnoi Bombardirovschik'' ），漢語譯音讀作“斯勃”。為蘇聯圖波列夫設計局設計之單翼雙引擎三座轟炸機，問世時其前衛的設計概念震撼國際，也是蘇聯空軍在1941年6月開戰時最主要的對地攻擊機種。
SB-2轟炸機
芬蘭空軍的SB-3轟炸機
1933年，蘇聯空軍頒布了新式快速轟炸機技術需求規格大綱；為了研發出必要技術，1934年1月由領軍研製必要的氣動力外型，至於機體則由圖波列夫設計局研發，主設計小組由安德烈·圖波列夫的學生擔當。阿爾漢格爾斯基提出了兩種機型方案，稱為ANT-40 RTS、ANT-40 IS。ANT-40 RTS運用的動力為美國萊特公司授權的氣冷式9汽缸旋風發動機（R-1820蘇聯版-什韋佐夫M-25發動機），ANT-40 IS則運用自法國授權的希斯潘諾-蘇莎12Y液冷12汽缸發動機，後來這兩種設計原型機更名為ANT40.1、ANT-40.2。ANT40.1在1934年10月7日首飛，ANT-40.2則在1934年12月30日首飛，而使用較大面積主翼的ANT-40.2甫試飛便展現出其優秀性能，當時被認為應該是量產定案的機型。
然而，掌管重工業的蘇聯中央委員格里高利·康斯坦丁諾維奇·奧爾忠尼啟則勘查時，現場人員向他控訴ANT-40.2在設計與後勤上的缺點；待他回到克里姆林宮和史達林報告時，同時與會討論的圖波列夫雖辯稱這些缺點只是微不足道的問題，但史達林直接批示：
因為如此，雖然ANT-40.2在1935年初就已經表現出優異性能，但通過相關測試已經是1935年末，投入量產則為1936年初；ANT-40.2量產時該機更名為快速轟炸機，由2座工廠製造，一間於莫斯科的第22國營飛機工廠、另一間則於伊爾庫次克之125工廠，SB轟炸機直到1941年才停產。
SB2是蘇聯第一種全金屬機身、硬鋁蒙皮整體受力承載結構的飛機。時速為420公里，后來改進型的SB3時速450公里。而當時的戰斗機時速不超過400公里。航程為980公里，載彈量為600公斤。關鍵部位安裝裝甲板，裝備4挺7.62毫米自衛機槍
除了蘇聯國內，1937年蘇聯政府與捷克斯洛伐克政府談判，捷克斯洛伐克以之技術交換SB-2 M-100A的特許生產授權與少量實機，該機稱為Avia B-71；但是捷克斯洛伐克的機型使用的動力來源並非克里莫夫M-100A發動機，而是由西班牙原廠授權公司製造的希斯潘諾-蘇莎12Ydrs發動機，機首自衛火器也由雙連裝ShKAS機槍調整為捷克國產的單挺。
雖然量產初期受到生產工藝問題所擾，但1936年底為止，蘇聯空軍接收約400架的SB轟炸機，組成了24個轟炸機中隊；並且有相當數量的新機援助西班牙，投入該地爆發的內戰。
共約210架SB轟炸機參加西班牙內戰，用於西班牙共和軍對抗佛朗哥將軍的西班牙國民軍和德意兀鷹軍團；因為SB轟炸機的性能優異，在西班牙服役的SB轟炸機被取名為當時流行的俄文名字：喀秋莎。
實戰中SB轟炸機的高速一度令參戰的CR-32和Bf 109B無法截擊，但1936年10月28日，一架SB被CR-32擊落，5日後又有一架SB被擊落，內戰後仍有18架繳獲的SB轟炸機繼續效命於弗朗哥政權的西班牙空軍。
在中國的SB轟炸機和乘員
1937年8月21日，國民政府和蘇聯締結了《中蘇互不侵犯條約》，與該條約同時締結的還有以國內金屬原料抵購的軍火貿易協定及蘇聯航空志願隊來華助戰。第一批次採購了62架SB-2M-100轟炸機，由中蘇兩方共同操作。首批援華轟炸機在1937年10月飛赴中國加入作戰。1937年12月，國民革命軍空軍第一大隊（1936年11月1日成立，李學炎、王育根為首任正副大隊長，裝備諾斯羅普-伽瑪2E輕型轟炸機2個中隊共18架），赴蘭州接收SB-2轟炸機，開始國軍運用SB轟炸機之始。
空軍一大隊換裝後，1938年起與蘇聯航空志願隊一起出擊蕪湖、杭州和蚌埠等地的日軍目標。1938年2月23日，為紀念蘇聯「祖國保衛者日」（即蘇聯紅軍節），中蘇空軍的SB-2轟炸機原計畫一同轟炸日本海軍在臺灣的據點松山機場。其中蘇聯志愿航空隊的28架SB-2轟炸機由波利寧大尉領隊從漢口起飛，以5500米高度直線節油飛行，成功轟炸了停在臺北松山機場的40余架日機，該批機隊全部安全返航；一大隊自南昌起飛的12架SB轟炸機，則因領航員計算錯誤，偏離預定航向，最后在福州機場降落加油后返航。徐州會戰期間，SB-2轟炸機隊沿長江和津浦等地轟炸敵軍和敵艦。1938年初，第二批次中蘇軍火貿易換約，國府增購約60架SB-2M-100A，該批轟炸機除補充一大隊與蘇聯航空志願隊耗損，也供空軍第二大隊換裝。1938年6月二大隊完成換裝，其餘殘機約20餘架。1938年11月各大隊赴蘭州補充。
1939年4月轟炸山西的鐵路和運城機場，5月再炸南昌和奉新之敵，7月開始又去蘭州接收新機。1939年10月3日日軍轟炸機襲擊宜賓機場，機場駐紮的SB-2轟炸機緊急起飛疏散，返航時因天候問題肇致3架SB-2迫降墜毀，二大隊9中隊隊長梅元白上尉等8位飛官、機組員殉職。1940年8架SB-2由蘇聯援華航空隊移交中國空軍，隨即參加棗宜會戰和鄂西會戰。
第三批同時也是最後一批採購了100架SB-2M-103，合約在1941年簽訂，機體在哈密組裝運交。1941年9月該批轟炸機首度執行支援第二次長沙會戰之任務，10月曾夜襲宜昌，11月轟炸在黃河湘北撤退的日軍時遇上8架敵機，中國空軍的SB-3兩架被擊落而4架被擊傷。太平洋戰爭爆發後日軍攻佔中南半島，中國空軍部分戰力移駐昆明。1942年5月開始SB-3轟炸機轟炸怒江沿岸的日軍以防其進犯雲南。1943年夏天，中國空軍的SB-3參與鄂邊會戰，和美製A29一起出擊轟炸宜都和長陽等地的日軍目標。1943年8月開始中國空軍改為接收美製B-25轟炸機，SB-2和SB-3始正式退役。從1937年到1941年，蘇聯共向中國支援了322架SB轟炸機，其中292架是SB-2。
除了向俄國採購，中華民國空軍曾嘗試參照SB轟炸機設計，研製稱為轟研三式轟炸機之機型。研轟三-{}-只完成1架原型機，使用了從SB-2M-103上挪用的克里莫夫M-103發動機，機體結構則運用四川產之杉木替代、機體蒙皮則由竹片和絲綢包覆而成；製造時間從1942年9月起、1944年1月完工。研轟三所有試飛均在成都太平寺機場進行，在第3次試飛降落時起落架折斷、機翼受損，因無修復價值最後決定報廢。
*空重：4,280公斤（SB-2）/4,768公斤（SB-3）
*最重：5,725公斤（SB-2）/7,880公斤（SB-3）
*最快速度：411公里/小時（SB-2）/450公里/小時（SB-3）
*航程：980公里（SB-2）/730公里（SB-3）
*昇限：9,500米（SB-2）/9,300米（SB-3）