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

    多視圖軍事需求模型要素關(guān)系沖突檢測(cè)研究

    2022-07-13 02:38:42馮濟(jì)舟董世友
    關(guān)鍵詞:沖突檢測(cè)系統(tǒng)工程沖突

    馮濟(jì)舟, 吳 亮, 董世友

    (中國(guó)電子科技集團(tuán)公司第三十八研究所,安徽 合肥 230088)

    0 引 言

    隨著信息技術(shù)的持續(xù)發(fā)展,現(xiàn)代系統(tǒng)的復(fù)雜程度和規(guī)模不斷增加[1],傳統(tǒng)的以文檔為中心的系統(tǒng)工程由于存在無法保證數(shù)據(jù)一致性、更改困難、難以描述活動(dòng)等諸多缺陷,已無法滿足工程方案設(shè)計(jì)的要求?;谀P偷南到y(tǒng)工程(Model-Based Systems Engineering,MBSE)正成為復(fù)雜系統(tǒng)設(shè)計(jì)的基礎(chǔ)。MBSE將模型置于整個(gè)系統(tǒng)工程過程的中心,從設(shè)計(jì)階段開始即通過模型的不斷演化、迭代遞增實(shí)現(xiàn)產(chǎn)品的系統(tǒng)設(shè)計(jì)[2-3]。相對(duì)于傳統(tǒng)以文檔為中心的系統(tǒng)工程,MBSE加強(qiáng)了投資者與團(tuán)隊(duì)成員之間溝通,提高了知識(shí)獲取的能力,具有更好的信息追溯性,增強(qiáng)工件重用以及降低開發(fā)風(fēng)險(xiǎn)等。模型驅(qū)動(dòng)的系統(tǒng)設(shè)計(jì)方法“被寄予希望能夠取代多年來被系統(tǒng)工程師所運(yùn)用的文檔中心方法,并最終被完整的集成進(jìn)系統(tǒng)工程過程”[4]。

    當(dāng)前,系統(tǒng)工程建模的語(yǔ)言、工具和技術(shù)很多,如行為圖、IDEF0、N2圖等,然而這些建模方法使用的符號(hào)和語(yǔ)義不同,彼此之間不能互操作和重用。系統(tǒng)工程標(biāo)準(zhǔn)建模語(yǔ)言[7]正是在這個(gè)背景下,由國(guó)際系統(tǒng)工程學(xué)會(huì)和對(duì)象管理組織于2004年提出[5],在工程實(shí)踐中廣泛應(yīng)用,并取得了良好的應(yīng)用效果。

    目前,對(duì)于沖突檢測(cè)方法主要有以下四種:1)形式化推理的方式,將設(shè)計(jì)轉(zhuǎn)化成邏輯描述,并刻畫其對(duì)象屬性,從而完成設(shè)計(jì)沖突檢測(cè)的技術(shù)[6],其難點(diǎn)在于設(shè)計(jì)轉(zhuǎn)化為邏輯描述及推理機(jī)的構(gòu)建;2)狀態(tài)轉(zhuǎn)換作為設(shè)計(jì)建模原則,利用狀態(tài)模型檢驗(yàn),將設(shè)計(jì)轉(zhuǎn)化為狀態(tài)轉(zhuǎn)換,通過檢測(cè)狀態(tài),判斷設(shè)計(jì)沖突問題[7],其難點(diǎn)在于設(shè)計(jì)無遺漏、客觀地轉(zhuǎn)換為狀態(tài)轉(zhuǎn)換;3)目標(biāo)作為設(shè)計(jì)建模原則,利用目標(biāo)語(yǔ)義及其啟發(fā)式規(guī)則,進(jìn)行設(shè)計(jì)沖突檢測(cè)[8-10],其難點(diǎn)在于目標(biāo)語(yǔ)義和啟發(fā)式規(guī)則的構(gòu)建及語(yǔ)義、規(guī)則集的完整性;4)利用圖文法[11],通過給定圖的性質(zhì)及語(yǔ)義,檢測(cè)處理用圖表達(dá)的設(shè)計(jì)描述的沖突問題,其難點(diǎn)在于各種不同業(yè)務(wù)領(lǐng)域定義的準(zhǔn)確性和完整性[12-13]。上述四種方法針對(duì)的是系統(tǒng)工程設(shè)計(jì)表達(dá)的不同方面,基于此方面表達(dá)形式的特性,建立模型和定義規(guī)則,并給予實(shí)現(xiàn)。因此,用上述四種方法建模,只能建立起由方法論規(guī)定的有限種的表達(dá)形式,每種表達(dá)形式都要建立模型和規(guī)則,且彼此之間的關(guān)系都是固定的,有時(shí)還需要建立語(yǔ)義庫(kù)。

    由此可見,上述四種方法在系統(tǒng)工程設(shè)計(jì)表達(dá)方面的局限性,往往會(huì)造成系統(tǒng)工程設(shè)計(jì)表達(dá)內(nèi)容完整性的缺失,更無系統(tǒng)工程設(shè)計(jì)表達(dá)的標(biāo)準(zhǔn)性、系統(tǒng)性和復(fù)雜性的考慮。然而,系統(tǒng)工程設(shè)計(jì)分析是一個(gè)層次化的分析過程,從設(shè)計(jì)初期階段,提出比較模糊的戰(zhàn)略構(gòu)想,再到設(shè)計(jì)中期階段,逐步形成作戰(zhàn)設(shè)計(jì),推出能力設(shè)計(jì),最后再到設(shè)計(jì)末期階段,得出比較完整的系統(tǒng)設(shè)計(jì)方案設(shè)計(jì)。在整個(gè)過程中,都有獲取和定義系統(tǒng)工程設(shè)計(jì)的要求,因此系統(tǒng)工程設(shè)計(jì)沖突檢測(cè)方法要能涵蓋整個(gè)設(shè)計(jì)階段過程;其次,上述四種方法的建模粒度過細(xì),甚至要依靠第三方分析、設(shè)計(jì)工具,設(shè)計(jì)的轉(zhuǎn)化表達(dá)工作量大,規(guī)則集的構(gòu)造復(fù)雜,通用性差,從構(gòu)想到應(yīng)用的工程量相當(dāng)于一個(gè)專業(yè)化工具的開發(fā),且缺乏可擴(kuò)展性和復(fù)用性,極大影響了設(shè)計(jì)沖突檢測(cè)應(yīng)用及檢測(cè)執(zhí)行效果的驗(yàn)證;最后,采用語(yǔ)義庫(kù)的方式,將受限于所要表達(dá)的具體業(yè)務(wù),雖然沖突檢測(cè)限制在系統(tǒng)工程設(shè)計(jì)方面,但由于系統(tǒng)工程設(shè)計(jì)業(yè)務(wù)的差異,所需要的語(yǔ)義庫(kù)也就千差萬別,更無從評(píng)估所建語(yǔ)義庫(kù)的正確性和完整性對(duì)沖突檢測(cè)的影響。

    本文針對(duì)以上問題,通過研究目前流行的系統(tǒng)工程設(shè)計(jì)中用于多視圖軍事需求模型要素表達(dá)的工具特性,抽象、歸類[14],提出了基于圖論方法的抽象建模,簡(jiǎn)化了設(shè)計(jì)轉(zhuǎn)化表達(dá)的難度,提升了設(shè)計(jì)表達(dá)的直觀性,由圖論法抽象的模型,可以在各視圖軍事需求模型的設(shè)計(jì)表達(dá)工具中使用,提高了沖突檢測(cè)方法的通用性、可擴(kuò)展性和復(fù)用性,減少了工程量,加快了設(shè)計(jì)沖突檢測(cè)應(yīng)用及檢測(cè)執(zhí)行效果的驗(yàn)證。針對(duì)語(yǔ)義庫(kù)的劣勢(shì),提出了采用矩陣和證據(jù)推斷表達(dá)實(shí)現(xiàn)圖論理論的方法,在無需額外資源的情況下,只憑借視角下系統(tǒng)工程設(shè)計(jì)表達(dá)矩陣中各元素本體的特點(diǎn)和規(guī)律,在系統(tǒng)設(shè)計(jì)運(yùn)行之前,進(jìn)行設(shè)計(jì)沖突檢測(cè),避免沖突檢測(cè)的漏測(cè)和誤測(cè)[15]。

    1 系統(tǒng)工程設(shè)計(jì)沖突分類及檢測(cè)步驟

    1.1 系統(tǒng)工程設(shè)計(jì)沖突分類

    同視角下設(shè)計(jì)之間顯性沖突指構(gòu)成該視角的設(shè)計(jì)項(xiàng)之間存在矛盾或沖突的地方,可分為以下三種情況。如圖1(a)所示,設(shè)計(jì)項(xiàng)a2和a3互為上下級(jí)關(guān)系,那么設(shè)計(jì)項(xiàng)a2和a3可能會(huì)出現(xiàn)沖突;如圖1(b)所示,設(shè)計(jì)項(xiàng)a2是設(shè)計(jì)項(xiàng)a4、a5和a3的上級(jí)設(shè)計(jì),設(shè)計(jì)項(xiàng)a3是設(shè)計(jì)項(xiàng)a5的上級(jí)設(shè)計(jì),那么設(shè)計(jì)項(xiàng)a2和a3可能會(huì)出現(xiàn)了沖突;如圖1(c)所示,設(shè)計(jì)項(xiàng)a2和a3同時(shí)是設(shè)計(jì)項(xiàng)a4和a5的上級(jí)設(shè)計(jì),那么設(shè)計(jì)項(xiàng)a2和a3可能會(huì)出現(xiàn)了沖突。

    圖1 同視角下設(shè)計(jì)之間顯性沖突示意圖

    同視角下設(shè)計(jì)關(guān)系沖突指設(shè)計(jì)項(xiàng)關(guān)系存在矛盾或沖突的地方。比如對(duì)于設(shè)計(jì)項(xiàng),如果定義了設(shè)計(jì)項(xiàng)a1是設(shè)計(jì)項(xiàng)a3的上級(jí)設(shè)計(jì),設(shè)計(jì)項(xiàng)a3是設(shè)計(jì)項(xiàng)a5的上級(jí)設(shè)計(jì),那么設(shè)計(jì)項(xiàng)a5不應(yīng)該是設(shè)計(jì)項(xiàng)a1的上級(jí)設(shè)計(jì),否則設(shè)計(jì)項(xiàng)關(guān)系之間就會(huì)出現(xiàn)沖突。如圖2所示。

    圖2 單個(gè)視角原子設(shè)計(jì)項(xiàng)關(guān)系沖突示意圖

    不同視角下設(shè)計(jì)映射關(guān)系沖突指不同視角的設(shè)計(jì)項(xiàng)經(jīng)設(shè)計(jì)映射后,不同視角相關(guān)設(shè)計(jì)項(xiàng)的設(shè)計(jì)關(guān)系發(fā)生沖突的地方。比如對(duì)于設(shè)計(jì)集A={a1,a2,a3,a4,a5}和設(shè)計(jì)集B={b1,b2,b3,b4,b5}之間存在映射關(guān)系,如果在集合A中,定義了設(shè)計(jì)項(xiàng)a2是設(shè)計(jì)項(xiàng)a4的上級(jí)設(shè)計(jì)。在集合B中,定義了設(shè)計(jì)項(xiàng)b3是設(shè)計(jì)項(xiàng)b4、b5的上級(jí)設(shè)計(jì)。如果兩個(gè)集合間設(shè)計(jì)項(xiàng)a2與b4、b5具有映射關(guān)系,設(shè)計(jì)項(xiàng)a4與b3具有映射關(guān)系,那么集合A中的a2、a4與集合B中的b3、b4、b5之間的映射關(guān)系出現(xiàn)了沖突。如圖3所示。

    圖3 不同視角下設(shè)計(jì)映射關(guān)系沖突示意圖

    同視角下設(shè)計(jì)之間隱性沖突指當(dāng)多個(gè)視角之間的設(shè)計(jì)項(xiàng)存在追溯關(guān)系時(shí),其頂層視角的設(shè)計(jì)項(xiàng)之間存在沖突的地方。比如,在同一視角下設(shè)計(jì)項(xiàng)a1和b1,其a1由設(shè)計(jì)項(xiàng)aa1、aa2、aa3和aa4組成,aa2由設(shè)計(jì)項(xiàng)aaa1、aaa2、aaa3和aaa4組成,其b1由設(shè)計(jì)項(xiàng)aa1、bb2、aa3和aa4組成,bb2由設(shè)計(jì)項(xiàng)aaa1、aaa2、aaa3和bbb4組成。通過比較設(shè)計(jì)項(xiàng)a1與b1間組成結(jié)構(gòu)及內(nèi)容的相似性,以此推斷a1和b1存在沖突的可能性。如圖4所示。

    圖4 同視角下設(shè)計(jì)之間隱性沖突示意圖

    1.2 系統(tǒng)工程設(shè)計(jì)沖突檢測(cè)步驟

    首先,基于多視圖軍事需求模型要素表達(dá)框架,對(duì)系統(tǒng)工程設(shè)計(jì)進(jìn)行描述;然后,依次對(duì)各個(gè)視角原子設(shè)計(jì)項(xiàng)進(jìn)行沖突檢測(cè),若不存在沖突,再對(duì)各個(gè)視角原子設(shè)計(jì)項(xiàng)關(guān)系進(jìn)行沖突檢測(cè),若不存在沖突,再對(duì)不同視角下設(shè)計(jì)映射關(guān)系沖突進(jìn)行檢測(cè),若不存在沖突,再對(duì)多視角間設(shè)計(jì)追溯鏈進(jìn)行沖突檢測(cè),若不存在沖突,便可保證信息中各設(shè)計(jì)的邏輯正確,不存在沖突。當(dāng)存在沖突時(shí),需系統(tǒng)標(biāo)注并自動(dòng)推送,由人完成設(shè)計(jì)沖突的判定和處理,如圖5所示。其中空菱形表示其任何一個(gè)輸入有效時(shí),均會(huì)觸發(fā)其輸出,而不需要所有輸入同時(shí)有效。

    圖5 基于多視圖軍事需求模型要素表達(dá)框架設(shè)計(jì)的沖突檢測(cè)流程圖

    2 系統(tǒng)工程設(shè)計(jì)沖突的模型構(gòu)建及檢測(cè)方法

    2.1 同視角下設(shè)計(jì)之間顯性沖突模型構(gòu)建及檢測(cè)方法

    設(shè)計(jì)項(xiàng)集合A={ai|i=1,2,…,n},其中ai為具體的設(shè)計(jì)項(xiàng),n為設(shè)計(jì)項(xiàng)數(shù)量。對(duì)于某具體設(shè)計(jì)項(xiàng)來說,該設(shè)計(jì)項(xiàng)與其他設(shè)計(jì)項(xiàng)之間的關(guān)系向量矩陣可表示為(ai1,ai2,…,ain),關(guān)系向量矩陣上各元素的取值,遵循以下規(guī)則:

    2.2 同視角下設(shè)計(jì)關(guān)系沖突模型構(gòu)建及檢測(cè)方法

    建立n×n階的設(shè)計(jì)項(xiàng)關(guān)系矩陣A,n為設(shè)計(jì)項(xiàng)數(shù)量,判斷該矩陣A中各元素值,若第i行(1≤i≤n)表示的設(shè)計(jì)項(xiàng)是第j列(1≤j≤n)表示的設(shè)計(jì)項(xiàng)的上級(jí)設(shè)計(jì),則A(i,j)=1,否則A(i,j)=0。由此可建立矩陣A中的所有元素值。

    首先建立設(shè)計(jì)項(xiàng)之間關(guān)系矩陣A,然后依次判斷矩陣A中的對(duì)稱元素是否同時(shí)為1,即矩陣中是否存在A(i,j)×A(j,i)=1,若有,則說明i對(duì)應(yīng)的設(shè)計(jì)項(xiàng)與j對(duì)應(yīng)的設(shè)計(jì)項(xiàng)存在沖突;接下來,查找由設(shè)計(jì)的傳遞性引起的關(guān)系沖突問題,調(diào)整關(guān)系矩陣A,將上一步發(fā)現(xiàn)的對(duì)稱元素均為1的元素置為0,即A(i,j)=A(j,i)=0,初始化與矩陣A等階的二維零矩陣A0和單位矩陣A1,循環(huán)進(jìn)行n-1次計(jì)算A1=A1×A和A0=A0+A1,最后A0=A0?AT,其中AT是A的轉(zhuǎn)置,?表示矩陣對(duì)應(yīng)位置元素相乘,若最后得出的A0(i,j)不為0,則說明i對(duì)應(yīng)的設(shè)計(jì)項(xiàng)和j對(duì)應(yīng)的設(shè)計(jì)項(xiàng)之間仍存在沖突。

    2.3 不同視角下設(shè)計(jì)映射關(guān)系沖突模型構(gòu)建及檢測(cè)方法

    判斷矩陣A中各元素值,若第i行(1≤i≤n)表示的設(shè)計(jì)項(xiàng)是第j列(1≤j≤n)表示的設(shè)計(jì)項(xiàng)的上級(jí)設(shè)計(jì),則A(i,j)=1,否則A(i,j)=0。由此可建立矩陣A中的所有元素值。構(gòu)建其中另外一個(gè)視角矩陣,各設(shè)計(jì)項(xiàng)之間關(guān)系的nB×nB的二維全矩陣B。判斷該矩陣B中各元素值,若第i行(1≤i≤n)表示的設(shè)計(jì)項(xiàng)是第j列(1≤j≤n)表示的設(shè)計(jì)項(xiàng)的上級(jí)設(shè)計(jì),則B(i,j)=1,否則B(i,j)=0。由此可建立矩陣B中的所有元素值。構(gòu)建兩個(gè)視角的nA×nB映射關(guān)系矩陣AB,判斷該矩陣AB中各元素值,若第i行(1≤i≤nA)表示的設(shè)計(jì)項(xiàng)與第j列(1≤j≤nB)表示的設(shè)計(jì)項(xiàng)之間存在設(shè)計(jì)映射關(guān)系,則AB(i,j)=1,否則AB(i,j)=0。由此可建立矩陣AB中的所有元素值。

    首先,找出設(shè)計(jì)映射矩陣AB中任意不為0的元素,如(i,j);然后進(jìn)行兩個(gè)矩陣的計(jì)算,ABij=Ai×Bj和FAB=ABij?AB,其中Ai表示矩陣A抽取第i列的列向量矩陣,Bj表示從矩陣B抽取第j行的行向量矩陣,ABij表示基于矩陣A抽取的第i列的列向量與矩陣B抽取的第j行的行向量相乘得到的矩陣,?表示矩陣對(duì)應(yīng)位置元素相乘,遍歷FAB中各元素,若FAB(i,j)=1,且AB(i,j)=1,則表明該位置所對(duì)應(yīng)的設(shè)計(jì)映射關(guān)系存在沖突。按照以上步驟,依次遍歷矩陣AB中其他非0元素進(jìn)行計(jì)算判斷,得出所有具有映射關(guān)系的沖突情況結(jié)果。

    2.4 同視角下設(shè)計(jì)之間隱性沖突模型構(gòu)建及檢測(cè)方法

    3 實(shí)例分析

    3.1 同視角下設(shè)計(jì)之間顯性沖突檢測(cè)實(shí)例分析

    以1.1節(jié)圖1(a)為例。設(shè)計(jì)項(xiàng)a2與設(shè)計(jì)項(xiàng)a3互為上下級(jí)關(guān)系,因此設(shè)計(jì)項(xiàng)a2關(guān)系向量中,其與設(shè)計(jì)項(xiàng)a3的關(guān)系值無法表示,同理,a3關(guān)系向量中,其與a2的關(guān)系也無法表示,兩個(gè)關(guān)系向量無法按照規(guī)則方法建立,因此說明此兩個(gè)設(shè)計(jì)項(xiàng)a2,a3存在設(shè)計(jì)沖突的可能。

    由此,在同一個(gè)視角、同一層級(jí)的設(shè)計(jì)沖突問題即可檢測(cè)出來。

    3.2 同視角下設(shè)計(jì)關(guān)系沖突檢測(cè)實(shí)例分析

    以1.1節(jié)圖2為例,建立單個(gè)視角下設(shè)計(jì)項(xiàng)之間的關(guān)系矩陣A,由于A(1,2)=A(2,1)=1,因此可以推斷出設(shè)計(jì)項(xiàng)a1和a2存在沖突。其值為

    進(jìn)一步,查找設(shè)計(jì)關(guān)系傳遞造成的設(shè)計(jì)關(guān)系沖突,調(diào)整設(shè)計(jì)項(xiàng)之間的關(guān)系矩陣A,并初始化與A同階的零矩陣A0和單位矩陣A1,其值分別為

    循環(huán)4次A1=A1×A和A0=A0+A1計(jì)算后,進(jìn)行A0=A0?AT計(jì)算,得出最終結(jié)果為

    因此,a1與a5,a3與a1以及a5與a3之間存在設(shè)計(jì)關(guān)系沖突。

    由此,同一視角、不同層級(jí)的設(shè)計(jì)沖突問題即可檢測(cè)出來。

    3.3 不同視角下設(shè)計(jì)映射關(guān)系沖突檢測(cè)實(shí)例分析

    以1.1節(jié)圖3為例,建立表示設(shè)計(jì)項(xiàng)之間關(guān)系的5×5矩陣A、5×5矩陣B以及表示兩個(gè)視角映射關(guān)系的5×5矩陣AB,其值分別為

    找出矩陣AB中不為0的元素,以AB(4,3)為例,計(jì)算AB4,3=A4×B3和F4,3=AB4,3?AB,具體計(jì)算過程為

    式中:A4表示矩陣A抽取第4列的列向量;B3表示矩陣B抽取第3行的行向量。

    因?yàn)镕4,3(2,4)=1且AB(2,4)=1,F(xiàn)4,3(2,5)=1且AB(2,5)=1,因此可得出a4與b3的映射關(guān)系和a2與b4、b5之間的映射關(guān)系存在沖突。按照以上步驟,依次遍歷矩陣AB中其他非0元素進(jìn)行計(jì)算判斷,即可得出所有映射關(guān)系項(xiàng)是否存在沖突的結(jié)果。

    由此,不同視角下對(duì)應(yīng)設(shè)計(jì)的邏輯關(guān)系不一致問題即可檢測(cè)出來。

    3.4 同視角下設(shè)計(jì)之間隱性沖突檢測(cè)實(shí)例分析

    由此,通過設(shè)計(jì)包含的視角集,推斷在同一視角下任意兩個(gè)設(shè)計(jì)是否沖突的問題即可檢測(cè)出來。

    3.5 檢測(cè)方法比對(duì)

    本文采用的方法與其他沖突檢測(cè)方法的比較,如表1所示。

    表1 與其他檢測(cè)方法性能比對(duì)分析

    4 結(jié) 語(yǔ)

    針對(duì)系統(tǒng)工程設(shè)計(jì)的專業(yè)性、表達(dá)形式的多樣性、當(dāng)前沖突檢測(cè)方法通用性差、以及沖突檢測(cè)語(yǔ)義庫(kù)建設(shè)周期長(zhǎng)建設(shè)難度大等問題,本文提出了以多視圖軍事需求模型要素表達(dá)框架為標(biāo)準(zhǔn),對(duì)系統(tǒng)工程設(shè)計(jì)描述進(jìn)行抽象并歸類,總結(jié)并建立了四種通用性強(qiáng)、表達(dá)形式統(tǒng)一的系統(tǒng)工程設(shè)計(jì)沖突模型,并通過圖論方法和矩陣方法,實(shí)現(xiàn)模型的物理形式表示和邏輯形式轉(zhuǎn)化,然后詳細(xì)描述了解決系統(tǒng)工程設(shè)計(jì)沖突檢測(cè)問題的啟發(fā)式算法和D-S證據(jù)推斷方法,實(shí)現(xiàn)了沖突的自動(dòng)檢測(cè),結(jié)合應(yīng)用案例,驗(yàn)證方法的有效性和正確性。

    1)提出的系統(tǒng)工程設(shè)計(jì)沖突檢測(cè)方法解決了目前系統(tǒng)工程設(shè)計(jì)表達(dá)的完整性、系統(tǒng)性、標(biāo)準(zhǔn)性和復(fù)雜性缺失的問題,簡(jiǎn)化了設(shè)計(jì)轉(zhuǎn)化表達(dá)的難度,提升了設(shè)計(jì)表達(dá)的直觀性,提高了沖突檢測(cè)方法的通用性、可擴(kuò)展性和復(fù)用性,減少了工程量,加快了設(shè)計(jì)沖突檢測(cè)應(yīng)用及檢測(cè)執(zhí)行效果的驗(yàn)證,而且在無需額外資源的情況下,只憑系統(tǒng)工程設(shè)計(jì)表達(dá)矩陣中各元素本體的特點(diǎn)和規(guī)律,在系統(tǒng)設(shè)計(jì)運(yùn)行之前,進(jìn)行設(shè)計(jì)沖突檢測(cè),避免沖突檢測(cè)的漏測(cè)和誤測(cè)。

    2)本文所提的系統(tǒng)工程設(shè)計(jì)檢測(cè)方法,主要針對(duì)系統(tǒng)工程設(shè)計(jì)表達(dá)中具有通用性的活動(dòng)視角表達(dá)、狀態(tài)視角表達(dá)和能力視角表達(dá),不適用于時(shí)序視角表達(dá)內(nèi)容的檢測(cè),日后可結(jié)合具體應(yīng)用場(chǎng)景,增加具有針對(duì)性的設(shè)計(jì)沖突檢測(cè)內(nèi)容,以及提出時(shí)序表達(dá)設(shè)計(jì)沖突檢測(cè)方法。

    猜你喜歡
    沖突檢測(cè)系統(tǒng)工程沖突
    BIM技術(shù)在建筑裝飾工程項(xiàng)目管理中的應(yīng)用研究
    北方建筑(2024年2期)2024-05-25 00:00:00
    京德智慧高速信息化系統(tǒng)工程
    耶路撒冷爆發(fā)大規(guī)模沖突
    “三宜”“三不宜”化解師生沖突
    井岡教育(2020年6期)2020-12-14 03:04:32
    獨(dú)立學(xué)院補(bǔ)考安排沖突檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
    計(jì)算機(jī)應(yīng)用安全策略本體研究
    計(jì)劃協(xié)同工作中的沖突檢測(cè)與消除算法研究
    廣州新型有軌電車通信系統(tǒng)工程應(yīng)用創(chuàng)新
    系統(tǒng)工程
    小說月刊(2015年3期)2015-04-19 07:05:54
    “鄰避沖突”的破解路徑
    浙江人大(2014年6期)2014-03-20 16:20:40
    国产视频一区二区在线看| 1000部很黄的大片| 一区二区三区高清视频在线| 免费av毛片视频| 国产精品精品国产色婷婷| 久9热在线精品视频| 成人亚洲精品av一区二区| 午夜视频国产福利| 嫩草影视91久久| 一二三四社区在线视频社区8| 母亲3免费完整高清在线观看| 18禁黄网站禁片午夜丰满| 国产成人av激情在线播放| 精品不卡国产一区二区三区| 精品人妻1区二区| 日韩欧美一区二区三区在线观看| 午夜福利在线观看吧| 校园春色视频在线观看| 网址你懂的国产日韩在线| 人人妻人人澡欧美一区二区| 日本免费a在线| bbb黄色大片| 高潮久久久久久久久久久不卡| 在线a可以看的网站| 中文字幕人成人乱码亚洲影| 最近视频中文字幕2019在线8| 成人av在线播放网站| 久久久精品大字幕| 麻豆久久精品国产亚洲av| 色吧在线观看| 真人一进一出gif抽搐免费| av黄色大香蕉| 国产99白浆流出| 国产精品,欧美在线| 欧美在线一区亚洲| 色综合欧美亚洲国产小说| 国产午夜精品论理片| 伊人久久大香线蕉亚洲五| 老汉色av国产亚洲站长工具| 国产淫片久久久久久久久 | 免费观看精品视频网站| 精品人妻偷拍中文字幕| 成年女人永久免费观看视频| 一级黄片播放器| 国产激情偷乱视频一区二区| 国产精品综合久久久久久久免费| 午夜福利免费观看在线| 色视频www国产| 日韩欧美在线乱码| 免费看a级黄色片| 亚洲av电影在线进入| 18禁黄网站禁片午夜丰满| 欧美一级a爱片免费观看看| 亚洲人成网站在线播放欧美日韩| 国产不卡一卡二| 91在线精品国自产拍蜜月 | 国产一区在线观看成人免费| 最近最新免费中文字幕在线| 真实男女啪啪啪动态图| 欧美一区二区精品小视频在线| 免费高清视频大片| 久久久色成人| 中文字幕av在线有码专区| 精品人妻偷拍中文字幕| 九九热线精品视视频播放| 51国产日韩欧美| 国产伦精品一区二区三区四那| 麻豆久久精品国产亚洲av| 天堂动漫精品| 99在线视频只有这里精品首页| 黑人欧美特级aaaaaa片| 国产高潮美女av| 亚洲精品美女久久久久99蜜臀| 69av精品久久久久久| 一卡2卡三卡四卡精品乱码亚洲| 少妇熟女aⅴ在线视频| 啦啦啦免费观看视频1| 久久久久久久午夜电影| 欧美性感艳星| 国产一区二区亚洲精品在线观看| 国产91精品成人一区二区三区| 色吧在线观看| 亚洲性夜色夜夜综合| 欧美日韩乱码在线| 午夜免费激情av| 成人性生交大片免费视频hd| 亚洲人成伊人成综合网2020| 国产69精品久久久久777片| 亚洲av电影不卡..在线观看| 国产久久久一区二区三区| 日韩欧美国产在线观看| 9191精品国产免费久久| 一本综合久久免费| 国产亚洲精品久久久久久毛片| 两个人的视频大全免费| avwww免费| 亚洲精品粉嫩美女一区| 亚洲av熟女| 久久久色成人| 蜜桃久久精品国产亚洲av| 欧美日韩国产亚洲二区| 村上凉子中文字幕在线| 中国美女看黄片| 欧美大码av| 亚洲一区二区三区色噜噜| 久久精品影院6| 国产麻豆成人av免费视频| 亚洲国产日韩欧美精品在线观看 | 性欧美人与动物交配| 国产精品99久久久久久久久| 免费电影在线观看免费观看| 别揉我奶头~嗯~啊~动态视频| 看黄色毛片网站| av天堂在线播放| 国产一区二区在线av高清观看| 丝袜美腿在线中文| 老司机午夜十八禁免费视频| 一级毛片女人18水好多| 神马国产精品三级电影在线观看| 51午夜福利影视在线观看| 国产精品永久免费网站| 精品国产亚洲在线| 叶爱在线成人免费视频播放| 国产av一区在线观看免费| 国产一区二区三区视频了| 国产一区二区激情短视频| 色哟哟哟哟哟哟| 婷婷精品国产亚洲av在线| 制服丝袜大香蕉在线| 成人亚洲精品av一区二区| 国产视频一区二区在线看| 19禁男女啪啪无遮挡网站| 国产中年淑女户外野战色| 久久精品亚洲精品国产色婷小说| 色吧在线观看| 女人被狂操c到高潮| 老熟妇乱子伦视频在线观看| 久久香蕉国产精品| 熟女少妇亚洲综合色aaa.| 九九在线视频观看精品| 叶爱在线成人免费视频播放| 国产色爽女视频免费观看| 日本黄大片高清| 嫩草影院精品99| 精品日产1卡2卡| 三级男女做爰猛烈吃奶摸视频| 亚洲18禁久久av| 亚洲成人久久爱视频| av专区在线播放| 国产高清videossex| 3wmmmm亚洲av在线观看| 日韩欧美国产一区二区入口| 美女高潮喷水抽搐中文字幕| 亚洲激情在线av| 在线天堂最新版资源| 日韩免费av在线播放| 美女大奶头视频| 九色成人免费人妻av| 制服丝袜大香蕉在线| 一级黄片播放器| 夜夜躁狠狠躁天天躁| 伊人久久精品亚洲午夜| 午夜免费成人在线视频| АⅤ资源中文在线天堂| 亚洲精品久久国产高清桃花| 国产精品永久免费网站| 757午夜福利合集在线观看| 搡老岳熟女国产| 黄色视频,在线免费观看| 亚洲欧美一区二区三区黑人| 久久久成人免费电影| 啦啦啦免费观看视频1| 久久久国产精品麻豆| 一本一本综合久久| 国产精品久久电影中文字幕| 日日摸夜夜添夜夜添小说| 亚洲人成网站在线播放欧美日韩| 亚洲自拍偷在线| 九九热线精品视视频播放| 欧美日韩一级在线毛片| 在线播放国产精品三级| 亚洲无线观看免费| ponron亚洲| 亚洲熟妇中文字幕五十中出| 欧美在线一区亚洲| 色视频www国产| 中文字幕高清在线视频| 国产高潮美女av| 长腿黑丝高跟| 中国美女看黄片| 法律面前人人平等表现在哪些方面| 欧美绝顶高潮抽搐喷水| 神马国产精品三级电影在线观看| 床上黄色一级片| 操出白浆在线播放| 91在线观看av| www日本黄色视频网| 欧美激情在线99| 黑人欧美特级aaaaaa片| 91av网一区二区| 久久天躁狠狠躁夜夜2o2o| 国产激情欧美一区二区| 亚洲激情在线av| 97超级碰碰碰精品色视频在线观看| 一个人看的www免费观看视频| 国产av不卡久久| 欧美一级毛片孕妇| 国产爱豆传媒在线观看| 日韩高清综合在线| 欧美绝顶高潮抽搐喷水| 国产精品爽爽va在线观看网站| 成人18禁在线播放| 波多野结衣高清无吗| 欧美黑人巨大hd| 中文字幕av在线有码专区| 久久99热这里只有精品18| 亚洲成人久久爱视频| h日本视频在线播放| 国产一区二区激情短视频| 久久伊人香网站| 一进一出抽搐gif免费好疼| 成人午夜高清在线视频| 韩国av一区二区三区四区| 午夜免费观看网址| 午夜福利成人在线免费观看| 成人国产一区最新在线观看| 欧美乱妇无乱码| 757午夜福利合集在线观看| 亚洲内射少妇av| 成人鲁丝片一二三区免费| 不卡一级毛片| 18美女黄网站色大片免费观看| 小蜜桃在线观看免费完整版高清| 国产成年人精品一区二区| 亚洲第一欧美日韩一区二区三区| 神马国产精品三级电影在线观看| 禁无遮挡网站| 久久国产精品影院| 久久久久久久精品吃奶| 搞女人的毛片| 久久久精品欧美日韩精品| 国产又黄又爽又无遮挡在线| 丁香欧美五月| 一级黄片播放器| 成人特级黄色片久久久久久久| 搡老妇女老女人老熟妇| 欧美乱码精品一区二区三区| 有码 亚洲区| 欧洲精品卡2卡3卡4卡5卡区| 啦啦啦免费观看视频1| 国产麻豆成人av免费视频| 99视频精品全部免费 在线| 国内毛片毛片毛片毛片毛片| av专区在线播放| 香蕉av资源在线| 久久久国产成人精品二区| 老汉色∧v一级毛片| 久久久久久久精品吃奶| 老司机深夜福利视频在线观看| АⅤ资源中文在线天堂| 淫妇啪啪啪对白视频| 久久精品夜夜夜夜夜久久蜜豆| 欧美色欧美亚洲另类二区| 国内精品美女久久久久久| 久久6这里有精品| 少妇的逼水好多| 日本精品一区二区三区蜜桃| 中文在线观看免费www的网站| 国产成人系列免费观看| 欧美3d第一页| 人人妻人人澡欧美一区二区| x7x7x7水蜜桃| 黄色丝袜av网址大全| 悠悠久久av| 欧美日韩乱码在线| 精品人妻一区二区三区麻豆 | av专区在线播放| av中文乱码字幕在线| 老鸭窝网址在线观看| a级一级毛片免费在线观看| 国产成人系列免费观看| 久久久久九九精品影院| 国产熟女xx| 久久久久久久久大av| 国产成人av教育| 岛国在线观看网站| 最近视频中文字幕2019在线8| 99热精品在线国产| 日本 av在线| 欧美中文日本在线观看视频| 国产三级在线视频| xxxwww97欧美| 国产精品影院久久| 99热6这里只有精品| 欧美区成人在线视频| 狠狠狠狠99中文字幕| 人人妻人人看人人澡| 十八禁网站免费在线| 亚洲精品乱码久久久v下载方式 | 国产成人a区在线观看| 久久精品国产亚洲av香蕉五月| 久久精品国产99精品国产亚洲性色| 在线观看av片永久免费下载| 亚洲国产色片| 我的老师免费观看完整版| 日韩欧美精品免费久久 | 99久久精品热视频| 色尼玛亚洲综合影院| 亚洲精品成人久久久久久| 久久午夜亚洲精品久久| 成人精品一区二区免费| 好男人电影高清在线观看| 国产国拍精品亚洲av在线观看 | 一区二区三区国产精品乱码| 国产男靠女视频免费网站| 国内毛片毛片毛片毛片毛片| 高清在线国产一区| 国产精品亚洲一级av第二区| 女生性感内裤真人,穿戴方法视频| 欧美黄色淫秽网站| 亚洲av二区三区四区| 日韩欧美一区二区三区在线观看| 日韩亚洲欧美综合| 麻豆一二三区av精品| 亚洲美女黄片视频| 日韩av在线大香蕉| 一级毛片女人18水好多| 国产男靠女视频免费网站| 国产高清有码在线观看视频| 国产成人啪精品午夜网站| 身体一侧抽搐| 国产高清有码在线观看视频| 757午夜福利合集在线观看| 少妇裸体淫交视频免费看高清| 人人妻人人看人人澡| 成年女人永久免费观看视频| 国产精品野战在线观看| 欧美性猛交黑人性爽| 国产激情偷乱视频一区二区| 变态另类丝袜制服| 国产伦精品一区二区三区四那| 久久精品影院6| 亚洲在线观看片| 国产精品免费一区二区三区在线| 内地一区二区视频在线| 免费av毛片视频| www.熟女人妻精品国产| 一进一出好大好爽视频| xxx96com| 亚洲av免费在线观看| 九色国产91popny在线| 精品国产三级普通话版| 亚洲男人的天堂狠狠| 搡老岳熟女国产| 少妇的丰满在线观看| 国产午夜精品久久久久久一区二区三区 | 亚洲aⅴ乱码一区二区在线播放| 内射极品少妇av片p| 我要搜黄色片| 欧美激情久久久久久爽电影| 久久亚洲真实| 九九在线视频观看精品| 久久午夜亚洲精品久久| 日韩免费av在线播放| 国产成人aa在线观看| 两个人的视频大全免费| 三级毛片av免费| 成人国产一区最新在线观看| 国产亚洲欧美98| 免费看a级黄色片| 成年免费大片在线观看| 国产成人系列免费观看| 国产精品久久电影中文字幕| 丰满的人妻完整版| 国产aⅴ精品一区二区三区波| 久久久成人免费电影| 精品久久久久久久久久久久久| 婷婷六月久久综合丁香| 日本三级黄在线观看| 日韩欧美一区二区三区在线观看| 国产久久久一区二区三区| 亚洲精品亚洲一区二区| 欧美日韩一级在线毛片| 午夜免费成人在线视频| 国产v大片淫在线免费观看| 精品人妻1区二区| 色视频www国产| 国产午夜福利久久久久久| 免费观看人在逋| 国产免费男女视频| 午夜亚洲福利在线播放| 一区二区三区国产精品乱码| 哪里可以看免费的av片| netflix在线观看网站| 国产一区二区三区在线臀色熟女| 看黄色毛片网站| 嫩草影院精品99| 国产伦一二天堂av在线观看| 日本a在线网址| 熟妇人妻久久中文字幕3abv| 欧美在线一区亚洲| 欧美区成人在线视频| 国产亚洲精品久久久com| 精品一区二区三区视频在线观看免费| 精品一区二区三区视频在线 | tocl精华| 大型黄色视频在线免费观看| 午夜激情福利司机影院| 97人妻精品一区二区三区麻豆| 国产69精品久久久久777片| 欧美av亚洲av综合av国产av| 亚洲人成网站在线播| 18禁黄网站禁片免费观看直播| 亚洲av不卡在线观看| 在线视频色国产色| 欧美国产日韩亚洲一区| 99精品欧美一区二区三区四区| 啦啦啦观看免费观看视频高清| 国产成人福利小说| 美女被艹到高潮喷水动态| 琪琪午夜伦伦电影理论片6080| 欧美高清成人免费视频www| 免费大片18禁| 国产乱人伦免费视频| 久久天躁狠狠躁夜夜2o2o| 日本黄色视频三级网站网址| 日韩有码中文字幕| 人人妻人人澡欧美一区二区| 精品久久久久久成人av| 亚洲av免费在线观看| 美女被艹到高潮喷水动态| 亚洲狠狠婷婷综合久久图片| www日本在线高清视频| 色精品久久人妻99蜜桃| 三级国产精品欧美在线观看| 国产日本99.免费观看| 精华霜和精华液先用哪个| 亚洲男人的天堂狠狠| 18禁国产床啪视频网站| 啦啦啦韩国在线观看视频| 噜噜噜噜噜久久久久久91| 欧美绝顶高潮抽搐喷水| 夜夜爽天天搞| 免费在线观看影片大全网站| 18禁裸乳无遮挡免费网站照片| 精品99又大又爽又粗少妇毛片 | 国产精品自产拍在线观看55亚洲| 国产单亲对白刺激| 99视频精品全部免费 在线| 日本免费a在线| 成人精品一区二区免费| 日韩欧美一区二区三区在线观看| 女人被狂操c到高潮| 国产一区二区三区视频了| 亚洲五月天丁香| 国产亚洲精品av在线| 国产av不卡久久| 狂野欧美激情性xxxx| 国产99白浆流出| 桃红色精品国产亚洲av| 熟妇人妻久久中文字幕3abv| АⅤ资源中文在线天堂| 黄色丝袜av网址大全| 噜噜噜噜噜久久久久久91| 性色avwww在线观看| 久久久国产成人精品二区| 免费在线观看影片大全网站| 色精品久久人妻99蜜桃| 久久久久国产精品人妻aⅴ院| 亚洲欧美日韩卡通动漫| 国产黄片美女视频| 国产一区在线观看成人免费| 97超级碰碰碰精品色视频在线观看| 日本黄色视频三级网站网址| 免费观看的影片在线观看| 日本成人三级电影网站| 免费看十八禁软件| 日韩精品中文字幕看吧| 亚洲国产欧美人成| 啦啦啦观看免费观看视频高清| 高清日韩中文字幕在线| 日韩欧美国产在线观看| 国产精品久久久久久精品电影| 99热这里只有精品一区| 国产一区在线观看成人免费| 热99re8久久精品国产| 国产精品98久久久久久宅男小说| 天天躁日日操中文字幕| 国产男靠女视频免费网站| 欧美乱妇无乱码| 国产综合懂色| 久久中文看片网| 中文在线观看免费www的网站| 精品久久久久久,| 成年女人毛片免费观看观看9| 最好的美女福利视频网| av片东京热男人的天堂| 欧美又色又爽又黄视频| 桃色一区二区三区在线观看| av天堂在线播放| 亚洲精品456在线播放app | 午夜精品一区二区三区免费看| 免费av毛片视频| 精品久久久久久久久久久久久| www.色视频.com| 99久久成人亚洲精品观看| 国产精品一及| 最新美女视频免费是黄的| 91麻豆精品激情在线观看国产| 天堂影院成人在线观看| 久久中文看片网| 夜夜躁狠狠躁天天躁| 99在线人妻在线中文字幕| 99热精品在线国产| 久久久久久久午夜电影| 亚洲午夜理论影院| 叶爱在线成人免费视频播放| 又黄又粗又硬又大视频| 精品免费久久久久久久清纯| 欧美激情久久久久久爽电影| 一个人观看的视频www高清免费观看| 白带黄色成豆腐渣| 欧美成人一区二区免费高清观看| 变态另类成人亚洲欧美熟女| 十八禁人妻一区二区| 国产极品精品免费视频能看的| 一本一本综合久久| ponron亚洲| 在线看三级毛片| 亚洲国产精品sss在线观看| 成人亚洲精品av一区二区| 国产精品av视频在线免费观看| 在线播放国产精品三级| 国产免费av片在线观看野外av| 天堂影院成人在线观看| 99精品欧美一区二区三区四区| 高潮久久久久久久久久久不卡| 亚洲精品粉嫩美女一区| 欧美高清成人免费视频www| 免费观看人在逋| 99久久九九国产精品国产免费| 久久精品91无色码中文字幕| 午夜两性在线视频| 久久久国产精品麻豆| 亚洲国产日韩欧美精品在线观看 | 又黄又粗又硬又大视频| 亚洲欧美日韩卡通动漫| 变态另类成人亚洲欧美熟女| 午夜福利视频1000在线观看| 两个人的视频大全免费| 非洲黑人性xxxx精品又粗又长| 免费看a级黄色片| 成人鲁丝片一二三区免费| 婷婷六月久久综合丁香| 亚洲成av人片免费观看| bbb黄色大片| 国产高潮美女av| 久久久国产成人精品二区| 丰满的人妻完整版| 中文字幕人妻熟人妻熟丝袜美 | 女人被狂操c到高潮| 一区福利在线观看| 亚洲天堂国产精品一区在线| 免费高清视频大片| 中文字幕av在线有码专区| 制服丝袜大香蕉在线| 成年版毛片免费区| 免费观看的影片在线观看| 91字幕亚洲| 国产97色在线日韩免费| 国产真人三级小视频在线观看| 特大巨黑吊av在线直播| 黄色女人牲交| 免费观看精品视频网站| 国产亚洲欧美在线一区二区| 中文资源天堂在线| 亚洲av第一区精品v没综合| h日本视频在线播放| 国产精品久久视频播放| 亚洲中文字幕日韩| 在线观看日韩欧美| 国产男靠女视频免费网站| 婷婷丁香在线五月| 国产伦精品一区二区三区视频9 | 久久久精品欧美日韩精品| 一区二区三区国产精品乱码| 国产精品自产拍在线观看55亚洲| 欧美日本视频| 日本免费a在线| 十八禁人妻一区二区| 精品一区二区三区视频在线观看免费| 99精品久久久久人妻精品| 亚洲美女黄片视频| 亚洲国产中文字幕在线视频| 国产91精品成人一区二区三区| 精品国内亚洲2022精品成人| 最近视频中文字幕2019在线8| 亚洲国产精品合色在线| 99riav亚洲国产免费| 亚洲成人久久性| 成年免费大片在线观看| 18禁黄网站禁片免费观看直播| 一本精品99久久精品77| 少妇的逼好多水| 亚洲成av人片在线播放无| 两个人视频免费观看高清| 黄色日韩在线| 18禁美女被吸乳视频| av福利片在线观看| 久久性视频一级片| 大型黄色视频在线免费观看| 女警被强在线播放| 日韩欧美精品v在线| www.熟女人妻精品国产| a级毛片a级免费在线|