專利名稱：一種基于熵的構(gòu)件可信度量方法
技術(shù)領(lǐng)域：
本發(fā)明涉及可信度量領(lǐng)域，特別是涉及一種基于熵的構(gòu)件可信度量方法。
背景技術(shù)：
軟件可信性概念，或者說(shuō)“可信”這一概念，來(lái)源于可信計(jì)算，而隨著“可信”需求從硬件到軟件的擴(kuò)展，業(yè)界對(duì)“可信”的理解也在不斷延伸。TCG認(rèn)為“如果系統(tǒng)的行為與結(jié)果總是預(yù)期和可控的，那么系統(tǒng)是可信的”，容錯(cuò)專家提出并倡導(dǎo)的強(qiáng)調(diào)可靠性、可用性的可信計(jì)算D印endable computing是指計(jì)算機(jī)提供的服務(wù)是可以論證其是可以信賴的，而且這種可信賴是可論證的；國(guó)內(nèi)武漢大學(xué)張煥國(guó)等人提出可信就是可靠、可用和安全。構(gòu)件技術(shù)是重要的軟件復(fù)用手段，旨在提高軟件生產(chǎn)效率和質(zhì)量。但是構(gòu)件的共享和復(fù)用建立在構(gòu)件使用者信任構(gòu)件能實(shí)現(xiàn)預(yù)期功能的基礎(chǔ)上，由于構(gòu)件本身層次多樣 (有通用基本構(gòu)件、領(lǐng)域共性構(gòu)件、應(yīng)用專用構(gòu)件等)，涉及業(yè)務(wù)種類繁多，構(gòu)件本身的可信性度量至今在業(yè)界沒有成熟的方法和技術(shù)。但是這不代表在某一具體領(lǐng)域我們不能尋求到構(gòu)件的可信性度量方法。由此看出，可信性并沒有一個(gè)公認(rèn)的通用的定義，我們認(rèn)為可信軟件是具有領(lǐng)域需求的可信屬性的軟件。對(duì)于構(gòu)件來(lái)說(shuō)，因?yàn)楦邆漕I(lǐng)域特性，因此構(gòu)件的可信性除了一些通用的可信屬性，如可用性(Availability)，可靠性(Reliability)，安全性(Security), 實(shí)時(shí)性(Real Time)，可維護(hù)性(Maintainability)和可生存性(Survivability)外，還應(yīng)擴(kuò)展一些領(lǐng)域相關(guān)的屬性。因此，目前需要本領(lǐng)域技術(shù)人員迫切解決的一個(gè)技術(shù)問(wèn)題就是如何能夠創(chuàng)新地提出一種有效的構(gòu)件可信度量方法，用以度量構(gòu)件的可信性，提高軟件生產(chǎn)效率和質(zhì)量。

