论文部分内容阅读
论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的Petri网模型,从而完成对Socks协议运行机制和实现原理的分析。
基于Petri网的Socks协议建模与分析
【摘 要】
：
论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的Petri网模型,从而完成对Socks协议运行机制和实现原理的分析。
【机 构】
：
四川大学计算机学院
【出 处】
：
计算机应用研究
【发表日期】
：
2006年07期
其他文献
针对发生的几起高压单芯电缆线路护层接地系统发热问题,分析了造成电缆护层接地系统发热缺陷的原因,并提出了预防措施。
我国智能化变电站发展较快,所以对站内交直流电源需求逐渐增加,传统变电站不能适应目前发展需求,需要向着智能化发展。大量的电器进入人们的生活当中,电力系统正在面临着前所
通过对信息过滤一般过程的分析,提出了一种基于内容的网络异常信息过滤方法。在源信息采集方面,建立了网络信息捕获构架,基于协议分析实现网络数据的提取;在信息内容处理方面,采用设立切分标志进行文本信息的预处理,在此基础上,基于向量空间模型实现文档的结构化表示;在信息匹配算法方面,通过计算文档向量之间的相似度,实现网络信息的有效过滤。
电力供给是现代企业生产和经营的基础条件之一,输配电线是城市供电核心网络之一,输配电系统运行的稳定性和可靠性直接影响了企业生产和经营的效率,因此应当尽可能地避免输配
文章主要针对风电机组安全链系统进行了简介,对华创风机安全链系统的组成进行了分析。
电气化铁路的重要性以及相应的牵引供电系统的可靠性分析越来越受到人们的关注。基于此,文章针对电气化铁路牵引供电系统可靠性进行了探究,以供参考。
隔离开关属于高压电路中重要的设备,能否对隔离开关状态进行判断与高压作业生产过程的安全性具有密切联系。本文所提出的将激光感应技术应用在高压隔离开关动作特性状态监测
沙特吉赞项目作为中国电建承建的阿美石油公司最大的电站项目,与国内项目相比出现许多差异。本项目作为EPC项目,业主并未将全部的调试工作交与我方,而是将预调试和非烃系统调
为了表示和处理AUV(Autonomous Underwater Vehicle,自治水下机器人)的心智状态及心智活动,对Rao和Georgeff的BD I逻辑进行了拓展,定义了一种含模态词(信念、目标、能力、意图、上一次、下一次、曾经、将会、总有、总会)的一阶模态时态混合逻辑系统———AML(AUV心智逻辑);基于Kripke可能世界语义模型给出了AML语义,构造了AML公理系统及演绎规则,并证