安全支付协议的设计与验证研究

安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。     

在NetBill交易协议中引入对商家的时限责任的追究

NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为，并通过在NetBill交易协议中引入受信任的时间戳服务器的方法，使得修改后的NetBill交易协议能够支持对商家的时限责任的追完。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。     

入侵检测技术在医院网络安全中的应用探讨

信息化发展对医院来说非常重要,其中网络安全是重中之重.本文提出了入侵检测的分类,以及检测的技术和方法,为医院的网络安全系统的构建提供了指导.     

基于Factory Talk的涂装车间工艺参数配置视图的设计与应用研究

MRAI涂装车间工艺参数依据控制计划的变化而调整.为提高工艺参数的可视化、提高更改工艺参数的效率、完善人机交互系统,工艺参数配置视图以原设备中控系统为基础而搭建.本文通过对现场使用设备中控的需求进行了调研工作,分析了通过参数化、模板化的人机交互工程界面监视并控制车间全部工艺参数的可行性,并详细阐述了MRA1涂装车间基于...     

浅谈基于Factory Talk的设备故障报警数据采集与分析的应用

MRAI喷漆车间设备使用罗克韦尔品牌PLC,中控系统使用Factory Talk软件。为提高对设备故障报警数据的分析能力,配置Factory Talk软件附件对设备故障报警数据记录进行配置、采集,使用Excel表格以及Tableau对数据进行处理。本文通过对使用的软件从功能上进行了调研准备,分析了从故障报警数据创建、采集、导入至文件、数据处理、数据可视化的可行性,并详细阐述了基于Factory Talk的设备故障报警数据采集与分析的应用案例。该模型经试验检测与实际运行,能够直观表现车间级设备故障的核心问题,辅助预防性维修策略,具有一定的推广应用价值。     

网络流量分析预测研究

本文主要针对k-means算法存在的问题,进行了改进,并运用该算法对对网络流量进行了分析预测研究。     

一个电子投递协议的改进

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

基于模糊Petri网和Genetic-PSO算法的动态不确定性知识表示方法

针对复杂系统中不确定性信息的演变特性,提出对其动态适应的基于模糊Petri网和遗传-粒子群(GPSO)算法的不确定性知识表示方法.在基于模糊Petri网的不确定性知识表示模型的基础上,对该模型进行精确数学表示,并采用GPSO实现对不确定性表征参数的动态求解和自学习.最后通过在运载火箭伺服机构故障诊断上的应用验证基于GPSO的自学习模糊Petri网的有效性.