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

计算机科学 2006年第3期33卷 255-260页

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

图文法是一种对可视化语言进行形式化定义的元语言,具有表达自然、能力强大的特点。随着使用可视化语言的最终用户编程技术的广泛应用,图文法分析尤其是上下文相关图文法分析在工程应用中的重要性日益突出。国内外相关文献或着重于纯理... 详细信息

图文法是一种对可视化语言进行形式化定义的元语言,具有表达自然、能力强大的特点。随着使用可视化语言的最终用户编程技术的广泛应用,图文法分析尤其是上下文相关图文法分析在工程应用中的重要性日益突出。国内外相关文献或着重于纯理论探讨,或局限于特定语法类的特定应用,不利于工程应用人员参考。本文选取简洁明了的符号体系,介绍上下文相关图文法分析的一般性过程,并将其中规则选取关键步骤描述为 CSP 问题,利用已有的针对 CSP 问题的优化方法来优化算法,介绍了现有的优化方法并给出实现算法;同时,结合自身实践,讨论其在一个面向体系结构的 Web 服务集成系统中的应用。

关键词：图文法上下文相关分析算法软件体系结构

来源：评论

学校读者我要写书评

暂无评论

一种对象关系模型层次控制算法

引用

小型微型计算机系统 1998年第4期19卷 26-32页

作者：鲍一民张建莹伊波南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高... 详细信息

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高效的特点，在实际的系统应用中，取得了较好的效果。

关键词：对象关系模型层次控制算法

来源：评论

学校读者我要写书评

暂无评论

工作流网WRI WF-net的验证方法研究及实现

引用

南京大学学报（自然科学版） 2006年第5期42卷 519-527页

作者：朱伟杰葛季栋鲁平胡昊吕建南京大学计算机软件新技术国家重点实验室计算机软件研究所南京210093

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理... 详细信息

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

关键词： WF-net WRI WF-net 工作流模型合理性

来源：评论

学校读者我要写书评

暂无评论

基于Agent的网构软件模型研究

引用

中国科学（E辑） 2005年第12期35卷 1233-1253页

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

以开放网络环境下的网构软件需求为切入点,基于软件Agent的原理、方法和技术,系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制,提出了一种开放协同软件模型来作为网构软件的基础模型.结合其关键支撑技术的研究,提出... 详细信息

以开放网络环境下的网构软件需求为切入点,基于软件Agent的原理、方法和技术,系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制,提出了一种开放协同软件模型来作为网构软件的基础模型.结合其关键支撑技术的研究,提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法,并探讨其在主流软件技术中的应用,初步形成了一种适合于开放网络环境需求的技术框架体系.在此基础上,提出了一条建立基于Agent的网构软件模型的技术途径,即网构软件模型=开放协同模型+环境驱动模型+智能可信模型,从而为进一步的研究工作奠定了基础.

关键词：软件工程面向对象软件协同网构软件软件Agent

来源：评论

学校读者我要写书评

暂无评论

智能空间的资源管理及其应用研究

引用

南京大学学报（自然科学版） 2010年第1期46卷 77-84页

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

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地... 详细信息

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.

关键词：智能空间资源管理资源映射资源仲裁漫游打印

来源：评论

学校读者我要写书评

暂无评论

Vakarelov问题的研究

引用

计算机学报 1999年第4期22卷 351-358页

作者：朱朝晖毛宇光朱梧南京航空航大大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三... 详细信息

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．

关键词：知识表示系统信息逻辑 Vakarelov问题形式语言

来源：评论

学校读者我要写书评

暂无评论

面向对象语言的动态特性研究

引用

计算机科学 1997年第5期24卷 19-23页

作者：陆陪于大川吕建南京大学计算机软件研究所计算机软件新技术国家重点实验室

1.引言随着面向对象软件开发技术的发展,越来越多的软件开发者正在使用面向对象程设计语言[l. 10].面向对象语言的重要特征之一是其动态特性。一般而言,静态与编译阶段相联。

关键词：面向对象程序语言动态特性软件开发

来源：评论

学校读者我要写书评

暂无评论

一种信任管理系统中层次式monitor机制的设计与实现

引用

南京大学学报（自然科学版） 2007年第2期43卷 191-198页

作者：张林徐锋王远吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的... 详细信息

信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的基础上,结合网络中的信任关系相对稳定的特点,基于缓存的原理实现了一个可扩展的层次式monitor机制用于保存信任链发现过程中产生的中间结果,并且采用订阅机制保证其有效性,从而有效避免对相似的信任关系验证而产生的重复通信和计算开销.实验表明,采用该机制的分布式信任链发现算法在信任关系相对稳定的情形下具有较高的效率.

关键词：信任管理信任链凭证缓存监视

来源：评论

学校读者我要写书评

暂无评论

网构软件的研究与进展

引用

中国科学（E辑） 2006年第10期36卷 1037-1080页

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

随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法... 详细信息

随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法与技术为代表的经典软件方法与技术体系不足的基础上,从软件方法学及其技术支撑的角度,通过对软件技术发展趋势与挑战的思考与分析,初步凝练出了网构软件的概念框架、基本特征、逻辑内涵与关键技术.然后,在此总体构架之下,对近年来出现的各种相关的软件新概念、新模型、新方法和新技术从基本理念开放化、软件实体主体化、软件协同分离化、运行机制自适应、开发方法群体化、外部环境显式化、安全保障可信化、系统管理自治化、技术体系系统化等多个侧面加以系统的综述与介绍;最后,在综合分析的基础上提炼出进一步的研究问题.

关键词：网构软件软件方法学软件技术

来源：评论

学校读者我要写书评

暂无评论

构件演化中的系统行为一致性的研究

引用

计算机科学 2008年第1期35卷 266-270,300页

作者：罗毅李兴宇关连伟胡昊吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 详细信息

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。

关键词：构件演化系统行为行为一致性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：