公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

在NetBill交易协议中引入对商家的时限责任的追究被引量：1: 2004年; NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。; 彭勋董荣胜郭云川蔡国永; 关键词：电子交易系统商家服务器时间戳

安全支付协议的设计与验证研究被引量：6: 2005年; 安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。; 彭勋董荣胜郭云川蔡国永; 关键词：安全支付协议原子性 SMV

具有时限约束的安全协议分析技术研究: 2005年; 本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明。; 董荣胜彭勋郭云川古天龙; 关键词：KAILAR逻辑形式化方法

一种自适应模糊PID节能控制的改进研究与仿真被引量：10: 2016年; 对建筑电气设备进行PID节能控制,可以解决电气超调量大、振荡及控制精度不高的问题。在进行PID节能控制时,为了获取最佳的控制效果,需要对PID控制器参数进行自适应整定。传统的基于补偿器控制算法容易产生外电场,使建筑电气设备受到干扰,无法对其控制参数进行在线调整,降低了建筑电气设备节能控制精度。现提出一种自适应模糊PID节能控制方法,将其应用于建筑电气设备的节能控制中,将模糊控制系统和PID控制器结合在一起组成自适应模糊PID控制器,绘制其结构图,通过模糊控制对PID控制器的参数进行自适应整定。分析了PID节能控制参数整定原则,依据PID参数整定原则对PID参数的模糊控制规则进行设计,将三角形函数作为隶属函数,给出PID参数自适应整定的详细过程,获取参数的精确调整值,将其输入PID控制器中,输出的即为节能控制结果。通过节能控制性能比较分析和抗参数失配能力比较的仿真证明,所提方法具有很高的节能控制性能和抗参数失配能力。; 彭勋; 关键词：建筑电气设备自适应节能控制

工作流技术在医疗信息整合工程中的应用分析被引量：1: 2016年; 医疗信息整合(IHE)诞生,旨在实现医疗信息的全面集成,为信息共享提供可用的框架。如何有效的利用IHE技术实现医疗信息的共享成为目前研究的热点。Petri网由于具备良好的结构特征,因此,在描述复杂系统时,能够保证所描述流程的合理性,同时,也为医疗信息系统工作流集成提供了一种形式化建模方法。以HIS系统为例进行了详细的说明,且验证了该集成方法的有效性。; 彭勋; 关键词：工作流 IHE HIS PETRI网

一个电子投递协议的改进: 2004年; 电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子投递协议中的两个缺陷,并给出了改进后协议的时限责任证明。; 彭勋董荣胜郭云川蔡国永

网络流量分析预测研究: 2012年; 本文主要针对k-means算法存在的问题,进行了改进,并运用该算法对对网络流量进行了分析预测研究。; 彭勋; 关键词：网络流量

全选清除导出

共1页<1>

彭勋