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

微电子学与计算机 2006年第9期23卷 4-5,9页

作者：吴晓吴绽青陶先平吕建吕军计算机软件新技术国家重点实验室(南京大学) 南京大学计算机软件研究所江苏南京210093 金鹰国际集团软件系统有限公司

信息系统应用过程审计是一种有效的信息系统安全保障手段。但是现有的过程审计软件灵活度不够高、适应性不够强。针对上述问题,文章基于移动agent技术,讨论了一个信息系统应用过程审计软件ABIAS的设计和实现。在该系统的体系结构设计方... 详细信息

信息系统应用过程审计是一种有效的信息系统安全保障手段。但是现有的过程审计软件灵活度不够高、适应性不够强。针对上述问题,文章基于移动agent技术,讨论了一个信息系统应用过程审计软件ABIAS的设计和实现。在该系统的体系结构设计方面,利用agent的移动性和自主性,给出了两种灵活的审计agent部署方案,体现了审计软件的开放和灵活性;在agent设计和实现方面,结合桌面行为审计的领域需求,给出了其结构化迁移方案,有效地支持了审计行为的“临检”特性。

关键词：移动agent 过程审计 agent部署 agent设计

来源：评论

学校读者我要写书评

暂无评论

软件体系结构专刊前言

引用

软件学报 2006年第6期17卷 1255-1256页

作者：梅宏吕建江苏南京210093 北京大学信息科学技术学院软件研究所计算机软件新技术国家重点实验室(南京大学) 北京100871

过去的一年(2005-2006)是软件体系结构研究值得纪念的一年.十年前,第1届软件体系结构国际研讨会(International Workshop on Software Architecture,IWSA-1)召开,IEEE Software和IEEE Transactions on SoftwareEngineering软件体系结构专刊出版,软件体系结构领域的重要著作《Software Architecture:Perspectives on anEmerging Discipline))问世,标志着软件体系结构作为软件工程的一个研究分支正式提出.十年后的今天,软件体系结构领域已经吸引了大量的实践和研究人员参与进来,也涌现了不少与之相关的会议、期刊、培训和标准.为了纪念软件体系结构领域的十年发展,学术界举行了许多庆祝活动,典型的如在2005年IEEE/IFIP软件体系结构工作会议(IEEE/IFIP Working Conference on Software Architecture,WICSA’05)上举行的十周年庆典,IEEESoftware出版的新一期软件体系结构专刊(2006年3、4月期),软件体系结构研究的先驱者Mary Shaw和PaulClements联合发表的综述文章The Golden Age of Software Architecture:A Comprehensive Survey.一个基本共识是,现今已进入软件体系结构研究与实践的繁荣时期.

关键词：软件体系专刊

来源：评论

学校读者我要写书评

暂无评论

面向网构软件的构件组装可靠性分析

引用

中国科技论文 2006年第3期6卷 165-174页

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

网构软件是未来开放软件协同环境(如Internet)中的一种新型软件形态,其构建依赖于对开放环境中各种异构的、自治的软件服务实体间的有效协同。构件组装是实现网构软件有效协同的基本手段之一,而如何有效对构件组装进行可靠性分析是其中... 详细信息

网构软件是未来开放软件协同环境(如Internet)中的一种新型软件形态,其构建依赖于对开放环境中各种异构的、自治的软件服务实体间的有效协同。构件组装是实现网构软件有效协同的基本手段之一,而如何有效对构件组装进行可靠性分析是其中较为重要的核心问题。本文在分析现有工作的基础上提出一种面向网构软件的构件组装可靠性分析方法,该方法对构件的使用域、构件间的协同连接方式、组装结构等方面进行了可靠性建模与分析,并对构件可靠性、构件间连接的可靠性等方面进行了敏感度分析,从而为开放环境下开发面向网构软件的可靠构件组装软件系统提供有效支持。

关键词：识网构软件构件构件组装可靠性

来源：评论

学校读者我要写书评

暂无评论

普适计算环境中隐私保护的研究与进展

普适计算环境中隐私保护的研究与进展

引用

第二届和谐人机环境联合学术会议(HHME2006)——第2届中国普适计算学术会议(PCC'06)

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

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

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

关键词：普适计算隐私保护

来源：评论

学校读者我要写书评

暂无评论

普适计算环境中隐私保护的研究与进展

普适计算环境中隐私保护的研究与进展

引用

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

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

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

来源：评论

学校读者我要写书评

暂无评论

μC/OS-Ⅱ优先级位图算法的扩展

μC/OS-Ⅱ优先级位图算法的扩展

引用

2006中国计算机学会体系结构专委会学术年会

作者：潘健罗滨周宇马晓星吕建南京大学计算机软件新技术国家重点实验室计算机软件研究所南京210093

本文扩展了μC/OS-Ⅱ的优先级位图算法,并给出了算法所需的辅助数据的通用生成算法。扩展后的算法和原算法有相同的时间复杂度,增加了算法可调度任务数,并且在任务数较少的情况下可以有效减少算法的空间开销。

关键词：嵌入式系统优先级位图算法算法扩展可调度任务数

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

可数集合的无穷观问题

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第二届江苏计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

反射中间件的研究与进展

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：