發(fā)布時(shí)間：2021-12-22 23:10

　　隨著科學(xué)技術(shù)的進(jìn)步,系統(tǒng)實(shí)現(xiàn)的功能越來(lái)越多,系統(tǒng)的規(guī)模變大,復(fù)雜性也有所提高。根據(jù)美國(guó)權(quán)威組織Standish Group在2015年的報(bào)告中得出的結(jié)論,規(guī)模越大的項(xiàng)目越容易失敗。特別是在工業(yè)4.0理念深入人心的時(shí)候,信息物理融合系統(tǒng)（CPS）作為工業(yè)制造的主要技術(shù),成為了學(xué)者和專家的研究目標(biāo)之一。由于信息物理融合系統(tǒng)中使用到大量的硬件,所以它的開(kāi)發(fā)成本相當(dāng)昂貴;同時(shí),信息物理融合系統(tǒng)的質(zhì)量與人們的生活質(zhì)量、生命和財(cái)產(chǎn)安全等相關(guān)。而在過(guò)去的研究中得知,需求是項(xiàng)目成敗的最關(guān)鍵的因素。需求建模是為了系統(tǒng)開(kāi)發(fā)人員從獲取到的需求信息中能夠在語(yǔ)義上正確地理解其含義,讓客戶可以正確表達(dá)和判斷自己的表達(dá)的需求信息是否符合自己真實(shí)的想法。學(xué)術(shù)界和企業(yè)都比較關(guān)注需求建模方法,在多個(gè)需求建模方法中,問(wèn)題框架方法也受了一些大學(xué)和學(xué)者們的青睞。問(wèn)題框架方法作為面向問(wèn)題的需求工程方法,在眾多人的不斷研究和探索下,在系統(tǒng)開(kāi)發(fā)的過(guò)程中越來(lái)越發(fā)揮了重要作用。問(wèn)題框架方法描述用戶需求,有很多方向值得研究和進(jìn)一步的探究。問(wèn)題框架方法由Jackson在20世紀(jì)90年代提出來(lái)的。該方法充分考慮軟件的運(yùn)行環(huán)境,也即問(wèn)題所在的現(xiàn)... 

【文章來(lái)源】：廣西師范大學(xué)廣西壯族自治區(qū)

【文章頁(yè)數(shù)】：62 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

問(wèn)題圖

我們對(duì)安全門控制問(wèn)題進(jìn)行了建模，建模得出的問(wèn)題圖如圖3-1 所示。圖 3-1 安全門控制問(wèn)題圖錄相機(jī)這個(gè)問(wèn)題領(lǐng)域的功能是轉(zhuǎn)換現(xiàn)象 d 中錄相機(jī)捕捉到游客的臉部外表的一個(gè)或多個(gè)影像幀。門控制器和錄像機(jī)的共享集合 b 中的影像幀，門控制器設(shè)備通過(guò)檢測(cè)這些影像幀并用軟件算法來(lái)對(duì)它們進(jìn)行分析處理，然后再將處理結(jié)果與特征數(shù)據(jù)庫(kù)中的FeatureInformation 值進(jìn)行對(duì)比。由現(xiàn)象 d 中模擬數(shù)據(jù) FacialAppearance 到現(xiàn)象 b 中的數(shù)字化數(shù)據(jù) VideoFrames 的轉(zhuǎn)化給出了潛在可行的解決方案。從這個(gè)安全門控制的邏輯的分析中，我們可以認(rèn)識(shí)到游客的臉和錄像機(jī)都是必須的，所以錄像機(jī)和游客的臉都要顯式的表達(dá)在問(wèn)題圖中，而不能將錄相機(jī)包含在門控制器中，這樣是不利于分析問(wèn)題。3.2 問(wèn)題圖完整性、正確性檢查研究傳統(tǒng)的建模工具在協(xié)同和自動(dòng)化檢驗(yàn)圖的完整性和正確性有些不足，例如：MS Visio，Rational Rose 和 UMLet 沒(méi)有實(shí)現(xiàn)多用戶之間共享文件和協(xié)同建模功能，對(duì)繪制出來(lái)的需求設(shè)計(jì)圖軟件不能夠自動(dòng)判斷圖的完整性和正確性。本文除了介紹理論研究，同時(shí)還依據(jù)理論成果開(kāi)發(fā)實(shí)現(xiàn)了相應(yīng)的輔助工具。在第 5 章本文會(huì)介紹該需求工程輔助工具。

安全門控制問(wèn)題圖（領(lǐng)域無(wú)名稱）

【參考文獻(xiàn)】：
期刊論文
[1]信息物理融合系統(tǒng)的軟件需求分析[J]. 劉春,黃冉冉,張偉,趙海燕,金芝.  計(jì)算機(jī)學(xué)報(bào). 2016(11)
[2]一種信息物理融合系統(tǒng)仿真建模方法[J]. 李曉宇,王宇英,周興社,梁東方.  系統(tǒng)仿真學(xué)報(bào). 2014(03)
[3]一種模型驅(qū)動(dòng)的軟件需求分析方法及技術(shù)支持[J]. 李智,龐柳,劉國(guó)源,楊智尚.  廣西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2013(02)
[4]需求分析在軟件開(kāi)發(fā)過(guò)程中的重要性[J]. 陸麗.  電腦知識(shí)與技術(shù). 2012(21)
[5]信息物理融合系統(tǒng)[J]. 溫景容,武穆清,宿景芳.  自動(dòng)化學(xué)報(bào). 2012(04)
[6]需求工程現(xiàn)狀和發(fā)展研究[J]. 劉忠寶,趙文娟.  電腦開(kāi)發(fā)與應(yīng)用. 2011(11)
[7]關(guān)于軟件需求中的不一致性管理[J]. 朱雪峰,金芝.  軟件學(xué)報(bào). 2005(07)
[8]基于形式化方法的需求分析[J]. 塔維娜,何積豐.  計(jì)算機(jī)工程. 2003(18)
[9]C/S與B/S混合軟件體系結(jié)構(gòu)模型[J]. 張友生,陳松喬.  計(jì)算機(jī)工程與應(yīng)用. 2002(23)
[10]需求工程綜述[J]. 田忠,錢樂(lè)秋.  計(jì)算機(jī)應(yīng)用與軟件. 1996(05)



本文編號(hào)：3547286