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

微电子学与计算机 2009年第10期26卷 21-24页

作者：黄宇曾国荪袁禄来同济大学计算机科学及技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

提出了一个基于完全信息扩展博弈的自动信任协商策略,该策略依据子博弈精炼纳什均衡来制定.首先,通过分析比较,将自动信任协商过程转化为完全信息扩展博弈过程,重点讨论了信任博弈树的构造算法和支付函数的计算方法;然后讨论了协商双方... 详细信息

提出了一个基于完全信息扩展博弈的自动信任协商策略,该策略依据子博弈精炼纳什均衡来制定.首先,通过分析比较,将自动信任协商过程转化为完全信息扩展博弈过程,重点讨论了信任博弈树的构造算法和支付函数的计算方法;然后讨论了协商双方效用函数的计算,以此为基础提出了一种新的自动信任协商策略,按照该协商策略进行协商可以使协商双方利益最大化.

关键词：自动信任协商完全信息扩展博弈子博弈精炼纳什均衡

来源：评论

学校读者我要写书评

暂无评论

一种基于GPU的粒子系统火焰模拟

引用

计算机科学 2009年第12期36卷 238-242页

作者：邱宇峰曾国荪同济大学电子与信息工程学院计算机科学及技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

针对传统火焰模拟耗时、模拟真实性不理想这一问题,提出了一种借助GPU(图形处理器)高通用计算能力进行并行模拟的粒子系统火焰模拟方法。该方法采用基于方位角和仰角的粒子散射器、基于层流火焰轮廓计算公式的火焰外形计算及通过拉格朗... 详细信息

针对传统火焰模拟耗时、模拟真实性不理想这一问题,提出了一种借助GPU(图形处理器)高通用计算能力进行并行模拟的粒子系统火焰模拟方法。该方法采用基于方位角和仰角的粒子散射器、基于层流火焰轮廓计算公式的火焰外形计算及通过拉格朗日插值方法平滑火焰骨架线等手段提高了紊流火焰的模拟真实度。在提高性能方面,该方法使用全局存储空间存储粒子信息,避免了因使用纹理存储而产生的反复绑定的开销,同时结合GPU强大的通用计算能力,通过采用CUDA(计算统一设备架构)编写的并行算法,实现了基于GPU的拉格朗日插值并行求解及并行计算、更新粒子属性,并就如何确定块内线程数量作了论述。实验结果表明,该方法满足了火焰模拟的真实性和实时性要求,且较传统方法有很大的提高。

关键词：粒子系统图形处理器通用计算方位角仰角拉格朗日插值计算统一设备架构

来源：评论

学校读者我要写书评

暂无评论

一种基于rsync的改进文件同步算法

引用

通信市场 2009年第5期 78-82页

作者：李征张栋良同济大学计算机科学与技术系上海市201804 国家高性能计算机工程技术中心上海市201804

rsync算法是一种快速有效的文件同步算法,ARsync(AdvancedRemote sync)算法是对rsync的改进,在文件的同步过程中采用对同步过程分步并行化,并在计算步骤中采用流水线方法,充分利用现代计算机的多核处理机架构.在同步校验码计算方面,ARs... 详细信息

rsync算法是一种快速有效的文件同步算法,ARsync(AdvancedRemote sync)算法是对rsync的改进,在文件的同步过程中采用对同步过程分步并行化,并在计算步骤中采用流水线方法,充分利用现代计算机的多核处理机架构.在同步校验码计算方面,ARsync针对文件类型和文件结构特点,使用多粒度文件分块的方法,减小校验码总大小.ARsync将整个文件夹作为同步工作单元,采取打包压缩校验码信息的方式,使用一次完整连接来完成对整个文件夹的同步.

关键词：文件同步 rsync 分布式系统

来源：评论

学校读者我要写书评

暂无评论

基于时态逻辑的可信平台信任链建模

引用

计算机科学 2008年第4期35卷 265-267页

作者：李莉曾国荪陈波同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信... 详细信息

针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件。

关键词：可信信任信任链模态逻辑

来源：评论

学校读者我要写书评

暂无评论

开放网络环境下的属性远程证明

引用

计算机应用 2008年第1期28卷 77-79页

作者：李莉曾国荪陈波同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰... 详细信息

为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境。

关键词：可信计算属性远程证明逻辑安全语言