發(fā)明內(nèi)容
本發(fā)明所要解決的技術(shù)問(wèn)題是提供一種有效的構(gòu)件可信度量方法，用以度量構(gòu)件的可信性，提高軟件生產(chǎn)效率和質(zhì)量；通過(guò)創(chuàng)建構(gòu)件可信性度量框架，對(duì)構(gòu)件的可信屬性進(jìn)行分析與度量，從而獲得量化的構(gòu)件可信性度量結(jié)果。為了解決上述問(wèn)題，本發(fā)明公開了一種基于熵的構(gòu)件可信度量方法，所述方法包括分解出構(gòu)件的主要功能點(diǎn)；記錄每個(gè)功能點(diǎn)在需求階段、設(shè)計(jì)階段、編碼階段、測(cè)試階段的可信證據(jù)；根據(jù)記錄的可信證據(jù)計(jì)算功能點(diǎn)中每個(gè)階段的可信評(píng)估值Pi ；計(jì)算各個(gè)功能點(diǎn)的熵；計(jì)算構(gòu)件的熵，判斷構(gòu)件可信性。優(yōu)選的，所述構(gòu)件的可信性作為構(gòu)件投入使用的標(biāo)準(zhǔn)，構(gòu)件不可信，重新修改構(gòu)件開發(fā)過(guò)程，度量可信性。優(yōu)選的，所述需求階段的可信證據(jù)包括過(guò)程能力資質(zhì)、計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、需求人員能力、需求變更數(shù)、需求評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除效率。優(yōu)選的，所述設(shè)計(jì)階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、設(shè)計(jì)人員能力、需求變更數(shù)、設(shè)計(jì)評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除率。優(yōu)選的，所述編碼階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、編碼人員能力、需求變更數(shù)、單元測(cè)試強(qiáng)度、代碼規(guī)模、代碼可維護(hù)性。優(yōu)選的，所述測(cè)試階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、測(cè)試人員能力、測(cè)試工具支持、測(cè)試缺陷趨勢(shì)。優(yōu)選的，所述可信評(píng)估值Pi為該階段偏離上一步制品的意圖的程度。優(yōu)選的，根據(jù)構(gòu)件可信性度量方法畫出可信性樹。優(yōu)選的，所述構(gòu)件的熵與可信性為負(fù)相關(guān)的關(guān)系，構(gòu)件的熵越大，可信性越低。優(yōu)選的，所述構(gòu)件的熵為各個(gè)功能點(diǎn)的熵的平均值。與現(xiàn)有技術(shù)相比，本發(fā)明具有以下優(yōu)點(diǎn)本發(fā)明中，可信性的度量側(cè)重于過(guò)程證據(jù)。因?yàn)闃?gòu)件可信質(zhì)量?jī)?nèi)建于開發(fā)過(guò)程，測(cè)試只能事后檢驗(yàn)且?guī)в衅嫘?。假設(shè)一個(gè)軟件的過(guò)程證據(jù)得分很低，但是測(cè)試結(jié)果很好，根據(jù)二者在可信度量時(shí)的權(quán)重差異，總體可信性仍然會(huì)很低。所以通過(guò)過(guò)程證據(jù)，量化可信性指標(biāo)，用信息熵作為可信性度量標(biāo)準(zhǔn)是非常恰當(dāng)?shù)摹?br>

