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

面向对象逻辑语言LKO的类型系统

引用

计算机研究与发展 1998年第3期35卷 246-250页

作者：徐殿祥郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．

关键词：面向对象程序设计类型逻辑语言 LKO语言

来源：评论

学校读者我要写书评

暂无评论

基于内容的图象检索中的语义处理方法

引用

中国图象图形学报（A辑） 2001年第10期6卷 945-952页

作者：王惠锋孙正兴南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于内容的图象检索系统 ,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键 .为了使人们对基于内容的图象检索中的语义处理方法有个概略了解 ... 详细信息

基于内容的图象检索系统 ,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键 .为了使人们对基于内容的图象检索中的语义处理方法有个概略了解 ,首先从图象语义模型和图象语义提取方法这两个方面对利用语义进行图象检索的研究状况进行了总结 ,并将图象语义模型概括为图象语义知识、图象语义层次模型和语义抽取模型等 3个主要组成部分 ;然后将图象语义提取方法分为用户交互、将查询请求作为语义模板、对象及其空间关系、场景和行为语义及情感语义等类别 ,同时对其中有代表性的方法进行了详细的分析 ,还指出了其局限性 ;最后从对象建模和识别、语义抽取规则和用户检索模型 3个方面 ,阐明了实现图象语义处理所面临的问题 ,并提出了一些初步的解决思路 .

关键词：图象语义语义模型知识表示图象检索计算机视觉语义提取数字图象处理

来源：评论

学校读者我要写书评

暂无评论

基于Agent的面向Internet的信息检索系统的设计和实现

引用

情报学报 2002年第3期21卷 258-263页

作者：韩立新黄丽雯恽爽谢立陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

根据面向Internet的信息检索系统的特点 ,文中阐述了一个基于Agent的面向Internet的信息检索系统(AIRS)的设计和实现 ,着重介绍了该系统的系统模型及各组成部分的设计思想。与目前流行的搜索引擎相比 ,本系统不仅具有良好的用户界面和... 详细信息

根据面向Internet的信息检索系统的特点 ,文中阐述了一个基于Agent的面向Internet的信息检索系统(AIRS)的设计和实现 ,着重介绍了该系统的系统模型及各组成部分的设计思想。与目前流行的搜索引擎相比 ,本系统不仅具有良好的用户界面和多样的检索方式 ,而且提高了检索的精度、覆盖面和响应速度。

关键词：信息检索系统搜索引擎 Agent Internet 系统模型 AIRS 性能评价

来源：评论

学校读者我要写书评

暂无评论

DMUIGS:一个直接操纵式用户界面自动生成系统

引用

计算机研究与发展 1997年第S1期34卷 161-164页

作者：费翔林吕枫华王和珍杨闯南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

ＤＭＵＩＧＳ是一个直接操纵式用户界面自动生成系统，它能通过直接操纵方式辅助进行Ｗｉｎｄｏｗｓ应用程序的ＧＵＩ设计，并自动生成Ｃ＋＋等面向对象语言的源程序．文中着重介绍了ＤＭＵＩＧＳ的设计思想和实现技术．

关键词：用户界面图形化用户界面(GUI) 生成工具面向对象

来源：评论

学校读者我要写书评

暂无评论

一种基于有向图模型的安全策略冲突检测方法

引用

计算机研究与发展 2005年第7期42卷 1108-1114页

作者：姚键茅兵谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

分析了现有安全策略冲突检测方法的不足,研究了分布式系统中元素之间的关系,并统一抽象成有向无环图模型(DAG),提出了一种应用该模型检测分布式系统中安全策略冲突的定量方法,并用该模型对典型的策略冲突实例做了分析.最后,测算了该模... 详细信息

分析了现有安全策略冲突检测方法的不足,研究了分布式系统中元素之间的关系,并统一抽象成有向无环图模型(DAG),提出了一种应用该模型检测分布式系统中安全策略冲突的定量方法,并用该模型对典型的策略冲突实例做了分析.最后,测算了该模型的算法复杂度,并通过实验进行了验证.有向无环图模型(DAG)扩展了策略冲突检测的思路,为策略的实用化提供了基础.

关键词：安全管理安全策略有向无环图冲突检测

来源：评论

学校读者我要写书评

暂无评论

一种高效、容错的通用量子计算机体系结构

引用

计算机学报 2009年第1期32卷 161-168页

作者：吴楠宋方敏南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

通用量子计算机(universal quantum computer)在求解某些在经典计算机上具有超多项式复杂度的问题方面存在着潜在的巨大优势.通用量子计算机体系结构在很大程度上影响量子计算功效和量子程序设计风格.文中提出一种通用量子计算机的体系... 详细信息

