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

电子科技大学学报 2010年第1期39卷 114-118页

作者：刘正涛毛宇光王建东叶传标南京航空航天大学信息科学与技术学院南京210016 三江学院计算机科学与工程系南京210012 南京大学计算机软件新技术国家重点实验室南京210093

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委... 详细信息

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委托授权时的冲突检测算法与用户所拥有权限的计算算法及该模型的一个应用实例。

关键词：访问控制构件委托层次

来源：评论

学校读者我要写书评

暂无评论

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

引用

计算机工程与科学 2010年第5期32卷 1-5,9页

作者：曹春马晓星陶先平南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向... 详细信息

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。

关键词：动态软件协同软件Agent 软件体系结构多模式交互

来源：评论

学校读者我要写书评

暂无评论

Intel Bensley平台下前端总线竞争对访存密集型程序的性能影响分析

引用

南京大学学报（自然科学版） 2010年第2期46卷 149-158页

作者：毛晓炜陶先平何万青软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 Intel中国有限公司北京100020

对称多处理(symmetric multiprocessor,SMP)机群系统因其优越的性价比和良好的可扩展性,已经成为当今高性能计算的主流结构.其中,单节点采用Intel双路四核平台已经逐渐成为目前高性能计算服务器的主流平台.由于一个CPU的四个核心共享一... 详细信息

对称多处理(symmetric multiprocessor,SMP)机群系统因其优越的性价比和良好的可扩展性,已经成为当今高性能计算的主流结构.其中,单节点采用Intel双路四核平台已经逐渐成为目前高性能计算服务器的主流平台.由于一个CPU的四个核心共享一根前端总线,而且两根前端总线并不完全独立,前端总线竞争对访存密集型程序的性能有很大的影响.本文针对Intel Bensley双路四核平台特性,给出了前端总线竞争对访存密集型message passing interface(MPI)程序性能影响的计算模型,并编写程序和利用实例验证的该计算模型的有效性.

关键词：访存密集型应用 Bensley 前端总线地址总线利用率数据总线利用率

来源：评论

学校读者我要写书评

暂无评论

基于时隙选择概率分布的DCF区分服务机制

引用

计算机工程 2010年第18期36卷 285-287,290页

作者：徐颖白光伟王明超曹磊南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

针对IEEE 802.11 DCF不能为实时业务提供服务质量保证的问题,提出一种简单的基于优先级的退避机制,根据不同等级数据业务的QoS需求提供区分服务。高优先级数据流采用减少数据包重传次数策略,低优先级数据流采用改进的RWBO+BEB退避机制,... 详细信息

针对IEEE 802.11 DCF不能为实时业务提供服务质量保证的问题,提出一种简单的基于优先级的退避机制,根据不同等级数据业务的QoS需求提供区分服务。高优先级数据流采用减少数据包重传次数策略,低优先级数据流采用改进的RWBO+BEB退避机制,使得时隙选择概率分布均匀,能减少数据包碰撞概率。采用马尔科夫链模型对该机制进行数学分析与评价,结果表明,该机制不仅能够有效支持区分服务,并且能够提高系统饱和吞吐量。

关键词：分布式协调功能服务质量时隙选择概率分布马尔科夫链模型

来源：评论

学校读者我要写书评

暂无评论

一个基于XCS的同质团队学习模型

引用

计算机工程与科学 2010年第5期32卷 37-40,44页

作者：陶那日苏王崇骏张雷谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统... 详细信息

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统方法的上述不足。文中还在模型的基础上实验分析了相关因素,如规则积累、通信以及发现新规则等对多Agent协作效率的影响。

关键词：多Agent学习学习分类器系统合作策略

来源：评论

学校读者我要写书评

暂无评论

权吸引子传播算法及其在文本聚类中的应用

引用

计算机研究与发展 2010年第10期47卷 1733-1740页

作者：管仁初裴志利时小虎杨晨梁艳春吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 内蒙古民族大学计算机科学与技术学院内蒙古通辽028000 计算机软件新技术国家重点实验室(南京大学) 南京210093 吉林大学地球科学学院长春130061

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量... 详细信息

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量.这种方法的优点是简单且易于实现,但随着数据规模的膨胀,向量空间将变得高维稀疏并将导致计算复杂度快速增长.为解决此问题,给出了相似特征集、排斥特征集和仲裁特征集的概念,在这些概念的基础上提出了一种能够包含文本结构信息的非欧空间相似性度量方法.并提出了一种新的聚类算法,称之为权吸引子传播算法(weight affinity propagation,WAP).为检验提出算法的聚类效果,选用标准数据集Reuters-21578进行了验证.实验结果表明WAP明显优于k-means聚类算法、具备非线性特征的SOFM聚类算法和采用经典相似性度量的吸引子传播算法等3种经典聚类算法.

关键词：吸引子传播算法相似特征集排斥特征集仲裁特征集文本聚类

来源：评论

学校读者我要写书评

暂无评论

基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究

引用

计算机科学 2010年第6期37卷 147-154页

作者：崔隽黄皓陈志贤南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京工业大学信息学院南京210009

隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验... 详细信息

隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验证工具FDR2来实现系统内隔离策略的自动化验证。以基于虚拟机的文件服务监控器为例,展示了如何利用CSP来建模一个系统及其隔离策略以及如何利用FDR2来验证该系统模型满足给定的隔离策略。

关键词：不干扰模型进程隔离通信顺序进程形式化验证

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

引用

武汉大学学报（信息科学版） 2010年第5期35卷 570-573页

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。

关键词：可信代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

基于混合距离学习的双指数模糊C均值算法

引用

软件学报 2010年第8期21卷 1878-1888页

作者：王骏王士同南京理工大学计算机科学与技术学院江苏南京210094 江南大学信息工程学院江苏无锡214122 南京大学计算机软件新技术国家重点实验室江苏南京210093

提出了一种基于DI-FCM(double indices fuzzy C-means)算法框架的无监督距离学习算法——基于混合距离学习的双指数模糊C均值算法HDDI-FCM(double indices fuzzy C-m eans with hybrid distance).数据集未知距离度量被表示为若干已有距... 详细信息

提出了一种基于DI-FCM(double indices fuzzy C-means)算法框架的无监督距离学习算法——基于混合距离学习的双指数模糊C均值算法HDDI-FCM(double indices fuzzy C-m eans with hybrid distance).数据集未知距离度量被表示为若干已有距离的线性组合,然后执行HDDI-FCM,在对数据集进行有效聚类的同时进行距离学习.为了保证迭代算法收敛,引入了Steffensen迭代法来改进计算簇中心点的迭代公式.讨论了算法中参数的选择.基于UCI(University of California,Irvine)数据集的实验结果表明该算法是有效的.

关键词：距离学习聚类模糊C均值算法混合距离 Steffensen迭代法

来源：评论

学校读者我要写书评

暂无评论

基于隔离区的信息保护模型研究

引用

计算机工程与设计 2010年第21期31卷 4550-4554,4723页

作者：胡雨霁黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统... 详细信息

通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统中进程信息可能的泄漏点,结合过滤驱动和程序组件校验的机制构造了涉密信息隔离区来实现进程资源访问的隔离。

关键词：隔离区过滤驱动内核完整性可信启动程序组件校验

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：