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

电子学报 2009年第B04期37卷 57-64页

作者：谢德平邢阳马晓星曹春吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现... 详细信息

提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用.

关键词：分布式构件基于语境的组装协同动态演化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于局部熵的高度场三角格网化研究

引用

电子学报 2002年第7期30卷 1009-1012页

作者：明德烈尤克非田金文柳健南京大学计算机软件新技术国家重点实验室江苏南京210093 华中科技大学图像所

不规则三角格网表示以其优越的性能在地形高度场数据的简化中得到了广泛的应用 .在不规则三角格网生成的过程中 ,插入点的选取是关系到最终简化后的地形逼近质量好坏的关键 .由于我们通常对原始格网上的每一个点给出一个重要性度量 ,并... 详细信息

不规则三角格网表示以其优越的性能在地形高度场数据的简化中得到了广泛的应用 .在不规则三角格网生成的过程中 ,插入点的选取是关系到最终简化后的地形逼近质量好坏的关键 .由于我们通常对原始格网上的每一个点给出一个重要性度量 ,并以该度量值作为插入点选取的依据 ,因此重要性度量值计算方法的选取成为研究的重点 .本文在对传统重要性度量方法的性能比较和分析基础上 ,提出了一种基于局部熵的重要性度量方法 .实验结果表明 ,基于局部熵的插入点选取方法在各项性能上均优于局部误差估计的方法 ,并且有效的克服了以往方法中的“短视性”问题 .

关键词：高度场地形简化不规则三角格网 TIN 重要性度量值局部熵短视性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

CMM过程支持系统中对过程改变多策略支持的研究

引用

电子学报 2003年第z1期31卷 2087-2090页

作者：胡昊林向宇杨玫吕建南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件研究所江苏南京210093

企业在实施CMM时 ,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的 .因此 ,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力 ,以利于适应多变的项目环境 ,而过程改变的情况比较复杂 ,单一策略的采用既增... 详细信息

企业在实施CMM时 ,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的 .因此 ,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力 ,以利于适应多变的项目环境 ,而过程改变的情况比较复杂 ,单一策略的采用既增加了模型的复杂性 ,又不利于系统充分利用已有的底层支持技术 .本文介绍了一种多策略过程动态改变支持机制 .该机制可用于基于CMM的过程支持系统中。

关键词：过程动态改变过程支持系统能力成熟度模型过程模型过程改进.

来源：评论

学校读者我要写书评

暂无评论

构件化软件服务及其在Artemis-ARC系统中的应用

引用

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

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

在Web服务的基础上提出一种构件化服务方法。它显式化地描述了服务间的依赖关系,并保证了统一的功能抽象和良好的复用性。对构件化服务的描述、搜索、集成等关键技术进行了讨论;在基于Axis和JBoss基础平台以及Eclipse公用环境的Atremis-... 详细信息

在Web服务的基础上提出一种构件化服务方法。它显式化地描述了服务间的依赖关系,并保证了统一的功能抽象和良好的复用性。对构件化服务的描述、搜索、集成等关键技术进行了讨论;在基于Axis和JBoss基础平台以及Eclipse公用环境的Atremis-ARC系统中初步实现了构件化服务的思想。

关键词：面向服务的计算 Web服务构件 Web服务描述语言统一描述、发现和集成

来源：评论

学校读者我要写书评

暂无评论

P2P安全重叠网络模型研究

引用

通信学报 2009年第5期30卷 99-104页

作者：孙知信张震伟宫婧南京邮电大学计算机技术研究所江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京邮电大学数理学院江苏南京210003

针对P2P软件开发中的安全性问题及信任机制使用等问题,提出了一种P2P安全重叠网络数学模型。作为模型的核心部分,重叠网络被划分为4层:数据确认层、数据采集层、信任评估层和路由层。数据确认层执行对不可信数据的过滤,数据采集层对逻... 详细信息

针对P2P软件开发中的安全性问题及信任机制使用等问题,提出了一种P2P安全重叠网络数学模型。作为模型的核心部分,重叠网络被划分为4层:数据确认层、数据采集层、信任评估层和路由层。数据确认层执行对不可信数据的过滤,数据采集层对逻辑节点之间的交互数据进行向量化并进行相关的统计和分析,信任评估层通过判断某个逻辑节点是否可信来实现模型的信任机制,路由层在信任评估结果的基础上识别出恶意节点并完成逻辑节点到对应的物理节点的映射功能。在模型实现阶段,为提高P2P软件的安全性以及信任机制使用的便利性,采用简单向量距离分类法和Kademlia算法对全局信任模型进行了改进。仿真结果和实际使用情况表明,基于该模型开发的P2P软件具有较高的安全性。

关键词：重叠网络安全对等网络

来源：评论

学校读者我要写书评

暂无评论

Arts：一个基于角色的信任管理系统

引用

武汉大学学报（理学版） 2004年第A1期50卷 57-61页

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

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信... 详细信息

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信任管理思想相结合，设计了一个适用于开放环境的基于角色的信任管理系统Arts．文章给出了系统的设计思路和系统结构，阐述了设计开放环境下访问控制系统一种新方法．

关键词：信任信任管理信任评估角色

来源：评论

学校读者我要写书评

暂无评论

移动agent系统基准模型的研究

引用

电子学报 2002年第12A期30卷 2119-2121页

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

基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉... 详细信息

基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉及的公共术语及其解释、通用的体系结构、规范的服务及接口.该模型在指导系统研制、分析现有系统和标准化工作等方面均具有良好的应用前景.

关键词：移动agent系统基准模型计算机网络网络计算 ND-MATRM

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：