论文部分内容阅读
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础.
COPS协议的分析及其Petri网建模
【摘 要】
：
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础.
【机 构】
：
云南大学数学系
【出 处】
：
计算机工程
【发表日期】
：
2004年7期
其他文献
针对通用文件系统处理流媒体文件效率较低的问题,提出了一种基于'簇'的文件数据组织结构来提高文件系统的吞吐量.实验表明,在Linux下按此组织结构改造后的Ext2与原Ex
给出了Banach空间中一类广义集值混合非线性隐拟变分包含问题，通过对m-增生映象运用Nadler定理和隐预解算子技巧，构建了这类广义变分包含的迭代算法，并证明了其解的存在性和由迭
介绍了DES和3-DES算法的概要,给出了一种电路实现模型,并基于Xilinx公司的FPGA器件设计了IP核,描述了IP核设计中主要模块的设计方法.