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

第二十届全国数据库学术会议

作者：柏文阳蒋明徐洁磐计算机软件新技术国家重点实验室南京大学计算机科学与技术系

1.引言随着计算机网络与Internet的广泛应用,网上信息的开放与共享性日益增强,但随之而来的是网上信息恶意破坏的日益严重,因此信息安全性成为网上的突出问题。数据库是网上信息的主要载体,数据库安全也自然成为信息安全的一个研究重点... 详细信息

1.引言随着计算机网络与Internet的广泛应用,网上信息的开放与共享性日益增强,但随之而来的是网上信息恶意破坏的日益严重,因此信息安全性成为网上的突出问题。数据库是网上信息的主要载体,数据库安全也自然成为信息安全的一个研究重点。现在为了保证数据库的安全,安全数据库往往都使用

关键词： Inference control Mandatory access control Multilevel security database

来源：评论

学校读者我要写书评

暂无评论

面向模型检验的UML状态机语义

面向模型检验的UML状态机语义

引用

2003'全国软件与应用学术会议

作者：周颖郑国梁李宣东南京大学计算机软件新技术国家重点实验室(南京) 南京大学计算机科学技术系(南京)

UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,提高了对其分析验证的难度.模型检验是自动检验有限状态并发系统的技术.通过模型检验SM描述的不同系统元... 详细信息

UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,提高了对其分析验证的难度.模型检验是自动检验有限状态并发系统的技术.通过模型检验SM描述的不同系统元素的行为是否满足某些性质,能尽早发现设计中的错误.为了将模型检验技术应用于SM的验证,本文用kripke结构定义SM的操作语义.与已有的SM语义定义不同,本文考虑到了SM中包含的不确定因素,用kripke结构描述系统所有可能的演化轨迹.通过检验从SM翻译得到的kripke结构达到模型检验SM的目的.

关键词： UML 操作语义 Kripke结构模型检验建模语言状态机软件工程

来源：评论

学校读者我要写书评

暂无评论

基于MDA的AOD技术研究

基于MDA的AOD技术研究

引用

2003中国计算机大会

作者：周颖郑国梁李宣东南京大学计算机软件新技术国家重点实验室(南京) 南京大学计算机科学技术系(南京)

Aspect Oriented Programming(AOP)将原先分散混杂在程序中的涉及特定需求的代码集中在一个Aspect中,分解了程序的复杂性.AOP与建模思想是契合的,将AOP思想显式引入到设计领域产生模型工程的一个新方法Aspect Oriented Design(AOD),将AO... 详细信息

Aspect Oriented Programming(AOP)将原先分散混杂在程序中的涉及特定需求的代码集中在一个Aspect中,分解了程序的复杂性.AOP与建模思想是契合的,将AOP思想显式引入到设计领域产生模型工程的一个新方法Aspect Oriented Design(AOD),将AOD置于MDA下又产生AOD相关模型的转换等一系列问题.本文就Aspect模型的显式独立表示问题,对UML元模型进行Aspect扩展,并建议用一种类似模式表示的方法表示Aspect与核心模型的组合关系.对在MDA下Aspect模型,Crosscut模型的演化问题提出了解决的思路,并构造了其支撑工具的原型.

关键词： AOD MDA UML 元模型程序构造体系结构

来源：评论

学校读者我要写书评

暂无评论

ROAM算法在超大规模地形渲染中的应用

ROAM算法在超大规模地形渲染中的应用

引用

第十一届全国图象图形学术会议

作者：李惠翟磊林诚凯孙元浩潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系(南京)

地形的三维可视化在多个领域中有着广泛的应用.ROAM算法是目前使用最广泛的网格构造算法之一.本文提出了一种改进的ROAM算法实现,并且和地形数据分块技术、视锥裁减技术相结合,进而提出了一种解决超大规模地形数据的实时渲染问题的方法... 详细信息

地形的三维可视化在多个领域中有着广泛的应用.ROAM算法是目前使用最广泛的网格构造算法之一.本文提出了一种改进的ROAM算法实现,并且和地形数据分块技术、视锥裁减技术相结合,进而提出了一种解决超大规模地形数据的实时渲染问题的方法.这种方法可以实现地形的连续细节层次渲染,并且可以利用帧和帧之间的关联性,极大地提高了渲染速度.基于本方法实现的原型程序在普通的PC机上取得了很好的渲染效果.

关键词：地形渲染 ROAM算法实时渲染连续细节层次帧相关性三维可视化

来源：评论

学校读者我要写书评

暂无评论

信息隐藏技术在JPEG2000中的一个实现

信息隐藏技术在JPEG2000中的一个实现

引用

第十一届全国图象图形学术会议

作者：周容朱鹏飞俞建新南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室(南京)

本文介绍了信息隐藏技术在JPEG2000图象文件中实现的一个算法,并依据小波系数的特点和人类视觉系统(HVS)的特性,对该算法进行了改进,然后根据隐藏效率与其他算法和软件进行了比较和分析.实验结果表明,本文的算法不仅适用于灰度图象,也... 详细信息

本文介绍了信息隐藏技术在JPEG2000图象文件中实现的一个算法,并依据小波系数的特点和人类视觉系统(HVS)的特性,对该算法进行了改进,然后根据隐藏效率与其他算法和软件进行了比较和分析.实验结果表明,本文的算法不仅适用于灰度图象,也适用于彩色图象,并且具有较高的隐藏容量和隐藏效率.

关键词：信息隐藏小波变换隐藏效率图象文件

来源：评论

学校读者我要写书评

暂无评论

一种改进的C4.5学习算法：IC4.5