圖1是本發(fā)明一種基于熵的構(gòu)件可信度量方法的可信度量流程圖。圖2是本發(fā)明一種基于熵的構(gòu)件可信度量方法的可信度量框架。圖3是本發(fā)明一種基于熵的構(gòu)件可信度量方法的可信樹。
具體實(shí)施例方式為使本發(fā)明的上述目的、特征和優(yōu)點(diǎn)能夠更加明顯易懂，下面結(jié)合附圖和具體實(shí)施方式
對(duì)本發(fā)明作進(jìn)一步詳細(xì)的說(shuō)明。參照?qǐng)D1，示出了本發(fā)明的一種基于熵的構(gòu)件可信度量方法的可信度量步驟，所述方法具體包括步驟SlOl，建立可信性度量框架；優(yōu)選的，所述方法還包括通過(guò)過(guò)程證據(jù)度量可信性。更為優(yōu)選的，通過(guò)測(cè)量偏離上一步制品的意圖的程度度量各階段的可信性。參照?qǐng)D2，示出了本發(fā)明的一種基于熵的構(gòu)件可信度量方法的可信度量框架圖。在實(shí)際應(yīng)用中，構(gòu)件開發(fā)過(guò)程中需要記錄的可信證據(jù)包括過(guò)程證據(jù)和測(cè)試證據(jù)。 前者是開發(fā)過(guò)程中記錄下的證據(jù)，后者是在測(cè)試環(huán)境中記錄下的證據(jù)。只有二者都達(dá)到可信要求，才能確保構(gòu)件的可信從而可以提交入庫(kù)投入使用。在整個(gè)過(guò)程中，有四個(gè)重要環(huán)節(jié)需要提供可信證據(jù)需求階段過(guò)程能力資質(zhì)、計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、需求人員能力、需求變更數(shù)、需求評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除效率。設(shè)計(jì)階段計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、設(shè)計(jì)人員能力、需求變更數(shù)、設(shè)計(jì)評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除率。編碼階段計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、編碼人員能力、需求變更數(shù)、單元測(cè)試強(qiáng)度、代碼規(guī)模、代碼可維護(hù)性。測(cè)試階段計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、測(cè)試人員能力、測(cè)試工具支持、測(cè)試缺陷趨勢(shì)。在應(yīng)用中，我們使用“debug管理”軟件進(jìn)行過(guò)程證據(jù)的記錄，使用構(gòu)件測(cè)試工具進(jìn)行測(cè)試證據(jù)的記錄，證據(jù)的記錄嚴(yán)格遵守可信證據(jù)框架的模板。構(gòu)件可信評(píng)估人員如何根據(jù)上述證據(jù)來(lái)量化各個(gè)階段的可信性呢？因?yàn)檐浖_發(fā)是一個(gè)逐步演化的過(guò)程，每一步都力圖實(shí)現(xiàn)上一步的意圖但不可避免有所偏差，我們要用概率表示出每一步有多大程度的偏差。如需求分析階段，需求分析人員與構(gòu)件的客戶是否進(jìn)行了有效的溝通，消除了歧義，本階段的需求分析說(shuō)明書多大程度地反映了客戶的意圖；設(shè)計(jì)階段系統(tǒng)分析人員是否完全領(lǐng)會(huì)了需求分析說(shuō)明書，設(shè)計(jì)方案能否實(shí)現(xiàn)前者的功能；編碼階段程序員是否理解設(shè)計(jì)方案并有能力去實(shí)現(xiàn)該方案等。構(gòu)件開發(fā)過(guò)程中每一步軟件制品只能反映上一步制品的意圖，我們也只能測(cè)量它偏離上一步制品的意圖的程度。 因?yàn)闃?gòu)件可信質(zhì)量?jī)?nèi)建于開發(fā)過(guò)程，測(cè)試只能事后檢驗(yàn)且?guī)в衅嫘?。所以度量可信性時(shí)我們側(cè)重過(guò)程證據(jù)。假設(shè)一個(gè)軟件的過(guò)程證據(jù)得分很低，但是測(cè)試結(jié)果很好，根據(jù)二者在可信度量時(shí)的權(quán)重差異，總體可信性仍然會(huì)很低。步驟S102，確定可信性量化指標(biāo)；一個(gè)系統(tǒng)由多種要素組成，每個(gè)要素都有一定的不確定性，所以系統(tǒng)整體的不確定性就是各要素不確定性的加權(quán)平均。優(yōu)選的，用信息熵作為可信性度量標(biāo)準(zhǔn)。信息熵概念來(lái)源于申農(nóng)的信息論，表征系統(tǒng)整體的混亂程度或不確定度。公式表示為Entropy =Σ pi log pi (1)它的值代表系統(tǒng)不確定性的平均信息量。通過(guò)深入研究信任的本質(zhì)，我們發(fā)現(xiàn)用信息熵作為可信性度量標(biāo)準(zhǔn)是非常恰當(dāng)?shù)?。根?jù)可信的定義，如果系統(tǒng)的行為與結(jié)果總是預(yù)期和可控的，那么系統(tǒng)是可信的。 因此信任度就是客體的運(yùn)行結(jié)果和主體的期望的吻合程度。因?yàn)闃?gòu)件乃至整個(gè)計(jì)算機(jī)系統(tǒng)相當(dāng)于一個(gè)函數(shù)，確定的輸入必定有確定的輸出，所以按運(yùn)行結(jié)果的期望的吻合程度，可以轉(zhuǎn)化為對(duì)運(yùn)行系統(tǒng)的了解程度。例如我完全信任你，實(shí)質(zhì)代表我對(duì)你情況完全了解。我對(duì)你還有多大程度的不了解，決定我對(duì)你有多大程度的不信任。反之，主體對(duì)客體越了解，對(duì)其不確定性消除越多，就越信任客體?？腕w的運(yùn)行結(jié)果和主體的期望就會(huì)越吻合。如若能用程序證明理論分析軟件程序的源碼，并證明它是正確的，則可信性為1，即對(duì)該軟件完全了解自然也就完全信任；若一個(gè)軟件內(nèi)部結(jié)構(gòu)和開發(fā)過(guò)程細(xì)節(jié)都不提供，黑盒測(cè)試結(jié)果也與標(biāo)榜的有很大差別，則可信性為0，表示對(duì)該軟件完全不了解，它下次運(yùn)行結(jié)果我們完全不可預(yù)期和控制。其他類型的軟件，依據(jù)過(guò)程和測(cè)試證據(jù)打分情況，可信性會(huì)介于二者之間。我們考察構(gòu)件使用者對(duì)構(gòu)件開發(fā)和測(cè)試過(guò)程的了解情況，并用概率表示不了解程度。對(duì)這些概率求其加權(quán)平均即是對(duì)整個(gè)構(gòu)件的熵。熵與可信性是負(fù)相關(guān)的關(guān)系，即構(gòu)件的熵越大，可信性越低。根據(jù)構(gòu)件的熵我們可以對(duì)構(gòu)件的可信性劃分等級(jí)。步驟S103，度量構(gòu)件可信性；
5
優(yōu)選的，用信息熵作為可信性度量標(biāo)準(zhǔn)。更為優(yōu)選的，根據(jù)可信性度量方法畫出可信性樹。如圖3所示本發(fā)明所述的一種基于熵的構(gòu)件可信度量方法的可信樹。面向數(shù)據(jù)處理的構(gòu)件一般是基于一個(gè)數(shù)據(jù)處理算法，過(guò)程性強(qiáng)，實(shí)現(xiàn)的功能點(diǎn)清晰明確。因此度量構(gòu)件可信性時(shí)，我們分解出主要功能點(diǎn)(根據(jù)需要確定功能點(diǎn)的粒度)， 然后畫出可信樹。首先分析功能點(diǎn)1，在需求階段，專家通過(guò)分析客戶的需求以及可信性度量框架中記錄的可信證據(jù)，給定該階段的可信評(píng)估值Pi ；設(shè)計(jì)階段根據(jù)該階段記錄的可信證據(jù)測(cè)量它偏離需求階段的意圖的程度，給定P2;編碼階段，程序員是否理解設(shè)計(jì)方案并有能力去實(shí)現(xiàn)該方案，根據(jù)編碼階段記錄的可信證據(jù)計(jì)算出該階段的可信評(píng)估值P3 ；測(cè)試階段，對(duì)實(shí)現(xiàn)的構(gòu)件從功能、性能、安全性等各個(gè)角度進(jìn)行測(cè)試，根據(jù)記錄的可信證據(jù)得出該階段的可信評(píng)估值P4。在得出PI、P2、P3、P4之后，根據(jù)熵的計(jì)算公式⑴計(jì)算出功能點(diǎn)1的熵值。功能點(diǎn)2以及其余的功能點(diǎn)都按照功能點(diǎn)1的分析過(guò)程進(jìn)行分析，然后計(jì)算出每個(gè)功能點(diǎn)的熵值。所有的功能點(diǎn)分析完之后，計(jì)算所有功能點(diǎn)的熵值的平均值，該值即為構(gòu)件的熵。由于所有的構(gòu)件可信性都用該方法計(jì)算，所以熵值可以相對(duì)地比較出各個(gè)構(gòu)件的可信性高低。熵與可信性是負(fù)相關(guān)的關(guān)系，構(gòu)件的熵值越大，可信性越低。經(jīng)過(guò)對(duì)可信性的度量，如果得出構(gòu)件是可信的，則該構(gòu)件可以提交入庫(kù)投入使用；如果構(gòu)件是不可信的，則要分析是哪個(gè)階段出現(xiàn)了問(wèn)題，然后對(duì)其進(jìn)行修改，使構(gòu)件達(dá)到可信度要求。下面以某金融領(lǐng)域匯率取得構(gòu)件的開發(fā)為例，介紹上述可信性度量方法的運(yùn)用實(shí)例。在實(shí)際開發(fā)過(guò)程中，我們根據(jù)可信證據(jù)和開發(fā)記錄依次分析每一階段軟件制品針對(duì)上一步的可信度。第一階段客戶需求陳述?？蛻粜枨笫菢?gòu)件生命期的起始，它與客戶真實(shí)意圖的微小偏離將會(huì)在后續(xù)階段放大。所以我們務(wù)必保證客戶需求盡量明確，為此我們要求客戶有書面需求陳述。該陳述也是可信證據(jù)的一部分。專家將對(duì)照該陳述和需求分析文檔來(lái)給定 pi。第二階段構(gòu)件設(shè)計(jì)階段。包括構(gòu)件的接口設(shè)計(jì)、接口描述和類設(shè)計(jì)三部分(本文略過(guò))。構(gòu)件接口設(shè)計(jì)在面向數(shù)據(jù)處理的軟件生產(chǎn)線平臺(tái)中，構(gòu)件與構(gòu)件之間的調(diào)用主要通過(guò)XML進(jìn)行數(shù)據(jù)交互，因此構(gòu)件所提供的方法的輸入和輸出參數(shù)，不僅支持普通的 JAVA類型參數(shù)，同時(shí)都提供了 XML支持。構(gòu)件接口描述主要包括兩部分內(nèi)容構(gòu)件功能描述和構(gòu)件接口調(diào)用描述。其中構(gòu)件功能描述主要用于構(gòu)件的檢索及查看，構(gòu)件接口調(diào)用描述主要用于構(gòu)件與構(gòu)件之間的自動(dòng)組裝。前者包括構(gòu)件的類型、分類、功能描述、約束、可信度描述(測(cè)試用例)等，后者主要描述構(gòu)件是如何被調(diào)用的，主要涉及到構(gòu)件的類名、構(gòu)件的方法名、構(gòu)件的輸入?yún)?shù)和輸出參數(shù)等等。第三階段代碼實(shí)現(xiàn)根據(jù)設(shè)計(jì)進(jìn)行代碼實(shí)現(xiàn)，對(duì)完成的代碼進(jìn)行嚴(yán)格的版本管理。第四階段測(cè)試對(duì)實(shí)現(xiàn)的構(gòu)件從功能、性能、安全性等各個(gè)角度進(jìn)行測(cè)試。因?yàn)槲覀兠恳徊蕉加性敿?xì)的證據(jù)和文檔，所以評(píng)審專家能根據(jù)這些資料評(píng)估每一步軟件制品相對(duì)上一步的偏離程度Pi，從而可以熵的計(jì)算公式(1)計(jì)算出信息熵當(dāng)作可信度的度量。因?yàn)樾畔㈧刂禌]有絕對(duì)的含義。因此構(gòu)件的過(guò)程證據(jù)信息應(yīng)按統(tǒng)一的標(biāo)準(zhǔn)和工具記錄和測(cè)定，在算出各構(gòu)件的信息熵后我們可以根據(jù)需要?jiǎng)澐謽?gòu)件的可信度等級(jí)了。本說(shuō)明書中的各個(gè)實(shí)施例均采用遞進(jìn)的方式描述，每個(gè)實(shí)施例重點(diǎn)說(shuō)明的都是與其他實(shí)施例的不同之處，各個(gè)實(shí)施例之間相同相似的部分互相參見即可。以上對(duì)本發(fā)明所提供的一種基于熵的構(gòu)件可信度量方法進(jìn)行了詳細(xì)介紹，本文中應(yīng)用了具體個(gè)例對(duì)本發(fā)明的原理及實(shí)施方式進(jìn)行了闡述，以上實(shí)施例的說(shuō)明只是用于幫助理解本發(fā)明的方法及其核心思想；同時(shí)，對(duì)于本領(lǐng)域的一般技術(shù)人員，依據(jù)本發(fā)明的思想， 在具體實(shí)施方式
及應(yīng)用范圍上均會(huì)有改變之處，綜上所述，本說(shuō)明書內(nèi)容不應(yīng)理解為對(duì)本發(fā)明的限制。
權(quán)利要求
1.一種基于熵的構(gòu)件可信度量方法，其特征在于，所述方法包括 分解出構(gòu)件的主要功能點(diǎn)；記錄每個(gè)功能點(diǎn)在需求階段、設(shè)計(jì)階段、編碼階段、測(cè)試階段的可信證據(jù)； 根據(jù)記錄的可信證據(jù)計(jì)算功能點(diǎn)中每個(gè)階段的可信評(píng)估值Pi ； 計(jì)算各個(gè)功能點(diǎn)的熵； 計(jì)算構(gòu)件的熵，判斷構(gòu)件可信性。
2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述構(gòu)件的可信性作為構(gòu)件投入使用的標(biāo)準(zhǔn)，構(gòu)件不可信，重新修改構(gòu)件開發(fā)過(guò)程，度量可信性。
3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述需求階段的可信證據(jù)包括過(guò)程能力資質(zhì)、計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、需求人員能力、需求變更數(shù)、需求評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除效率。
4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述設(shè)計(jì)階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、設(shè)計(jì)人員能力、需求變更數(shù)、設(shè)計(jì)評(píng)審結(jié)論、評(píng)審缺陷密度、缺陷清除率。
5.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述編碼階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、編碼人員能力、需求變更數(shù)、單元測(cè)試強(qiáng)度、代碼規(guī)模、代碼可維護(hù)性。
6.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述測(cè)試階段的可信證據(jù)包括計(jì)劃工作量、實(shí)際工作量、計(jì)劃進(jìn)度、實(shí)際進(jìn)度、測(cè)試人員能力、測(cè)試工具支持、測(cè)試缺陷趨勢(shì)。
7.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述可信評(píng)估值Pi為該階段偏離上一步制品的意圖的程度。
8.根據(jù)權(quán)利要求1所述的方法，其特征在于， 根據(jù)構(gòu)件可信性度量方法畫出可信性樹。
9.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述構(gòu)件的熵與可信性為負(fù)相關(guān)的關(guān)系，構(gòu)件的熵越大，可信性越低。
10.根據(jù)權(quán)利要求1所述的方法，其特征在于， 所述構(gòu)件的熵為各個(gè)功能點(diǎn)的熵的平均值。
全文摘要
本發(fā)明提供了一種基于熵的構(gòu)件可信度量方法，所述方法包括分解出構(gòu)件的主要功能點(diǎn)；記錄每個(gè)功能點(diǎn)在需求階段、設(shè)計(jì)階段、編碼階段、測(cè)試階段的可信證據(jù)；根據(jù)記錄的可信證據(jù)計(jì)算功能點(diǎn)中每個(gè)階段的可信評(píng)估值Pi；計(jì)算各個(gè)功能點(diǎn)的熵；計(jì)算構(gòu)件的熵，判斷構(gòu)件可信性。發(fā)明中可信性的度量側(cè)重于過(guò)程證據(jù)，通過(guò)過(guò)程證據(jù)，量化可信性指標(biāo)，用信息熵作為可信性度量標(biāo)準(zhǔn)，更有效地度量構(gòu)件的可信性。
文檔編號(hào)G06F11/36GK102279793SQ20111022389
公開日2011年12月14日 申請(qǐng)日期2011年8月5日 優(yōu)先權(quán)日2011年8月5日
發(fā)明者吳海燕, 張新鈺, 許斌, 賈寧, 鄭莉 申請(qǐng)人:清華大學(xué)