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