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

计算机科学 2001年第4期28卷 25-28,24页

作者：刘建中马晓星蔡敏李英军吕建南京大学计算机软件所计算机软件新技术国家重点实验室南京210093

一、引言在石油勘探、气象和航空航天领域,大规模并行计算已经得到了广泛的应用.传统的并行应用开发方法直接使用底层的并行开发环境,开发者需要考虑到异构的硬件体系结构和软件平台等细节,并了解底层的消息通信机制,才能够进行实际的... 详细信息

一、引言在石油勘探、气象和航空航天领域,大规模并行计算已经得到了广泛的应用.传统的并行应用开发方法直接使用底层的并行开发环境,开发者需要考虑到异构的硬件体系结构和软件平台等细节,并了解底层的消息通信机制,才能够进行实际的开发工作,往往使得程序代码不够清晰,调试起来也相当困难,因而开发效率较低.我们以油气勘探领域三维叠前深度偏移应用为前景,设计并开发了层次式面向对象并行环境HOOPE[1～3],以期为领域并行应用开发提供一个良好的并行开发环境,HOOPE系统的目标是:(1)简化并行应用的开发过程,缩短开发周期;(2)提高并行应用软件的质量和运行功效;(3)便于应用程序在不同的并行体系结构之间移植;(4)提供一个具有良好的开放性和可扩充性的并行框架.图1是HOOPE系统的基本结构.

关键词：软件开发层次式面向对象并行环境并行支撑层油气勘探

来源：评论

学校读者我要写书评

暂无评论

一种基于运行时体系结构的BPEL支撑环境

引用

电子学报 2006年第B12期34卷 2360-2365页

作者：马骞虞建杰马晓星吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务... 详细信息

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果.

关键词：面向服务的计算服务组合 BPEL 软件体系结构动态演化

来源：评论

学校读者我要写书评

暂无评论

软件体系结构的属性图文法描述及其约束验证

引用

计算机应用研究 2007年第3期24卷 163-168页

作者：石兵冉平马晓星陶先平吕建南京大学计算机软件研究所计算机软件新技术国家重点实验室江苏南京210093

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并... 详细信息

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。

关键词：软件体系结构动态演化属性图文法验证

来源：评论

学校读者我要写书评

暂无评论

基于多维支持向量机的P2P网络流量识别模型

引用

吉林大学学报（工学版） 2010年第5期40卷 1298-1302页

作者：孙知信张玉峰南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

提出一种多维支持向量机(MSVM)训练方法,并建立了一种基于多维支持向量机的P2P网络流量识别模型。该模型利用多维支持向量机作为分类器来识别P2P流量,各种网络流量经过数据捕获模块、特征提取模块、数据预处理模块以及MSVM训练模块将网... 详细信息

提出一种多维支持向量机(MSVM)训练方法,并建立了一种基于多维支持向量机的P2P网络流量识别模型。该模型利用多维支持向量机作为分类器来识别P2P流量,各种网络流量经过数据捕获模块、特征提取模块、数据预处理模块以及MSVM训练模块将网络流量分类成P2P流量和Non-P2P流量,再经过组建的MSVM支持向量库识别出具体的P2P流量和未知P2P。未知的P2P流量经过数据采集模块、特征提取模块、数据预处理模块以及MSVM训练模块将其特征数据加入MSVM支持向量库,以便将来识别P2P流量。理论分析与数值实验表明,该模型具有较好的实验结果和所期望的识别精确度。

关键词：计算机系统结构对等网络多维支持向量机(MSVM) 最优超平面

来源：评论

学校读者我要写书评

暂无评论

流动agent:一种未来的分布计算模式

引用

计算机科学 1999年第2期26卷 1-4,13页

作者：陶先平吕建董桓李新南京大学计算机软件新技术国家重点实验室软件研究所南京210093

流动agent技术对于未来分布式系统的设计、实现和维护技术具有重要意义。它可有效地降低网络拥塞、克服网络隐患,其异步与自主运行特性提高了分布式系统的健壮性和容错能力。本文作者于1998年7月20日—7月24日参加了在比利时布鲁赛尔举... 详细信息

流动agent技术对于未来分布式系统的设计、实现和维护技术具有重要意义。它可有效地降低网络拥塞、克服网络隐患,其异步与自主运行特性提高了分布式系统的健壮性和容错能力。本文作者于1998年7月20日—7月24日参加了在比利时布鲁赛尔举行的第十二届欧洲面向对象程序设计会议。会上,General Magic公司的 ***作了“Mobile Objects and Mobile Agents:TheFuture of Distributed Computing?”的特邀报告。作者在该报告的基础上,结合自身工作,完成此文,供同行参考,希望能够对国内在此方面的研究有所推动。

关键词：流动agent 分布式计算计算模式人工智能

来源：评论

学校读者我要写书评

暂无评论

一种基于极限编程的实验室项目软件方法LabXP

引用

计算机科学 2005年第8期32卷 199-202页

作者：邵飞葛季栋胡昊鲍钦迪吕建南京大学软件新技术国家重点实验室计算机软件研究所南京210093

本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏... 详细信息

本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏捷软件方法(Agile Software Method),在保证软件质量的基础上实现了快速开发。

关键词：实验室项目软件方法 XP 极限编程实验室项目 Software eXtreme 软件开发快速开发

来源：评论

学校读者我要写书评

暂无评论

单可表示类的特征

引用

计算机学报 2001年第6期24卷 568-573页

作者：朱朝晖李斌陈世福朱梧檟南京航空航天大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位... 详细信息

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。

关键词：择优后承择优模型表示定理人工智能常识推理单可表示类

来源：评论

学校读者我要写书评

暂无评论

一个支持软件需求测试任务分析方法的工具

引用

计算机工程与应用 2000年第3期36卷 50-54页

作者：白赣洪张朝良火清宁朱鸿郑国梁南京大学计算机软件研究所软件新技术国家重点实验室南京210093

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被... 详细信息

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．

关键词：软件需求测试 SRDMTest工具人机交互软件开发

来源：评论

学校读者我要写书评

暂无评论

一个软件服务协同中的信任管理框架设计

引用

计算机科学 2003年第9期30卷 152-154,161页

作者：徐锋曹春郑玮冯扬悦吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

1引言目前,以Web服务为代表的软件服务及软件服务协同已成为一种新兴的Web应用形态.

关键词：软件服务协同系统信任管理设计事件概率 Internet

来源：评论

学校读者我要写书评

暂无评论

ND-P0lya中协变-反变问题的处理方法

引用

计算机学报 1999年第9期22卷 953-957页

作者：唐宝马晓星陶先平吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型... 详细信息

协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题.针对这一问题,该文基于Castagna的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ND-Polya语言及系统中具体实现.该方法可以应用到其它协变面向对象语言中.

关键词：面向对象语言协变-反变类型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：