期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
软件Agent的安全性研究 被引量:10
1
作者 李新 董桓 +1 位作者 丁俊华 吕建 《计算机科学》 CSCD 北大核心 1998年第4期54-56,共3页
本文介绍Internet环境下Agent系统的安全性问题,首先概述Agent的概念及其特性,其次从四个方面剖析Agent系统的安全性,然后介绍我们的Agent系统中针对这四个方面问题提供的多种安全措施。
关键词 AGENT 安全性 软件 人工智能
在线阅读 下载PDF
协变多态计算中类型安全问题的研究 被引量:1
2
作者 王筱瑾 陶先平 +1 位作者 柳杨 吕建 《计算机科学》 CSCD 北大核心 1999年第3期15-18,40,共5页
1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协变多态计算引出的类型安全问题一直是人们所关注的问题。人们提出了若干种办法来既保证类型安全,又提供自然灵... 1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协变多态计算引出的类型安全问题一直是人们所关注的问题。人们提出了若干种办法来既保证类型安全,又提供自然灵活的表达能力,如Kim B.Bruce等在LOOM语言中提出的matching关系,较为常用的multi-methods方法,Ingalls的precise typings方法,David L.Shang的参数化类的方法等。本文的主要工作就是在介绍协变与反变等概念的基础上,讨论了各种有代表性的解决方案,对其优缺点加以分析,并在此基础上提出了自行设计的ND-Polya语言的解决方案。 展开更多
关键词 程序设计 协变多态计算 类型安全 面向对象
在线阅读 下载PDF
基于软件配置管理的度量研究
3
作者 鲍钦迪 胡昊 +1 位作者 林向宇 吕建 《计算机科学》 CSCD 北大核心 2004年第4期159-162,共4页
软件配置管理(SCM)是软件开发过程中控制软件产品演化的重要质量保障活动,基于SCM进行度量可以量化的分析软件系统的演化,对提高软件质量和生产效率有重要作用。本文首先根据SCM的管理范畴,阐述了基于SCM度量的三方面的内容;接着我们以... 软件配置管理(SCM)是软件开发过程中控制软件产品演化的重要质量保障活动,基于SCM进行度量可以量化的分析软件系统的演化,对提高软件质量和生产效率有重要作用。本文首先根据SCM的管理范畴,阐述了基于SCM度量的三方面的内容;接着我们以SCM的变更管理为基础,介绍了软件组织如何使用GQM方法获取度量指标,并且着重分析了如何收集变更过程中的度量数据,我们提出了一种简单易行的方法——CR-Delta方法。最后我们介绍了在一个面向企业的过程支持系统CPMS中SCM的度量的自动化实现过程。 展开更多
关键词 软件配置管理 软件开发 软件产品 软件质量 软件过程
在线阅读 下载PDF
一种移动Agent数据保护机制的研究 被引量:6
4
作者 郑玮 徐锋 吕建 《计算机科学》 CSCD 北大核心 2002年第5期91-93,109,共4页
1.研究背景 移动Agent系统是一个分布式的计算平台,在移动A-gent系统中移动Agent是由代码、数据和控制信息(如线程状态)组成的一段可以自动迁移程序[3],该程序能自动执行计算任务,同时也可以与其它移动Agent通信进行协同计算.在移动Agen... 1.研究背景 移动Agent系统是一个分布式的计算平台,在移动A-gent系统中移动Agent是由代码、数据和控制信息(如线程状态)组成的一段可以自动迁移程序[3],该程序能自动执行计算任务,同时也可以与其它移动Agent通信进行协同计算.在移动Agent系统中,移动Agent可以在当前主机(Host)上暂停现有的计算,迁移到系统中其他的主机上并继续执行计算任务,实现计算的移动[5]. 展开更多
关键词 移动AGENT系统 数据保护机制 数据加密 数据安全 人工智能
在线阅读 下载PDF
基于移动Agent的构件运行支撑研究与实现 被引量:1
5
作者 杨玫 胡海洋 +1 位作者 陶先平 吕建 《计算机科学》 CSCD 北大核心 2003年第1期38-41,56,共5页
Currently, component software is getting more and more widely used, but the deficiencies in traditionalwiring mechanisms may, to some extent, constrain the application of component technology in network environment.Af... Currently, component software is getting more and more widely used, but the deficiencies in traditionalwiring mechanisms may, to some extent, constrain the application of component technology in network environment.After analyzing these deficiencies, the authors propose a new smart wiring mechanism based on mobile agent. Thismechanism achieves the following advantages: 1)flexible later assembly mechanism; 2)reduction of network depen-dency; 3)less network latency and improved communication efficiency. 展开更多
关键词 移动AGENT 构件运行支撑 程序设计 构件软件系统 虚拟机
在线阅读 下载PDF
并发面向对象语言的继承异常问题研究 被引量:1
6
作者 张鸣 杨大军 吕建 《计算机科学》 CSCD 北大核心 1998年第6期14-18,共5页
1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软... 1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软件复用和可扩充的有效语言机制。Bertrand Meyer曾指出纯00语言的七个特性川:①模块化结构;②数据抽象(对象是抽象数据类型的实现); 展开更多
关键词 面向对象 程序设计语言 继承异常 并行处理
在线阅读 下载PDF
智能空间的资源管理及其应用研究 被引量:8
7
作者 张璟璟 汪亮 +1 位作者 陶先平 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期77-84,共8页
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地... 资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较. 展开更多
关键词 智能空间 资源管理 资源映射 资源仲裁 漫游打印
在线阅读 下载PDF
工作流网WRI WF-net的验证方法研究及实现
8
作者 朱伟杰 葛季栋 +2 位作者 鲁平 胡昊 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期519-527,共9页
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 工作流模型 合理性
在线阅读 下载PDF
基于Email信箱的agent迁移和通信机制的设计和实现
9
作者 张小蕾 马勤 +2 位作者 张建莹 陶先平 吕建 《计算机科学》 CSCD 北大核心 2003年第3期16-20,共5页
Mobile agent currently is a hot spot among research fields of Internet technology. The deployment of mo-bile agents over network usually needs extra infrastructure for agent migration and communication,which adds to t... Mobile agent currently is a hot spot among research fields of Internet technology. The deployment of mo-bile agents over network usually needs extra infrastructure for agent migration and communication,which adds to thedifficulty of popularizing MA systems. We present in this paper an Email-box-based mechanism of agent migrationand communication,which is built on top of the formerly developed MOON-EAMS system. This mechanism,basedon Email formatting skills,utilizes Email for data transfer,and offers a loosely coupled option of agent migration andcommunication,which ,compared to related works ,obtains the advantage of easy implementation,and reduces the riskof network connection failure. 展开更多
关键词 EMAIL 迁移 通信机制 设计 Internet 电子邮件 电子信箱 AGENT
在线阅读 下载PDF
一个基于偏序事件结构的Web服务模型及其形式化组装
10
作者 韩婷婷 陈韬略 +1 位作者 颜峰 吕建 《计算机科学》 CSCD 北大核心 2005年第5期8-12,共5页
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务... 随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务间的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发粒度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。 展开更多
关键词 事件 服务模型 WEB服务 Internet 分布计算系统 软件服务 结构 偏序关系 基于Web 形式化模型 计算环境 WEB化 应用需求 本质特征 效率问题 并行执行 局部变化 组装过程 正确性 分布式 服务化 并发性 分布性 集成 交互
在线阅读 下载PDF
CPMS中例程处理机制的设计与实现 被引量:2
11
作者 林向宇 胡昊 +2 位作者 鲍钦迪 杨玫 吕建 《计算机科学》 CSCD 北大核心 2004年第5期86-88,92,共4页
过程支持系统(PSS,Process Support System)是一个支持定义、执行和监控业务过程的软件系统,其中通过过程模型描述过程的各种控制结构。在基于CMM的过程支持系统——CPMS(CMM Based Process ManagementSystem)中,由于CMM中庇护性过程的... 过程支持系统(PSS,Process Support System)是一个支持定义、执行和监控业务过程的软件系统,其中通过过程模型描述过程的各种控制结构。在基于CMM的过程支持系统——CPMS(CMM Based Process ManagementSystem)中,由于CMM中庇护性过程的存在,简单的过程模型的控制结构已显得不够灵活有效,需要在过程模型中加入一些新的机制以丰富其对CMM庇护性过程的支持。本文介绍了一种对CMM庇护性过程支持的机制——例程处理机制,其设计在借鉴了程序设计语言中异常处理机制的基础上,又结合了庇护性过程的实际需要对异常处理机制进行了部分修改。最后本文还给出了系统对例程处理机制的实现。 展开更多
关键词 过程支持系统 PSS CPMS 例程处理 CMM 过程建模语言 PML 过程控制引擎 PCE
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部