類圖
- 關(guān)于將類圖映射成關(guān)系表的策略研究
要：文章研究了類圖映射成關(guān)系數(shù)據(jù)庫中的表的策略，首先使用Rational Rose 7.0建立類圖數(shù)據(jù)模型，通過給類設(shè)置不同的可見性，并在類圖中使用類與類之間的各種關(guān)系，然后再探討了類圖映射成關(guān)系表的規(guī)律。實(shí)踐的結(jié)果表明，將類圖映射成關(guān)系數(shù)據(jù)庫中的表取決于兩個(gè)因素，即類的可見性和類與類之間的關(guān)系，并發(fā)現(xiàn)Rational Rose 7.0軟件沒有考慮到當(dāng)屬性可見性不同時(shí)映射成表中對(duì)應(yīng)的屬性也應(yīng)該是不同的。關(guān)鍵詞：可視化建模；類圖；關(guān)系數(shù)據(jù)庫中圖分類號(hào)：TP
現(xiàn)代信息科技 2024年1期2024-04-14
- 單一4-邊形環(huán)己烷類分子圖的l1-嵌入性
l1-圖。環(huán)己烷類圖上所有的點(diǎn)都是2 度或3 度，只有1 個(gè)4-邊形面， 其他面都是6-邊形。 Deza 和Shtogrin[12]證明了4-邊形上都是3 度點(diǎn)的環(huán)己烷類圖不是l1-圖。 本文對(duì)環(huán)己烷類圖4-邊形上點(diǎn)的度進(jìn)行分類：對(duì)于環(huán)己烷類圖4-邊形上只有2 個(gè)3 度點(diǎn)的情況，如果這2 個(gè)3 度點(diǎn)是相鄰的，則稱為第一型環(huán)己烷類圖； 如果這2 個(gè)3 度點(diǎn)是相對(duì)的，則稱為第二型環(huán)己烷類圖。如果環(huán)己烷類圖4-邊形上有3 個(gè)3 度點(diǎn)， 稱為第三型環(huán)己烷類圖.證明
華東交通大學(xué)學(xué)報(bào) 2023年6期2024-01-16
- 基于類圖與本體論的HBIM在建筑遺產(chǎn)仿真管理中的應(yīng)用
性研究入手，引入類圖與本體論的知識(shí)分析理論，將建筑遺產(chǎn)的構(gòu)成元素系統(tǒng)分類為類圖和知識(shí)本體圖譜體系。通過從組件的規(guī)模定義面向?qū)ο蟮?span id="syggg00" class="hl">類圖和本體，使HBIM系統(tǒng)中的類別、族的計(jì)算機(jī)管理語義與建筑遺產(chǎn)的知識(shí)圖譜相統(tǒng)一，為建筑遺產(chǎn)的組件信息建立HBIM模型仿真的數(shù)據(jù)庫，用戶通過瀏覽和操作HBIM模型的數(shù)據(jù)平臺(tái)實(shí)現(xiàn)對(duì)建筑遺產(chǎn)的數(shù)據(jù)仿真管理。本文通過對(duì)“大夫第”歷史建筑單體構(gòu)件的HBIM模型仿真平臺(tái)設(shè)計(jì)開發(fā)，驗(yàn)證基于類圖與本體論的HBIM在建筑遺產(chǎn)仿真管理的可行性，并通
科技和產(chǎn)業(yè) 2023年1期2023-02-13
- 基于鯨魚優(yōu)化算法的類圖重構(gòu)研究
層重構(gòu)，模型層的類圖重構(gòu)通過找到最佳重構(gòu)序列來提高軟件質(zhì)量，而尋找最佳重構(gòu)是一個(gè)優(yōu)化問題，可通過進(jìn)化算法來實(shí)現(xiàn)，進(jìn)化算法包括爬山算法[2]、模擬退火算法、群體智能算法和生物地理算法等.群體智能算法主要是模擬動(dòng)物的群體行為，依靠相互合作來捕獲食物，通過自身學(xué)習(xí)及向他人學(xué)習(xí)來不斷改變自身的搜索方向來提高捕食的效率.群體智能優(yōu)化算法的優(yōu)勢在于利用群體能力進(jìn)行協(xié)同搜索，從而在解空間內(nèi)找到最優(yōu)解.其中鯨魚優(yōu)化算法是根據(jù)鯨魚圍捕獵物的行為而提出的算法.很多人都對(duì)軟件重
- 基于鯨魚優(yōu)化算法的類圖重構(gòu)研究
于鯨魚優(yōu)化算法的類圖重構(gòu)方法，并結(jié)合耦合、繼承、抽象3個(gè)指標(biāo)所構(gòu)建的質(zhì)量模型來指導(dǎo)類圖重構(gòu)序列尋優(yōu). 在6個(gè)不同的開源程序上使用鯨魚優(yōu)化方法對(duì)類圖進(jìn)行重構(gòu)，研究結(jié)果表明：基于鯨魚優(yōu)化算法的類圖重構(gòu)在質(zhì)量增益上優(yōu)于模擬退火算法和爬山算法，可有效提高重構(gòu)質(zhì)量.關(guān)鍵詞：軟件質(zhì)量;軟件重構(gòu);鯨魚優(yōu)化;質(zhì)量度量;類圖中圖分類號(hào)：TP311? ? ? ? ? ? ? ? ? ? ? ? ? ? ?文獻(xiàn)標(biāo)志碼：AResearch on Class Diagram Ref
- 基于語義的UML類圖的集成分類
anguage）類圖由類和類之間的關(guān)系構(gòu)成，用于系統(tǒng)的靜態(tài)建模。UML類圖被廣泛應(yīng)用于軟件設(shè)計(jì)，已成為軟件設(shè)計(jì)事實(shí)上的標(biāo)準(zhǔn)[4]。所以UML類圖重用成為軟件設(shè)計(jì)重用研究的重點(diǎn)[5-6]。隨著可重用的UML類圖數(shù)量的增加，分類成為一項(xiàng)基礎(chǔ)性工作。服務(wù)于軟件重用的組件的分類在一些文獻(xiàn)中被提出[7-10]。這里的組件是指程序代碼、設(shè)計(jì)模型和規(guī)范等。所有提出的方法能被歸于同一類，即，通過預(yù)先定義的屬性（如開發(fā)平臺(tái)和功能等）去描述每個(gè)組件，組件被表示為一個(gè)屬性向量，
計(jì)算機(jī)工程與應(yīng)用 2021年12期2021-06-23
- 利用權(quán)重優(yōu)化類圖的主題
員根據(jù)前期得到的類圖來進(jìn)行劃分，然后由具體的項(xiàng)目負(fù)責(zé)人員對(duì)項(xiàng)目逐步進(jìn)行深入了解后，再進(jìn)行進(jìn)一步的修改。所采用的技術(shù)大都是按著問題域來進(jìn)行主題的確認(rèn)，而此方法未將功能或者是對(duì)象之間的耦合性作為參考的標(biāo)準(zhǔn)。一般在研究問題時(shí)得到的原始類圖中，類之間的相互連接因?yàn)橛袛?shù)據(jù)的傳送，僅僅按著問題域進(jìn)行劃分并不是很好的選擇。由于前期設(shè)計(jì)階段得到的結(jié)果對(duì)后期的實(shí)現(xiàn)會(huì)產(chǎn)生深遠(yuǎn)的影響。因此，在進(jìn)行類圖主題劃分時(shí)，也應(yīng)該將得到的類之間的數(shù)據(jù)傳送考慮進(jìn)去。如果類圖中存在兩個(gè)類之間有
智能計(jì)算機(jī)與應(yīng)用 2021年11期2021-05-04
- 2類圖1-因子數(shù)的計(jì)算公式*
方法，是求解許多類圖1-因子數(shù)的一種非常有效的方法[4-7].筆者擬構(gòu)造2類新圖mTn和mKn,n,并用分類嵌套遞推方法推導(dǎo)mTn和mKn,n不同1-因子的計(jì)數(shù)公式.1 基本概念定義1若圖G有一個(gè)1-正則生成子圖D,則稱這個(gè)生成子圖D為圖G的1-因子.定義2設(shè)圖G是一個(gè)有1-因子的圖,若圖G的2個(gè)1-因子D1和D2中有1條邊不同,則稱D1和D2是G的2個(gè)不同的1-因子.圖1 圖mTnFig. 1 Graph of mTn圖2 圖mKn,nFig. 2 Gr
- 基于AUML的列控系統(tǒng)運(yùn)營場景多智能體建模仿真研究
UML的交互圖和類圖。AUML的交互圖通過如圖1所示的3種交互協(xié)議連接符來增加Agent交互間的并發(fā)機(jī)制。同時(shí)，通過在交互圖中添加嵌套或交叉協(xié)議來促進(jìn)模型的可重用性。嵌套協(xié)議經(jīng)常被用來定義一個(gè)循環(huán)。圖1 AUML交互協(xié)議連接符圖中“與”表示消息并行發(fā)送，“或”表示不發(fā)送或發(fā)送其中幾條消息，“異或”則表示只發(fā)送其中一條消息。AUML的類圖在UML類圖的基礎(chǔ)上發(fā)展成如圖2所示的Agent類圖。圖2 Agent類圖本文使用的Agent類圖只包含Agent名稱、狀
鐵道標(biāo)準(zhǔn)設(shè)計(jì) 2020年8期2020-07-28
- 利用權(quán)重優(yōu)化類圖的主題
員根據(jù)前期得到的類圖來進(jìn)行劃分，然后由具體的項(xiàng)目負(fù)責(zé)人員對(duì)項(xiàng)目逐步進(jìn)行深入了解后，再進(jìn)行進(jìn)一步的修改。所采用的技術(shù)大都是按著問題域來進(jìn)行主題的確認(rèn)，而此方法未將功能或者是對(duì)象之間的耦合性作為參考的標(biāo)準(zhǔn)。一般在研究問題時(shí)得到的原始類圖中，類之間的相互連接因?yàn)橛袛?shù)據(jù)的傳送，僅僅按著問題域進(jìn)行劃分并不是很好的選擇。由于前期設(shè)計(jì)階段得到的結(jié)果對(duì)后期的實(shí)現(xiàn)會(huì)產(chǎn)生深遠(yuǎn)的影響。因此，在進(jìn)行類圖主題劃分時(shí)，也應(yīng)該將得到的類之間的數(shù)據(jù)傳送考慮進(jìn)去。如果類圖中存在兩個(gè)類之間有
智能計(jì)算機(jī)與應(yīng)用 2020年11期2020-03-24
- 基于語義和結(jié)構(gòu)的UML類圖的檢索
建模工具，UML類圖被廣泛地應(yīng)用于設(shè)計(jì)階段，已成為軟件設(shè)計(jì)事實(shí)上的標(biāo)準(zhǔn)[2]，所以UML類圖的重用成為研究熱點(diǎn)[3-4].隨著語義web的發(fā)展，大量的本體被開發(fā).本體是共享概念的明確而詳細(xì)的說明，概念通過特定的關(guān)系建立聯(lián)系[5].本體分為通用本體和領(lǐng)域本體.通用本體覆蓋了若干領(lǐng)域的概念知識(shí)，如WordNet；領(lǐng)域本體是由來自單個(gè)領(lǐng)域的概念構(gòu)成的，如基因組學(xué)領(lǐng)域的基因本體(gene ontology，GO)等.本體為概念之間的相似性度量提供了途徑.例如，在W
- 基于UML的ATM自動(dòng)存取款機(jī)系統(tǒng)的建模過程
通常建立靜態(tài)模型類圖。類圖是開發(fā)時(shí)將模型轉(zhuǎn)化為代碼的過程提供最主要的資源，對(duì)于所有的面向?qū)ο笙到y(tǒng)，類圖都占據(jù)了核心的位置。類圖可以包含類，接口，關(guān)系等，其中類在開發(fā)時(shí)可以用各種面向?qū)ο蟮恼Z言來實(shí)現(xiàn)。分析ATM系統(tǒng)的用例圖，設(shè)計(jì)類圖，可以將系統(tǒng)分為5個(gè)類：客戶類、管理人員類、交易類，ATM類，銀行卡類。將關(guān)系添加至類中，構(gòu)建類圖。如下圖2所示。圖2 ATM系統(tǒng)——UML類圖2.3 系統(tǒng)動(dòng)態(tài)模型系統(tǒng)動(dòng)態(tài)模型的建立可選擇UML中的活動(dòng)圖、順序圖、時(shí)序圖等。2.3
數(shù)碼世界 2019年4期2019-05-10
- 關(guān)于頂點(diǎn)染色的一個(gè)猜想
，則稱此圖為第k類圖。引理1[11]若|S|=p-5,則χ(G)≤p-4。引理2[2]圖G是二部圖，當(dāng)且僅當(dāng)G中不含奇圈。引理3[9]若|S|=p-2,則χ(G)=p-2。2 |S|=p-6的一些圖證明設(shè)頂點(diǎn)u∈V′(GS),頂點(diǎn)v∈V(G-V′),u和v不相鄰。將頂點(diǎn)u和v刪掉，必得到一個(gè)頂點(diǎn)數(shù)是p-2且|S|=p-7的圖G′,由引理1知，χ(G′)≤p-6。添上頂點(diǎn)u和v，就得到原來的圖G，而色數(shù)最多增加1，故χ(G)≤p-5。由定理1的證明知推論成立
山東科學(xué) 2018年6期2018-12-20
- 基于B/S結(jié)構(gòu)的圖書館管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
所示。圖3 系統(tǒng)類圖GetAllContactsAction繼承 ActionSupport類，ContactServiceImpl類實(shí)現(xiàn)ContactService接口，ContactDaoImpl類實(shí)現(xiàn)ContactDao接口，GetAllContactsAction類依賴ContactServiceImpl 類 ，ContactServiceImpl 類 依 賴ContactDaoImpl類，ContactDaoImpl類依賴JdbcTemplate
中小企業(yè)管理與科技 2018年2期2018-11-06
- 基于描述邏輯ALCUQI的UML類圖元模型形式化方法
）0 引言UML類圖是一種圖形化的建模語言，雖然其表示直觀，但它卻是一種半形式化的語言，缺乏精確的形式化語義表示，難易保證建立模型語義的一致性。而且對(duì)于模型語義一致性的檢測往往是靠人工檢測，實(shí)現(xiàn)模型一致性的自動(dòng)檢測是一件十分有價(jià)值的事。描述邏輯能對(duì)領(lǐng)域知識(shí)進(jìn)行形式化的表示，同時(shí)描述邏輯還提供有相應(yīng)的推理服務(wù)。本文采用基于描述邏輯的方法，研究類圖的元模型中元元素與描述邏輯間的對(duì)應(yīng)關(guān)系，實(shí)現(xiàn)類圖元模型的形式化轉(zhuǎn)化。1 描述邏輯ALCUQI描述邏輯是一種對(duì)領(lǐng)域知
現(xiàn)代計(jì)算機(jī) 2018年25期2018-10-22
- 柔性制造系統(tǒng)的部分可觀時(shí)間Petri網(wǎng)故障診斷
0-12]和狀態(tài)類圖(state class graph，SCG)[13-14]相結(jié)合，構(gòu)建修正狀態(tài)類圖(modified state class graph，MSCG)，把復(fù)雜的并行事件轉(zhuǎn)變成求解滿足時(shí)間約束的序列集合。所有節(jié)點(diǎn)分為可觀節(jié)點(diǎn)和不可觀節(jié)點(diǎn)，根據(jù)各節(jié)點(diǎn)變遷觸發(fā)時(shí)間范圍和可觀節(jié)點(diǎn)觸發(fā)時(shí)間信息，結(jié)合提出的故障診斷方法，判斷系統(tǒng)不可觀節(jié)點(diǎn)是否發(fā)生故障。1 部分可觀時(shí)間Petri網(wǎng)的故障檢測問題1.1 部分可觀時(shí)間Petri網(wǎng)定義1：Petri網(wǎng)(P
計(jì)算機(jī)技術(shù)與發(fā)展 2018年10期2018-10-15
- 基于UML的對(duì)稱一元關(guān)聯(lián)研究
數(shù)學(xué)模型和UML類圖元模型，分析了UML無法支持對(duì)稱一元關(guān)聯(lián)的原因，以及由此引發(fā)的代碼生成問題。然后討論了對(duì)稱一元關(guān)聯(lián)的數(shù)據(jù)結(jié)構(gòu)，提出通過擴(kuò)展UML類圖元模型使UML支持對(duì)稱一元關(guān)聯(lián)建模的方法，并針對(duì)每種數(shù)據(jù)結(jié)構(gòu)給出代碼生成算法，最后通過實(shí)際例子的應(yīng)用驗(yàn)證了該方法的可用性和有效性。1 背景知識(shí)模型驅(qū)動(dòng)架構(gòu)（Model Driven Architecture,MDA）是對(duì)象管理組織（Object Management Group,OMG）提出的一個(gè)軟件開發(fā)方
現(xiàn)代計(jì)算機(jī) 2018年21期2018-08-24
- 三類圖的拉普拉斯譜半徑的極限點(diǎn)
2]研究了以下3類圖的拉普拉斯譜半徑的極限點(diǎn)：連通圖中 某1點(diǎn)與的1端通過1條邊相連（如圖1所示）；連通圖中某1點(diǎn)與2條內(nèi)點(diǎn)不交的的1端分別通過1條邊相連（如圖2所示）；的2個(gè)端點(diǎn)分別與2個(gè)頂點(diǎn)不相交的二部連通圖，中某1點(diǎn)通過1條邊相連（如圖3所示）。文獻(xiàn)[3]研究了圖的拉普拉斯特征值極限點(diǎn)集合的性質(zhì)，并確定了樹的代數(shù)連通度極限點(diǎn)前2大的值；文獻(xiàn)[4]研究了代數(shù)連通度極限點(diǎn)的性質(zhì)，并確定了樹的代數(shù)連通度前4大的值；文獻(xiàn)[5]確定了樹的代數(shù)連通度極限點(diǎn)的第5
上海理工大學(xué)學(xué)報(bào) 2018年2期2018-05-22
- 有序加權(quán)平均算子在UML 類圖度量中的應(yīng)用
發(fā)人員高度重視。類圖作為一種非常重要的軟件模型圖，描述系統(tǒng)中的類及其相互之間的各種關(guān)系，其構(gòu)建是否科學(xué)對(duì)軟件的復(fù)雜性有著明顯的影響。目前，針對(duì)類圖復(fù)雜性度量方法沒有廣泛的研究，對(duì)類圖度量還處在經(jīng)驗(yàn)階段，Marchesi[18]運(yùn)用7個(gè)指標(biāo)從不同角度去度量類圖的復(fù)雜性，但只考慮了類之間的繼承和依賴關(guān)系，而沒有考慮其他關(guān)系，如：關(guān)聯(lián)關(guān)系、聚合關(guān)系等，是一種絕對(duì)復(fù)雜性度量；Genero[19-20]運(yùn)用14個(gè)指標(biāo)，將Marchesi度量中沒有考慮到的類之間的關(guān)系
- 農(nóng)業(yè)本體中信息關(guān)聯(lián)挖掘及映射技術(shù)*
表示概念.UML類圖與本體的結(jié)構(gòu)相似，但UML類圖只提供領(lǐng)域類結(jié)構(gòu)和層次的靜態(tài)視圖，類層次只定義超類與內(nèi)部類的關(guān)系.一張類圖的所有特征和原則都能應(yīng)用于本體建模[2].農(nóng)業(yè)傳感器終端采集的數(shù)據(jù)量大且多樣化，如果不建立統(tǒng)一的概念標(biāo)準(zhǔn)，就會(huì)嚴(yán)重影響有用信息的挖掘.在農(nóng)業(yè)領(lǐng)域已經(jīng)有UML類圖，只要充分利用這些類圖實(shí)現(xiàn)對(duì)農(nóng)業(yè)本體的擴(kuò)展，就能迅速有效地建立本體庫，并基于本體庫實(shí)現(xiàn)語義應(yīng)用.筆者利用Protege平臺(tái)通過類圖實(shí)現(xiàn)本體的可視化描述和擴(kuò)展，并通過概念化模型豐
- 通信仿真系統(tǒng)關(guān)鍵技術(shù)研究
模2.1建立系統(tǒng)類圖系統(tǒng)類圖包括通信終端類圖和監(jiān)控臺(tái)類圖兩部分。在通信終端類圖中，通信終端的主要功能依賴語音類、操作工作臺(tái)類、客戶端通信類實(shí)現(xiàn)。語音類通過對(duì)等網(wǎng)通信類接收或發(fā)送語音，而操作工作臺(tái)類與操作工作臺(tái)通過USB接口類傳遞參數(shù)信息，更新顯示界面。通控機(jī)與數(shù)傳通信終端的類圖相似。在監(jiān)控臺(tái)類圖中，監(jiān)控臺(tái)將功能分布在與其相關(guān)聯(lián)的各個(gè)類上，通過與這些關(guān)聯(lián)類的交互實(shí)現(xiàn)其功能。通信子網(wǎng)鏈表類負(fù)責(zé)管理通信子網(wǎng)的建立與銷毀，而通信子網(wǎng)由工作參數(shù)相同的通信終端組成，通
商情 2012年48期2017-11-08
- UML用例圖的形式化及其推理
（D）的 UML類圖形式化方法［J］.計(jì)算機(jī)工程，2009，35（19）：43.［9］陳振慶，羅蘭花.基于 OWL 本體的 UML類圖推理［J］.計(jì)算機(jī)應(yīng)用與軟件，2011，28（8）：191.［10］柯昌博，黃志球.云計(jì)算環(huán)境下隱私需求的描述與檢測方法［J］.計(jì)算機(jī)研究與發(fā)展，2015，52（4）：886.On the Formalization and Reasoning of UML Use Case DiagramCHEN Zhen-Qing （E
賀州學(xué)院學(xué)報(bào) 2017年2期2017-07-18
- 基于矩陣?yán)碚摰腢ML類圖形式化描述與檢測
矩陣?yán)碚摰腢ML類圖形式化描述與檢測王智廣1，2，王 雷1,*，李聰瑩2(1 中國礦業(yè)大學(xué)(北京) 機(jī)電與信息工程學(xué)院，北京 100083；2 中國石油大學(xué)(北京) 地球物理與信息工程學(xué)院，北京 102249)針對(duì)UML缺少形式化語義，使得開發(fā)UML自動(dòng)檢測工具變得困難的問題，提出了一種基于矩陣?yán)碚摰腢ML類圖形式化描述和自動(dòng)檢測方法.首先，分別給出了基于二元關(guān)系和基于矩陣的類圖形式化描述規(guī)則；然后，討論了UML類圖的自動(dòng)檢測；最后，用一個(gè)實(shí)例說明了該方法
- 關(guān)于非平面圖染色的一個(gè)猜想
，則稱此圖為第k類圖。引理1[10]圖G是二部圖，當(dāng)且僅當(dāng)G中不含奇圈。①若該公共頂點(diǎn)與圖G-V′中的一個(gè)頂點(diǎn)不相鄰，則χ(G)=3。②若該公共頂點(diǎn)與圖G-V′中的所有頂點(diǎn)相鄰，且圖G-V′存在奇圈，則χ(G)=4。③若該公共頂點(diǎn)與圖G-V′中的所有頂點(diǎn)相鄰，且圖G-V′不存在奇圈，則χ(G)=3。(1)V′(Gs)中任意一個(gè)頂點(diǎn)與V(G-V′)中的所有頂點(diǎn)相鄰；(2)圖G是第p-4類圖或第p-6類圖；則χ(G)=p-3。(1)V′(Gs)中任意一個(gè)頂點(diǎn)與
山東科學(xué) 2017年3期2017-06-28
- 3類特殊圖完美匹配數(shù)的計(jì)算公式*
]，本文給出了3類圖完美匹配數(shù)目的計(jì)算公式，文中所給方法，適合相同結(jié)構(gòu)重復(fù)出現(xiàn)的很多類圖完美匹配數(shù)的求解。1 基本概念定義1 兩條長為n的路為P1=u1u2…un+1，P2=v1v2…vn+1，分別連接路P1與P2的頂點(diǎn)ui與vi(i=1,2,…,n+1)所得到的圖，稱為長為n的梯子，記為Tn。定義2 設(shè)m+1條長為n的路Pi=ui1ui2ui3…ui,n+1(i=1,2,…,m,m+1)，連接路Pi與Pi+1中的頂點(diǎn)uij與ui+1,j(i=1,2,…,
- 2類特殊圖中的完美匹配數(shù)
方法能夠計(jì)算許多類圖的所有完美匹配的數(shù)目.定義1 若G圖的2個(gè)完美匹配M1和M2中有一條邊不同,則稱M1和M2是G的2個(gè)不同的完美匹配.定義2 設(shè)2條長為n的路：P1=u1u2…un+1,P2=v1v2…vn+1, 分別連接路P1與P2的頂點(diǎn)ui與vi(i=1,2,…,n+1)得到的圖,稱長為n的梯子,記為Tn.n個(gè)長為10的圈記為Ci=ui1ui2ui3vi2wi3wi2wi1wi4vi1ui4(i=1,2,…,n).連接圈Ci上頂點(diǎn)vi1與vi2,連接
浙江大學(xué)學(xué)報(bào)（理學(xué)版） 2017年3期2017-05-18
- UML模型到OWL本體知識(shí)庫的轉(zhuǎn)換研究
L定義了UML的類圖，描述了類和子類的關(guān)系。以學(xué)生本體為例，實(shí)現(xiàn)了UML類圖的OWL本體形式化表示，進(jìn)而將UML模型轉(zhuǎn)換為相應(yīng)的OWL本體，實(shí)現(xiàn)了UML類圖中知識(shí)的再利用，為本體建設(shè)提供了新的途徑。OWL；UML；本體；類圖本體（ontology）是對(duì)共享的概念化進(jìn)行顯式的規(guī)范說明，是語義網(wǎng)知識(shí)表示的基礎(chǔ)[1]。OWL語言是W3C推薦的本體論表示語言的標(biāo)準(zhǔn)，正被越來越多的科研人員及工業(yè)團(tuán)體所關(guān)注。目前標(biāo)準(zhǔn)的語義Web本體語言是OWL，其體系是開放的，它被定
電子設(shè)計(jì)工程 2017年7期2017-05-09
- UML類圖的形式規(guī)約與精化研究
0241)UML類圖的形式規(guī)約與精化研究王博文 盛 楓 竇 亮 楊宗源(華東師范大學(xué)信息科學(xué)技術(shù)學(xué)院 上海 200241)UML由于其廣泛的應(yīng)用和直觀的圖形化符號(hào)，成為了模型驅(qū)動(dòng)工程的重要組成部分。但UML本身缺乏精確的形式語義定義，缺少對(duì)其模型精化關(guān)系的形式化規(guī)范定義，對(duì)UML模型進(jìn)行形式驗(yàn)證變得尤為困難。UML類圖作為描述系統(tǒng)結(jié)構(gòu)的靜態(tài)模型，不具備完整的形式語義。從UML類圖的機(jī)械語義中抽取出形式規(guī)約，將UML類圖中的結(jié)構(gòu)和形式規(guī)約轉(zhuǎn)換成定理證明器Co
計(jì)算機(jī)應(yīng)用與軟件 2017年2期2017-02-27
- 用C語言實(shí)現(xiàn)類封裝的研究
然后引入了UML類圖，通過使用C語言來實(shí)現(xiàn)一個(gè)Human類，討論了如何使用C語言來實(shí)現(xiàn)類的封裝特性，并給出了對(duì)應(yīng)的分析。1 基本概念1.1 對(duì)象[1]對(duì)象是人們要進(jìn)行研究的任何事物，從最簡單的整數(shù)到復(fù)雜的飛機(jī)等均可看作對(duì)象，它不僅能表示具體的事物，還能表示抽象的規(guī)則、計(jì)劃或事件。對(duì)象具有狀態(tài)，一般用數(shù)據(jù)值來描述它的狀態(tài)。對(duì)象還有操作，用于改變對(duì)象的狀態(tài)，對(duì)象及其操作就是對(duì)象的行為。對(duì)象實(shí)現(xiàn)了數(shù)據(jù)和操作的結(jié)合，使數(shù)據(jù)和操作封裝于對(duì)象的統(tǒng)一體中。1.2 面向?qū)?/div>
網(wǎng)絡(luò)安全與數(shù)據(jù)管理 2016年21期2016-12-02
- 程序藍(lán)圖模型重構(gòu)操作實(shí)例研究
特點(diǎn)，給出UML類圖模型在系統(tǒng)體系結(jié)構(gòu)上的重構(gòu)操作和實(shí)例，為重構(gòu)在軟件框架結(jié)構(gòu)上的實(shí)施提供有力的支持。深入研究過程藍(lán)圖模型使用樹形結(jié)構(gòu)來描述程序的方法，定義過程藍(lán)圖相關(guān)重構(gòu)操作并給出具體操作實(shí)例及過程，最后從過程藍(lán)圖模型生成新的源碼。實(shí)驗(yàn)結(jié)果表明，UML模型和過程藍(lán)圖模型層次上的重構(gòu)，提高了重構(gòu)的抽象級(jí)別和效率。該方法能有效支持復(fù)雜軟件的重構(gòu)，并減少出錯(cuò)率。重構(gòu)UML模型過程藍(lán)圖模型程序模型0 引 言當(dāng)軟件所處的環(huán)境發(fā)生變化或者需求改變時(shí)，軟件需要不斷地增計(jì)算機(jī)應(yīng)用與軟件 2016年3期2016-09-26
- 2類圖完美匹配數(shù)目的解析式*
200062)2類圖完美匹配數(shù)目的解析式*唐保祥1，任 韓2(1. 天水師范學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 甘肅 天水 741001；2. 華東師范大學(xué)數(shù)學(xué)系, 上海 200062)匹配計(jì)數(shù)理論是圖論研究的重要內(nèi)容之一，而且是一個(gè)有生機(jī)和活力的研究領(lǐng)域。它不僅有很強(qiáng)的應(yīng)用背景，而且在過去的幾十年中，它是快速發(fā)展的組合論中許多重要思想的源泉。但是，一般圖的完美匹配計(jì)數(shù)問題卻是NP-難問題。用劃分，求和，再遞推的方法給出了2類圖完美匹配數(shù)目的計(jì)算公式，所給出的方法，可以- 生活類圖文書發(fā)展概況及其問題對(duì)策研究
涂曉蕾生活類圖文書發(fā)展概況及其問題對(duì)策研究涂曉蕾隨著經(jīng)濟(jì)和時(shí)代的發(fā)展，人們的閱讀習(xí)慣也在悄然變化。人們開始注重生活，尤其重視生活的品質(zhì)。諸多因素促成生活類圖文書的火爆，但在其發(fā)展的同時(shí)，也出現(xiàn)不少問題，如圖書內(nèi)容的科學(xué)性和專業(yè)性缺失，大量的跟風(fēng)復(fù)制造成資源的浪費(fèi)等。通過分析生活類圖文書的發(fā)展現(xiàn)狀，指出其存在的系列問題，以把握生活類圖文書發(fā)展規(guī)律，進(jìn)而妥善處理其存在的問題，做出精品圖書以滿足廣大讀者的需要，提高人們的生活品質(zhì)，才是真正地回歸理性。生活類；圖文傳播與版權(quán) 2016年11期2016-03-28
- UML在高校等級(jí)考試報(bào)名管理系統(tǒng)中的應(yīng)用研究
制可以用用例圖、類圖、對(duì)象圖、包圖、組件圖和配置圖表示。而動(dòng)態(tài)建模機(jī)制可以用消息、順序圖、協(xié)作圖、活動(dòng)圖來表示。2.3 UML語言的建模方法UML建模，就是用UML分別建立業(yè)務(wù)模型和系統(tǒng)模型。業(yè)務(wù)模型是指用UML描述業(yè)務(wù)，即畫出業(yè)務(wù)（business）用例圖，當(dāng)然，這里說畫用例圖，不應(yīng)僅僅理解為畫出圖形，用例圖應(yīng)附有詳細(xì)的業(yè)務(wù)說明。系統(tǒng)模型是指用UML描述系統(tǒng)，通常，系統(tǒng)模型用用例圖、類圖、時(shí)序圖三種圖來表示即可，如果功能較為復(fù)雜，還可以用用活動(dòng)圖和狀態(tài)圖電腦與電信 2016年11期2016-02-06
- 基于元模型的HBase 數(shù)據(jù)模型轉(zhuǎn)換方法
臺(tái)無關(guān)的UML 類圖PIM 模型，然后定義類圖PIM 模型到關(guān)系型數(shù)據(jù)庫PSM 模型的轉(zhuǎn)換規(guī)則，將類圖PIM 轉(zhuǎn)換成關(guān)系型PSM，最后生成數(shù)據(jù)庫實(shí)現(xiàn)代碼。HBase 數(shù)據(jù)庫是當(dāng)下應(yīng)用廣泛且非常適合大數(shù)據(jù)處理的非關(guān)系型數(shù)據(jù)庫，HBase 數(shù)據(jù)庫依托于谷歌Hadoop 集群，具有高性能、高可靠性、高可擴(kuò)展性和靈活的數(shù)據(jù)模型等優(yōu)點(diǎn)。由于HBase 自身的巨大優(yōu)勢，越來越多的Web 應(yīng)用開始嘗試在其上構(gòu)建數(shù)據(jù)中心，傳統(tǒng)關(guān)系型數(shù)據(jù)庫到HBase 數(shù)據(jù)庫的遷移以及HB計(jì)算機(jī)與現(xiàn)代化 2015年8期2015-11-26
- UML類圖元模型基于描述邏輯的表示及驗(yàn)證
示方法和 UML類圖模型形式化表示方法［5-8］的基礎(chǔ)上，結(jié)合國內(nèi)外UML類圖元模型的相關(guān)成果［9-13］，提出一種UML類圖元模型基于描述邏輯的表示及驗(yàn)證的方法.該方法在UML類圖元模型構(gòu)建的約束規(guī)則集的基礎(chǔ)上，可以有效地實(shí)現(xiàn)UML類圖元模型與其構(gòu)建模型間的一致性驗(yàn)證問題.但是必須說明的是，正如文獻(xiàn)［9-11］中所研究的，本文只是截取了UML類圖元模型的一個(gè)子集進(jìn)行表示和驗(yàn)證.1 描述邏輯SHOIN(D)1)在描述邏輯SHOIN(D)語言中，概念和屬性的- 軟件設(shè)計(jì)模式在嵌入式控制系統(tǒng)中的應(yīng)用
idge模式下的類圖如圖1所示。圖1 Bridge模式下的類圖參照使用Bridge模式，將核心調(diào)度控制算法進(jìn)行了抽象和封裝，這樣即使在系統(tǒng)設(shè)計(jì)實(shí)現(xiàn)的過程中，核心調(diào)度控制算法發(fā)生了變化，對(duì)整個(gè)系統(tǒng)的影響也微乎其微。由此，我們確立了應(yīng)用節(jié)點(diǎn)層的概念。由嵌入式系統(tǒng)軟件框架確定應(yīng)用節(jié)點(diǎn)的接口規(guī)范，應(yīng)用開發(fā)人員開發(fā)并設(shè)計(jì)各類應(yīng)用節(jié)點(diǎn)，而各類應(yīng)用節(jié)點(diǎn)根據(jù)具體的調(diào)度控制算法不同，完成不同的具體實(shí)現(xiàn)。嵌入式系統(tǒng)軟件架構(gòu)下應(yīng)用節(jié)點(diǎn)層的類圖如圖2所示。圖2 嵌入式系統(tǒng)軟件架構(gòu)單片機(jī)與嵌入式系統(tǒng)應(yīng)用 2015年2期2015-07-03
- 庫存管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
；統(tǒng)一建模語言；類圖；順序圖；用例圖；組件圖一、課題背景隨著科學(xué)技術(shù)的進(jìn)步及其不斷向生產(chǎn)與庫存控制方面的滲透，解決合理庫存與生產(chǎn)控制問題所需要處理的大量信息和企業(yè)資源管理的復(fù)雜化，要求信息處理的效率更高。信息的集成度要求擴(kuò)大到企業(yè)的整個(gè)資源的利用和管理，因此產(chǎn)生了新一代的管理理論與計(jì)算機(jī)系統(tǒng)——企業(yè)資源規(guī)劃（Enterprise Resource Planning，ERP）傳統(tǒng)庫存管理模型所謂庫存管理是在保障供應(yīng)的前提下，使庫存物品的數(shù)量最少，所進(jìn)行的有效中國房地產(chǎn)業(yè)·下旬 2015年11期2015-05-30
- UML構(gòu)造型類圖到XMI的映射方法研究
)?UML構(gòu)造型類圖到XMI的映射方法研究申云成，顧慶傳(昭通學(xué)院 信息科學(xué)與技術(shù)學(xué)院，云南 昭通 657000)[摘要]將UML模型信息轉(zhuǎn)換成XMI中間標(biāo)準(zhǔn)格式，能夠?qū)崿F(xiàn)模型到模型轉(zhuǎn)換，模型到代碼自動(dòng)生成，加快系統(tǒng)開發(fā)進(jìn)度，提高軟件質(zhì)量。首先介紹了MDA,UML,XMI以及構(gòu)造類圖等基本概念，然后提出一種UML類圖到XMI的映射算法，并根據(jù)XMI模式定義和UML類圖映射規(guī)則對(duì)映射算法進(jìn)行具體描述。最后通過一個(gè)具體的構(gòu)造型類圖到XMI的映射實(shí)例進(jìn)行算法驗(yàn)證安陽師范學(xué)院學(xué)報(bào) 2015年2期2015-02-20
- 一類特殊圖的頂點(diǎn)染色及其猜想的證明
G不存在第p－m類圖，m≥7且m是正整數(shù);證明了時(shí)，χ(G)≤4θ(G)+θ2(G)－1;進(jìn)一步證明了猜想χ(G)≤4θ(G)+θ2(G)－1是正確的;為今后研究該猜想和圖的頂點(diǎn)染色提供一些思想方法.頂點(diǎn)染色;最大團(tuán);第k類圖;圖的厚度1 基礎(chǔ)知識(shí)文中有關(guān)的概念和符號(hào)參見文獻(xiàn)［1，2］.V(G)，E(G)，θ(G)，χ(G)分別是圖G的頂點(diǎn)集、邊集、厚度、頂點(diǎn)染色數(shù).設(shè)S是圖G的一個(gè)團(tuán)，由于圖G必有最大團(tuán)，用表示圖G最大團(tuán)的頂點(diǎn)數(shù).如果圖G含有的所有最大團(tuán)- 提高生活類圖文書制作水準(zhǔn)的基本要素
輕易地被劣質(zhì)生活類圖文書蒙住眼睛，隨意打發(fā)。高品質(zhì)的精品圖文書是讀者的基本要求，讀者的需求就是廣大生活類圖文書出版社的動(dòng)力和努力的方向。不斷提高生活類圖文書的制作水準(zhǔn)是出版社現(xiàn)在和未來必須努力要做的事情。什么樣的生活類圖文書才是高品質(zhì)的生活類圖文書？如何才能設(shè)計(jì)出一本受到讀者歡迎的生活類圖文書？由于每個(gè)人的審美觀不同，每個(gè)設(shè)計(jì)人員的理念不同，這個(gè)問題確實(shí)比較難系統(tǒng)全面地回答。如果以符合大多數(shù)讀者的審美觀和喜好來看，還是存在一些制作高品質(zhì)生活類圖書所具備的基出版參考 2014年21期2014-12-25
- 從亞馬遜圖書榜單看我國生活類圖文書的市場狀況
單來分析我國生活類圖文書的市場狀況。從亞馬遜圖書分類榜TOP100分析圖文書在各類圖書中的分布情況亞馬遜網(wǎng)絡(luò)書店的圖書分類榜，依照圖書的內(nèi)容進(jìn)行劃分總共有九個(gè)類別，分別是文學(xué)類、社科類、經(jīng)管理財(cái)類、生活類、少兒類、科技類、心理與勵(lì)志類、教材教輔考試類和藝術(shù)類。我們將以2011-2013年的這九個(gè)類別的分類榜為基礎(chǔ)，對(duì)這些分類榜的數(shù)據(jù)進(jìn)行統(tǒng)計(jì)和分析。數(shù)據(jù)統(tǒng)計(jì)從三個(gè)維度展開，第一就是內(nèi)容，就是圖書的九個(gè)類別；第二就是時(shí)間，時(shí)間跨度為2011年-2013年；第三出版參考 2014年22期2014-12-22
- 信用卡管理系統(tǒng)的UML建模研究
信用卡管理系統(tǒng)的類圖及部分順序圖，重點(diǎn)研究了順序圖的特點(diǎn)。利用UML建模，使得用戶和軟件開發(fā)人員的溝通更加容易，從而提高了軟件的開發(fā)效率。關(guān)鍵詞：面向?qū)ο笙到y(tǒng)分析；UML；信用卡管理系統(tǒng)；建模；類圖；順序圖中圖分類號(hào)：TP311 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1009-3044（2014）22-5217-03為了解決開發(fā)大型軟件系統(tǒng)的復(fù)雜性和可維護(hù)性，在過去的幾十年中出現(xiàn)了許多開發(fā)方法，比如瀑布開發(fā)方法、螺旋式開發(fā)方法、迭代開發(fā)方法。而面向?qū)ο笫且环N新型程序設(shè)電腦知識(shí)與技術(shù) 2014年22期2014-09-17
- 4類圖完美匹配數(shù)目的嵌套遞推求法
保祥,任韓. 5類圖完美匹配的計(jì)數(shù)[J]. 中山大學(xué)學(xué)報(bào):自然科學(xué)版, 2012, 51(4):31-37.Tang B X,Ren H. The number of perfect matchings in five types of graphs[J].Acta Scientiarum Naturalium Universitatis Sunyatseni, 2012, 51(4):31-37.[12] 唐保祥,李剛,任韓. 3類圖完美匹配的數(shù)目[J]- 基于軟件工程的UML建模探討
活動(dòng)圖、組件圖、類圖、包圖、狀態(tài)圖、對(duì)象圖和用例圖等10種圖。部署圖主要對(duì)系統(tǒng)當(dāng)中軟件與硬件物理體系結(jié)構(gòu)進(jìn)行定義;順序圖則把對(duì)象間的動(dòng)態(tài)合作關(guān)系表示出來;活動(dòng)圖則對(duì)系統(tǒng)當(dāng)中每一個(gè)活動(dòng)執(zhí)行順序進(jìn)行描述;組件圖對(duì)物理結(jié)構(gòu)(代碼部件)和所有部件的依賴關(guān)系進(jìn)行描述;類圖則對(duì)系統(tǒng)當(dāng)中含有的類、類之間的關(guān)系和其內(nèi)部結(jié)構(gòu)進(jìn)行描述;包圖是對(duì)包和包之間進(jìn)行表明的依賴類圖;狀態(tài)圖主要對(duì)一類對(duì)象的狀態(tài)和事件發(fā)生狀態(tài)的轉(zhuǎn)移條件進(jìn)行描述;協(xié)作圖是對(duì)對(duì)象間協(xié)作關(guān)系進(jìn)行描述;對(duì)象圖屬于中國科技縱橫 2014年8期2014-07-09
- 基于UML的學(xué)生注冊系統(tǒng)的面向?qū)ο蠼?/a>
冊系統(tǒng)；順序圖；類圖中圖分類號(hào)：TP393 文獻(xiàn)標(biāo)識(shí)號(hào)：AObject-oriented Student Registration System Modeling Based on UMLZHANG Meijiao（Quanzhou Institute of Information Engineering，Quanzhou Fujian 362000， China）Abstract： Student registration system can effe智能計(jì)算機(jī)與應(yīng)用 2014年5期2014-04-29
- 基于“4+1”視圖的軟件設(shè)計(jì)模型描述框架與應(yīng)用
素，以及用例圖、類圖、活動(dòng)圖、序列圖、狀態(tài)圖等UML圖。一些面向?qū)ο筌浖?xiàng)目的模型元素和UML圖多達(dá)幾十至幾百個(gè)，導(dǎo)致其UML設(shè)計(jì)模型難以組織，且相應(yīng)的設(shè)計(jì)文檔難以編制，不可避免地遇到如何建立軟件設(shè)計(jì)模型描述框架的技術(shù)問題。UML標(biāo)準(zhǔn)(1.5版)[1]中對(duì)模型組織做了初步的規(guī)定。文獻(xiàn)[2]給出了組織UML系統(tǒng)模型的五種視圖、動(dòng)態(tài)與靜態(tài)兩方面、層次性等觀念。文獻(xiàn)[3]給出了包括接口、接口語義、功能、內(nèi)部關(guān)系等描述的構(gòu)件描述框架。文獻(xiàn)[4]給出了設(shè)計(jì)文檔模板的終身教育研究 2013年3期2013-12-27
- 面向任務(wù)的作戰(zhàn)系統(tǒng)模型一致性研究
建模，靜態(tài)需求用類圖建模，功能需求用自然語言對(duì)事件的前置和后置條件進(jìn)行建模。由于自然語言無法形式化，文中提出用對(duì)象圖來描述功能需求，把動(dòng)態(tài)需求和靜態(tài)需求結(jié)合。對(duì)象圖中對(duì)象是靜態(tài)需求中類的實(shí)例。以作戰(zhàn)系統(tǒng)中護(hù)航使命模型為例，潛艇為完成護(hù)航使命需要不斷偵察是否有敵方目標(biāo)出現(xiàn);如果出現(xiàn)敵方潛艇，需要發(fā)射魚雷攻擊，所以把護(hù)航使命分解成偵察和雷攻擊兩個(gè)任務(wù)。靜態(tài)需求模型:圖1是護(hù)航使命的類圖。一個(gè)潛艇(Submarine)有多部聲納設(shè)備(Sonar)，同時(shí)裝載了多個(gè)電子科技 2013年4期2013-12-17
- 單圈圖依次小Q－特征值排序
組成的圖類為C1類圖（見圖1）.圖1 C1類Fig.1 C1class定理1 a.當(dāng)s≥2時(shí)，U3（S＊（s，t）），U3（1，S＊（s，t）），U4（S＊（s，t））的 依 次 小Q－ 特 征 值 等于τ0.b.當(dāng)s≥1 時(shí)，U3（1，1，S＊（s，t）），U4（1，S＊（s，t）），U5（S＊（s，t））的 依 次 小Q－ 特 征 值 等于τ0.c.當(dāng)s≥1時(shí)，U5（n－5）的依次小Q－特征值等于τ0.d.當(dāng)s≥5時(shí)，U3（1，1，n－5）的依次小Q－上海理工大學(xué)學(xué)報(bào) 2013年1期2013-10-10
- 基于UML的招生宣傳平臺(tái)的分析與設(shè)計(jì)
性，包括用例圖、類圖、對(duì)象圖、構(gòu)件圖和部署圖.另一類是動(dòng)態(tài)行為模型圖，描述的是系統(tǒng)隨時(shí)間變化的行為，包括狀態(tài)圖、活動(dòng)圖、順序圖和協(xié)作圖.本文結(jié)合astah工具軟件繪制圖形，闡述基于UML的招生宣傳平臺(tái)建模過程.2.1 招生宣傳平臺(tái)需求分析通過對(duì)招生宣傳工作進(jìn)行調(diào)研，確定平臺(tái)需要實(shí)現(xiàn)用戶管理、信息管理、招生管理、數(shù)據(jù)分析等功能.系統(tǒng)結(jié)構(gòu)如圖1所示.圖1 系統(tǒng)功能結(jié)構(gòu)圖2.2 用例圖用例圖從用戶的角度描述系統(tǒng)功能，以及系統(tǒng)外部的執(zhí)行者與系統(tǒng)提供的用例之間的某種- 基于UML的列車自動(dòng)防護(hù)系統(tǒng)測試用例生成方法研究
方法是基于UML類圖實(shí)現(xiàn)的[3]，其設(shè)計(jì)思路如圖3所示。圖3 從UML生成XML測試腳本的3層設(shè)計(jì)方法該過程可以描述為3個(gè)步驟：（1）根據(jù)系統(tǒng)需求規(guī)范，創(chuàng)建所需測試系統(tǒng)的UML圖。在創(chuàng)建過程中，要遵守可測試建模規(guī)則；（2）根據(jù)一系列的轉(zhuǎn)換規(guī)則，將概念層的UML圖轉(zhuǎn)換為使用XML Schema說明的邏輯層UML類圖；（3）根據(jù)邏輯層UML類圖，導(dǎo)出XML Schema文檔[4]。3.2 邏輯層UML類圖構(gòu)建概念層模型無法直接轉(zhuǎn)換為XML Schema，這是由鐵路計(jì)算機(jī)應(yīng)用 2013年7期2013-08-06
- 4類圖完美匹配數(shù)目的顯式表達(dá)式
2000624類圖完美匹配數(shù)目的顯式表達(dá)式唐保祥1，任韓21.天水師范學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，甘肅天水 7410012.華東師范大學(xué)數(shù)學(xué)系，上海 2000621 引言匹配計(jì)數(shù)理論是圖論研究的重要內(nèi)容之一，在過去的幾十年中，它是快速發(fā)展的組合論中許多重要思想的源泉，其研究成果已經(jīng)在多個(gè)領(lǐng)域得到應(yīng)用[1-5]。此問題引起一些學(xué)者的廣泛研究，也得到了許多特殊圖類完美匹配的計(jì)數(shù)公式[6-13]。遺憾的是，Valiant證明了一個(gè)圖（即使是偶圖）的完美匹配計(jì)數(shù)是NP-計(jì)算機(jī)工程與應(yīng)用 2013年19期2013-07-19
- 基于UML的網(wǎng)上花店系統(tǒng)建模分析
，需求建模，并用類圖描述了系統(tǒng)的整體架構(gòu)。關(guān) 鍵 詞：網(wǎng)上花店；UML建模語言；用例圖；類圖一、引言如今是一個(gè)信息高速發(fā)展的社會(huì)尤其以網(wǎng)絡(luò)的高速發(fā)展為代表，隨著互聯(lián)網(wǎng)的飛速發(fā)展，互聯(lián)網(wǎng)也走進(jìn)了千家萬戶。網(wǎng)上商店作為電子商務(wù)的一種具體形式在Internet上已經(jīng)非常普及。由于充分利用和結(jié)合了最新的信息技術(shù)，網(wǎng)上商店具有傳統(tǒng)商店無可比擬的優(yōu)勢，如經(jīng)營成本低、受地域限制和時(shí)間限制少、市場擴(kuò)張力極大等。目前Internet上的網(wǎng)上商店每天以驚人的速度增加。網(wǎng)上購物軟件工程 2013年9期2013-04-29
- 基于UML的索賠信息系統(tǒng)功能分析
析中用例圖分析和類圖分析的全過程。UML;索賠;信息系統(tǒng);用例引言對(duì)建筑工程承包商來講，索賠是指由于外界干擾造成了非承包商負(fù)責(zé)的工期延長和成本增加，從而向?qū)Ψ教岢龅馁r償要求。索賠是建筑工程項(xiàng)目管理中綜合性很強(qiáng)的工作，它涉及施工組織、施工技術(shù)、預(yù)算(估價(jià))、合同等各個(gè)方面。這些方面體現(xiàn)出的索賠問題，如成本的增加、工期的延誤、合同糾紛等使得項(xiàng)目組織的信息溝通和工程師的輔助決策變得至關(guān)重要[1]。如能設(shè)計(jì)一個(gè)工程索賠信息系統(tǒng)，幫助承包商把握各種索賠相關(guān)信息，分析中國科技信息 2012年3期2012-10-26
- 5類圖完美匹配的計(jì)數(shù)*
]。本文給出了5類圖完美匹配數(shù)目的計(jì)算公式，所給方法，適合相同結(jié)構(gòu)重復(fù)出現(xiàn)的很多偶圖完美匹配數(shù)的求解。1 基本概念定義1 設(shè)m+1條長為n的路Pi=ui1ui2ui3…ui,n+1(i=1,2,…,m,m+1)，連接路Pi與Pi+1中的頂點(diǎn)uij與ui+1,j(i=1,2,…,m;j=1,2,…,n,n+1)所得的圖，稱為m×n的棋盤。本文將m×n的棋盤記為Qm×n。定義2 若圖G的兩個(gè)完美匹配M1和M2中有一條邊不同，則稱M1和M2是G的兩個(gè)不同完美匹配- C++中類繼承方式的討論
類的特性，繪制了類圖，并應(yīng)用類圖來講授類繼承的三種方式。有圖形的配合，形象生動(dòng)，降低了學(xué)生的理解難度，收到學(xué)生的歡迎。關(guān)鍵詞：類；類圖；繼承；對(duì)象；重用率中圖分類號(hào)：TP311文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1009-3044(2012)12-2781-051類圖的概念類是一種用戶自定義的類型，它和基本類型，如浮點(diǎn)型、整型，有類似的特征。同樣，我們也可以聲明某個(gè)類類型的變量，這個(gè)變量就稱為類的對(duì)象，聲明對(duì)象的過程叫做類的實(shí)例化。類和基本類型的區(qū)別在于，類類型中同時(shí)電腦知識(shí)與技術(shù) 2012年12期2012-04-29
- 基于UML的采購業(yè)務(wù)系統(tǒng)設(shè)計(jì)
iagram)、類圖(Class diagram)、對(duì)象圖(Object diagram)、包(Package)和配置圖(Deployment diagram)。UML的動(dòng)態(tài)視圖包括狀態(tài)圖(State Diagram)、順序圖(Sequence Diagram)、合作圖(Collaboration Diagram)和活動(dòng)圖(Activity Diagram)。這四類圖均可用于系統(tǒng)的動(dòng)態(tài)建模,但它們各自的側(cè)重點(diǎn)不同,分別用于不同的目的。UML(Unified科技創(chuàng)新導(dǎo)報(bào) 2012年18期2012-04-29
- 基于中介中心性的類重要性度量的研究
一些獨(dú)特的障礙。類圖中存在的客戶供應(yīng)關(guān)系會(huì)引起可測試性問題。文章針對(duì)面向?qū)ο筌浖?，使用UML類圖對(duì)其進(jìn)行類的重要性度量，希望能對(duì)合理安排軟件測試資源，保證軟件質(zhì)量，提供借鑒和參考。1 類的重要性1.1 重要類的定義如果一個(gè)類被很多類依賴，那么對(duì)這個(gè)類進(jìn)行修改有可能會(huì)影響許多依賴于它的類，一般可以認(rèn)為這樣的類是重要的類。其實(shí)對(duì)于如何判斷重要的類可以根據(jù)用戶給定的標(biāo)準(zhǔn)來定義，例如，如果一個(gè)類直接或間接地依賴于許多其他的類，那么這個(gè)類就有可能比其他的類更容易產(chǎn)生計(jì)算機(jī)工程與設(shè)計(jì) 2011年7期2011-09-07
- 基于UML的考試管理系統(tǒng)設(shè)計(jì)
。其中，用例圖、類圖、組件圖和配置圖用于系統(tǒng)的靜態(tài)建模;時(shí)序圖、協(xié)作圖、狀態(tài)圖和活動(dòng)圖用于系統(tǒng)的動(dòng)態(tài)建模。在建模過程中，各階段的主要工作如下:(1)在初始階段，根據(jù)用戶提出的需求產(chǎn)生角色、用例，并采用用例圖進(jìn)行可視化描述。在此階段可以使用用例和用例圖從高層建模系統(tǒng)描述要實(shí)現(xiàn)的功能。對(duì)于每個(gè)用例，使用用例描述模板描述角色和系統(tǒng)交互的事件流等，并建檔保存。(2)細(xì)化階段的主要任務(wù)是進(jìn)一步分析并細(xì)化初始階段產(chǎn)生的用例模型，對(duì)用例要進(jìn)行詳細(xì)描述，包括用例的處理流程電子科技 2011年12期2011-06-01
- 程序藍(lán)圖模型重構(gòu)操作實(shí)例研究