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

南京大学学报（自然科学版） 2000年第5期36卷 552-559页

作者：李必信沈驿梅钱宇郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核... 详细信息

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核心 ,结合程序预处理器和信息加工器等建立了一种类型分析框架 .该框架适合分析静态类型的面向对象程序 ,如C

关键词：类层次分析面向对象框架程序语言

来源：评论

学校读者我要写书评

暂无评论

意向驱动的AOP语言AOPLID

引用

南京大学学报（自然科学版） 2000年第5期36卷 545-551页

作者：骆斌陈武华张东摩陈世福南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

描述一种基于情境演算的、意向驱动的AOP语言———AOPLID ,并给出AOPLID对追杀问题的程序设计实例 .该语言克服了GOLOG的缺点。

关键词： Agent AOP 情境演算 GOLOG

来源：评论

学校读者我要写书评

暂无评论

神经网络VC维计算研究

引用

计算机科学 2000年第7期27卷 59-62,78页

作者：崔伟东周志华李星清华大学电子工程系北京100084 南京大学计算机软件新技术国家重点实验室南京210093

1 引言神经网络技术已经在很多领域得到了成功的应用.但由于神经网络并不具有一个统一的理论框架,其经验性成分相当高,这对其进一步发展造成了极大的阻碍。如果能为神经网络应用提供一些指导性的分析方法,不仅将促进该领域的理论研究。

关键词：神经网络 VC维计算

来源：评论

学校读者我要写书评

暂无评论

帧中继网络环境下的安全性服务的设计和实现

引用

计算机应用研究 2000年第9期17卷 48-49,90页

作者：陈昕鑫干国华杨培根南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

就目前存在于网络通信中的安全威胁，讨论了如何在面向连接的帧中继网络环境中实现可靠的双方通信，并给出了一个建立安全ＳＶＣ的实现细节。

关键词：帧中继网络安全性服务网络通信 Internet网

来源：评论

学校读者我要写书评

暂无评论

JAPS可视化环境的设计与实现

引用

计算机应用研究 2000年第10期17卷 33-35页

作者：张薇陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京10093

介绍了Java自动并行化编译系统Java Automatic Parallelizing System(JAPS)的可视化界面中数据转换模块和动态处理模块的设计和实现。其中，数据转换模块根据编译器的输出构造任务依赖图的数据结构并实现其层次化的直观显示。而动态处... 详细信息

介绍了Java自动并行化编译系统Java Automatic Parallelizing System(JAPS)的可视化界面中数据转换模块和动态处理模块的设计和实现。其中，数据转换模块根据编译器的输出构造任务依赖图的数据结构并实现其层次化的直观显示。而动态处理模块实现运行过程中对动态信息的实时获取和处理。

关键词：可视化 JAPS 程序自动并行化系统设计

来源：评论

学校读者我要写书评

暂无评论

IPv6对移动性的支持

引用

计算机应用研究 2000年第11期17卷 40-43页

作者：项晓晶王建颖金志权南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

对移动性的支持是IPv6的主要新特性之一。首先介绍了移动IPv6技术，然后对IPv4和IPv6进行了详细比较，最后对目前尚未解决的问题进行了分析。

关键词：移动性归宿代理隧道 IPv6协议

来源：评论

学校读者我要写书评

暂无评论

JAPS中通信支撑策略的比较

引用

计算机应用研究 2000年第9期17卷 6-9页

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

在分布式并行计算系统中，任务运行时支撑平台的功能和效率对并行执行的效果有着重要的影响。Ｊａｖａ语言中的线程机制和ＲＭＩ机制为ＮＯＷ环境下的分布并行应用提供了高效的支持［１］。在基于Ｊａｖａ的自动并行编译系统ＪＡＰＳ［... 详细信息

在分布式并行计算系统中，任务运行时支撑平台的功能和效率对并行执行的效果有着重要的影响。Ｊａｖａ语言中的线程机制和ＲＭＩ机制为ＮＯＷ环境下的分布并行应用提供了高效的支持［１］。在基于Ｊａｖａ的自动并行编译系统ＪＡＰＳ［２］中，设计和实现了分别基于Ｊａｖａ　ＲＭＩ和Ｓｏｃｋｅｔ通信支撑策略的并行任务支撑平台ＰＴＳＰ，并比较了这两种通信策略对在ＮＯＷ环境下的分布式并行计算的支持能力和系统效率。

关键词： JAPS 通信支撑策略自动并行编译

来源：评论

学校读者我要写书评

暂无评论

墙式网孔

引用

计算机学报 2000年第4期23卷 374-381页

作者：陈贵海谢立顾庆 LAU F.C.M 周能法南京大学软件新技术国家重点实验室南京210093 香港大学计算机科学与信息系统系美国纽约城市大学计算机与信息科学系纽约布鲁克林11210

提出了一种新的网孔──墙式网孔．墙式网孔是一种三度网孔，它通过从普通四度网孔的每个节点删去一度而获得．其节点度节省了２５％，但其直径同普通四度网孔几乎一样．它在计算能力上同普通四度网孔是等价的，因为四度同孔可以有效地... 详细信息

提出了一种新的网孔──墙式网孔．墙式网孔是一种三度网孔，它通过从普通四度网孔的每个节点删去一度而获得．其节点度节省了２５％，但其直径同普通四度网孔几乎一样．它在计算能力上同普通四度网孔是等价的，因为四度同孔可以有效地嵌入到墙式网孔中，其伸张度为３，拥塞度为４．于是所有现存的基于四度同孔的并行算法都可以毫不费力地移植到三度同孔中且只有常数的减速比．墙式网孔可以通过边界节点回卷相连而产生墙式环托，它是点对称的．进一步重新连接删去的一度，便可得到增强型的墙式网孔，它可克服普通网孔固有的缺陷。

关键词：互联网络墙式网孔路由广播

来源：评论

学校读者我要写书评

暂无评论

基于安全Linux的Softbase(Secure)的设计方案探讨

基于安全Linux的Softbase(Secure)的设计方案探讨

引用

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

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

1引言Softbase(Secure)是一个符合B1安全级的数据库管理系统,它的真正实现除了数据库管理系统本身安全功能外,还需安全操作系统的支撑,同时,作为数据存取的整体安全要求而

关键词： Secure operating system Secure database management system

来源：评论

学校读者我要写书评

暂无评论

Softbase(Secure)数据安全子系统的设计与实现

Softbase(Secure)数据安全子系统的设计与实现

引用

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

作者：徐洁磐应丽君南京大学软件新技术国家重点实验室南京大学计算机系

1引言Softbase是一个具有自主版权的关系数据库管理系统,它采用SQL‘93作数据子语言,并具有关系数据库系统的数据模式定义、数据操纵及数据控制的功能,其详细情况介绍可参阅

关键词： Data secure subsystem Trusted Database Management System

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：