检索结果-内蒙古大学图书馆

计算机科学 1999年第5期 84-90页

作者：李必信李宣东郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京 210093

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程... 详细信息

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程序设计方法等等,致使目前社会上的软件产品种类繁多.结构各异。因此,软件维护问题已成为当前软件产业面临的重要课题。首先,由于还未研制出实际可用的软件确认技术,软件投入使用后修改错误不可避免;其次,软件所处的环境和用户的要求经常

关键词： Program comprehension Traditional software Object-orientation

来源：评论

学校读者我要写书评

暂无评论

一种新型的有损数据简约算法LDR

引用

计算机研究与发展 2000年第12期37卷 1422-1427页

作者：孟波陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室210093

在经典信息论的基础上 ,提出了一种新型的有损数据简约算法 ,该算法克服了其它数据简约算法的不足 .实验表明 ,该算法能有效地处理复杂数据集 ,并能保持数据中所含信息 .

关键词：数据简约算法 LDR 数据挖掘数据库

来源：评论

学校读者我要写书评

暂无评论

一种面向体系结构的软件系统自适应机制

引用

南京大学学报（自然科学版） 2006年第2期42卷 120-130页

作者：俞春马骞马晓星吕建南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适... 详细信息

在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适应的因素、选择自适应动作的依据以及实施自适应的载体;设计了适合分布式环境特点的三层结构的监控设施,提高了监控的效率和有效性;同时配备了满足不同用户需求的两种触发设施.该自适应机制不隶属于某个或某种运行系统,可为各种应用的运行系统添加自适应能力提供一个比较一般的、可重用的自适应框架.

关键词：自适应软件体系结构内置运行时体系结构监控触发

来源：评论

学校读者我要写书评

暂无评论

主动层次多目通信路由模型

引用

软件学报 2000年第6期11卷 791-797页

作者：何丹陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

许多应用需要 IP多目通信 .在 Internet大规模应用 IP Multicast时 ,有效的路由是关键 .这样的多目路由协议必须是有效的、可伸缩的和增量可配置的 .但是传统的 Internet路由对性能是不敏感的 ,不能平衡负载和处理拥塞 .现有的大多数多... 详细信息

许多应用需要 IP多目通信 .在 Internet大规模应用 IP Multicast时 ,有效的路由是关键 .这样的多目路由协议必须是有效的、可伸缩的和增量可配置的 .但是传统的 Internet路由对性能是不敏感的 ,不能平衡负载和处理拥塞 .现有的大多数多目通信路由协议不仅负责数据转发 ,还负责路由树的构造 ,这给路由器带来了极大的复杂性 ,而且协议的配置是手动的、费时费钱的工作 .该文提出一个主动层次式 Multicast路由的体系结构 ,采用主动网络技术将多目通信路由协议的数据转发和控制机制分开 ,根据链路的状态信息用主动报文控制路由树的构造 ,可以在 Internet上自动增量配置大规模多目通信路由 .文章阐述了 AHMR(activehierarchical multicart routing)的协议体系结构和控制协议 ,并证明了协议的正确性和有效性 .

关键词：多目通信路由协议主动网络主动路由协议

来源：评论

学校读者我要写书评

暂无评论

基于种子段的方向无关的直线矢量化方法

引用

软件学报 2000年第9期11卷 1196-1201页

作者：宋继强苏丰陈冀兵蔡士杰南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

准确而高效的矢量化是工程图纸理解的基础 .现有方法普遍存在 3个不足 :( 1 )通过中心点链拟合生成线段的计算量大 ;( 2 )相交或噪音的影响将一条完整的直线先分段矢量化 ,然后再拼接起来 ,需要大量遍历操作 ;( 3 )对斜线的处理能力明... 详细信息

准确而高效的矢量化是工程图纸理解的基础 .现有方法普遍存在 3个不足 :( 1 )通过中心点链拟合生成线段的计算量大 ;( 2 )相交或噪音的影响将一条完整的直线先分段矢量化 ,然后再拼接起来 ,需要大量遍历操作 ;( 3 )对斜线的处理能力明显低于对水平或垂直线的处理能力 .该文提出了一种基于种子段的直线整体矢量化方法 ,此方法可以一次性识别一条完整的直线 ,既适用于任意方向的直线 ,又避免了拼接所需的反复遍历操作 .性能分析和实验结果均表明 ,该方法明显提高了直线矢量化的性能 .

关键词：直线矢量化图纸识别种子段图像跟踪

来源：评论

学校读者我要写书评

暂无评论

一种并行分布对象的互操作模型

引用

