SVA

陳述有效性評價（Statement Validity Assessment，SVA）

陳述有效性評價是一種評價書面陳述真實性的方法。

【陳述有效性評價的歷史】

1954年，西德（原德意志聯邦共和國）最高法院召集了一個小型的專家聽證會。最高法院想評價心理學家在認定兒童證人證言可信度方面有多大的幫助（尤其在性侵犯案件的審判中）。心理學家烏都·安喬吉（Udo Undeutsch）報告了他研究的一個案例，聲稱被強姦的被害人只有14歲。

最高法院的五名法官認為：“對這個案例印象深刻，並且深信在評估兒童或青少年證人的證言方面，進行法庭外檢查的心理學專家比那些在法庭審判的正式氣氛下的事實發現者有另外的、更好的資源”（Udo Undeutsch，1989）

之後，在1955年德國最高法院作出了一個規定：在所有有正義的兒童性虐待案中都要求使用心理訪談和可信度評價。這導致在許多案件中傳喚心理學家作為專家。艾琛（Arntzen，1982）估計在1982年以前有40,000件以上的案件中使用了專家證言。在德國和瑞典，這也導致出現了各種評價性虐待的聲稱被害人的證言的可信度的內容標準。

陳述有效性評價（SVA）

SVA由三個要素組成：

1、一個結構化的訪談

2、一個標準基礎內容分析（CBCA），系統的評價獲得的陳述的內容和質量

3、通過一套問題（有效性檢查列表）來評價CBCA的結果

標準基礎內容分析（Criteria-based content analysis，CBCA）

【一般特徵】：

1、邏輯結構

2、無組織的敘述

3、細節的質量

【特殊內容】：

4、語境鋪墊

5、對交互行為的描述

6、話語複述

7、事件中料想不到的複雜化

8、異常的細節

9、多餘的細節

10、正確報告的細節被誤解

11、相關的外部聯繫

12、主觀的心理狀態的描述

13、犯罪者的心理狀態歸因

【動機——相關的內容】

14、自發改正

15、承認記憶的缺失

16、對自己的證言有懷疑

17、自我否定

18、寬恕犯罪者

【罪行——特定要素】

19、罪行的細節特徵

SVA（SystemVerilog Assertions）

SVA是SystemVerilog Assertions的簡稱。SVA是SystemVerilog中一個重要的語法子集，其簡練的語法可以描述複雜的時序行為。

斷言是設計的屬性描述。如果一個設計在模擬的過程中不像我們想的那樣，或者一個被禁止的行為在模擬過程中發生，則斷言失敗。設計的一系列屬性可以從設計的功能描述中得出，並轉換成斷言，這些斷言在功能的模擬中被監視，斷言，又被稱作監視器或者檢查器。

傳統地斷言由過稱語言，比如verilog來實現，下面的代碼相互斷言檢查的verilog實現，信號a和b不能同時為1，如果這個情況發生則斷言失敗，並顯示這個錯誤信息：

`ifdef ma

if(a & b)

$display("ERROR:Mutually asserted check filed.\n");

`endif

我們雖然可以編寫用verilog編寫一些testbench來對設計進行一些檢查，但是它仍有一些不足之處。

1：Verilog是一種過程語句，因此並不能很好地控制時序。

2：Verilog是一種冗雜的語言，隨著檢測的判斷不斷增加，會使得代碼編寫和維護變得異常困難。

3：語言的過程性這一本質使得測試同一時間發生的并行時間相當困難，一些情況寫Verilog甚至無法捕捉到所有的觸發事件。

4：Verilog語言並沒有提供內嵌的機制，來提供功能覆蓋的數據，用戶必須自己去實現這一部分代碼。

SVA是一種描述性語言，可以完美地描述時序相關的狀況。語言的描述性本質對事件卓越的控制，語言本身非常精確，易於維護。SVA也提供了若干個內嵌函數來測試特定的設計情況，並提供了一些構造來自動收集功能覆蓋數據。

SVA（SINER,VNTR,and Alu）

其中

VNTR:

