类图
- 关于将类图映射成关系表的策略研究
要：文章研究了类图映射成关系数据库中的表的策略，首先使用Rational Rose 7.0建立类图数据模型，通过给类设置不同的可见性，并在类图中使用类与类之间的各种关系，然后再探讨了类图映射成关系表的规律。实践的结果表明，将类图映射成关系数据库中的表取决于两个因素，即类的可见性和类与类之间的关系，并发现Rational Rose 7.0软件没有考虑到当属性可见性不同时映射成表中对应的属性也应该是不同的。关键词：可视化建模；类图；关系数据库中图分类号：TP
现代信息科技 2024年1期2024-04-14
- 单一4-边形环己烷类分子图的l1-嵌入性
l1-图。环己烷类图上所有的点都是2 度或3 度，只有1 个4-边形面， 其他面都是6-边形。 Deza 和Shtogrin[12]证明了4-边形上都是3 度点的环己烷类图不是l1-图。 本文对环己烷类图4-边形上点的度进行分类：对于环己烷类图4-边形上只有2 个3 度点的情况，如果这2 个3 度点是相邻的，则称为第一型环己烷类图； 如果这2 个3 度点是相对的，则称为第二型环己烷类图。如果环己烷类图4-边形上有3 个3 度点， 称为第三型环己烷类图.证明
华东交通大学学报 2023年6期2024-01-16
- 基于类图与本体论的HBIM在建筑遗产仿真管理中的应用
性研究入手，引入类图与本体论的知识分析理论，将建筑遗产的构成元素系统分类为类图和知识本体图谱体系。通过从组件的规模定义面向对象的类图和本体，使HBIM系统中的类别、族的计算机管理语义与建筑遗产的知识图谱相统一，为建筑遗产的组件信息建立HBIM模型仿真的数据库，用户通过浏览和操作HBIM模型的数据平台实现对建筑遗产的数据仿真管理。本文通过对“大夫第”历史建筑单体构件的HBIM模型仿真平台设计开发，验证基于类图与本体论的HBIM在建筑遗产仿真管理的可行性，并通
科技和产业 2023年1期2023-02-13
- 基于鲸鱼优化算法的类图重构研究
层重构，模型层的类图重构通过找到最佳重构序列来提高软件质量，而寻找最佳重构是一个优化问题，可通过进化算法来实现，进化算法包括爬山算法[2]、模拟退火算法、群体智能算法和生物地理算法等.群体智能算法主要是模拟动物的群体行为，依靠相互合作来捕获食物，通过自身学习及向他人学习来不断改变自身的搜索方向来提高捕食的效率.群体智能优化算法的优势在于利用群体能力进行协同搜索，从而在解空间内找到最优解.其中鲸鱼优化算法是根据鲸鱼围捕猎物的行为而提出的算法.很多人都对软件重
湖南大学学报（自然科学版） 2021年10期2021-11-04
- 基于鲸鱼优化算法的类图重构研究
于鲸鱼优化算法的类图重构方法，并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优. 在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构，研究结果表明：基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法，可有效提高重构质量.关键词：软件质量;软件重构;鲸鱼优化;质量度量;类图中图分类号：TP311 文献标志码：AResearch on Class Diagram Ref
湖南大学学报·自然科学版 2021年10期2021-09-14
- 基于语义的UML类图的集成分类
anguage）类图由类和类之间的关系构成，用于系统的静态建模。UML类图被广泛应用于软件设计，已成为软件设计事实上的标准[4]。所以UML类图重用成为软件设计重用研究的重点[5-6]。随着可重用的UML类图数量的增加，分类成为一项基础性工作。服务于软件重用的组件的分类在一些文献中被提出[7-10]。这里的组件是指程序代码、设计模型和规范等。所有提出的方法能被归于同一类，即，通过预先定义的属性（如开发平台和功能等）去描述每个组件，组件被表示为一个属性向量，
计算机工程与应用 2021年12期2021-06-23
- 利用权重优化类图的主题
员根据前期得到的类图来进行划分，然后由具体的项目负责人员对项目逐步进行深入了解后，再进行进一步的修改。所采用的技术大都是按着问题域来进行主题的确认，而此方法未将功能或者是对象之间的耦合性作为参考的标准。一般在研究问题时得到的原始类图中，类之间的相互连接因为有数据的传送，仅仅按着问题域进行划分并不是很好的选择。由于前期设计阶段得到的结果对后期的实现会产生深远的影响。因此，在进行类图主题划分时，也应该将得到的类之间的数据传送考虑进去。如果类图中存在两个类之间有
智能计算机与应用 2021年11期2021-05-04
- 2类图1-因子数的计算公式*
方法，是求解许多类图1-因子数的一种非常有效的方法[4-7].笔者拟构造2类新图mTn和mKn,n,并用分类嵌套递推方法推导mTn和mKn,n不同1-因子的计数公式.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的列控系统运营场景多智能体建模仿真研究
UML的交互图和类图。AUML的交互图通过如图1所示的3种交互协议连接符来增加Agent交互间的并发机制。同时，通过在交互图中添加嵌套或交叉协议来促进模型的可重用性。嵌套协议经常被用来定义一个循环。图1 AUML交互协议连接符图中“与”表示消息并行发送，“或”表示不发送或发送其中几条消息，“异或”则表示只发送其中一条消息。AUML的类图在UML类图的基础上发展成如图2所示的Agent类图。图2 Agent类图本文使用的Agent类图只包含Agent名称、状
铁道标准设计 2020年8期2020-07-28
- 利用权重优化类图的主题
员根据前期得到的类图来进行划分，然后由具体的项目负责人员对项目逐步进行深入了解后，再进行进一步的修改。所采用的技术大都是按着问题域来进行主题的确认，而此方法未将功能或者是对象之间的耦合性作为参考的标准。一般在研究问题时得到的原始类图中，类之间的相互连接因为有数据的传送，仅仅按着问题域进行划分并不是很好的选择。由于前期设计阶段得到的结果对后期的实现会产生深远的影响。因此，在进行类图主题划分时，也应该将得到的类之间的数据传送考虑进去。如果类图中存在两个类之间有
智能计算机与应用 2020年11期2020-03-24
- 基于语义和结构的UML类图的检索
建模工具，UML类图被广泛地应用于设计阶段，已成为软件设计事实上的标准[2]，所以UML类图的重用成为研究热点[3-4].随着语义web的发展，大量的本体被开发.本体是共享概念的明确而详细的说明，概念通过特定的关系建立联系[5].本体分为通用本体和领域本体.通用本体覆盖了若干领域的概念知识，如WordNet；领域本体是由来自单个领域的概念构成的，如基因组学领域的基因本体(gene ontology，GO)等.本体为概念之间的相似性度量提供了途径.例如，在W
东北大学学报（自然科学版） 2020年1期2020-02-15
- 基于UML的ATM自动存取款机系统的建模过程
通常建立静态模型类图。类图是开发时将模型转化为代码的过程提供最主要的资源，对于所有的面向对象系统，类图都占据了核心的位置。类图可以包含类，接口，关系等，其中类在开发时可以用各种面向对象的语言来实现。分析ATM系统的用例图，设计类图，可以将系统分为5个类：客户类、管理人员类、交易类，ATM类，银行卡类。将关系添加至类中，构建类图。如下图2所示。图2 ATM系统——UML类图2.3 系统动态模型系统动态模型的建立可选择UML中的活动图、顺序图、时序图等。2.3
数码世界 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删掉，必得到一个顶点数是p-2且|S|=p-7的图G′,由引理1知，χ(G′)≤p-6。添上顶点u和v，就得到原来的图G，而色数最多增加1，故χ(G)≤p-5。由定理1的证明知推论成立
山东科学 2018年6期2018-12-20
- 基于B/S结构的图书馆管理系统的设计与实现
所示。图3 系统类图GetAllContactsAction继承 ActionSupport类，ContactServiceImpl类实现ContactService接口，ContactDaoImpl类实现ContactDao接口，GetAllContactsAction类依赖ContactServiceImpl 类 ，ContactServiceImpl 类 依 赖ContactDaoImpl类，ContactDaoImpl类依赖JdbcTemplate
中小企业管理与科技 2018年2期2018-11-06
- 基于描述逻辑ALCUQI的UML类图元模型形式化方法
）0 引言UML类图是一种图形化的建模语言，虽然其表示直观，但它却是一种半形式化的语言，缺乏精确的形式化语义表示，难易保证建立模型语义的一致性。而且对于模型语义一致性的检测往往是靠人工检测，实现模型一致性的自动检测是一件十分有价值的事。描述逻辑能对领域知识进行形式化的表示，同时描述逻辑还提供有相应的推理服务。本文采用基于描述逻辑的方法，研究类图的元模型中元元素与描述逻辑间的对应关系，实现类图元模型的形式化转化。1 描述逻辑ALCUQI描述逻辑是一种对领域知
现代计算机 2018年25期2018-10-22
- 柔性制造系统的部分可观时间Petri网故障诊断
0-12]和状态类图(state class graph，SCG)[13-14]相结合，构建修正状态类图(modified state class graph，MSCG)，把复杂的并行事件转变成求解满足时间约束的序列集合。所有节点分为可观节点和不可观节点，根据各节点变迁触发时间范围和可观节点触发时间信息，结合提出的故障诊断方法，判断系统不可观节点是否发生故障。1 部分可观时间Petri网的故障检测问题1.1 部分可观时间Petri网定义1：Petri网(P
计算机技术与发展 2018年10期2018-10-15
- 基于UML的对称一元关联研究
数学模型和UML类图元模型，分析了UML无法支持对称一元关联的原因，以及由此引发的代码生成问题。然后讨论了对称一元关联的数据结构，提出通过扩展UML类图元模型使UML支持对称一元关联建模的方法，并针对每种数据结构给出代码生成算法，最后通过实际例子的应用验证了该方法的可用性和有效性。1 背景知识模型驱动架构（Model Driven Architecture,MDA）是对象管理组织（Object Management Group,OMG）提出的一个软件开发方
现代计算机 2018年21期2018-08-24
- 三类图的拉普拉斯谱半径的极限点
2]研究了以下3类图的拉普拉斯谱半径的极限点：连通图中 某1点与的1端通过1条边相连（如图1所示）；连通图中某1点与2条内点不交的的1端分别通过1条边相连（如图2所示）；的2个端点分别与2个顶点不相交的二部连通图，中某1点通过1条边相连（如图3所示）。文献[3]研究了图的拉普拉斯特征值极限点集合的性质，并确定了树的代数连通度极限点前2大的值；文献[4]研究了代数连通度极限点的性质，并确定了树的代数连通度前4大的值；文献[5]确定了树的代数连通度极限点的第5
上海理工大学学报 2018年2期2018-05-22
- 有序加权平均算子在UML 类图度量中的应用
发人员高度重视。类图作为一种非常重要的软件模型图，描述系统中的类及其相互之间的各种关系，其构建是否科学对软件的复杂性有着明显的影响。目前，针对类图复杂性度量方法没有广泛的研究，对类图度量还处在经验阶段，Marchesi[18]运用7个指标从不同角度去度量类图的复杂性，但只考虑了类之间的继承和依赖关系，而没有考虑其他关系，如：关联关系、聚合关系等，是一种绝对复杂性度量；Genero[19-20]运用14个指标，将Marchesi度量中没有考虑到的类之间的关系
阜阳师范大学学报(自然科学版) 2018年1期2018-04-24
- 农业本体中信息关联挖掘及映射技术*
表示概念.UML类图与本体的结构相似，但UML类图只提供领域类结构和层次的静态视图，类层次只定义超类与内部类的关系.一张类图的所有特征和原则都能应用于本体建模[2].农业传感器终端采集的数据量大且多样化，如果不建立统一的概念标准，就会严重影响有用信息的挖掘.在农业领域已经有UML类图，只要充分利用这些类图实现对农业本体的扩展，就能迅速有效地建立本体库，并基于本体库实现语义应用.笔者利用Protege平台通过类图实现本体的可视化描述和扩展，并通过概念化模型丰
吉首大学学报（自然科学版） 2018年1期2018-03-30
- 通信仿真系统关键技术研究
模2.1建立系统类图系统类图包括通信终端类图和监控台类图两部分。在通信终端类图中，通信终端的主要功能依赖语音类、操作工作台类、客户端通信类实现。语音类通过对等网通信类接收或发送语音，而操作工作台类与操作工作台通过USB接口类传递参数信息，更新显示界面。通控机与数传通信终端的类图相似。在监控台类图中，监控台将功能分布在与其相关联的各个类上，通过与这些关联类的交互实现其功能。通信子网链表类负责管理通信子网的建立与销毁，而通信子网由工作参数相同的通信终端组成，通
商情 2012年48期2017-11-08
- UML用例图的形式化及其推理
（D）的 UML类图形式化方法［J］.计算机工程，2009，35（19）：43.［9］陈振庆，罗兰花.基于 OWL 本体的 UML类图推理［J］.计算机应用与软件，2011，28（8）：191.［10］柯昌博，黄志球.云计算环境下隐私需求的描述与检测方法［J］.计算机研究与发展，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 中国矿业大学(北京) 机电与信息工程学院，北京 100083；2 中国石油大学(北京) 地球物理与信息工程学院，北京 102249)针对UML缺少形式化语义，使得开发UML自动检测工具变得困难的问题，提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先，分别给出了基于二元关系和基于矩阵的类图形式化描述规则；然后，讨论了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类特殊图完美匹配数的计算公式*
]，本文给出了3类图完美匹配数目的计算公式，文中所给方法，适合相同结构重复出现的很多类图完美匹配数的求解。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类特殊图中的完美匹配数
方法能够计算许多类图的所有完美匹配的数目.定义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本体知识库的转换研究
L定义了UML的类图，描述了类和子类的关系。以学生本体为例，实现了UML类图的OWL本体形式化表示，进而将UML模型转换为相应的OWL本体，实现了UML类图中知识的再利用，为本体建设提供了新的途径。OWL；UML；本体；类图本体（ontology）是对共享的概念化进行显式的规范说明，是语义网知识表示的基础[1]。OWL语言是W3C推荐的本体论表示语言的标准，正被越来越多的科研人员及工业团体所关注。目前标准的语义Web本体语言是OWL，其体系是开放的，它被定
电子设计工程 2017年7期2017-05-09
- UML类图的形式规约与精化研究
0241)UML类图的形式规约与精化研究王博文 盛 枫 窦 亮 杨宗源(华东师范大学信息科学技术学院 上海 200241)UML由于其广泛的应用和直观的图形化符号，成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义，缺少对其模型精化关系的形式化规范定义，对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型，不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约，将UML类图中的结构和形式规约转换成定理证明器Co
计算机应用与软件 2017年2期2017-02-27
- 用C语言实现类封装的研究
然后引入了UML类图，通过使用C语言来实现一个Human类，讨论了如何使用C语言来实现类的封装特性，并给出了对应的分析。1 基本概念1.1 对象[1]对象是人们要进行研究的任何事物，从最简单的整数到复杂的飞机等均可看作对象，它不仅能表示具体的事物，还能表示抽象的规则、计划或事件。对象具有状态，一般用数据值来描述它的状态。对象还有操作，用于改变对象的状态，对象及其操作就是对象的行为。对象实现了数据和操作的结合，使数据和操作封装于对象的统一体中。1.2 面向对
网络安全与数据管理 2016年21期2016-12-02
- 程序蓝图模型重构操作实例研究
特点，给出UML类图模型在系统体系结构上的重构操作和实例，为重构在软件框架结构上的实施提供有力的支持。深入研究过程蓝图模型使用树形结构来描述程序的方法，定义过程蓝图相关重构操作并给出具体操作实例及过程，最后从过程蓝图模型生成新的源码。实验结果表明，UML模型和过程蓝图模型层次上的重构，提高了重构的抽象级别和效率。该方法能有效支持复杂软件的重构，并减少出错率。重构UML模型过程蓝图模型程序模型0 引 言当软件所处的环境发生变化或者需求改变时，软件需要不断地增
计算机应用与软件 2016年3期2016-09-26
- 2类图完美匹配数目的解析式*
200062)2类图完美匹配数目的解析式*唐保祥1，任 韩2(1. 天水师范学院数学与统计学院, 甘肃 天水 741001；2. 华东师范大学数学系, 上海 200062)匹配计数理论是图论研究的重要内容之一，而且是一个有生机和活力的研究领域。它不仅有很强的应用背景，而且在过去的几十年中，它是快速发展的组合论中许多重要思想的源泉。但是，一般图的完美匹配计数问题却是NP-难问题。用划分，求和，再递推的方法给出了2类图完美匹配数目的计算公式，所给出的方法，可以
中山大学学报(自然科学版)(中英文) 2016年4期2016-06-05
- 生活类图文书发展概况及其问题对策研究
涂晓蕾生活类图文书发展概况及其问题对策研究涂晓蕾随着经济和时代的发展，人们的阅读习惯也在悄然变化。人们开始注重生活，尤其重视生活的品质。诸多因素促成生活类图文书的火爆，但在其发展的同时，也出现不少问题，如图书内容的科学性和专业性缺失，大量的跟风复制造成资源的浪费等。通过分析生活类图文书的发展现状，指出其存在的系列问题，以把握生活类图文书发展规律，进而妥善处理其存在的问题，做出精品图书以满足广大读者的需要，提高人们的生活品质，才是真正地回归理性。生活类；图文
传播与版权 2016年11期2016-03-28
- UML在高校等级考试报名管理系统中的应用研究
制可以用用例图、类图、对象图、包图、组件图和配置图表示。而动态建模机制可以用消息、顺序图、协作图、活动图来表示。2.3 UML语言的建模方法UML建模，就是用UML分别建立业务模型和系统模型。业务模型是指用UML描述业务，即画出业务（business）用例图，当然，这里说画用例图，不应仅仅理解为画出图形，用例图应附有详细的业务说明。系统模型是指用UML描述系统，通常，系统模型用用例图、类图、时序图三种图来表示即可，如果功能较为复杂，还可以用用活动图和状态图
电脑与电信 2016年11期2016-02-06
- 基于元模型的HBase 数据模型转换方法
台无关的UML 类图PIM 模型，然后定义类图PIM 模型到关系型数据库PSM 模型的转换规则，将类图PIM 转换成关系型PSM，最后生成数据库实现代码。HBase 数据库是当下应用广泛且非常适合大数据处理的非关系型数据库，HBase 数据库依托于谷歌Hadoop 集群，具有高性能、高可靠性、高可扩展性和灵活的数据模型等优点。由于HBase 自身的巨大优势，越来越多的Web 应用开始尝试在其上构建数据中心，传统关系型数据库到HBase 数据库的迁移以及HB
计算机与现代化 2015年8期2015-11-26
- UML类图元模型基于描述逻辑的表示及验证
示方法和 UML类图模型形式化表示方法［5-8］的基础上，结合国内外UML类图元模型的相关成果［9-13］，提出一种UML类图元模型基于描述逻辑的表示及验证的方法.该方法在UML类图元模型构建的约束规则集的基础上，可以有效地实现UML类图元模型与其构建模型间的一致性验证问题.但是必须说明的是，正如文献［9-11］中所研究的，本文只是截取了UML类图元模型的一个子集进行表示和验证.1 描述逻辑SHOIN(D)1)在描述逻辑SHOIN(D)语言中，概念和属性的
云南民族大学学报（自然科学版） 2015年4期2015-11-14
- 软件设计模式在嵌入式控制系统中的应用
idge模式下的类图如图1所示。图1 Bridge模式下的类图参照使用Bridge模式，将核心调度控制算法进行了抽象和封装，这样即使在系统设计实现的过程中，核心调度控制算法发生了变化，对整个系统的影响也微乎其微。由此，我们确立了应用节点层的概念。由嵌入式系统软件框架确定应用节点的接口规范，应用开发人员开发并设计各类应用节点，而各类应用节点根据具体的调度控制算法不同，完成不同的具体实现。嵌入式系统软件架构下应用节点层的类图如图2所示。图2 嵌入式系统软件架构
单片机与嵌入式系统应用 2015年2期2015-07-03
- 库存管理系统的设计与实现
；统一建模语言；类图；顺序图；用例图；组件图一、课题背景随着科学技术的进步及其不断向生产与库存控制方面的渗透，解决合理库存与生产控制问题所需要处理的大量信息和企业资源管理的复杂化，要求信息处理的效率更高。信息的集成度要求扩大到企业的整个资源的利用和管理，因此产生了新一代的管理理论与计算机系统——企业资源规划（Enterprise Resource Planning，ERP）传统库存管理模型所谓库存管理是在保障供应的前提下，使库存物品的数量最少，所进行的有效
中国房地产业·下旬 2015年11期2015-05-30
- UML构造型类图到XMI的映射方法研究
)UML构造型类图到XMI的映射方法研究申云成，顾庆传(昭通学院 信息科学与技术学院，云南 昭通 657000)[摘要]将UML模型信息转换成XMI中间标准格式，能够实现模型到模型转换，模型到代码自动生成，加快系统开发进度，提高软件质量。首先介绍了MDA,UML,XMI以及构造类图等基本概念，然后提出一种UML类图到XMI的映射算法，并根据XMI模式定义和UML类图映射规则对映射算法进行具体描述。最后通过一个具体的构造型类图到XMI的映射实例进行算法验证
安阳师范学院学报 2015年2期2015-02-20
- 一类特殊图的顶点染色及其猜想的证明
G不存在第p－m类图，m≥7且m是正整数;证明了时，χ(G)≤4θ(G)+θ2(G)－1;进一步证明了猜想χ(G)≤4θ(G)+θ2(G)－1是正确的;为今后研究该猜想和图的顶点染色提供一些思想方法.顶点染色;最大团;第k类图;图的厚度1 基础知识文中有关的概念和符号参见文献［1，2］.V(G)，E(G)，θ(G)，χ(G)分别是图G的顶点集、边集、厚度、顶点染色数.设S是图G的一个团，由于图G必有最大团，用表示图G最大团的顶点数.如果图G含有的所有最大团
重庆工商大学学报（自然科学版） 2015年9期2015-02-20
- 提高生活类图文书制作水准的基本要素
轻易地被劣质生活类图文书蒙住眼睛，随意打发。高品质的精品图文书是读者的基本要求，读者的需求就是广大生活类图文书出版社的动力和努力的方向。不断提高生活类图文书的制作水准是出版社现在和未来必须努力要做的事情。什么样的生活类图文书才是高品质的生活类图文书？如何才能设计出一本受到读者欢迎的生活类图文书？由于每个人的审美观不同，每个设计人员的理念不同，这个问题确实比较难系统全面地回答。如果以符合大多数读者的审美观和喜好来看，还是存在一些制作高品质生活类图书所具备的基
出版参考 2014年21期2014-12-25
- 从亚马逊图书榜单看我国生活类图文书的市场状况
单来分析我国生活类图文书的市场状况。从亚马逊图书分类榜TOP100分析图文书在各类图书中的分布情况亚马逊网络书店的图书分类榜，依照图书的内容进行划分总共有九个类别，分别是文学类、社科类、经管理财类、生活类、少儿类、科技类、心理与励志类、教材教辅考试类和艺术类。我们将以2011-2013年的这九个类别的分类榜为基础，对这些分类榜的数据进行统计和分析。数据统计从三个维度展开，第一就是内容，就是图书的九个类别；第二就是时间，时间跨度为2011年-2013年；第三
出版参考 2014年22期2014-12-22
- 信用卡管理系统的UML建模研究
信用卡管理系统的类图及部分顺序图，重点研究了顺序图的特点。利用UML建模，使得用户和软件开发人员的沟通更加容易，从而提高了软件的开发效率。关键词：面向对象系统分析；UML；信用卡管理系统；建模；类图；顺序图中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2014）22-5217-03为了解决开发大型软件系统的复杂性和可维护性，在过去的几十年中出现了许多开发方法，比如瀑布开发方法、螺旋式开发方法、迭代开发方法。而面向对象是一种新型程序设
电脑知识与技术 2014年22期2014-09-17
- 4类图完美匹配数目的嵌套递推求法
保祥,任韩. 5类图完美匹配的计数[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类图完美匹配的数目[J]
华南师范大学学报（自然科学版） 2014年1期2014-08-28
- 基于软件工程的UML建模探讨
活动图、组件图、类图、包图、状态图、对象图和用例图等10种图。部署图主要对系统当中软件与硬件物理体系结构进行定义;顺序图则把对象间的动态合作关系表示出来;活动图则对系统当中每一个活动执行顺序进行描述;组件图对物理结构(代码部件)和所有部件的依赖关系进行描述;类图则对系统当中含有的类、类之间的关系和其内部结构进行描述;包图是对包和包之间进行表明的依赖类图;状态图主要对一类对象的状态和事件发生状态的转移条件进行描述;协作图是对对象间协作关系进行描述;对象图属于
中国科技纵横 2014年8期2014-07-09
- 基于UML的学生注册系统的面向对象建模
册系统；顺序图；类图中图分类号：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”视图的软件设计模型描述框架与应用
素，以及用例图、类图、活动图、序列图、状态图等UML图。一些面向对象软件项目的模型元素和UML图多达几十至几百个，导致其UML设计模型难以组织，且相应的设计文档难以编制，不可避免地遇到如何建立软件设计模型描述框架的技术问题。UML标准(1.5版)[1]中对模型组织做了初步的规定。文献[2]给出了组织UML系统模型的五种视图、动态与静态两方面、层次性等观念。文献[3]给出了包括接口、接口语义、功能、内部关系等描述的构件描述框架。文献[4]给出了设计文档模板的
终身教育研究 2013年3期2013-12-27
- 面向任务的作战系统模型一致性研究
建模，静态需求用类图建模，功能需求用自然语言对事件的前置和后置条件进行建模。由于自然语言无法形式化，文中提出用对象图来描述功能需求，把动态需求和静态需求结合。对象图中对象是静态需求中类的实例。以作战系统中护航使命模型为例，潜艇为完成护航使命需要不断侦察是否有敌方目标出现;如果出现敌方潜艇，需要发射鱼雷攻击，所以把护航使命分解成侦察和雷攻击两个任务。静态需求模型:图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的招生宣传平台的分析与设计
性，包括用例图、类图、对象图、构件图和部署图.另一类是动态行为模型图，描述的是系统随时间变化的行为，包括状态图、活动图、顺序图和协作图.本文结合astah工具软件绘制图形，阐述基于UML的招生宣传平台建模过程.2.1 招生宣传平台需求分析通过对招生宣传工作进行调研，确定平台需要实现用户管理、信息管理、招生管理、数据分析等功能.系统结构如图1所示.图1 系统功能结构图2.2 用例图用例图从用户的角度描述系统功能，以及系统外部的执行者与系统提供的用例之间的某种
赤峰学院学报·自然科学版 2013年20期2013-08-06
- 基于UML的列车自动防护系统测试用例生成方法研究
方法是基于UML类图实现的[3]，其设计思路如图3所示。图3 从UML生成XML测试脚本的3层设计方法该过程可以描述为3个步骤：（1）根据系统需求规范，创建所需测试系统的UML图。在创建过程中，要遵守可测试建模规则；（2）根据一系列的转换规则，将概念层的UML图转换为使用XML Schema说明的逻辑层UML类图；（3）根据逻辑层UML类图，导出XML Schema文档[4]。3.2 逻辑层UML类图构建概念层模型无法直接转换为XML Schema，这是由
铁路计算机应用 2013年7期2013-08-06
- 4类图完美匹配数目的显式表达式
2000624类图完美匹配数目的显式表达式唐保祥1，任韩21.天水师范学院数学与统计学院，甘肃天水 7410012.华东师范大学数学系，上海 2000621 引言匹配计数理论是图论研究的重要内容之一，在过去的几十年中，它是快速发展的组合论中许多重要思想的源泉，其研究成果已经在多个领域得到应用[1-5]。此问题引起一些学者的广泛研究，也得到了许多特殊图类完美匹配的计数公式[6-13]。遗憾的是，Valiant证明了一个图（即使是偶图）的完美匹配计数是NP-
计算机工程与应用 2013年19期2013-07-19
- 基于UML的网上花店系统建模分析
，需求建模，并用类图描述了系统的整体架构。关 键 词：网上花店；UML建模语言；用例图；类图一、引言如今是一个信息高速发展的社会尤其以网络的高速发展为代表，随着互联网的飞速发展，互联网也走进了千家万户。网上商店作为电子商务的一种具体形式在Internet上已经非常普及。由于充分利用和结合了最新的信息技术，网上商店具有传统商店无可比拟的优势，如经营成本低、受地域限制和时间限制少、市场扩张力极大等。目前Internet上的网上商店每天以惊人的速度增加。网上购物
软件工程 2013年9期2013-04-29
- 基于UML的索赔信息系统功能分析
析中用例图分析和类图分析的全过程。UML;索赔;信息系统;用例引言对建筑工程承包商来讲，索赔是指由于外界干扰造成了非承包商负责的工期延长和成本增加，从而向对方提出的赔偿要求。索赔是建筑工程项目管理中综合性很强的工作，它涉及施工组织、施工技术、预算(估价)、合同等各个方面。这些方面体现出的索赔问题，如成本的增加、工期的延误、合同纠纷等使得项目组织的信息沟通和工程师的辅助决策变得至关重要[1]。如能设计一个工程索赔信息系统，帮助承包商把握各种索赔相关信息，分析
中国科技信息 2012年3期2012-10-26
- 5类图完美匹配的计数*
]。本文给出了5类图完美匹配数目的计算公式，所给方法，适合相同结构重复出现的很多偶图完美匹配数的求解。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类图的概念类是一种用户自定义的类型，它和基本类型，如浮点型、整型，有类似的特征。同样，我们也可以声明某个类类型的变量，这个变量就称为类的对象，声明对象的过程叫做类的实例化。类和基本类型的区别在于，类类型中同时
电脑知识与技术 2012年12期2012-04-29
- 基于UML的采购业务系统设计
iagram)、类图(Class diagram)、对象图(Object diagram)、包(Package)和配置图(Deployment diagram)。UML的动态视图包括状态图(State Diagram)、顺序图(Sequence Diagram)、合作图(Collaboration Diagram)和活动图(Activity Diagram)。这四类图均可用于系统的动态建模,但它们各自的侧重点不同,分别用于不同的目的。UML(Unified
科技创新导报 2012年18期2012-04-29
- 基于中介中心性的类重要性度量的研究
一些独特的障碍。类图中存在的客户供应关系会引起可测试性问题。文章针对面向对象软件，使用UML类图对其进行类的重要性度量，希望能对合理安排软件测试资源，保证软件质量，提供借鉴和参考。1 类的重要性1.1 重要类的定义如果一个类被很多类依赖，那么对这个类进行修改有可能会影响许多依赖于它的类，一般可以认为这样的类是重要的类。其实对于如何判断重要的类可以根据用户给定的标准来定义，例如，如果一个类直接或间接地依赖于许多其他的类，那么这个类就有可能比其他的类更容易产生
计算机工程与设计 2011年7期2011-09-07
- 基于UML的考试管理系统设计
。其中，用例图、类图、组件图和配置图用于系统的静态建模;时序图、协作图、状态图和活动图用于系统的动态建模。在建模过程中，各阶段的主要工作如下:(1)在初始阶段，根据用户提出的需求产生角色、用例，并采用用例图进行可视化描述。在此阶段可以使用用例和用例图从高层建模系统描述要实现的功能。对于每个用例，使用用例描述模板描述角色和系统交互的事件流等，并建档保存。(2)细化阶段的主要任务是进一步分析并细化初始阶段产生的用例模型，对用例要进行详细描述，包括用例的处理流程
电子科技 2011年12期2011-06-01