期刊文献+
共找到403篇文章
< 1 2 21 >
每页显示 20 50 100
基于地类图斑的宜兴市生态产品价值核算——以调节服务核算为例
1
作者 孙玉杰 闫昊婷 +3 位作者 史静 曹文德 李启兵 施海霞 《安徽农业科学》 2025年第18期71-78,共8页
以宜兴市为研究区域,从自然资源角度出发,以2021年国土变更调查成果中的地类图斑为基础,通过构建生态产品价值量核算的指标体系,基于遥感技术手段,采用ArcGIS空间分析方法,对生态产品中调节服务的价值量进行了核算。结果表明,2021年宜... 以宜兴市为研究区域,从自然资源角度出发,以2021年国土变更调查成果中的地类图斑为基础,通过构建生态产品价值量核算的指标体系,基于遥感技术手段,采用ArcGIS空间分析方法,对生态产品中调节服务的价值量进行了核算。结果表明,2021年宜兴市生态调节服务产品的价值量为1503.84亿元,是当年全市GDP的0.72倍;价值量的高值区域与区域内自然资源的分布具有较大的相关性。核算结果以图斑形式将生态调节服务产品价值量的空间分布进行具象化表达,较好地凸显宜兴市的地域资源特色,可以为生态修复、生态补偿等自然资源领域工作的展开提供数据支撑。 展开更多
关键词 生态产品 价值核算 调节服务 类图 宜兴市
在线阅读 下载PDF
基于UML类图的类之间依赖关系图论问题研究 被引量:9
2
作者 胡顺仁 陈伟民 +2 位作者 廖昌荣 余淼 梁宗保 《计算机工程》 CAS CSCD 北大核心 2006年第12期1-2,7,共3页
首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反... 首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反对称的;不是传递的。 展开更多
关键词 UML 类图 依赖关系 数据依赖 方法依赖 有向依赖
在线阅读 下载PDF
UML类图的形式化及分析 被引量:12
3
作者 韦银星 张申生 曹健 《计算机工程与应用》 CSCD 北大核心 2002年第10期5-7,46,共4页
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表... 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。 展开更多
关键词 UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象
在线阅读 下载PDF
基于广义关联聚类图的分层关联多目标跟踪 被引量:11
4
作者 齐美彬 岳周龙 +1 位作者 疏坤 蒋建国 《自动化学报》 EI CSCD 北大核心 2017年第1期152-160,共9页
检测跟踪是近期多目标跟踪研究的热点方向之一.目前大部分方法都是基于相邻帧之间的双向匹配,对检测点进行数据融合.本文提出的方法是,给定一个滑动时间窗口,在窗口内对某个目标每帧出现的检测点进行一次性数据融合.我们把多目标跟踪看... 检测跟踪是近期多目标跟踪研究的热点方向之一.目前大部分方法都是基于相邻帧之间的双向匹配,对检测点进行数据融合.本文提出的方法是,给定一个滑动时间窗口,在窗口内对某个目标每帧出现的检测点进行一次性数据融合.我们把多目标跟踪看作图的分割问题,利用广义关联聚类(Generalized correlation clustering problem,GCCP)图优化文中提出的数据融合.吸取分层数据关联的思想,把多目标跟踪分成两个阶段.首先,在时间窗口内遵循检测点,利用广义关联聚类,得到自适应长度的轨迹片段,轨迹片段长度不受窗口宽度的限制.然后,基于轨迹片段进一步数据关联,得到目标的长轨迹.在公共数据集上的实验测试表明,本文方法能够有效地实现多目标跟踪,对于遮挡处理、身份转换处理以及轨迹的生成具有很好的鲁棒性,多目标跟踪准确率(Multiple object tracking accuracy,MOTA)超过当前水平. 展开更多
关键词 多目标跟踪 广义关联聚类图 分层数据关联 检测跟踪 遮挡处理
在线阅读 下载PDF
UML类图层次化自动布图算法 被引量:7
5
作者 王晓博 王欢 刘超 《软件学报》 EI CSCD 北大核心 2009年第6期1487-1498,共12页
UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识... UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识以及绘制准则,因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制,它们必须加以扩展.但是,已有的类图层次化方法并没有考虑类图中图元的嵌套关系,这将导致自动布局方法不能处理类图中包与类、接口之间的包含关系.在考虑图绘制美学、UML类图绘制以及软件可视化等相关知识的基础上,选取了一组布图准则并分析了嵌套关系在层次分配、层内排序和坐标分配中引入的约束,通过在层次化方法的主要步骤中引入嵌套约束,提出了嵌套有向图层次化布图算法.实验结果表明,扩展的布图算法能够适应于逆向类图的绘制,它具有层次清晰、支持图元嵌套、交叉数目少以及占用面积小等优点. 展开更多
关键词 算法 软件可视化 UML类图 逆向工程
在线阅读 下载PDF
UML类图中面向非功能属性的描述和检验 被引量:16
6
作者 张岩 梅宏 《软件学报》 EI CSCD 北大核心 2009年第6期1457-1469,共13页
为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建... 为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属性的建模和检验方法进行了说明,并介绍了相应的支持工具. 展开更多
关键词 非功能属性 统一建模语言 类图 模型检验
在线阅读 下载PDF
基于本体的UML类图语义推理 被引量:5
7
作者 刘嘉 童格明 +1 位作者 李明 臧凤奎 《计算机应用与软件》 CSCD 2011年第4期212-214,共3页
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体... 统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。 展开更多
关键词 本体 UML类图 形式化 描述逻辑
在线阅读 下载PDF
逆向工程中的大类图拆分方法 被引量:4
8
作者 刘辉 邵维忠 麻志毅 《软件学报》 EI CSCD 北大核心 2010年第11期2701-2710,共10页
提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类... 提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类图的大小进行限定,将每个类图的大小限定在预先定义的合理区间内.通过在实际系统中的应用,拆分方法的合理性和有效性得到验证.该大类图拆分方法有利于逆向工程的进一步完善,有利于提高软件模型的可读性和可理解性. 展开更多
关键词 类图 UML 逆向工程 软件维护
在线阅读 下载PDF
UML类图向OWL本体转换工具的设计与实现 被引量:4
9
作者 许卓明 顾华建 +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
10
作者 郭小荟 张绪平 孟倩 《计算机应用》 CSCD 北大核心 2003年第5期92-94,共3页
文中主要讨论将UML类图映射成关系的方法,并利用该方法对矿井通风网络数据库的关系模式进行了规范化。
关键词 UML 类图 关系 矿井 通风网络 规范化
在线阅读 下载PDF
UML2.0类图的一种形式化描述方法 被引量:5
11
作者 杨敬中 张广泉 戎玫 《计算机科学》 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
面向对象程序可视化类图的逆向自动生成 被引量:7
12
作者 刘超 李健 沈海华 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期411-414,共4页
研究了逆向构造程序类模型的基本规则,并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritancelayeredclasdiagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互... 研究了逆向构造程序类模型的基本规则,并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritancelayeredclasdiagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/ReOM. 展开更多
关键词 软件工具 逆向工程 面向对象 程序可视化类图
在线阅读 下载PDF
一种UML类图结构复杂度度量方法 被引量:5
13
作者 付晓东 邹平 《计算机应用》 CSCD 北大核心 2007年第B06期302-303,307,共3页
对类图结构复杂性进行度量可以辅助对系统概念模型进行质量评价。提出一种改进的赋权类依赖图构造方法,并提出一套基于赋权类依赖图路径分析的类图结构复杂度度量指标体系,该指标体系着眼于类间关系的整体结构。同时给出各项指标的计算... 对类图结构复杂性进行度量可以辅助对系统概念模型进行质量评价。提出一种改进的赋权类依赖图构造方法,并提出一套基于赋权类依赖图路径分析的类图结构复杂度度量指标体系,该指标体系着眼于类间关系的整体结构。同时给出各项指标的计算方法。 展开更多
关键词 UML 类图 路径分析 结构复杂度 度量
在线阅读 下载PDF
基于鲸鱼优化算法的类图重构研究 被引量:2
14
作者 胡志刚 杨娜 刘伟 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2021年第10期131-136,共6页
为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的... 为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构,研究结果表明:基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法,可有效提高重构质量. 展开更多
关键词 软件质量 软件重构 鲸鱼优化 质量度量 类图
在线阅读 下载PDF
基于OWL本体的UML类图推理 被引量:5
15
作者 陈振庆 罗兰花 《计算机应用与软件》 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
带OCL约束条件的类图到Object-Z规格说明的转换 被引量:4
16
作者 缪淮扣 陈怡海 《计算机科学》 CSCD 北大核心 2007年第1期228-235,共8页
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的... 如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明。 展开更多
关键词 UML 类图 OCL约束 OBJECT-Z规格说明
在线阅读 下载PDF
基于依赖性分析的UML类图粗粒度切片方法 被引量:5
17
作者 吴方君 易彤 《应用科学学报》 CAS CSCD 2004年第3期392-397,共6页
引入程序切片的思想对UML的重要组成部分——类图进行切片分析.通过定义类间的各种依赖关系构造UML类依赖图,在此基础上提出了一种UML类图的静态粗粒度切片方法,最后运用实例讨论了该切片方法的实用性.利用文中提供的方法具有较高的效率.
关键词 依赖性分析 统一建模语言 类图 程序切片 依赖性分析 关联依赖 聚合依赖
在线阅读 下载PDF
基于关系模型的UML类图一致性检验 被引量:4
18
作者 刘晓建 李战怀 《计算机工程与应用》 CSCD 北大核心 2006年第26期13-16,28,共5页
UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结... UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。 展开更多
关键词 关系逻辑 类图 一致性
在线阅读 下载PDF
基于变化类型的地类图斑面积一致性维护 被引量:1
19
作者 唐远彬 刘仁义 +1 位作者 刘理想 刘南 《浙江大学学报(理学版)》 CAS CSCD 2012年第1期95-100,共6页
维护数据更新前后的空间拓扑一致性与属性逻辑一致性是数据更新过程中必须考虑的问题.由于地类图斑的属性面积与图形面积在数据库存储的精度不同,四舍五入后造成数据更新前后属性面积统计值存在差异.本文在分析地理实体变化类型后提出... 维护数据更新前后的空间拓扑一致性与属性逻辑一致性是数据更新过程中必须考虑的问题.由于地类图斑的属性面积与图形面积在数据库存储的精度不同,四舍五入后造成数据更新前后属性面积统计值存在差异.本文在分析地理实体变化类型后提出了数据更新过程中地类图斑的6种变化类型,针对分割与综合变化2种具有代表性的变化类型,设计与实现了不同的维护面积一致性的方法,并在实际应用系统中得到有效验证. 展开更多
关键词 类图 一致性 平差 变化
在线阅读 下载PDF
程序理解中基于类图的特征挖掘 被引量:1
20
作者 胡圣明 李青山 +1 位作者 褚华 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第4期550-556,共7页
针对从大型系统源代码逆向恢复出的类图十分复杂,不利于系统理解和特征挖掘的问题,从类图中抽象出类型依赖图(TDG),并分为无权值及带权值类型依赖图,利用图上的集合划分算法对TDG进行分层抽象的特征挖掘,挖掘算法将图中的节点划分到不... 针对从大型系统源代码逆向恢复出的类图十分复杂,不利于系统理解和特征挖掘的问题,从类图中抽象出类型依赖图(TDG),并分为无权值及带权值类型依赖图,利用图上的集合划分算法对TDG进行分层抽象的特征挖掘,挖掘算法将图中的节点划分到不同的集合中,每个集合展现系统关键设计的一个侧面.采用TDG上的分层算法能够有效地降低类图的复杂度并挖掘出系统设计特征. 展开更多
关键词 程序理解 类图 特征挖掘 型依赖
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部