来源：评论

学校读者我要写书评

暂无评论

基于约束逻辑的非单调属性委托

引用

计算机科学 2008年第6期35卷 202-205页

作者：陈波曾国荪李莉同济大学计算机科学及工程系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于... 详细信息

分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的,与原有的类似模型相比具有更强的表达能力。

关键词：约束逻辑否定推理属性访问控制代理授权

来源：评论

学校读者我要写书评

暂无评论

构造基于信任机制的自组织资源拓扑

引用

计算机研究与发展 2007年第11期44卷 1849-1856页

作者：王伟曾国荪同济大学计算机科学及技术系上海200092 国家高性能计算机工程技术中心同济分中心上海200092

利用P2P覆盖网络(P2P overlay networks)进行资源组织是当前研究的热点,如何保证资源获取的可靠性是研究人员面临的一个主要问题.利用节点的动态自组织属性,基于节点物理位置的拓扑构造可以提高P2P网络的性能,但没有关注P2P网络中恶意... 详细信息

利用P2P覆盖网络(P2P overlay networks)进行资源组织是当前研究的热点,如何保证资源获取的可靠性是研究人员面临的一个主要问题.利用节点的动态自组织属性,基于节点物理位置的拓扑构造可以提高P2P网络的性能,但没有关注P2P网络中恶意节点的问题;基于偏好的拓扑构造可以有效地提高资源共享和搜索的效率,但没有考虑节点实际提供服务的能力和节点行为的可靠性.提出了一个基于信任机制的自组织资源拓扑构造方案,利用Bayesian方法根据节点的行为来评估节点的信任度,通过节点间基于信任关系的链路更新,构造出新的自组织拓扑结构.仿真实验表明,该拓扑结构不仅有利于节点发现资源的效率,提高整个P2P网络的交互性能,还能使节点聚集在服务能力较强的可信节点周围,保证资源选取的可靠性.

关键词：信任资源管理 P2P网络 Bayesian方法自组织

来源：评论

学校读者我要写书评

暂无评论

基于CPi-calculus的网格服务行为研究

引用

计算机科学 2007年第6期34卷 13-18页

作者：周静曾国荪同济大学计算机科学与技术系国家高性能计算机工程技术中心同济分中心上海201804

当前基于网格服务组合的编排方案(choreography proposals)只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提... 详细信息

当前基于网格服务组合的编排方案(choreography proposals)只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus(Conditional Pi-calculus)的网格组合服务的行为交互模型(IABM),并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。

关键词：网格计算服务组合行为交互模型 CPi-calculus

来源：评论

学校读者我要写书评

暂无评论

一种基于Bayes信任模型的可信动态级调度算法

引用

中国科学（E辑） 2007年第2期37卷 285-296页

作者：王伟曾国荪同济大学计算机科学及工程系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

提出了一种基于信任机制的任务调度模型,该模型通过借鉴社会学中的人际关系信任模型,建立网格节点间的信任关系,利用Bayes方法对节点的可信度进行评估,将节点的可信度并入DLS算法得到可信动态级调度(Trust-DLS)算法仿真结果证实,提出的T... 详细信息

提出了一种基于信任机制的任务调度模型,该模型通过借鉴社会学中的人际关系信任模型,建立网格节点间的信任关系,利用Bayes方法对节点的可信度进行评估,将节点的可信度并入DLS算法得到可信动态级调度(Trust-DLS)算法仿真结果证实,提出的Trust-DLS算法能以较小的时间花费为代价,有效提高应用任务在可信方面的服务质量需求,保证网格环境中任务安全可信的执行.

关键词：网格计算可信调度 Bayes方法可信度评估 Trust-DLS算法

来源：评论

学校读者我要写书评

暂无评论

一种非可规约循环的投机并行方法

引用

计算机工程与科学 2007年第10期29卷 135-138页

作者：邓之刚曾国荪周静同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。本文使用投机的方法来挖掘非可规约循环的并行性,该方法在编译时查找程序中的非可规约循环,在运行时使用"持续引用"策略预测该... 详细信息

传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。本文使用投机的方法来挖掘非可规约循环的并行性,该方法在编译时查找程序中的非可规约循环,在运行时使用"持续引用"策略预测该循环的入口,进而实现非可规约循环的并行化。

关键词：非可规约循环持续引用投机并行失败恢复

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：