软件学报 1999年第8期10卷 861-867页

作者：王晨周颖张德富南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系

并行软件设计本身的复杂性使它的复用成为一个引人注目的问题．分布对象技术不仅可以将并行软件封装成相应的构件，而且提供了利用各种异构系统进行并行计算的可能性，但这样往往会使这些构件的互操作的效率有所降低．文章提出的并行分... 详细信息

并行软件设计本身的复杂性使它的复用成为一个引人注目的问题．分布对象技术不仅可以将并行软件封装成相应的构件，而且提供了利用各种异构系统进行并行计算的可能性，但这样往往会使这些构件的互操作的效率有所降低．文章提出的并行分布对象互操作模型试图解决这一问题．这个模型与分布对象的旧有模型兼容，并且实际测试结果表明，它还能挖掘出并行分布对象间的更多并行性．

关键词：并行计算分布对象互操作程序设计

来源：评论

学校读者我要写书评

暂无评论

一种基于零树小波的图像比率可分级编码方法的研究

引用

南京大学学报（自然科学版） 2002年第2期38卷 145-151页

作者：王相海张福炎南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

Shapiro的EZW算法具有可产生嵌入式码流、可精确控制压缩比等特点 ,倍受人们的关注 .然而该算法还有一些不足 ,如在进行零树编码时 ,对未被包括进零树的“零值” ,需要将其编成“孤立零”码 ,试验表明这部分编码通常占有较高的代价 ,往... 详细信息

Shapiro的EZW算法具有可产生嵌入式码流、可精确控制压缩比等特点 ,倍受人们的关注 .然而该算法还有一些不足 ,如在进行零树编码时 ,对未被包括进零树的“零值” ,需要将其编成“孤立零”码 ,试验表明这部分编码通常占有较高的代价 ,往往会影响到编码效率 .在分析了EZW编码过程和码流的基础上 ,提出一种阶梯型量化和零树小波相结合的图像比率可分级性编码方法 .首先对图像小波分解的较低级子带的变换系数采取一种阶梯型量化 ,然后对整体小波系数采用零树编码 ,并利用逐次逼近量化方法获得潜入式码流 ,以实现比率的可分级解码 .它在一定程度上克服了EZW算法的不足 ,提高了PSNR值 .

关键词：零树小波 EZW算法阶梯型量化小波变换图像比率可分级编码图像编码逐次逼近量化

来源：评论

学校读者我要写书评

暂无评论

一种基于相关性特征融合的乳腺图像感兴趣区域检测方法

引用

南京大学学报（自然科学版） 2016年第1期52卷 194-202页

作者：陆恒杨李宁谢俊元南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023

乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内... 详细信息

乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内容丰富结构复杂,使用单一的底层视觉容易忽视特征间的相互联系.提出基于相关性特征融合的乳腺图像ROI检测框架(multi-cue integration detection,MCID),通过引入乳腺图像的相关性特征,并与乳腺图像局部视觉特征相融合,辅助乳腺图像ROI的检测,以提高检测准确性.乳腺图像ROI检测实验表明,MCID可提高肿块检测的准确性.

关键词：感兴趣区域检测特征融合概率潜在语义分析乳腺图像

来源：评论

学校读者我要写书评

暂无评论

一种基于MDA的UML顺序图到状态图的转换方法

引用

南京大学学报（自然科学版） 2004年第4期40卷 470-482页

作者：崔萌袁海史耀馨李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅... 详细信息

MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后的代码 .MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM .其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换 .UML是MDA的模型描述语言 ,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持 .介绍了从一个顺序图转换成多个状态图的算法 ,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法 .处于一个系统中的多个状态图不是孤立的 ,他们各自的状态转换是相互约束的 ,最后给出了组合多个状态图的方法 ,以及如何生成在同步约束下多个状态图的转换关系 ,并最终得到系统的状态图 .

关键词：顺序图状态图 UML MDA

来源：评论

学校读者我要写书评

暂无评论

时间自动机可达性分析中的状态空间约减技术综述

引用

计算机科学 2006年第6期33卷 1-6,100页

作者：陈铭松赵建华李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存... 详细信息

时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存储空间,往往超出了计算机能力的极限,导致分析和检验不能完成。这就是所谓的“状态空间爆炸”。研究人员设计了很多种优化技术来约减可达性分析所需的存储空间,以解决或者缓解这个问题。本文首先介绍了时间自动机及其可达性分析的基本概念,然后分类讨论了现有的空间约减优化技术并对此做出总结,最后提出了一些未来的研究方向。

关键词：实时系统时间自动机状态空间爆炸可达性分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：