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

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

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

普适计算环境的最大特点在于能够自动的感知环境调整自身的行为。但是这种能力所带来的隐私泄露问题引起了用户的担心,阻碍了普适环境的大规模部署。本文对普适计算环境中隐私保护问题进行了综述,分析了隐私泄露的途径,介绍了各种解决... 详细信息

普适计算环境的最大特点在于能够自动的感知环境调整自身的行为。但是这种能力所带来的隐私泄露问题引起了用户的担心,阻碍了普适环境的大规模部署。本文对普适计算环境中隐私保护问题进行了综述,分析了隐私泄露的途径,介绍了各种解决方案以及我们的一个隐私保护中间件,最后提出了有待进一步解决的问题。

关键词：普适计算隐私保护隐私泄露普适环境

来源：评论

学校读者我要写书评

暂无评论

一个开放环境中信任链发现算法的设计与分析

一个开放环境中信任链发现算法的设计与分析

引用

第二届中国可信计算与信息安全学术会议

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

信任管理是解决开放环境安全问题的新方法,而信任链发现算法是信任管理系统的核心内容,与其所处理凭证的存储方式及凭证所表达的授权形式有关.基于给定的与dRBAC基本一致的授权形式,给出了一个凭证存储于签发者的信任链发现算法.主要考... 详细信息

信任管理是解决开放环境安全问题的新方法,而信任链发现算法是信任管理系统的核心内容,与其所处理凭证的存储方式及凭证所表达的授权形式有关.基于给定的与dRBAC基本一致的授权形式,给出了一个凭证存储于签发者的信任链发现算法.主要考虑到签发者能够方便地保存签发的凭证以及对其有效性负责,凭证存储于签发者,能避免凭证的分发以及有效性验证所产生的网络通信开销,并有效防止凭证所包含的敏感信息的泄露.与dRBAC系统比较,基于此算法实现的信任管理系统具有较为简单的结构.另外,实验结果表明该算法执行效率较高.

关键词：开放环境信任管理信任链凭证

来源：评论

学校读者我要写书评

暂无评论

可数集合的无穷观问题

引用

科学 2006年第2期58卷 25-28页

作者：朱梧槚肖奚安宋方敏宫宁生南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学研究所南京210016 中国人民解放军理工大学理学院南京210016 南京工业大学信息科学与工程学院南京 210009

久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中... 详细信息

久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中出现。然而，当我们在兼容两种无穷观的思维方式下重新分析问题时，竟然发现在近代公理集合论中广为使用的种种可数无穷集合（以下简称为可数集合）都是些似是而非的非集。

关键词：潜无限实无限古典集合论

来源：评论

学校读者我要写书评

暂无评论

用蚁群算法求解多处理机调度问题

用蚁群算法求解多处理机调度问题

引用

第二届江苏计算机大会

作者：于广建缪旭波陈崚扬州大学信息工程学院计算机系江苏扬州225009 国家环境保护总局南京环境科学研究所江苏南京210042 南京大学计算机软件新技术国家重点实验室江苏南京210093

本文提出了一种求解多处理机调度的蚁群算法,算法利用蚂蚁代表处理机来选择任务,并通过分析关键路径及每个任务的最早、最迟开始时剖来确定每个任务的紧迫程度,让蚂蚁以此采选择任务.实验证明,该算法可比传统算法取得有更好运行效率的... 详细信息

本文提出了一种求解多处理机调度的蚁群算法,算法利用蚂蚁代表处理机来选择任务,并通过分析关键路径及每个任务的最早、最迟开始时剖来确定每个任务的紧迫程度,让蚂蚁以此采选择任务.实验证明,该算法可比传统算法取得有更好运行效率的调度策略.

关键词：处理机调度问题蚁群算法多处理机

来源：评论

学校读者我要写书评

暂无评论

反射中间件的研究与进展

引用

计算机学报 2005年第9期28卷 1407-1420页

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

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计... 详细信息

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了反射中间件的核心概念和基本原理,给出一个反射中间件的一般结构.在此基础上提出一个反射中间件分类与比较框架,涵盖了反射类型、反射时间、反射范围、实现机制等方面的内容,而后依据此框架对目前几种具有代表性的反射中间件系统作综述和比较.最后对该领域值得进一步研究的问题进行了分析和讨论.

关键词：中间件反射构件重配置

来源：评论

学校读者我要写书评

暂无评论

移动Agent技术的研究与应用

引用

电子学报 2005年第B12期33卷 2413-2417页

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

随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进... 详细信息

随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进行研究的基础上，提出了我们自行设计与实现的移动Agent系统Mogent，并探讨其在软件主流技术等方面的应用．

关键词：移动agent 迁移通信安全

来源：评论

学校读者我要写书评

暂无评论

Mogent系统的设计、实现与应用研究

引用

南京大学学报（自然科学版） 2005年第z1期41卷 109-118页

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

随着Internet平台和开放应用的快速发展,如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一.以移动Agent技术、系统和应用为切入点,在对移动Agent关键技术,如移动机制、通信机制和安全机制等,进行研究... 详细信息

随着Internet平台和开放应用的快速发展,如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一.以移动Agent技术、系统和应用为切入点,在对移动Agent关键技术,如移动机制、通信机制和安全机制等,进行研究的基础上,提出了我们自行设计与实现的移动Agent系统Mogent,并探讨其在软件主流技术,如构件技术、应用框架技术、电子商务和软件协同技术等方面的应用,从而为发展基于软件Agent的新型技术体系奠定了良好的基础.

关键词： agent系统面向对象迁移通讯

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种面向服务的动态协同架构及其支撑平台

引用

计算机学报 2005年第4期28卷 467-477页

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

为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视... 详细信息

为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视角来重解释服务部件之间的引用和交互.这样就把体系结构这一抽象概念具体化为可直接操控的对象,从而可以利用面向对象程序设计语言的继承和多态等整套机制,导出一种面向体系结构的系统动态演化技术.为支持这一架构,设计并实现了一个支撑平台 Artemis ARC,为具有动态调整能力的面向服务应用系统的开发、运行和监控提供了一套可视化的集成环境.在此平台上还开发了一个简单的示例应用以展示动态调整的效果.

关键词：面向服务的计算软件体系结构动态演化远程对象引用因特网

来源：评论

学校读者我要写书评

暂无评论

一个基于偏序事件结构的Web服务模型及其形式化组装

引用

计算机科学 2005年第5期32卷 8-12页

作者：韩婷婷陈韬略颜峰吕建南京大学计算机软件新技术国家重点实验室计算机软件研究所南京210093

随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务... 详细信息

随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务间的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发粒度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。

关键词：事件服务模型 Web服务 Internet 分布计算系统软件服务结构偏序关系基于Web 形式化模型计算环境 Web化应用需求本质特征效率问题并行执行局部变化组装过程正确性分布式服务化并发性分布性集成交互

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：