通用量子计算机(universal quantum computer)在求解某些在经典计算机上具有超多项式复杂度的问题方面存在着潜在的巨大优势.通用量子计算机体系结构在很大程度上影响量子计算功效和量子程序设计风格.文中提出一种通用量子计算机的体系结构,并考虑了在该体系结构下计算能力的扩展和容错性能等问题.

关键词：通用量子计算机体系结构量子存储器可扩展性容错

来源：评论

学校读者我要写书评

暂无评论

Hash Hash^(-1)并行Join算法

引用

计算机研究与发展 1997年第S1期34卷 76-80页

作者：金志权葛芝宾陈佩佩谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

多处理机系统的迅速发展和商品化，促进了并行数据库系统的研制．Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ系统的广泛使用和大型数据库的不断增长，进一步推动了并行数据库的深入研究．文中给出了有效处理数据分布很不均匀的并行Ｊｏｉｎ算法——Ｈ... 详细信息

多处理机系统的迅速发展和商品化，促进了并行数据库系统的研制．Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ系统的广泛使用和大型数据库的不断增长，进一步推动了并行数据库的深入研究．文中给出了有效处理数据分布很不均匀的并行Ｊｏｉｎ算法——ＨａｓｈＨａｓｈ－１．

关键词：并行数据库并行Join 数据扭曲

来源：评论

学校读者我要写书评

暂无评论

工程图矢量化中的尺寸识别与重建

引用

计算机研究与发展 2003年第2期40卷 289-296页

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

尺寸识别是工程图识别的重要环节针对现有单入口识别算法的局限性 ,提出了一种多入口的尺寸识别算法 ,从多种已识别的图形元素开始搜索一个尺寸标识在遇到不能正常识别的图形元素时 ,通过先搜索其他组成元素获得尺寸标识的初步确认后 ... 详细信息

尺寸识别是工程图识别的重要环节针对现有单入口识别算法的局限性 ,提出了一种多入口的尺寸识别算法 ,从多种已识别的图形元素开始搜索一个尺寸标识在遇到不能正常识别的图形元素时 ,通过先搜索其他组成元素获得尺寸标识的初步确认后 ,放宽阈值对未识别元素进行再识别 ,有效地识别受退化或干扰影响较大的尺寸元素提出了基于坐标网格的图形元素尺寸重建方法 ,通过建立坐标网使每一尺寸在整体环境下得到调整。

关键词：工程图矢量化尺寸识别几何重建工程图识别工程制图 CAD

来源：评论

学校读者我要写书评

暂无评论

JPEG2000图像压缩过程及原理概述

引用

计算机辅助设计与图形学学报 2002年第10期14卷 905-911,916页

作者：刘方敏吴永辉俞建新南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

随着多媒体技术的广泛应用 ,图像压缩界呼唤一种新的国际标准 ,以满足用户对更高压缩效率和对压缩图像的互动性和可伸缩性的要求 ,JPEG2 0 0 0就是在这种背景下应运而生的 .文中重点讨论 JPEG2 0 0 0 PART1的图像压缩过程和对应的原理技... 详细信息

随着多媒体技术的广泛应用 ,图像压缩界呼唤一种新的国际标准 ,以满足用户对更高压缩效率和对压缩图像的互动性和可伸缩性的要求 ,JPEG2 0 0 0就是在这种背景下应运而生的 .文中重点讨论 JPEG2 0 0 0 PART1的图像压缩过程和对应的原理技术 ,说明它的几个重要特征是如何实现的 ;并对最近即将标准化的 JPEG2 0 0 0 PART2作了一个简要的介绍 ,通过实验数据再次说明了 JPEG2 0 0 0的先进性 .

关键词：图像压缩 JPEG2000 EBCOT 离散小波变换感兴趣区原理

来源：评论

学校读者我要写书评

暂无评论

基于层次信息粒表示的属性图链接预测模型

引用

计算机研究与发展 2019年第3期56卷 623-634页

作者：罗晟苗夺谦张志飞张远健胡声丹同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804 计算机软件新技术国家重点实验室(南京大学) 南京210023

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边... 详细信息

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边之间存在着不一致的情况,这一现象将直接影响结点对之间的链接预测准确性与精确性.为了有效处理多源数据的不一致性,融合异构数据的差异,借助粒计算思想,通过对原始数据的多粒度表示,将原始数据在不同层次的粒度进行信息表示建模.最终依据这些数据的粒度表示,寻找最优的粒层结构,并最大化地消除数据内在的不一致性.首先,定义了数据的粒度不同层次表示及粒层关系;其次,对所观测到的链接数据,构建对数似然统计模型,并综合不同粒度层数据特点对模型进行修正;最后,使用多源数据训练统计模型,将学习好的模型用于预测结点对之间的链接概率.实验表明:与现有链接预测模型相比,多源数据经过粒度表示极大地平衡了多源数据的不一致性,有效提升了链接预测任务的准确性.

关键词：粒度表示学习粒计算属性图链接预测数据融合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：