• <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
    中文在线观看免费www的网站| 日本欧美视频一区| 黄色配什么色好看| 精品人妻视频免费看| 大片电影免费在线观看免费| 日韩免费高清中文字幕av| 国产69精品久久久久777片| 在线观看免费视频网站a站| 日本免费在线观看一区| 大码成人一级视频| 下体分泌物呈黄色| h视频一区二区三区| 日本免费在线观看一区| 自拍欧美九色日韩亚洲蝌蚪91 | 卡戴珊不雅视频在线播放| 妹子高潮喷水视频| 内射极品少妇av片p| 免费高清在线观看视频在线观看| 狂野欧美激情性xxxx在线观看| 日韩亚洲欧美综合| 精品一区二区三卡| 国内少妇人妻偷人精品xxx网站| 国产一区亚洲一区在线观看| 性色avwww在线观看| 极品教师在线视频| 一个人看的www免费观看视频| 国产 一区精品| 欧美一区二区亚洲| 热re99久久精品国产66热6| 国产在线男女| 自拍偷自拍亚洲精品老妇| 91久久精品国产一区二区三区| 中文乱码字字幕精品一区二区三区| 精品人妻一区二区三区麻豆| 亚洲第一区二区三区不卡| 日日撸夜夜添| 男人和女人高潮做爰伦理| 丝袜喷水一区| 两个人的视频大全免费| 91久久精品国产一区二区三区| 亚洲人与动物交配视频| 色5月婷婷丁香| 亚洲真实伦在线观看| 成人影院久久| 99热这里只有是精品在线观看| 免费看不卡的av| 国产乱人视频| 一级毛片电影观看| 超碰97精品在线观看| 亚洲性久久影院| 汤姆久久久久久久影院中文字幕| av国产精品久久久久影院| 国产精品久久久久久精品古装| 日韩成人伦理影院| 日本av免费视频播放| 亚洲国产精品一区三区| 久久久久久久大尺度免费视频| 国产探花极品一区二区| 99久久精品热视频| 久久97久久精品| 超碰97精品在线观看| 精品少妇黑人巨大在线播放| 99久久精品热视频| 日韩欧美精品免费久久| 男人添女人高潮全过程视频| 亚洲精品亚洲一区二区| 国产高清国产精品国产三级 | 99热国产这里只有精品6| 嫩草影院新地址| 蜜桃亚洲精品一区二区三区| 日韩国内少妇激情av| 亚洲天堂av无毛| 国产黄片视频在线免费观看| 高清在线视频一区二区三区| 人妻夜夜爽99麻豆av| 国产亚洲欧美精品永久| 亚洲国产色片| 高清视频免费观看一区二区| 99久久精品热视频| 我要看黄色一级片免费的| tube8黄色片| 免费观看在线日韩| 大片电影免费在线观看免费| 少妇 在线观看| 亚洲欧美成人精品一区二区| 中文欧美无线码| 久久久久久久精品精品| 精品亚洲乱码少妇综合久久| 我的老师免费观看完整版| 男女边吃奶边做爰视频| 国内精品宾馆在线| 午夜精品国产一区二区电影| h视频一区二区三区| 精品国产露脸久久av麻豆| 一区二区三区精品91| 丰满乱子伦码专区| 最后的刺客免费高清国语| a级毛色黄片| 新久久久久国产一级毛片| 国产精品不卡视频一区二区| 熟女电影av网| 国产极品天堂在线| 最近最新中文字幕免费大全7| 久久综合国产亚洲精品| 色婷婷久久久亚洲欧美| 国产无遮挡羞羞视频在线观看| 国产成人a区在线观看| 日韩国内少妇激情av| 欧美精品人与动牲交sv欧美| 免费播放大片免费观看视频在线观看| 狂野欧美激情性xxxx在线观看| 亚洲精品日本国产第一区| 中文字幕免费在线视频6| 小蜜桃在线观看免费完整版高清| 黑丝袜美女国产一区| 最近中文字幕2019免费版| 亚洲三级黄色毛片| 国产毛片在线视频| 永久网站在线| 22中文网久久字幕| 国产国拍精品亚洲av在线观看| 欧美日韩国产mv在线观看视频 | 成人免费观看视频高清| 国产 一区精品| 成人18禁高潮啪啪吃奶动态图 | 亚洲精品国产色婷婷电影| 美女福利国产在线 | 精品国产露脸久久av麻豆| 在线观看三级黄色| 亚洲av综合色区一区| 国产白丝娇喘喷水9色精品| 我的女老师完整版在线观看| 下体分泌物呈黄色| 欧美激情极品国产一区二区三区 | 男女无遮挡免费网站观看| 午夜日本视频在线| 精品久久久久久久末码| 秋霞伦理黄片| 在线观看一区二区三区| 美女cb高潮喷水在线观看| 日韩一区二区视频免费看| 日本与韩国留学比较| 久久韩国三级中文字幕| 亚洲丝袜综合中文字幕| 免费播放大片免费观看视频在线观看| 国产 精品1| 国产伦在线观看视频一区| 看非洲黑人一级黄片| 成人无遮挡网站| 男人添女人高潮全过程视频| 国产精品成人在线| 国产亚洲精品久久久com| 另类亚洲欧美激情| 久久久成人免费电影| 国产精品久久久久久精品电影小说 | 亚洲av二区三区四区| 丰满人妻一区二区三区视频av| 国产 精品1| 不卡视频在线观看欧美| 亚洲av福利一区| 99热全是精品| 欧美区成人在线视频| 九色成人免费人妻av| 日本黄色片子视频| 久久人妻熟女aⅴ| 在线观看国产h片| 中文字幕免费在线视频6| 制服丝袜香蕉在线| 国产av国产精品国产| 观看免费一级毛片| 欧美日韩在线观看h| av国产久精品久网站免费入址| 国产淫语在线视频| 在线观看一区二区三区| 丝袜脚勾引网站| 国产成人一区二区在线| 在线观看三级黄色| 91精品国产九色| 全区人妻精品视频| 深爱激情五月婷婷| 国产成人精品一,二区| 在线观看av片永久免费下载| 天美传媒精品一区二区| 亚洲欧美日韩另类电影网站 | 日本黄大片高清| 日本wwww免费看| 卡戴珊不雅视频在线播放| 国产一级毛片在线| 人妻一区二区av| 亚洲精品自拍成人| 亚洲国产欧美人成| 男人和女人高潮做爰伦理| 国产高清三级在线| 欧美日韩一区二区视频在线观看视频在线| 男女下面进入的视频免费午夜| 校园人妻丝袜中文字幕| 国产精品久久久久久精品古装| 人人妻人人爽人人添夜夜欢视频 | 精品国产露脸久久av麻豆| 男女国产视频网站| 国产成人a区在线观看| 亚洲精品久久久久久婷婷小说| 久久韩国三级中文字幕| 色5月婷婷丁香| 十分钟在线观看高清视频www | 晚上一个人看的免费电影| 免费观看在线日韩| 午夜福利视频精品| 国产成人一区二区在线| 夫妻午夜视频| 少妇精品久久久久久久| 精品国产乱码久久久久久小说| 老司机影院成人| 亚洲久久久国产精品| 亚洲国产精品专区欧美| 91精品国产九色| 在线看a的网站| 色视频在线一区二区三区| 国产色爽女视频免费观看| 久久99蜜桃精品久久| 亚洲综合精品二区| 亚洲中文av在线| 夫妻午夜视频| 成人美女网站在线观看视频| 亚洲欧美日韩无卡精品| 亚洲人与动物交配视频| 国产成人精品久久久久久| 日韩成人av中文字幕在线观看| 国产色婷婷99| 99热网站在线观看| 亚洲av不卡在线观看| 亚洲av欧美aⅴ国产| 女人十人毛片免费观看3o分钟| 国产日韩欧美在线精品| 亚洲美女视频黄频| 在线天堂最新版资源| 国产男人的电影天堂91| 高清在线视频一区二区三区| 欧美bdsm另类| 美女高潮的动态| 国产免费福利视频在线观看| 校园人妻丝袜中文字幕| 在线观看免费视频网站a站| 黄片无遮挡物在线观看| 乱系列少妇在线播放| 久久久久久久久久久免费av| 亚洲精品久久午夜乱码| 国产成人午夜福利电影在线观看| 一边亲一边摸免费视频| 亚洲精品乱码久久久v下载方式| 久久久午夜欧美精品| 国语对白做爰xxxⅹ性视频网站| 国产毛片在线视频| 日韩强制内射视频| 精品一品国产午夜福利视频| 18禁裸乳无遮挡动漫免费视频| 欧美 日韩 精品 国产| 久久热精品热| 老司机影院成人| 欧美激情国产日韩精品一区| 舔av片在线| 亚洲av成人精品一区久久| 精品人妻视频免费看| 下体分泌物呈黄色| 身体一侧抽搐| 美女内射精品一级片tv| 日韩,欧美,国产一区二区三区| 亚洲欧洲日产国产| 精品亚洲成a人片在线观看 | 最近最新中文字幕大全电影3| 免费观看a级毛片全部| 人妻少妇偷人精品九色| 男女免费视频国产| 好男人视频免费观看在线| 日日摸夜夜添夜夜添av毛片| 色哟哟·www| 国产乱人偷精品视频| 久久国产乱子免费精品| 国产视频内射| 亚洲av国产av综合av卡| 国产精品久久久久成人av| 五月开心婷婷网| 成人18禁高潮啪啪吃奶动态图 | 熟女人妻精品中文字幕| 亚洲国产高清在线一区二区三| 久久精品久久精品一区二区三区| 在线精品无人区一区二区三 | 黄色配什么色好看| 日本av手机在线免费观看| av专区在线播放| 我的女老师完整版在线观看| 日日啪夜夜爽| 亚洲欧美成人综合另类久久久| 国产亚洲一区二区精品| 午夜福利高清视频| 亚洲国产精品成人久久小说| 亚洲av日韩在线播放| 欧美成人一区二区免费高清观看| 看十八女毛片水多多多| av在线播放精品| 中国美白少妇内射xxxbb| 国产精品免费大片| 久久精品熟女亚洲av麻豆精品| 99久久中文字幕三级久久日本| 国产精品久久久久久精品古装| 男女边摸边吃奶| 日本一二三区视频观看| 欧美日韩一区二区视频在线观看视频在线| 一级毛片我不卡| 女性生殖器流出的白浆| 久久6这里有精品| 91狼人影院| 丰满乱子伦码专区| 久久毛片免费看一区二区三区| 久久久国产一区二区| 直男gayav资源| 亚洲天堂av无毛| 成年免费大片在线观看| 蜜臀久久99精品久久宅男| 国产片特级美女逼逼视频| 大陆偷拍与自拍| 91精品国产国语对白视频| 熟女av电影| 精品一区在线观看国产| 97超碰精品成人国产| 色哟哟·www| 欧美97在线视频| 日韩不卡一区二区三区视频在线| 免费黄网站久久成人精品| 国产一区二区三区av在线| 免费在线观看成人毛片| 婷婷色麻豆天堂久久| 亚洲国产精品成人久久小说| 亚洲电影在线观看av| 能在线免费看毛片的网站| h日本视频在线播放| 久久6这里有精品| 国产探花极品一区二区| av在线播放精品| 一个人看视频在线观看www免费| 亚洲欧洲日产国产| 久久毛片免费看一区二区三区| 日本猛色少妇xxxxx猛交久久| 亚洲av成人精品一区久久| 日本vs欧美在线观看视频 | 国产男女超爽视频在线观看| 国模一区二区三区四区视频| 全区人妻精品视频| 一本一本综合久久| 寂寞人妻少妇视频99o| 亚洲欧美清纯卡通| 男女免费视频国产| 国产精品99久久99久久久不卡 | 大陆偷拍与自拍| 六月丁香七月| 大陆偷拍与自拍| 王馨瑶露胸无遮挡在线观看| 国产在线免费精品| 在线观看免费高清a一片| 日韩,欧美,国产一区二区三区| 精品少妇久久久久久888优播| 亚洲久久久国产精品| 少妇裸体淫交视频免费看高清| 亚洲国产精品999| 亚洲av电影在线观看一区二区三区| 国产成人午夜福利电影在线观看| 美女xxoo啪啪120秒动态图| 亚洲欧美成人精品一区二区| 在线观看美女被高潮喷水网站| 久久久精品免费免费高清| 国国产精品蜜臀av免费| 秋霞伦理黄片| 久久影院123| 中国美白少妇内射xxxbb| 18禁在线播放成人免费| 久久久久国产网址| 亚洲成人手机| 国产av码专区亚洲av| 日韩欧美精品免费久久| 大话2 男鬼变身卡| 51国产日韩欧美| 中文字幕av成人在线电影| 水蜜桃什么品种好| 午夜福利在线在线| 蜜桃亚洲精品一区二区三区| 搡女人真爽免费视频火全软件| 成年av动漫网址| 日韩不卡一区二区三区视频在线| 乱码一卡2卡4卡精品| 99久久中文字幕三级久久日本| 免费黄频网站在线观看国产| 亚洲av福利一区| 在线观看一区二区三区激情| 久久久国产一区二区| 在线观看免费视频网站a站| 国产精品欧美亚洲77777| 国产又色又爽无遮挡免| 超碰av人人做人人爽久久| 日韩国内少妇激情av| 国精品久久久久久国模美| 性高湖久久久久久久久免费观看| 一区二区三区乱码不卡18| 肉色欧美久久久久久久蜜桃| 国产淫片久久久久久久久| 日韩人妻高清精品专区| 性色av一级| 久久国产乱子免费精品| 99热这里只有精品一区| 国产精品国产三级国产av玫瑰| 亚洲国产毛片av蜜桃av| 精品久久国产蜜桃| 熟女av电影| 黄色怎么调成土黄色| 免费看光身美女| 欧美zozozo另类| av天堂中文字幕网| 超碰av人人做人人爽久久| 久久精品国产亚洲av涩爱| 久久久久久久精品精品| 波野结衣二区三区在线| 中文字幕精品免费在线观看视频 | 一级av片app| 少妇丰满av| 高清在线视频一区二区三区| 一级片'在线观看视频| 欧美97在线视频| a级毛片免费高清观看在线播放| 欧美日本视频| 日日摸夜夜添夜夜爱| .国产精品久久| 免费观看的影片在线观看| 永久免费av网站大全| 亚洲精品成人av观看孕妇| 自拍偷自拍亚洲精品老妇| 晚上一个人看的免费电影| 日韩制服骚丝袜av| 国产淫语在线视频| 一级毛片久久久久久久久女| 亚洲中文av在线| 国语对白做爰xxxⅹ性视频网站| av在线蜜桃| 秋霞在线观看毛片| 久久精品久久久久久噜噜老黄| 久久精品国产亚洲av天美| 久久久久视频综合| 日韩在线高清观看一区二区三区| 亚洲aⅴ乱码一区二区在线播放| 久久久久久久久久人人人人人人| 大香蕉97超碰在线| 蜜臀久久99精品久久宅男| 亚洲av不卡在线观看| 七月丁香在线播放| 日韩视频在线欧美| 国产精品一区二区在线不卡| 五月开心婷婷网| 我要看黄色一级片免费的| 天天躁夜夜躁狠狠久久av| 欧美丝袜亚洲另类| 美女主播在线视频| 国产一区有黄有色的免费视频| 免费av中文字幕在线| 91狼人影院| 欧美成人a在线观看| 日本-黄色视频高清免费观看| 最近的中文字幕免费完整| av天堂中文字幕网| 免费观看的影片在线观看| 男女边摸边吃奶| 香蕉精品网在线| 久久久久久伊人网av| 亚洲丝袜综合中文字幕| 亚洲精品久久午夜乱码| 欧美日韩一区二区视频在线观看视频在线| 少妇 在线观看| 国产一区二区在线观看日韩| 久久久a久久爽久久v久久| 国产亚洲91精品色在线| 国产成人一区二区在线| 欧美成人一区二区免费高清观看| 在线观看av片永久免费下载| 国产一级毛片在线| 爱豆传媒免费全集在线观看| 尾随美女入室| 丰满少妇做爰视频| 久久久亚洲精品成人影院| 免费看日本二区| 搡女人真爽免费视频火全软件| 国产免费又黄又爽又色| 超碰av人人做人人爽久久| 国产男女超爽视频在线观看| 国产精品99久久99久久久不卡 | 久久久亚洲精品成人影院| 国产精品久久久久久久久免| 亚州av有码| 日韩成人伦理影院| 亚洲国产最新在线播放| 国产乱人视频| 欧美高清性xxxxhd video| 高清av免费在线| 伦精品一区二区三区| 欧美日韩国产mv在线观看视频 | 在线亚洲精品国产二区图片欧美 | 99热国产这里只有精品6| 在线观看一区二区三区激情| 国产综合精华液| 国产av码专区亚洲av| 少妇熟女欧美另类| 国产精品秋霞免费鲁丝片| 成人一区二区视频在线观看| 午夜免费鲁丝| 日本-黄色视频高清免费观看| 99热这里只有是精品在线观看| 九九久久精品国产亚洲av麻豆| av专区在线播放| 高清不卡的av网站| 欧美精品一区二区大全| 亚洲精品国产av蜜桃| 国产亚洲欧美精品永久| 内射极品少妇av片p| 高清欧美精品videossex| 在线观看免费日韩欧美大片 | 在线亚洲精品国产二区图片欧美 | 亚洲怡红院男人天堂| h视频一区二区三区| 亚洲欧美日韩卡通动漫| 国产高潮美女av| 极品教师在线视频| 日韩av免费高清视频| 日韩,欧美,国产一区二区三区| 男人和女人高潮做爰伦理| 欧美日韩视频精品一区| 国产成人a区在线观看| 视频中文字幕在线观看| 亚洲国产高清在线一区二区三| 日本黄色片子视频| 国产欧美另类精品又又久久亚洲欧美| 久久久久久久久久成人| 热99国产精品久久久久久7| 国产精品成人在线| av线在线观看网站| 97超视频在线观看视频| 久久精品熟女亚洲av麻豆精品| 亚洲精品国产成人久久av| 免费看不卡的av| 久久综合国产亚洲精品| 国产精品99久久久久久久久| 精品少妇久久久久久888优播| 国产精品一区二区在线观看99| 麻豆成人午夜福利视频| 26uuu在线亚洲综合色| 午夜免费观看性视频| 卡戴珊不雅视频在线播放| 日韩人妻高清精品专区| 久久久久久人妻| av一本久久久久| 一个人看的www免费观看视频| 最近的中文字幕免费完整| 亚洲国产精品专区欧美| 色5月婷婷丁香| av不卡在线播放| 精华霜和精华液先用哪个| 成年女人在线观看亚洲视频| 亚洲aⅴ乱码一区二区在线播放| 在线观看av片永久免费下载| 伊人久久国产一区二区| 久久综合国产亚洲精品| 大话2 男鬼变身卡| 国产91av在线免费观看| 国产亚洲最大av| 国产男女超爽视频在线观看| 久久99热6这里只有精品| 爱豆传媒免费全集在线观看| 亚洲国产日韩一区二区| 国产黄色视频一区二区在线观看| 国产伦精品一区二区三区视频9| 蜜桃在线观看..| 我要看黄色一级片免费的| 美女主播在线视频| 午夜视频国产福利| 亚洲综合精品二区| 美女主播在线视频| 小蜜桃在线观看免费完整版高清| 亚洲va在线va天堂va国产| 欧美日韩视频精品一区| av专区在线播放| 国模一区二区三区四区视频| 亚洲美女黄色视频免费看| 日韩电影二区| 久久午夜福利片| 久久99精品国语久久久| 欧美97在线视频| 99久久综合免费| 中文欧美无线码| 日韩电影二区| 欧美日韩国产mv在线观看视频 | 在线观看人妻少妇| av国产精品久久久久影院| 男女边摸边吃奶| 久久久a久久爽久久v久久| 亚洲色图综合在线观看| 午夜日本视频在线| 在线观看一区二区三区激情| 卡戴珊不雅视频在线播放| 免费人妻精品一区二区三区视频| 成人美女网站在线观看视频| 男男h啪啪无遮挡| 国产精品成人在线| 亚洲丝袜综合中文字幕| 18禁裸乳无遮挡免费网站照片| 精华霜和精华液先用哪个| 另类亚洲欧美激情| 国内精品宾馆在线| 一区二区av电影网| 高清视频免费观看一区二区| 欧美精品亚洲一区二区|