检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

属性委托授权逻辑系统中的主观信任控制

武汉大学学报（信息科学版） 2008年第10期33卷 1080-1083页

作者：陈波曾国荪李莉同济大学计算机科学与技术系上海市曹安公路4800号201804

扩展了现有的属性委托授权机制的二值信任为主观区间信任,提出了可信角色和信任约束概念的定义,建立了依据角色信任评估的角色委托控制策略,建立了依据实体信任评估的授权控制规则,给出了委托策略中实体信任度递减的计算方法,将这些策... 详细信息

扩展了现有的属性委托授权机制的二值信任为主观区间信任,提出了可信角色和信任约束概念的定义,建立了依据角色信任评估的角色委托控制策略,建立了依据实体信任评估的授权控制规则,给出了委托策略中实体信任度递减的计算方法,将这些策略和规则用逻辑的语法形式表示,并进一步对逻辑程序赋予计算推导的语义,在属性委托授权机制的逻辑语义基础上实现了委托和授权的主观信任控制。

关键词：主观信任属性委托授权可信角色

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

基于内存操作的动态软件水印算法

通信学报 2013年第2期34卷 128-137页

作者：许金超曾国荪同济大学计算机科学及技术系上海201804 教育部嵌入式系统与服务计算教育部重点实验室上海201804

提出了一种基于内存操作的动态软件水印算法,算法通过控制本地代码程序中的内存分配释放和使用等行为隐藏软件水印。定义了动态簇、簇间内存关系、内存关系矩阵等概念,详细描述了软件水印的嵌入和提取过程。分析了算法的平台依赖性、可... 详细信息

提出了一种基于内存操作的动态软件水印算法,算法通过控制本地代码程序中的内存分配释放和使用等行为隐藏软件水印。定义了动态簇、簇间内存关系、内存关系矩阵等概念,详细描述了软件水印的嵌入和提取过程。分析了算法的平台依赖性、可信性、数据率、开销,并通过实验对该算法的隐蔽性和抗攻击能力进行了探讨。

关键词：数字版权软件水印内存操作水印算法

可变结构的并行计算中任务粒度细化可扩展方法

在线全文

学校读者我要写书评

暂无评论

同济大学学报（自然科学版） 2016年第10期44卷 1636-1644页

作者：熊焕亮曾国荪同济大学电子与信息工程学院上海200092 江西农业大学软件学院江西南昌330045 国家高性能计算机工程技术中心同济分中心上海200092

首先评估并行任务及体系结构中影响可扩展性的关键因素,并对并行任务及体系结构进行图建模.然后,提出一种DAG任务粒度细化的可扩展方法,本质上是变换图的结构、调整图节点权值和边权值.进一步推导得出一些关于新扩展方法的有用结论.最后... 详细信息

首先评估并行任务及体系结构中影响可扩展性的关键因素,并对并行任务及体系结构进行图建模.然后,提出一种DAG任务粒度细化的可扩展方法,本质上是变换图的结构、调整图节点权值和边权值.进一步推导得出一些关于新扩展方法的有用结论.最后,应用网格模拟工具SimGrid开展实验,结果表明所提出的扩展方法,能实现可变结构并行计算的等速度效率扩展,对于并行计算扩展实践有指导意义.

关键词：并行计算机器与算法可变结构扩展方法

在线全文

学校读者我要写书评

暂无评论

一种基于时分复用的云资源管理方法

同济大学学报（自然科学版） 2014年第5期42卷 782-789,803页

作者：匡桂娟曾国荪同济大学电子与信息工程学院上海201804 青岛农业大学理学与信息学院山东青岛266109 国家高性能计算机工程技术中心同济分中心上海201804

为了实现多租户的云计算环境下用户对计算资源的公平使用,用有限资源应对最大量的用户需求,针对云计算中成批到达的可划分独立任务,研究了一种基于时分复用的虚拟化资源管理方法.将整个云中计算资源作为复用对象,根据用户任务需求确定... 详细信息

为了实现多租户的云计算环境下用户对计算资源的公平使用,用有限资源应对最大量的用户需求,针对云计算中成批到达的可划分独立任务,研究了一种基于时分复用的虚拟化资源管理方法.将整个云中计算资源作为复用对象,根据用户任务需求确定资源的复用周期和时间片,给出了资源时分复用的多种策略,并且对不同策略进行了深入的性能指标分析,形成了相应结论,以应对和指导不同应用场景.最后验证了资源管理方法的有效性.