一种改进的C4.5学习算法：IC4.5

引用

中国人工智能学会第10届全国学术年会

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

C4.5具有处理不完整数据、连续属性等能力。Quinlan通过试验对比了多种方法处理不完整数据的有效性，并把最有效的方法应用到C4.5中，使C4.5具有较好的处理不完整数据的能力。本文分析了数据不完整对学习能力的影响，以及使用C4.5处理... 详细信息

C4.5具有处理不完整数据、连续属性等能力。Quinlan通过试验对比了多种方法处理不完整数据的有效性，并把最有效的方法应用到C4.5中，使C4.5具有较好的处理不完整数据的能力。本文分析了数据不完整对学习能力的影响，以及使用C4.5处理不完整数据的方法，提出了一种改进的C4.5学习算法IC4.5，该算法能够较好地处理特定环境下的不完整数据，速度快、准确牢高。本文用IC4.5算法设计实现了仿真足球队NDSocTeam的传球判断。

关键词： C4.5学习算法不完整数据机器学习决策树

来源：评论

学校读者我要写书评

暂无评论

一个基于构件的非线性软件开发模型

一个基于构件的非线性软件开发模型

引用

2003'全国软件与应用学术会议

作者：彭玉军陈家骏南京大学计算机科学与技术系(南京) 南京大学软件新技术国家重点实验室(南京)

本文提出了一个基于构件的非线性软件开发模型框架.分析了该模型相关的知识和技术背景,并详细介绍了模型相关的概念和定义,给出了软件开发的线性与非线性的划分.结合人力资源与构件库,借用有关的数学工具建立了该模型的核心,拟合矩.通... 详细信息

本文提出了一个基于构件的非线性软件开发模型框架.分析了该模型相关的知识和技术背景,并详细介绍了模型相关的概念和定义,给出了软件开发的线性与非线性的划分.结合人力资源与构件库,借用有关的数学工具建立了该模型的核心,拟合矩.通过拟合矩,把开发流在构件库中联结起来,并把开发流分为外部开发流和内部开发流,体现了该模型的非线性.利用变换的概念,模型保证了构件库和拟合矩的动态性.此模型较好地实现了软件开发各阶段的一致性,能够对覆盖企业范围的统一开发过程进行控制和管理.

关键词：软件工程构件技术软件复用软件开发模型

来源：评论

学校读者我要写书评

暂无评论

基于移动代理的IP网络管理及其安全机制

引用

通信管理与技术 2003年第4期 35-37页

作者：邹一鸣王汝传南京邮电学院计算机科学与技术系江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

相对于传统的网络管理方法,基于移动代理技术的网络管理把智能部分移到原始数据产生的地方,具有灵活、分布、可扩展和容错性好等优点,克服了传统的集中式网络管理的毛病。结合IP网络大量存在SNMP代理的现状,提出了一种基于移动代理的网... 详细信息

相对于传统的网络管理方法,基于移动代理技术的网络管理把智能部分移到原始数据产生的地方,具有灵活、分布、可扩展和容错性好等优点,克服了传统的集中式网络管理的毛病。结合IP网络大量存在SNMP代理的现状,提出了一种基于移动代理的网络管理系统,分析了可能遇到的安全威胁并研究了解决方法。

关键词：移动代理网络管理 IP网络 SNMP 安全机制

来源：评论

学校读者我要写书评

暂无评论

一种两阶段的神经网络属性选择方法

引用

广西师范大学学报（自然科学版） 2003年第A01期21卷 41-45页

作者：王继成黄源武港山张福炎南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

神经网络的输入属性选择一直是一个比较困难的问题.由于神经网络反复训练的时间复杂度,Wrap-per方法是不适用的,而单纯使用Filter方法也难以获得很好的分类精度.文中提出了一种两阶段的神经网络属性选择方法,以综合Filter和Wrapper两类... 详细信息

神经网络的输入属性选择一直是一个比较困难的问题.由于神经网络反复训练的时间复杂度,Wrap-per方法是不适用的,而单纯使用Filter方法也难以获得很好的分类精度.文中提出了一种两阶段的神经网络属性选择方法,以综合Filter和Wrapper两类方法的优势.该方法首先采用基于不一致率的遗传算法GFSIC来删除属性集合中的无关属性,然后采用基于敏感性度量的属性选择算法SBFCV来删除冗余和无用的属性.研究和实验结果表明,该方法可以有效地删除原始数据中的无关和冗余属性,增强神经网络的泛化能力.

关键词：属性选择神经网络过滤器方法包装器方法遗传算法

来源：评论

学校读者我要写书评

暂无评论

BDI解释器研究的困难所在

BDI解释器研究的困难所在

引用

中国人工智能学会第10届全国学术年会

作者：殷秀莲程显毅南京大学计算机软件新技术国家重点实验室南京210093 江苏大学计算机科学与通信工程学院镇江 212013

BDI(Believe，Desire，Intention)解释器是agent计算的核心，但研究出现了许多困难，本文认为BDI解释器研究的困难在于对BDI解释器的定位问题、BDI具有算子和数据结构双重特性、BDI是一不可离散化的量、思维状态属性够用的问题的恰当的... 详细信息

BDI(Believe，Desire，Intention)解释器是agent计算的核心，但研究出现了许多困难，本文认为BDI解释器研究的困难在于对BDI解释器的定位问题、BDI具有算子和数据结构双重特性、BDI是一不可离散化的量、思维状态属性够用的问题的恰当的认识。如果我们正视这些困难，利用网络技术、智能理论、认知科学理论，agent计算必将会成为新一代的计算模式。

关键词： BDI解释器 agent计算定位问题

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：