數目可變串聯重複多態性(Variable Number of Tandem Repeats，VNTR )數目可變串聯重複序列又稱小衛星DNA(Minisatellite DNA)，是一種重複DNA小序列，為10到幾百核苷酸，拷貝數10一1000不等。VNTR基本原理與RFLP大致相同，只是對限制性內切酶和DNA探針有特殊要求：(1)限制性內切酶的酶切位點必須不在重複序列中，以保證小衛星或微衛星序列的完整性。(2)內切酶在基因組的其他部位有較多酶切位點，則可使衛星序列所在片段含有較少無關序列，通過電泳可充分顯示不同長度重複序列片段的多態性。(3)分子雜交所用DNA探針核苷酸序列必須是小衛星序列或微衛星序列，通過分子雜交和放射自顯影后，就可一次性檢測到眾多小衛星或微衛星位點，得到個體特異性的DNA指紋圖譜。小衛星標記的多態信息含量較高，在17一19之間。缺點是數量有限，而且在基因組上分佈不均勻，這就極大限制其在基因定位中的應用。VNTR也存在實驗操作繁瑣、檢測時間長、成本高的缺點。

Alu：

Alu重複序列是哺乳動物基因組中SINE家族的一員，約有50萬份拷貝。也就是說平均4～6 kb中就有一個Alu序列。由於這種DNA序列中有限制性內切核酸酶Alu工的識別序列AGCT，所以稱為Alu重複序列。典型的人基因組Alu序列長282 bp，由兩個同源但有差別的亞基構成。亞基來源於有缺失突變和點突變的7SLRNA基因。兩個亞基間由腺嘌呤核苷酸密集的序列連接。右邊的亞基中有無關的31 bp插入片段，稱為IH。Alu序列兩端各有一個正向重複序列，末端有一個poly(A)尾。

Alu序列一般散在分佈，少數呈簇狀分佈。在細胞遺傳學水平上觀察，Alu重複序列集中在基因轉錄最活躍的染色體區段內。在所有已知的基因內含子中，幾乎都發現了Alu序列。

與Alu序列亞基有很高同源性的7SLRNA是7SRNA的一部分，是將蛋白質運送到內質網以便分泌出胞外的信號識別顆粒(signal—recognition particle，SRP)的組成部分。7SRNA5，端的90個核苷酸同Alu序列左端同源，中間的160個核苷酸與Alu序列沒有同源性，而3，端的40個核苷酸與Alu序列右端同源。7SRNA基因是由RNA聚合酶Ⅲ轉錄的。人體Alu重複序列絕大多數要由RNA聚合酶Ⅲ轉錄成RNA，而且Alu 3，端有polyA尾，這些都提示Alu重複序列是通過RNA為中介，反轉錄成DNA后整合在基因組新位置上的。這裡要提及的是，所有真核細胞里都含有3種RNA聚合酶；RNA聚合酶I負責轉錄rRNA基因，產生核糖體RNA(ribosomal RNA，rRNA)；RNA聚合酶Ⅱ負責轉錄所有編碼蛋白質的基因，產生信使RNA(messenger RNA，mRNA)，再由多聚腺嘌呤核苷酸聚合酶(poly(A)polymerase)負責加上poly(A)尾；RNA聚合酶Ⅲ負責轉錄轉移RNA(transfer RNA，tRNA)以及細胞核和細胞質內的各種小RNA，這些被轉錄的基因一般長300bp左右，且在基因組的重複拷貝數可達幾千份甚至上百萬份。

Alu家族不同成員之間的一致序列(consensus sequence)的同一性平均達87%。小鼠基因組內約有5萬份拷貝的B1重複序列，長130 bp，與Alu的一個亞基的同源性達70%--80%。

Alu序列中有一個14 bp的區段同乳多空病毒(papova virus)如SV40病毒，以及乙型肝炎病毒的複製起始序列幾乎完全相同。這提示Alu序列很可能同真核生物基因組中的複製起始有某種相關，但這也存在爭論。因為Alu重複序列的拷貝數比複製起始點的預期數多出幾十倍。此外還發現，中國倉鼠的Alu類家族( Alu-equivalent family)的一些成員，當位於其他轉錄單位附近時，能在體內被轉錄生成單獨的RNA分子。

shareholder value analysis(SVA):股東價值分析

紐約視覺藝術學院（School of Visual Arts）是美國一所極具影響力的純藝術與設計學院，在曼哈頓世界藝術中心擁有17幢教學大樓與宿舍，壟斷了紐約的大部分藝術資源。