关键词：云计算批任务调度资源虚拟化时分复用

在线全文

学校读者我要写书评

暂无评论

基于超图文法的软件体系结构动态演化

同济大学学报（自然科学版） 2011年第5期39卷 745-750页

作者：徐洪珍曾国荪同济大学计算机科学与技术系上海201804 东华理工大学计算机科学与技术系江西抚州344000

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的... 详细信息

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.

关键词：软件演化体系结构形式化建模模型检测

在线全文

学校读者我要写书评

暂无评论

一种基于分簇复制的DAG任务图调度算法

计算机工程 2006年第17期32卷 126-128,134页

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

并行任务调度是影响机群计算效率的关键因素之一,机群环境DAG(DirectedAcyclicGraph)任务图调度是一个NP完全问题,只能寻求启发式算法。已有的研究中,图解重构算法在允许任务复制的条件下,通过对DAG图递归分解与子图重构,初步实现了一... 详细信息

并行任务调度是影响机群计算效率的关键因素之一,机群环境DAG(DirectedAcyclicGraph)任务图调度是一个NP完全问题,只能寻求启发式算法。已有的研究中,图解重构算法在允许任务复制的条件下,通过对DAG图递归分解与子图重构,初步实现了一个可行的调度方案。该文在此基础上,提出了以调度长度增量为依据的任务复制策略,利用该策略调整受制约节点的同簇前驱,解决了任务簇间的时间制约问题,缩短了调度长度;通过合理地选择任务簇进行合并,增大任务簇的粒度,提高了处理器的利用率。提出的以任务簇扩展-合并为特征、以分簇复制为手段的DAG图调度算法,改进和拓展了图解重构方法。实例分析表明本算法复杂度与TDS(TaskDuplicationScheduling)相同,但性能更优。

关键词：机群计算任务图任务调度分簇复制

一种刻画功能和时间空间性能的统一验证模型atsFPM

在线全文

学校读者我要写书评

暂无评论

计算机学报 2009年第4期32卷 740-750页

作者：钮俊曾国荪陈波同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室上海201804 浙江工商职业技术学院信息工程学院浙江宁波315012

对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一种刻画功能、时间和空间性能的统一... 详细信息

对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一种刻画功能、时间和空间性能的统一验证模型atsFPM.给出基于正则式的路径范式描述信息系统行为的功能属性,给出atsFPM模型的语法和语义,构造路径范式与系统模型的积自动机,证明积自动机与原始模型在功能刻画、时间和空间描述上的等价,提出针对atsFPM的功能性能组合模型验证算法.实例分析表明,atsFPM统一验证模型能够有效解决信息系统功能和性能的组合分析问题,确保系统正确、安全、可信.

关键词：功能性能空间约束组合验证安全可信

在线全文

学校读者我要写书评

暂无评论

一种等性能面积的并行计算可扩展性度量方法

计算机研究与发展 2014年第11期51卷 2547-2558页

作者：熊焕亮曾国荪吴沧海同济大学计算机科学与技术系上海201804 江西农业大学软件学院南昌330045 国家高性能计算机工程技术中心同济分中心上海201804

可扩展性是并行计算的一个重要性能指标,但传统可扩展性度量机制只是试图从某一个侧面反映并行计算可扩展情况,难以全面度量并行计算系统综合性能.深入和全面地研究可扩展性度量机制,从众多性能指标中精选一组关键参数,对其进行归一化处... 详细信息

可扩展性是并行计算的一个重要性能指标,但传统可扩展性度量机制只是试图从某一个侧面反映并行计算可扩展情况,难以全面度量并行计算系统综合性能.深入和全面地研究可扩展性度量机制,从众多性能指标中精选一组关键参数,对其进行归一化处理,然后用Kiviat图的面积来刻画并行计算的综合性能,由此给出一种新的等性能面积的并行计算扩展性度量机制,并进一步分析新度量机制和传统机制的关系.最后,应用新度量机制分析矩阵相乘算法在LogP计算机模型上的扩展性,并在集群平台上实际运行程序进行扩展性实验,进一步验证新机制的有效性.新度量机制对于指导并行计算体系结构完善,以及并行算法设计和调优有重要意义.

关键词：并行计算可扩展性等性能面积度量机制 Kiviat图