广西壮族自治区自然科学基金(0229051)

作品数：9被引量：14H指数：2
导出分析报告
相关作者：董荣胜郭云川蔡国永古天龙彭勋更多>>
相关机构：桂林电子工业学院桂林电子科技大学更多>>
相关期刊：《计算机工程与应用》《计算机科学》更多>>
相关主题：原子性分布式实时系统SPIN非否认性非否认协议更多>>
相关领域：自动化与计算机技术经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
频繁现场切换条件下转移预测方案的研究
《微计算机信息》2008年第2期301-302,292,共3页陈智勇 
广西自然科学基金资助项目(0229051)
在超流水和超标量处理机中转移的误预测是性能降低的主要原因之一。目前许多基于转移历史开发的转移预测器,由于频繁的现场切换而导致了预测准确度的降低。这篇论文研究的转移预测方案同时采用了转移预测器LGshare和Skew的思想,在此基...
关键词：现场切换 转移预测表 转移历史寄存器 进程 
机群全局资源管理的SSI研究
《微计算机信息》2006年第03X期77-78,172,共3页陈智勇 
广西自然科学基金资助项目(0229051)
机群的主要系统资源是处理器、内存和磁盘,为实现全局资源管理的单一系统映像,文中介绍了与之有关的关键技术:分布式存储器管理、全局磁盘管理和全局处理器管理。为实现上述功能,文中提出了采用容器技术来实现分布资源管理的策略,此技...
关键词：机群 资源管理 单一系统映像 容器 
公平非否认协议的有限状态分析被引量：6
《计算机科学》2005年第8期83-86,共4页董荣胜 陈大伟 郭云川 古天龙 
广西自然科学基金(编号:桂科自0229051)
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。
关键词：模型检测 SPIN 非否认性 公平性 机密性 有限状态自动机 非否认协议 状态分析 检测工具 模型 
一种电子商务协议原子性的模型检验分析方法被引量：2
《计算机科学》2005年第4期184-186,共3页董荣胜 郭云川 古天龙 
广西自然科学基金项目(桂科字0229051)的资助
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash...
关键词：电子商务协议 原子性 检验分析 形式化模型 描述方法 检验工具 符号模型 
安全支付协议的设计与验证研究被引量：3
《计算机工程与应用》2005年第6期139-143,共5页彭勋 董荣胜 郭云川 蔡国永 
广西自然科学基金(编号:0229051)的资助
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
关键词：安全支付协议 SEP安 全性 原子性 符号模型验证 SMV 
一个电子投递协议的改进
《计算机工程与应用》2004年第29期195-198,共4页彭勋 董荣胜 郭云川 蔡国永 
广西自然科学基金项目(编号:0229051)资助
电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子...
关键词：电子投递协议 时限性 时限责任 
在NetBill交易协议中引入对商家的时限责任的追究被引量：1
《计算机科学》2004年第10期79-83,共5页彭勋 董荣胜 郭云川 蔡国永 
广西自然科学基金(0229051)
NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetB...
关键词：电子交易系统 商家 责任 协议 商品 服务器 时限 时间戳 发送 属性 
基于对象分布式实时系统的容错模型研究被引量：1
《计算机工程与应用》2004年第7期61-65,共5页董荣胜 曹双进 蔡国永 赵岭忠 
广西自然科学基金资助(编号:桂科自0229051)
该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助...
关键词：分布式实时调度 时间PETRI网 实时约束 容错 
基于Petri网的分布式实时调度模型研究被引量：1
《计算机工程与应用》2003年第30期75-78,共4页曹双进 董荣胜 古天龙 蔡国永 
广西自然科学基金(编号:桂科自0229051)资助
Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可...
关键词：高级PETRI网 委派执行 分布式实时系统 调度模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部