期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,243篇文章
< 1 2 … 63 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于将类图映射成关系表的策略研究
1
作者 李娟 明德廷 王兴宇 《现代信息科技》 2024年第1期113-115,120,共4页
文章研究了类图映射成关系数据库中的表的策略,首先使用Rational Rose 7.0建立类图数据模型,通过给类设置不同的可见性,并在类图中使用类与类之间的各种关系,然后再探讨了类图映射成关系表的规律。实践的结果表明,将类图映射成关系数据... 文章研究了类图映射成关系数据库中的表的策略,首先使用Rational Rose 7.0建立类图数据模型,通过给类设置不同的可见性,并在类图中使用类与类之间的各种关系,然后再探讨了类图映射成关系表的规律。实践的结果表明,将类图映射成关系数据库中的表取决于两个因素,即类的可见性和类与类之间的关系,并发现RationalRose7.0软件没有考虑到当属性可见性不同时映射成表中对应的属性也应该是不同的。 展开更多
关键词 可视化建模 类图 关系数据库
在线阅读 下载PDF
基于UMCS树的UML类图的混合相似性度量
2
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 UML类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
在线阅读 下载PDF
UML类图的一致性分析
3
作者 谢嘉成 蒋建民 +1 位作者 陈华豪 唐国富 《软件导刊》 2024年第2期40-47,共8页
在面向对象开发过程中,UML类图作为表达系统静态结构的最主要方式,蕴含着大量结构信息,使得软件开发阶段各种层次类图之间的一致性难以得到保证。为保证UML类图的一致性,通常将形式化方法与UML类图结合起来对类图精化过程进行分析验证... 在面向对象开发过程中,UML类图作为表达系统静态结构的最主要方式,蕴含着大量结构信息,使得软件开发阶段各种层次类图之间的一致性难以得到保证。为保证UML类图的一致性,通常将形式化方法与UML类图结合起来对类图精化过程进行分析验证。然而在形式化过程中往往存在UML类图模型信息丢失或增加的问题。引入形式化模型统一结构不会丢失或增加信息,为此首先将UML类图描述为统一结构,给出精化函数的定义;其次给出验证精化函数有效性的算法;最后在开发的原型工具上进行实例验证。对精化过程的验证实验结果表明,该方法可以帮助设计人员及时发现并处理类图中存在的不一致现象。 展开更多
关键词 UML 类图 一致性 精化 形式化
在线阅读 下载PDF
海洋督察工作中地类图斑核查方法刍议
4
作者 陆怡 《海洋世界》 2024年第8期78-85,共8页
围填海管控情况及海洋生态保护红线管控情况是海洋督察工作中的重要内容,需要使用地理信息系统(GIS)技术,依据海域权属、原有海岸线、修测海岸线、海域界线等地类图斑数据,辅助判断某地是否存在违规用海行为或违反有关生态保护红线管控... 围填海管控情况及海洋生态保护红线管控情况是海洋督察工作中的重要内容,需要使用地理信息系统(GIS)技术,依据海域权属、原有海岸线、修测海岸线、海域界线等地类图斑数据,辅助判断某地是否存在违规用海行为或违反有关生态保护红线管控要求的人为活动。地类图斑核查是海洋督察工作摸排问题线索的重要手段。 展开更多
关键词 生态保护红线 地类图斑 围填海 问题线索 辅助判断 管控要求 核查
在线阅读 下载PDF
基于UML类图的类之间依赖关系图论问题研究 被引量：9
5
作者 胡顺仁 陈伟民 +2 位作者 廖昌荣 余淼 梁宗保 《计算机工程》 CAS CSCD 北大核心 2006年第12期1-2,7,共3页
首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反... 首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反对称的;不是传递的。 展开更多
关键词 UML 类图 依赖关系 数据依赖 方法依赖 有向依赖图 图论
在线阅读 下载PDF
UML类图的形式化及分析 被引量：12
6
作者 韦银星 张申生 曹健 《计算机工程与应用》 CSCD 北大核心 2002年第10期5-7,46,共4页
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表... 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。 展开更多
关键词 UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象
在线阅读 下载PDF
基于广义关联聚类图的分层关联多目标跟踪 被引量：11
7
作者 齐美彬 岳周龙 +1 位作者 疏坤 蒋建国 《自动化学报》 EI CSCD 北大核心 2017年第1期152-160,共9页
检测跟踪是近期多目标跟踪研究的热点方向之一.目前大部分方法都是基于相邻帧之间的双向匹配,对检测点进行数据融合.本文提出的方法是,给定一个滑动时间窗口,在窗口内对某个目标每帧出现的检测点进行一次性数据融合.我们把多目标跟踪看... 检测跟踪是近期多目标跟踪研究的热点方向之一.目前大部分方法都是基于相邻帧之间的双向匹配,对检测点进行数据融合.本文提出的方法是,给定一个滑动时间窗口,在窗口内对某个目标每帧出现的检测点进行一次性数据融合.我们把多目标跟踪看作图的分割问题,利用广义关联聚类(Generalized correlation clustering problem,GCCP)图优化文中提出的数据融合.吸取分层数据关联的思想,把多目标跟踪分成两个阶段.首先,在时间窗口内遵循检测点,利用广义关联聚类,得到自适应长度的轨迹片段,轨迹片段长度不受窗口宽度的限制.然后,基于轨迹片段进一步数据关联,得到目标的长轨迹.在公共数据集上的实验测试表明,本文方法能够有效地实现多目标跟踪,对于遮挡处理、身份转换处理以及轨迹的生成具有很好的鲁棒性,多目标跟踪准确率(Multiple object tracking accuracy,MOTA)超过当前水平. 展开更多
关键词 多目标跟踪 广义关联聚类图 分层数据关联 检测跟踪 遮挡处理
在线阅读 下载PDF
UML类图层次化自动布图算法 被引量：7
8
作者 王晓博 王欢 刘超 《软件学报》 EI CSCD 北大核心 2009年第6期1487-1498,共12页
UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识... UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识以及绘制准则,因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制,它们必须加以扩展.但是,已有的类图层次化方法并没有考虑类图中图元的嵌套关系,这将导致自动布局方法不能处理类图中包与类、接口之间的包含关系.在考虑图绘制美学、UML类图绘制以及软件可视化等相关知识的基础上,选取了一组布图准则并分析了嵌套关系在层次分配、层内排序和坐标分配中引入的约束,通过在层次化方法的主要步骤中引入嵌套约束,提出了嵌套有向图层次化布图算法.实验结果表明,扩展的布图算法能够适应于逆向类图的绘制,它具有层次清晰、支持图元嵌套、交叉数目少以及占用面积小等优点. 展开更多
关键词 布图算法 软件可视化 UML类图 逆向工程
在线阅读 下载PDF
UML类图中面向非功能属性的描述和检验 被引量：16
9
作者 张岩 梅宏 《软件学报》 EI CSCD 北大核心 2009年第6期1457-1469,共13页
为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建... 为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属性的建模和检验方法进行了说明,并介绍了相应的支持工具. 展开更多
关键词 非功能属性 统一建模语言 类图 模型检验
在线阅读 下载PDF
基于本体的UML类图语义推理 被引量：5
10
作者 刘嘉 童格明 +1 位作者 李明 臧凤奎 《计算机应用与软件》 CSCD 2011年第4期212-214,共3页
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体... 统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。 展开更多
关键词 本体 UML类图 形式化 描述逻辑
在线阅读 下载PDF
逆向工程中的大类图拆分方法 被引量：4
11
作者 刘辉 邵维忠 麻志毅 《软件学报》 EI CSCD 北大核心 2010年第11期2701-2710,共10页
提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类... 提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类图的大小进行限定,将每个类图的大小限定在预先定义的合理区间内.通过在实际系统中的应用,拆分方法的合理性和有效性得到验证.该大类图拆分方法有利于逆向工程的进一步完善,有利于提高软件模型的可读性和可理解性. 展开更多
关键词 类图 UML 逆向工程 软件维护
在线阅读 下载PDF
UML类图向OWL本体转换工具的设计与实现 被引量：4
12
作者 许卓明 顾华建 +1 位作者 倪玉燕 朱琼 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第4期477-482,共6页
介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术.利用DOM API解析、提取UML类图元素,并根据UML-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换UML... 介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术.利用DOM API解析、提取UML类图元素,并根据UML-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换UML类图到OWL本体上是可行的,基于该转换方法的自动转换工具是可实现的. 展开更多
关键词 模式转换 UML类图 OWL本体 本体开发 语义网
在线阅读 下载PDF
UML类图在关系模式规范化中的应用 被引量：3
13
作者 郭小荟 张绪平 孟倩 《计算机应用》 CSCD 北大核心 2003年第5期92-94,共3页
文中主要讨论将UML类图映射成关系的方法,并利用该方法对矿井通风网络数据库的关系模式进行了规范化。
关键词 UML 类图 关系 矿井 通风网络 规范化
在线阅读 下载PDF
基于UML类图模型的一致性检查方法 被引量：7
14
作者 董庆超 王智学 +1 位作者 张爱辉 陈剑 《计算机技术与发展》 2008年第10期85-88,共4页
UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问... UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。 展开更多
关键词 UML类图 描述逻辑 SHOIQ(D)
在线阅读 下载PDF
UML2.0类图的一种形式化描述方法 被引量：5
15
作者 杨敬中 张广泉 戎玫 《计算机科学》 CSCD 北大核心 2007年第2期277-279,288,共4页
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规... UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。 展开更多
关键词 UML2.0类图 形式化描述 XYZ/E
在线阅读 下载PDF
基于模糊描述逻辑的模糊UML类图形式化 被引量：2
16
作者 周波 张亚非 +2 位作者 陆建江 王进鹏 苗壮 《解放军理工大学学报（自然科学版）》 EI 北大核心 2010年第4期386-391,共6页
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)... 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 展开更多
关键词 模糊UML 类图 模糊描述逻辑 形式化
在线阅读 下载PDF
面向对象程序可视化类图的逆向自动生成 被引量：7
17
作者 刘超 李健 沈海华 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期411-414,共4页
研究了逆向构造程序类模型的基本规则，并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构（ｉｎｈｅｒｉｔａｎｃｅｌａｙｅｒｅｄｃｌａｓｄｉａｇｒａｍ）．在这种层次型类图上，可以清晰地展示程序中的对象类及其相互... 研究了逆向构造程序类模型的基本规则，并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构（ｉｎｈｅｒｉｔａｎｃｅｌａｙｅｒｅｄｃｌａｓｄｉａｇｒａｍ）．在这种层次型类图上，可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等，并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析．文中还介绍了一个根据上述规则和方案实现的实用工具ＳａｆｅＰｒｏ／ＲｅＯＭ． 展开更多
关键词 软件工具 逆向工程 面向对象 程序可视化类图
在线阅读 下载PDF
一种UML类图结构复杂度度量方法 被引量：5
18
作者 付晓东 邹平 《计算机应用》 CSCD 北大核心 2007年第B06期302-303,307,共3页
对类图结构复杂性进行度量可以辅助对系统概念模型进行质量评价。提出一种改进的赋权类依赖图构造方法,并提出一套基于赋权类依赖图路径分析的类图结构复杂度度量指标体系,该指标体系着眼于类间关系的整体结构。同时给出各项指标的计算... 对类图结构复杂性进行度量可以辅助对系统概念模型进行质量评价。提出一种改进的赋权类依赖图构造方法,并提出一套基于赋权类依赖图路径分析的类图结构复杂度度量指标体系,该指标体系着眼于类间关系的整体结构。同时给出各项指标的计算方法。 展开更多
关键词 UML 类图 路径分析 结构复杂度 度量
在线阅读 下载PDF
基于鲸鱼优化算法的类图重构研究 被引量：2
19
作者 胡志刚 杨娜 刘伟 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2021年第10期131-136,共6页
为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的... 为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构,研究结果表明:基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法,可有效提高重构质量. 展开更多
关键词 软件质量 软件重构 鲸鱼优化 质量度量 类图
在线阅读 下载PDF
基于OWL本体的UML类图推理 被引量：5
20
作者 陈振庆 罗兰花 《计算机应用与软件》 CSCD 2011年第8期190-192,243,共4页
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理... 分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。 展开更多
关键词 OWL本体 UML类图 映射规则 推理规则 推理
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 63 下一页 到第 页
使用帮助 返回顶部