• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于部分交互的軟件近似度量模型

    2014-08-05 02:40:12馬艷芳
    計算機工程與應用 2014年24期
    關鍵詞:進程定義程序

    馬艷芳,陳 亮

    1.淮北師范大學 計算機科學與技術學院,安徽 淮北 235000

    2.上海市高可信計算重點實驗室,上海 200062

    3.淮北師范大學 數(shù)學科學學院,安徽 淮北 235000

    基于部分交互的軟件近似度量模型

    馬艷芳1,2,陳 亮3

    1.淮北師范大學 計算機科學與技術學院,安徽 淮北 235000

    2.上海市高可信計算重點實驗室,上海 200062

    3.淮北師范大學 數(shù)學科學學院,安徽 淮北 235000

    1 引言

    隨著信息技術的發(fā)展,軟件系統(tǒng)變得越來越龐大和復雜,缺陷和漏洞難以避免,人們開始對軟件的質量進行研究。軟件可信性是評價軟件質量的重要標準。近年來,軟件的可信性模型越來越得到關注。如,陳儀香等,根據(jù)軟件的各種屬性,建立了基于屬性和權值的軟件可信性量化模型[1-3]。徐峰等建立了軟件服務協(xié)議的可信性評估模型[4]。隨著網(wǎng)絡的發(fā)展和服務意識的增強,計算模式逐漸轉向以網(wǎng)絡為中心和面向服務的體系結構,從而軟件的運行環(huán)境(包括網(wǎng)絡環(huán)境、物理環(huán)境)逐漸轉向開放、動態(tài)的環(huán)境[5-7]。軟件的運行環(huán)境對軟件的可信性有著很大影響。在實際應用中,由于環(huán)境資源的有限性等原因,有時軟件在環(huán)境下執(zhí)行到一定程度可能出現(xiàn)錯誤信息,從而軟件與環(huán)境未必成功交互。為了保證軟件在環(huán)境下繼續(xù)執(zhí)行,需要找出軟件與環(huán)境交互出錯的原因,而計算軟件與環(huán)境的交互程度可以幫助找到出錯的原因,進而為改進軟件與環(huán)境的交互提供一定的依據(jù)。

    為了研究軟件與環(huán)境的交互,首先需要對環(huán)境進行描述。根據(jù)Milner提出的通信系統(tǒng)演算[8-9](Communication and Compuation of Systems,CCS),從測試角度出發(fā),環(huán)境可以用進程表示。如Larsen提出的參數(shù)化互模擬[10],用一個標號轉換系統(tǒng)(labeled transition system)表示環(huán)境,明確地給出環(huán)境的變化過程。Smolka等也將環(huán)境表示成進程,其中包含一個表示成功的動作[11-13]。若軟件與環(huán)境并發(fā)執(zhí)行時能夠執(zhí)行到這個動作,則表明軟件與環(huán)境可以成功交互。而隨著網(wǎng)絡和服務的發(fā)展,軟件的運行環(huán)境逐漸開放,從而使得軟件對環(huán)境的要求越來越寬松,由此用進程表示環(huán)境不能適應計算模式的發(fā)展。更加一般地,環(huán)境可以用動作集合來表示。在動作之間沒有先后順序。如文獻[14-15]中所提到的進程失敗語義,從拒絕環(huán)境的角度來考慮進程之間的關系,此時的環(huán)境是一些動作構成的集合。當用集合表示環(huán)境時,集合中的元素由能夠引起軟件變化的信息或事件構成。從軟件方面上,可以是軟件的內部結構,如程序中聲明的全局變量。從硬件方面上,可以是軟件運行的硬件設備或網(wǎng)絡環(huán)境等。

    為了描述當把環(huán)境作為一個集合考慮時進程與環(huán)境的交互,馬艷芳等建立了進程與環(huán)境交互的{0,1}-模型[16]。其研究交互的基本思想是:考察軟件的所有執(zhí)行路徑,當軟件選擇一條路徑執(zhí)行時,運行環(huán)境能提供其需要的所有信息,則這條路徑與環(huán)境交互的結果賦值為“1”,否則賦值為“0”。這種軟件與環(huán)境的交互是非常嚴格的交互。若軟件與環(huán)境成功交互,環(huán)境必須提供軟件所需要的所有信息。然而,在軟件的實際運行中,環(huán)境未必能夠提供軟件所需要的所有信息,軟件在環(huán)境下可能運行到某個地點而停滯,那么如何建立這種軟件與環(huán)境的交互模型,本文將以CCS模型為基礎,一般化{0,1}模型。

    另一方面,為了測試不同軟件在環(huán)境下的性能,在實際應用中,有時需要對軟件進行比較。在一些特殊領域,例如航空航天領域,生物工程領域等,有時無法把軟件放在實際環(huán)境下運行,需要先建立一個實驗環(huán)境,在該環(huán)境下測試軟件的性能。而在該環(huán)境下開發(fā)出來的軟件,對其正確性等要求非??量?,經(jīng)常利用不同的方法開發(fā)軟件,為了開發(fā)出更加適合于該實驗環(huán)境的軟件,需要對不同的開發(fā)版本進行比較。對軟件的比較已經(jīng)有了很多方法,如應明生等在CCS理論基礎上,將軟件抽象為進程,利用進程之間的強/弱互模擬關系,建立軟件之間近似程度的量化模型[17]。Smolka等為了說明帶有概率信息軟件之間的近似程度,提出了ε-互模擬等價,并建立了兩個概率進程之間近似程度的度量模型[18]。鄧玉欣等在概率CSP模型基礎上,根據(jù)概率進程執(zhí)行相同跡的概率和折扣因子建立了進程之間的度量。這個折扣因子反應了當軟件執(zhí)行相同跡的深度越大,他們之間越近似[19]。馬艷芳等基于ε-互模擬提出了軟件近似正確性模型[20]。但是考慮到環(huán)境對軟件的影響,對軟件進行比較時,需要考慮軟件與環(huán)境的交互能力。上述軟件之間的近似度量模型,沒有反映環(huán)境對軟件的影響。本文將以CCS模型為基礎,從軟件與環(huán)境的交互能力方面,建立軟件近似程度的量化模型。

    2 預備知識

    2.1 CCS基礎

    令Δ表示動作名集合,用小寫字母a,b,c,…表示其中的元素。={aˉ|a∈Δ}表示補動作名的集合。規(guī)定表示動作a。用L=Δ∪表示標號集合,λ,μ,…表示其中的元素。τ表示不可觀測動作,。用Act表示所有動作的集合,Act=L∪{τ},α,β,…表示其中的元素。令映射 f∶L→L,若滿足=,稱 f為重新標號函數(shù)。若令 f(τ)=τ,則 f可以延拓到集合Act上。同時,令X是L的子集。定義{∈X},X∪{τ}。進一步,用表示所有進程變量構成的集合,X,Y,…表示其中的元素。R表示所有進程常量構成的集合,A,B,…表示其中的元素。I或J是索引集合。進程表達式的集合定義如下。

    定義1(進程表達式)[8]進程表達式集合ε是包含,R和下列表達式的最小集合,其中E,Ei∈ε:

    其中L?L,f是重新標號函數(shù)。

    若一個進程表達式中不含變量,稱這個表達式是一個進程。用P 表示所有進程構成的集合,P,Q,…表示其中的元素。若A∈R,則A表示一個常量,其定義如下,其中PA∈P 。例如,。在通信系統(tǒng)演算中,常量提供了一種遞歸機制。

    定義2(標號轉換系統(tǒng))[8]三元組(ε,Act,{|α∈Act})表示Act集合上的標號轉換系統(tǒng),(α∈Act)由下面規(guī)則給出。

    2.2 進程的跡和完整跡語義

    為了建立軟件與環(huán)境交互模型,馬艷芳等在文獻[16]中提出了完整跡語義。下面回顧一下完整跡語義的定義及性質。

    定義3(可觀測完整跡)[16]令 P∈P 。如果存在P′∈P 使得P?σP′且init(P′)=?,其中σ∈L*,則稱σ是進程P的可觀測完整跡。用OCT(P)表示進程P的所有可觀測完整跡構成的集合。若OT(P)=OT(Q)且OCT(P)=OCT(Q),則稱進程P和Q是可觀測完整跡等價,用P≈OCTQ表示,其中OP(T)表示進程的完整跡,具體定義參考文獻[15]。

    可以根據(jù)進程的結構求出可觀測完整跡。

    性質1[16]令P,Q∈P,l∈L,L?L,f∶Act→Act是集合Act上的雙射。則

    若進程是一個遞歸進程,如 A=∑li.Pi.A。令 A= F(A),則OCT(A)=OCT(Fn(0)),其中F是一個單調函數(shù),而0是零進程。

    根據(jù)通信系統(tǒng)演算,軟件可描述為進程,所以軟件的每個執(zhí)行路徑可以描述成一個可觀測完整跡。要研究軟件與環(huán)境的交互,首先要描述軟件的執(zhí)行路徑與環(huán)境之間的交互。令Env表示所有環(huán)境的集合,Env= {H|H?L},所以Env?ρ(L),其中ρ(L)表示L的冪集。

    接下來給出進程的一個可觀測完整跡滿足環(huán)境的定義。設 P∈P,OCT(P)={σ1,σ2,…,σm}。設 H∈Env是一個環(huán)境,用Act(H)表示環(huán)境H所包含的所有動作構成的集合。任意σ∈OCT(P),用 Act(σ)表示σ中包含的所有動作構成的集合,用|σ|表示σ中包含動作的個數(shù),稱為σ的長度。

    3 進程與環(huán)境交互[0,1]-模型

    在{0,1}-模型中,軟件與環(huán)境的交互結果要么是“0”要么是“1”。這種交互沒辦法區(qū)分軟件與環(huán)境之間部分交互的情況:即軟件的執(zhí)行路徑中有些需要的信息,運行環(huán)境沒有提供,但是此時軟件可以在環(huán)境下運行一段時間,在找不到需要的信息時軟件運行出錯。換句話說,雖然執(zhí)行路徑中有一個動作未能在環(huán)境中找到對應的匹配,而此動作之前的動作都在環(huán)境中找到相應的匹配,此時軟件至少可以與環(huán)境交互到不匹配的動作之前。這時,軟件與環(huán)境能夠部分交互。用這條路徑能夠與環(huán)境部分交互的程度來定義這條路徑與環(huán)境交互的結果。由此可以看出,此時軟件的執(zhí)行路徑與環(huán)境的交互結果不再是“0”或“1”,而是[0,1]區(qū)間內的某個值,把這種交互結果在[0,1]區(qū)間的度量模型,稱為[0,1]-模型。接下來將具體介紹這個模型的定義及相關的性質。

    令OCT(P)={σ1,σ2,…,σm},H∈Env。設σ∈OCT(P),且σ=y1y2…yt,記sσH=k使得任意1≤i≤k≤t,yi?H,但i=k+1,yk+1?H ,表示執(zhí)行路徑σ中第一個在環(huán)境中找不到匹配的動作,而前面的所有動作都能在環(huán)境找到相應的匹配。

    定義5設P∈P,H∈Env,進程P與環(huán)境H交互的結果函數(shù) R[H0,1](P)∶OCT(P)→[0,1]定義如下,任意σ∈OCT(P),

    下面定義進程與環(huán)境交互的度量模型如下:

    定義6設P∈P,H∈Env,進程P與環(huán)境H交互的度量定義為:

    定義6考查了軟件的所有執(zhí)行路徑中能夠與環(huán)境進行交互的概率。

    例1設有一個賣咖啡和牛奶的自動售貨機W。用CCS語言抽象為進程W=1元.(咖啡+牛奶).出口.W。

    通過此表達式可知,若想從這臺售貨機上買一杯咖啡或者牛奶,先要投入1元,然后選擇“咖啡”或者“牛奶”按鈕,最后從出口取出。根據(jù)自動售貨機的功能,此表達式是一個遞歸進程。機器運行一次時,其可觀測完整跡有兩個,分別是σ1=1元 咖啡 出口和σ2= 1元 牛奶 出口。

    在通信系統(tǒng)演算的實際應用中,對于具體的程序采用狀態(tài)轉換系統(tǒng)來表示。每個節(jié)點表示狀態(tài),每條邊表示一個事件,即一個語句。執(zhí)行這個語句可以引起一個狀態(tài)到另一個狀態(tài)的轉換。在轉換過程中需要與環(huán)境進行交互才能完成狀態(tài)的改變。下面列舉一個用C語言編寫的程序來說明軟件與環(huán)境的交互。

    例2用C語言編寫一個程序,該程序的功能是:先從鍵盤上輸入一個值,如果輸入的值小于3,將這個值加1,然后輸出結果,否則將這個值加2,然后輸出結果。某個程序員給出如下的程序,記為P1,狀態(tài)轉換圖如圖1所示。

    圖1 P1的狀態(tài)轉換圖

    為簡單起見,不考慮程序運行的硬件環(huán)境,該程序聲明的全局變量可以看出是其運行的環(huán)境,用動作集合表示為H={(x,int),(y,int),(z,int)}。這段程序的狀態(tài)轉換圖如圖1所示。當在Win-TC編譯器下運行時,其能夠實現(xiàn)要求的功能。在這個狀態(tài)轉換圖中,從初始狀態(tài)執(zhí)行 scanf("\%d",&x),對x=n賦值,獲得下一個狀態(tài)。此時,狀態(tài)從{(x=0,int),(y=0,int),(z=0,int)}變?yōu)閧(x=n,int),(y,int),(z,int)},其中只有變量x的值發(fā)生了變化。在這個狀態(tài)轉換中,總蘊含著與環(huán)境進行交互。這種交互主要是將執(zhí)行語句所獲得的x,y,z的值與環(huán)境進行比較。如果是環(huán)境允許的,可以正確執(zhí)行,否則不能得到正確的結果。為了更加方便地描述交互,在計算完整跡時,只考慮變量值改變的過程。在左邊的完整跡中,其變化次序為:先是變量x的值發(fā)生變化,然后執(zhí)行“z=x+1”使得變量z的值發(fā)生變化,最后執(zhí)行printf("%d",z),使得變量z的值變化,因此變化次序是{(x,int),(z,int),(z,int)}。同理可得,右邊的完整跡中變化次序為{(x,int),(y,int),(y,int)}。而這個執(zhí)行路徑中,變量的變化都是環(huán)境允許的,從而根據(jù)定義5,對這個執(zhí)行路徑賦值都是“1”,再根據(jù)定義6,可得,p[0,1](P1,H)=1。此結果表明這段程序可以與環(huán)境成功交互。

    有些程序員也可能給出下面的程序,用 P2表示,這個程序也能實現(xiàn)要求的功能。其狀態(tài)轉換圖如圖2所示。

    圖2 P2的狀態(tài)轉換圖

    程序P2與P1的不同之處在于語句“y=x+2.2”將變量y賦值為一個浮點型數(shù)據(jù)。由于C語言能夠進行類型轉換,可以將y的類型強制轉換為整型。進而程序P2也可以實現(xiàn)要求的功能,環(huán)境是H={(x,int),(y,int),(z,int)},可以求出 p[0,1](P2,H)=1。

    一些程序員也可能給出下面的程序,用P3來表示,其沒有實現(xiàn)要求的功能,標號轉換系統(tǒng)如圖3所示。

    圖3 P3的狀態(tài)轉換圖

    在左邊的完整跡中,變量的變化次序是{(x,int),(z,int),(z,int)},賦值為1。而右邊的完整跡中,當執(zhí)行printf("%f",y)時,變量 y類型的變化不是環(huán)境運行的,其變化次序{(x,int),(y,int),(y,float)},根據(jù)定義5,右邊的完整跡賦值為。進一步由定義6,可以計算得到這段程序與環(huán)境的交互度量為也就是說此程序沒有和環(huán)境進行成功交互,其成功交互的概率是。

    4 基于環(huán)境和[0,1]-模型的進程近似度量

    在實際應用中,經(jīng)常會遇到在同一環(huán)境下對不同的軟件進行比較。根據(jù)CCS語言,軟件可以抽象成進程。特別對實時系統(tǒng),已經(jīng)存在相應的建模和驗證工具,如UPPAAL。其可以用來對被轉換時間自動機網(wǎng)絡模型的實時系統(tǒng)進行建模、校驗和驗證。它是由瑞典Uppsala大學的信息技術學院和丹麥Aalborg大學的計算科學學院聯(lián)合開發(fā)的。而對于一般的軟件還沒有具體的工具對其進行建模。但是對于規(guī)模較小的軟件,根據(jù)CCS模型,可以用標號轉化系統(tǒng)對其建立狀態(tài)轉換圖,從而抽象出它的可觀測完整跡。例如例2中的程序段,可以抽象成狀態(tài)轉換圖。由于軟件的運行依賴于環(huán)境,在對軟件進行比較時,需要考慮環(huán)境的因素。而環(huán)境對軟件的影響主要體現(xiàn)在軟件與環(huán)境的交互,所以可以從軟件與環(huán)境的交互能力方面來評價軟件的好壞。那么如何來評價這些軟件在與環(huán)境交互方面的能力呢?由于[0,1]-模型不同于{0,1}-模型,所以在本章中將建立在[0,1]-模型和給定環(huán)境下兩個軟件之間的近似度量模型以及在特定環(huán)境下評價軟件好壞的標準。首先建立基于環(huán)境和[0,1]-模型的軟件近似度量。

    例3假設某兩個程序用CCS語言抽象表示為進程P=a.b.0+a.c.0+a.0,Q=a.b.0+a.c.0。執(zhí)行環(huán)境有E= {a,b,d}。則根據(jù)定義5可知:

    性質4說明當兩個軟件是完整跡等價時,它們關于環(huán)境H近似度為1。由此可以根據(jù)完整跡等價算法來計算軟件與環(huán)境之間的近似度量。從定義7可知,對于一個給定的環(huán)境,當兩個軟件之間的差距越小,它們與給定環(huán)境在[0,1]-模型下的交互能力差距就越小。而當軟件的執(zhí)行路徑較多時,將影響軟件的運行速度,從而降低了軟件與環(huán)境交互的能力。由此,可以利用軟件與環(huán)境成功交互的概率來評價軟件與環(huán)境交互能力的好壞。接下來根據(jù)軟件與環(huán)境成功交互的概率來比較軟件的好壞。

    這個定義是說,若軟件Q與環(huán)境H在模型[0,1]上的交互度量值比P與環(huán)境H交互度量值大,那么在環(huán)境H下軟件Q比P好。

    例4設有一個賣咖啡和牛奶的自動售貨機W如例1所示。有另一臺只賣咖啡的自動售貨機P,P=1元.咖啡.出口.P。若某個顧客想買咖啡,用集合H={1元,咖啡,出口}表示,則可知(W,H)=,而(P,H)=1,故(W,H)≤(P,H),所以W?。說明對于環(huán)境H來說,P比W要好,因為其不需要做任何選擇就可以買到想好的咖啡。

    例5對例2中的三段程序進行比較,在聲明了全局變量H={(x,int),(y,int),(z,int)}下,可以看出(P1,H)= 1=(P2,H),由此程序 P1和 P2一樣好。但是由于(P3,H)=,所以P3不如P1和P2好,因為其沒有實現(xiàn)所要求的功能。

    性質6表示在[0,1]-模型和給定環(huán)境H下,與零進程等價的軟件都是最差的軟件,即什么都沒做的軟件是最差的。

    5 結論

    在本文中主要以CCS語言為基礎,建立了軟件與環(huán)境的部分交互模型,同時,從與環(huán)境交互能力方面,討論了軟件的近似程度,以及比較軟件好壞的標準,證明一些代數(shù)性質。

    而在軟件的分析和設計過程中,模塊化和層次化方法是經(jīng)常使用的方法。而在討論軟件與環(huán)境的部分交互時,是否也能采用模塊化的方法來獲得軟件與環(huán)境的交互度量?在接下來的工作中,將對此問題進行研究。

    [1]Chen Yixiang,Zhang Min,Zhu Hong,et al.Average transitive trustworthy degrees for trustworthy[C]//LNCS:Rough Sets and Knowledge Technology,2009,5589.

    [2]Chen Yixiang,Bu Tianming,Zhang Min,et al.Max-minimum algorithm for turst transitivity in trustworthy networks[C]//Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology,2009:62-64.

    [3]Tao Hongwei,Chen Yixiang.A metric model for trustworthiness of software[C]//The Proceedings of ACM International Conferences on Web Intelligence and Intelligent Agent Technology,2009:69-71.

    [4]Xu F,Zheng W,Cao C.Design of a trust valuation model in software service coordination[J].Journal of Software,2003,14(6):1043-1051.

    [5]劉克,單志廣,王戟,等.可信軟件基礎研究重大研究計劃綜述[J].科學進展與展望,2008(3):145-151.

    [6]沈昌祥,張煥國,王懷民,等.可信計算的研究與發(fā)展[J].中國科學 F輯:信息科學,2010,40(2):139-166.

    [7]鄭志明,馬世龍,李未,等.軟件可信復雜性及其動力學統(tǒng)計分析[J].中國科學 F輯:信息科學,2009,39(10):1050-1054.

    [8]Milner R.Communication and concurrency[M].New York:Prentice Hall,1989.

    [9]Milner R.Communicating and mobile systems:the π-calculus[M].Cambridge:Cambridge University Press,1999.

    [10]Larsen K G.Context-dependent bisimulation between process[D].Edinburgh:Aalborg University Centre Strandvejen,1986.

    [11]Yuen S,Cleaveland R,Dayar Z,et al.Fully abstract characterizations of testing preorders for probabilisitc processes[C]//The Proceedings of CONCUR’94.Berlin:Springer,1994,836:497-512.

    [12]Deng Yunxin,van Glabbeek R,Hennessy M,et al.Remarks on testing probabilistic processes[J].Electronic Notes in Theoretical Computer Science,2007,172:359-397.

    [13]Ling Cheung,Stoelinga M,Vaandrager F.A testing scenario for probabilistic processes[J].Journal of the ACM,2007,54(6):1-44.

    [14]He J F,Hoare T.Equating bisimulation with refinement[R]. UNU-IIST,Macau,China,2003.

    [15]van Glabbeek R J.The linear time-branching time spectrum I*[EB/OL].[2014-01-03].http://theory.stanford.edu/rvg.

    [16]馬艷芳,陳亮.基于交互的環(huán)境近似度量模型[J].山東大學學報:理學版,2013,48(7):33-38.

    [17]Ying M S.Bisimulation indexes and their applications[J]. Theoretical Computer Science,2002,275(1/2):1-68.

    [18]Giacalone A,Jou C,Smolka S A.Probabilistic in processes:an algebraic/operational framework,Technical Report No.88/20[R].Department of Computer Science,SUNY at Stony Brook,1988.

    [19]Deng Y X,Glabbeek R,Hennessy M,et al.Testing finitary probabilistic processes[C]//Lecture Notes in Computer Science,2009,5710:274-288.

    [20]馬艷芳,陳亮.基于ε-互模擬的軟件近似正確性模型[J].計算機工程與應用,2013,49(11):15-19.

    MAYanfang1,2,CHEN Liang3

    1.School of Computer Science and Technology,Huaibei Normal University,Huaibei,Anhui 235000,China
    2.Shanghai Key Laboratory of Trustworthy Computing,Shanghai 200062,China
    3.School of Mathematics Science,Huaibei Normal University,Huaibei,Anhui 235000,China

    The dependence of the software on its environment mainly comes from the interaction.In the real application, sometimes,the interaction may not be successful.The interaction degree will have an effect on the ability of software.In order to test the property of software on the environment,it is necessary to compare the interaction ability of software with environment.In this paper,based on process algebra,the approximate measure model of software will be researched using complete trace semantics.The partial interaction will be formalized using the completed trace semantics.Some examples will be stated.The quantitative model which describes the approximate degree between software will be proposed. Some algebraic properties are proved.The criterion which evaluates the interaction ability with environment will be given.

    partial interaction;measure;formalization;process algebra

    軟件對環(huán)境的依賴性主要體現(xiàn)在軟件與環(huán)境的交互。在實際中,有時軟件與環(huán)境未必成功交互。其交互程度對軟件的性能有著很大的影響。為測試不同軟件在環(huán)境下的性能,需要對軟件與環(huán)境的交互能力進行比較。在進程代數(shù)理論基礎上,利用完整跡語義,建立軟件近似程度的量化模型。形式化描述軟件與環(huán)境的部分交互。列舉一些例子對模型進行說明。建立軟件近似程度的量化模型,證明一些代數(shù)性質。進一步,建立評價軟件在與環(huán)境交互方面好壞的標準。

    部分交互;度量;形式化;進程代數(shù)

    A

    TP301;O159

    10.3778/j.issn.1002-8331.1403-0401

    MA Yanfang,CHEN Liang.Approximate measure model of software based on partial interaction.Computer Engineering and Applications,2014,50(24):32-37.

    國家自然科學基金(No.61300048);安徽省自然科學基金(No.1308085QF117);安徽省高等學校省級自然科學研究重點項目(No.KJ2011A248,No.KJ2012Z347);上海市高可信重點實驗室開放課題項目(No.07DZ22304201004)。

    馬艷芳,女,博士,副教授,主要從事進程演算、程序語義、軟件可信性等方面的研究;陳亮,通訊作者,男,博士,副教授,主要從事數(shù)值計算、矩陣計算、算法等方面的研究。E-mail:clmyf2@163.com

    2014-03-26

    2014-06-25

    1002-8331(2014)24-0032-06

    CNKI網(wǎng)絡優(yōu)先出版:2014-09-04,http∶//www.cnki.net/kcms/doi/10.3778/j.issn.1002-8331.1403-0401.html

    猜你喜歡
    進程定義程序
    債券市場對外開放的進程與展望
    中國外匯(2019年20期)2019-11-25 09:54:58
    試論我國未決羈押程序的立法完善
    人大建設(2019年12期)2019-05-21 02:55:44
    “程序猿”的生活什么樣
    英國與歐盟正式啟動“離婚”程序程序
    成功的定義
    山東青年(2016年1期)2016-02-28 14:25:25
    創(chuàng)衛(wèi)暗訪程序有待改進
    社會進程中的新聞學探尋
    民主與科學(2014年3期)2014-02-28 11:23:03
    我國高等教育改革進程與反思
    修辭學的重大定義
    當代修辭學(2014年3期)2014-01-21 02:30:44
    Linux僵死進程的產生與避免
    卡戴珊不雅视频在线播放| 少妇的逼水好多| h日本视频在线播放| 免费看a级黄色片| 亚洲国产欧美在线一区| 91精品伊人久久大香线蕉| 青春草国产在线视频| 一级爰片在线观看| 精品久久久噜噜| 尾随美女入室| 婷婷色麻豆天堂久久| 亚洲av免费在线观看| 欧美zozozo另类| 美女高潮的动态| 成人午夜精彩视频在线观看| 三级国产精品欧美在线观看| 搡女人真爽免费视频火全软件| 青青草视频在线视频观看| 99热全是精品| 国产午夜精品一二区理论片| 我的老师免费观看完整版| 看非洲黑人一级黄片| 精品久久久久久久久av| 亚洲综合精品二区| 亚洲图色成人| 亚洲国产精品专区欧美| 免费观看性生交大片5| 天堂俺去俺来也www色官网 | 久久久亚洲精品成人影院| 久久久久久伊人网av| 国产黄片视频在线免费观看| 亚洲精品中文字幕在线视频 | 亚洲精品成人久久久久久| 丰满乱子伦码专区| 国产美女午夜福利| 亚洲在线自拍视频| 九九在线视频观看精品| 亚洲美女视频黄频| 一个人免费在线观看电影| 日韩一区二区三区影片| 97超碰精品成人国产| 亚洲精品亚洲一区二区| 久久久久久久午夜电影| 最近2019中文字幕mv第一页| 久久这里有精品视频免费| 日本免费在线观看一区| 国产 亚洲一区二区三区 | 欧美性猛交╳xxx乱大交人| 午夜激情欧美在线| 精品人妻偷拍中文字幕| 国产精品久久久久久精品电影| 一个人观看的视频www高清免费观看| 女的被弄到高潮叫床怎么办| 人妻制服诱惑在线中文字幕| 美女主播在线视频| 免费观看无遮挡的男女| 成人亚洲精品av一区二区| 亚洲欧美日韩东京热| 自拍偷自拍亚洲精品老妇| 激情五月婷婷亚洲| 免费黄色在线免费观看| 赤兔流量卡办理| 91午夜精品亚洲一区二区三区| 亚洲国产欧美人成| 97精品久久久久久久久久精品| 美女被艹到高潮喷水动态| av在线蜜桃| 亚洲av福利一区| 性色avwww在线观看| 免费看日本二区| 久久鲁丝午夜福利片| 国产 一区精品| 美女xxoo啪啪120秒动态图| 麻豆乱淫一区二区| 尾随美女入室| 亚洲成人中文字幕在线播放| 日韩av在线大香蕉| 欧美成人午夜免费资源| 欧美激情久久久久久爽电影| 亚洲欧美成人综合另类久久久| 国产免费视频播放在线视频 | 国产男人的电影天堂91| 男人和女人高潮做爰伦理| 久久久久久久亚洲中文字幕| 国内精品美女久久久久久| 中文精品一卡2卡3卡4更新| 一本一本综合久久| 99久久精品一区二区三区| 国产乱人视频| 嫩草影院精品99| 日韩一区二区三区影片| 内射极品少妇av片p| 亚洲国产精品sss在线观看| 天美传媒精品一区二区| 久久久久久久国产电影| 人人妻人人澡人人爽人人夜夜 | 亚洲精品456在线播放app| 国产精品99久久久久久久久| 人人妻人人澡欧美一区二区| 久久99热这里只频精品6学生| 国产精品蜜桃在线观看| 国产男人的电影天堂91| 亚洲成人久久爱视频| 午夜免费男女啪啪视频观看| 2021天堂中文幕一二区在线观| 久久综合国产亚洲精品| 特大巨黑吊av在线直播| 人人妻人人澡人人爽人人夜夜 | 中文字幕免费在线视频6| 国产精品一区二区在线观看99 | 中文字幕制服av| 国产黄色视频一区二区在线观看| 欧美日本视频| 男人舔女人下体高潮全视频| 欧美成人a在线观看| 最近最新中文字幕大全电影3| 亚洲第一区二区三区不卡| 亚洲av成人av| 国产视频内射| 色综合色国产| 99久久中文字幕三级久久日本| 国产亚洲精品久久久com| 国产免费又黄又爽又色| 天天躁夜夜躁狠狠久久av| 国产高清国产精品国产三级 | 国产精品美女特级片免费视频播放器| 在线播放无遮挡| 日韩av不卡免费在线播放| 噜噜噜噜噜久久久久久91| 国产精品伦人一区二区| 免费av不卡在线播放| 免费电影在线观看免费观看| 国产美女午夜福利| 国产成人freesex在线| 亚洲欧美成人综合另类久久久| 最近手机中文字幕大全| av专区在线播放| 亚洲精品久久久久久婷婷小说| 观看美女的网站| 亚洲美女搞黄在线观看| 国产免费一级a男人的天堂| 久久人人爽人人爽人人片va| 久久99热6这里只有精品| 黄色配什么色好看| 在线免费观看的www视频| 亚洲欧美中文字幕日韩二区| 久久久久九九精品影院| 国产欧美日韩精品一区二区| 2021天堂中文幕一二区在线观| 亚洲国产精品成人综合色| 中文字幕人妻熟人妻熟丝袜美| 国产女主播在线喷水免费视频网站 | 欧美激情在线99| 国产在线一区二区三区精| 身体一侧抽搐| 深爱激情五月婷婷| 亚洲图色成人| 久久久亚洲精品成人影院| 校园人妻丝袜中文字幕| 真实男女啪啪啪动态图| 午夜福利在线在线| 毛片一级片免费看久久久久| 欧美97在线视频| 人人妻人人澡欧美一区二区| 亚洲国产最新在线播放| 赤兔流量卡办理| 26uuu在线亚洲综合色| 男女视频在线观看网站免费| 黄色欧美视频在线观看| 亚洲欧美日韩无卡精品| 性色avwww在线观看| 精品久久久久久久人妻蜜臀av| 精品人妻视频免费看| 91精品伊人久久大香线蕉| 日韩视频在线欧美| 国产 一区精品| 亚洲精品国产av成人精品| 亚洲av福利一区| 少妇被粗大猛烈的视频| videossex国产| 夜夜爽夜夜爽视频| 亚洲四区av| 晚上一个人看的免费电影| 天天一区二区日本电影三级| 亚洲av.av天堂| 欧美xxxx性猛交bbbb| 十八禁网站网址无遮挡 | 久久久久久久久久久丰满| 纵有疾风起免费观看全集完整版 | 成人一区二区视频在线观看| 中文欧美无线码| 欧美xxxx黑人xx丫x性爽| 成人欧美大片| eeuss影院久久| 久久国内精品自在自线图片| 日日摸夜夜添夜夜添av毛片| 精品国产三级普通话版| 亚洲人与动物交配视频| 天堂影院成人在线观看| 人人妻人人澡欧美一区二区| 午夜福利视频1000在线观看| 色5月婷婷丁香| 亚洲怡红院男人天堂| 毛片女人毛片| 天堂√8在线中文| 麻豆乱淫一区二区| 久久久久久久久久人人人人人人| 色综合站精品国产| av线在线观看网站| 2022亚洲国产成人精品| 久久久久九九精品影院| 高清视频免费观看一区二区 | 亚洲丝袜综合中文字幕| 久久精品国产自在天天线| 国产亚洲av嫩草精品影院| 亚洲欧美成人精品一区二区| 免费av毛片视频| 人妻少妇偷人精品九色| 亚洲av二区三区四区| 色哟哟·www| 午夜福利成人在线免费观看| 国产爱豆传媒在线观看| 国产精品久久久久久av不卡| 国产午夜精品一二区理论片| 亚洲av.av天堂| 久久99热6这里只有精品| 你懂的网址亚洲精品在线观看| 久久综合国产亚洲精品| 国产色婷婷99| 久久精品国产自在天天线| 简卡轻食公司| 色网站视频免费| 狂野欧美激情性xxxx在线观看| 久久精品国产亚洲av天美| 精品人妻偷拍中文字幕| 欧美xxxx黑人xx丫x性爽| 97超碰精品成人国产| 国产 亚洲一区二区三区 | 亚洲精品成人av观看孕妇| 亚洲经典国产精华液单| 免费观看的影片在线观看| 免费av观看视频| 最近最新中文字幕免费大全7| 久久99热6这里只有精品| 日本-黄色视频高清免费观看| 日本免费a在线| 精品久久久噜噜| 男人舔女人下体高潮全视频| 久久久久性生活片| 免费观看av网站的网址| 久久97久久精品| 成人欧美大片| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 天堂俺去俺来也www色官网 | 亚洲欧美清纯卡通| 天天一区二区日本电影三级| 亚洲精品国产成人久久av| 天堂影院成人在线观看| eeuss影院久久| 欧美xxxx性猛交bbbb| 美女脱内裤让男人舔精品视频| 深爱激情五月婷婷| 国产伦精品一区二区三区四那| 亚洲国产精品专区欧美| 久久精品久久久久久久性| 1000部很黄的大片| 一本久久精品| 久久鲁丝午夜福利片| 色综合站精品国产| 夜夜爽夜夜爽视频| 国产成人免费观看mmmm| 蜜桃亚洲精品一区二区三区| 91午夜精品亚洲一区二区三区| av国产久精品久网站免费入址| 日韩在线高清观看一区二区三区| 简卡轻食公司| 国产 亚洲一区二区三区 | 熟妇人妻不卡中文字幕| 欧美日韩综合久久久久久| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 国产黄频视频在线观看| 观看美女的网站| 在线观看人妻少妇| 久久99蜜桃精品久久| 一级毛片我不卡| 免费看光身美女| xxx大片免费视频| 狠狠精品人妻久久久久久综合| 精品熟女少妇av免费看| 一区二区三区四区激情视频| 久久精品熟女亚洲av麻豆精品 | 建设人人有责人人尽责人人享有的 | 国产精品日韩av在线免费观看| 日本三级黄在线观看| 免费高清在线观看视频在线观看| 美女cb高潮喷水在线观看| 亚洲最大成人中文| 日本猛色少妇xxxxx猛交久久| 亚洲图色成人| 男女下面进入的视频免费午夜| 在线免费观看不下载黄p国产| 99视频精品全部免费 在线| 国产黄色小视频在线观看| 日韩欧美一区视频在线观看 | 小蜜桃在线观看免费完整版高清| 亚洲18禁久久av| 高清毛片免费看| 久久99蜜桃精品久久| 日韩 亚洲 欧美在线| 高清午夜精品一区二区三区| 大片免费播放器 马上看| 国产伦在线观看视频一区| 少妇的逼好多水| 又爽又黄a免费视频| 自拍偷自拍亚洲精品老妇| 精品一区二区三区视频在线| 99久久精品一区二区三区| 日本色播在线视频| 日韩一本色道免费dvd| 国国产精品蜜臀av免费| 一级av片app| 色综合色国产| 日韩大片免费观看网站| 男插女下体视频免费在线播放| 国产伦一二天堂av在线观看| 爱豆传媒免费全集在线观看| 久久人人爽人人片av| av福利片在线观看| 最近视频中文字幕2019在线8| 久久精品久久久久久久性| 少妇高潮的动态图| 日韩三级伦理在线观看| 日韩一区二区三区影片| 久久久久国产网址| 亚洲精品日韩av片在线观看| 色播亚洲综合网| 男女那种视频在线观看| ponron亚洲| 深爱激情五月婷婷| 中文字幕免费在线视频6| 国产高清不卡午夜福利| 色哟哟·www| 成人鲁丝片一二三区免费| 特级一级黄色大片| 日韩欧美精品v在线| 18禁裸乳无遮挡免费网站照片| 国产精品人妻久久久久久| 国产伦精品一区二区三区视频9| 好男人在线观看高清免费视频| 波多野结衣巨乳人妻| 最新中文字幕久久久久| 亚洲最大成人手机在线| 亚洲精华国产精华液的使用体验| 男人舔奶头视频| freevideosex欧美| 综合色丁香网| 久久久久久久亚洲中文字幕| 国产午夜精品久久久久久一区二区三区| 亚洲高清免费不卡视频| 在线播放无遮挡| 亚洲av.av天堂| 国产亚洲一区二区精品| 国产精品一区二区在线观看99 | 超碰av人人做人人爽久久| 国产成人精品一,二区| 如何舔出高潮| 色综合色国产| 国产一区亚洲一区在线观看| 免费黄色在线免费观看| 色综合色国产| av一本久久久久| 国产一级毛片在线| 成年女人看的毛片在线观看| 深爱激情五月婷婷| 亚洲人成网站高清观看| 精华霜和精华液先用哪个| 亚洲国产精品成人久久小说| 国产成人精品福利久久| 激情五月婷婷亚洲| 尤物成人国产欧美一区二区三区| freevideosex欧美| 国产黄色小视频在线观看| 天堂网av新在线| 亚洲成人中文字幕在线播放| 亚洲欧美中文字幕日韩二区| 97超碰精品成人国产| 日韩制服骚丝袜av| 免费黄色在线免费观看| 插逼视频在线观看| 少妇裸体淫交视频免费看高清| videos熟女内射| 成人毛片60女人毛片免费| 一夜夜www| 联通29元200g的流量卡| 3wmmmm亚洲av在线观看| 午夜爱爱视频在线播放| 久久鲁丝午夜福利片| av又黄又爽大尺度在线免费看| 国产单亲对白刺激| 大陆偷拍与自拍| 99九九线精品视频在线观看视频| 亚洲天堂国产精品一区在线| 只有这里有精品99| 久久久久九九精品影院| 人妻制服诱惑在线中文字幕| 少妇的逼好多水| 精品亚洲乱码少妇综合久久| 自拍偷自拍亚洲精品老妇| 中文乱码字字幕精品一区二区三区 | 久久久久精品久久久久真实原创| 九九爱精品视频在线观看| 日韩制服骚丝袜av| 成人综合一区亚洲| 淫秽高清视频在线观看| 欧美激情国产日韩精品一区| 亚洲婷婷狠狠爱综合网| 美女脱内裤让男人舔精品视频| 99久久精品国产国产毛片| 两个人的视频大全免费| 久久人人爽人人片av| 少妇人妻一区二区三区视频| 亚洲久久久久久中文字幕| 亚洲av男天堂| 日韩一区二区视频免费看| 久久久精品94久久精品| 99re6热这里在线精品视频| 一区二区三区四区激情视频| 在线天堂最新版资源| 久久久色成人| 亚洲精品日韩在线中文字幕| 国产精品久久久久久久久免| 精品久久久久久电影网| 成人综合一区亚洲| 偷拍熟女少妇极品色| 免费看光身美女| 嫩草影院入口| 国产成人精品久久久久久| 精品人妻熟女av久视频| 国产午夜精品久久久久久一区二区三区| 18禁动态无遮挡网站| 国产精品久久久久久精品电影| 十八禁国产超污无遮挡网站| 国产一区二区亚洲精品在线观看| 国产高清不卡午夜福利| 午夜免费激情av| 男的添女的下面高潮视频| 秋霞在线观看毛片| 国产不卡一卡二| 中文字幕人妻熟人妻熟丝袜美| 国产成年人精品一区二区| 美女被艹到高潮喷水动态| 久久久精品欧美日韩精品| 内射极品少妇av片p| 性插视频无遮挡在线免费观看| 国产高清不卡午夜福利| 成年人午夜在线观看视频 | 午夜精品在线福利| 婷婷色麻豆天堂久久| 国产精品蜜桃在线观看| av免费在线看不卡| 久久久精品免费免费高清| 18禁在线播放成人免费| 国产男女超爽视频在线观看| 国产片特级美女逼逼视频| 亚洲精品久久久久久婷婷小说| 久热久热在线精品观看| 国产精品久久久久久精品电影| 联通29元200g的流量卡| 一个人免费在线观看电影| h日本视频在线播放| 毛片女人毛片| 国产黄色免费在线视频| 亚洲人成网站在线播| 丰满人妻一区二区三区视频av| 80岁老熟妇乱子伦牲交| 一区二区三区四区激情视频| 亚洲欧美精品自产自拍| 天堂俺去俺来也www色官网 | 嘟嘟电影网在线观看| 国产精品av视频在线免费观看| av在线老鸭窝| 乱人视频在线观看| 国产高清不卡午夜福利| 三级毛片av免费| 日本午夜av视频| 国产大屁股一区二区在线视频| 2018国产大陆天天弄谢| 特级一级黄色大片| 高清欧美精品videossex| 神马国产精品三级电影在线观看| 99热这里只有精品一区| 国产成人精品婷婷| 人妻一区二区av| 嫩草影院入口| 天天躁夜夜躁狠狠久久av| 欧美日韩亚洲高清精品| 亚洲精品色激情综合| 国产成人午夜福利电影在线观看| 大片免费播放器 马上看| 久久久久久九九精品二区国产| 又爽又黄无遮挡网站| 免费电影在线观看免费观看| 国产又色又爽无遮挡免| 国产成人a∨麻豆精品| 成人毛片60女人毛片免费| 亚洲精品456在线播放app| 99热网站在线观看| 亚洲精华国产精华液的使用体验| 精品久久久久久久末码| 91午夜精品亚洲一区二区三区| 午夜激情欧美在线| 国产乱人视频| 少妇人妻精品综合一区二区| 婷婷色麻豆天堂久久| 久久99热6这里只有精品| 久久99蜜桃精品久久| 男人狂女人下面高潮的视频| 自拍偷自拍亚洲精品老妇| a级毛色黄片| 久久久午夜欧美精品| 免费在线观看成人毛片| 亚洲av中文av极速乱| 久久精品夜色国产| 天天躁夜夜躁狠狠久久av| 亚洲成人久久爱视频| 久久热精品热| 久久人人爽人人片av| av在线观看视频网站免费| 成人av在线播放网站| 男的添女的下面高潮视频| 欧美xxxx性猛交bbbb| 亚洲激情五月婷婷啪啪| 久久精品国产亚洲网站| 国产av在哪里看| 麻豆精品久久久久久蜜桃| 久久久久久九九精品二区国产| 免费黄色在线免费观看| av在线观看视频网站免费| 精品人妻熟女av久视频| 欧美日韩一区二区视频在线观看视频在线 | 久久久精品欧美日韩精品| 夫妻性生交免费视频一级片| 狂野欧美白嫩少妇大欣赏| 街头女战士在线观看网站| 又黄又爽又刺激的免费视频.| 我要看日韩黄色一级片| 成人亚洲欧美一区二区av| 少妇人妻精品综合一区二区| 国产精品久久久久久精品电影| 亚洲欧美成人精品一区二区| 97热精品久久久久久| 亚洲av中文av极速乱| 午夜久久久久精精品| 久久久精品欧美日韩精品| 国产熟女欧美一区二区| 麻豆av噜噜一区二区三区| 国产 亚洲一区二区三区 | 天堂av国产一区二区熟女人妻| 久久6这里有精品| 国产免费视频播放在线视频 | 超碰av人人做人人爽久久| 欧美xxⅹ黑人| 欧美 日韩 精品 国产| 一级片'在线观看视频| www.av在线官网国产| 成人av在线播放网站| 日本wwww免费看| 看黄色毛片网站| 好男人视频免费观看在线| 只有这里有精品99| 午夜精品一区二区三区免费看| 日日摸夜夜添夜夜爱| 精品人妻偷拍中文字幕| 极品少妇高潮喷水抽搐| 观看美女的网站| 91久久精品电影网| 久久精品国产鲁丝片午夜精品| 一级二级三级毛片免费看| 午夜福利在线观看免费完整高清在| a级毛色黄片| 777米奇影视久久| 亚洲色图av天堂| 在线免费观看不下载黄p国产| 免费电影在线观看免费观看| 亚洲,欧美,日韩| 午夜福利视频1000在线观看| 国产真实伦视频高清在线观看| 夜夜爽夜夜爽视频| 一二三四中文在线观看免费高清| 2022亚洲国产成人精品| 国产 一区 欧美 日韩| 观看美女的网站| 国内少妇人妻偷人精品xxx网站| 久久精品国产亚洲av天美| 美女xxoo啪啪120秒动态图| 我的老师免费观看完整版| 精品久久久久久成人av| 青春草亚洲视频在线观看| 免费观看av网站的网址| 晚上一个人看的免费电影| 精品久久久久久久久久久久久| 色综合站精品国产| av.在线天堂| 亚洲人成网站在线播| 又爽又黄无遮挡网站| 日本与韩国留学比较| 国产成人a区在线观看| 免费观看无遮挡的男女| 男女边摸边吃奶| 又黄又爽又刺激的免费视频.| 欧美激情在线99| 亚洲精品自拍成人| 亚洲在线自拍视频| 日韩av在线大香蕉| 国产黄色免费在线视频|