论文部分内容阅读
根据着色Petri网的建模的方法和工具CPNT001．对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树，通过可达树的方法对协议模型的正确性进行验证。
基于着色Petri网的TCP协议的形式化描述及验证
【摘 要】
：
根据着色Petri网的建模的方法和工具CPNT001．对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树，通过可达树的方法对协议模型的正确性进行验证。
【机 构】
：
阜新高等专科学校
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2009年6期
其他文献
依据研究获得的液压自紧身管残余应力理论模型，揭示了自紧身管内表面初始残余应力大小及沿壁厚的分布规律。应用Sachs镗削残余应力测试理论与方法，实验确定了实弹射击一定射弹
基于极点配置设计的两回路驾驶仪，分别从快速性和稳定性角度分析了加速度计杠杆效应对驾驶仪性能的影响，且借助根轨迹和反馈分析等方法阐明了影响机理。从快速性角度分析，发现正
解析形式的相位函数是进行水下光传输仿真研究的一个重要特性参数，以Petzold平均粒子相位函数作为标准，比较了OTHG相位函数、Hahrin相位函数和Founier-Forland（FF）相位函数解析模
为了解决鱼雷倾斜转弯机动过程中俯仰、偏航与横滚通道间存在较强的运动、流体动力耦合的问题，将其控制系统表示为具有非匹配不确定性的关联大系统形式，采用扰动补偿的方法设计
描述一个利用面向对象技术设计的药品管理系统．对开发方法、设计过程和系统功能进行了详细的描述。该系统能够很好地反映出药品进货、存储、查询情况。同时，该系统的完成对于Vi
《纳米结构与纳米材料》是我校材料科学与工程材料专业开设的一门专业选修课,其目的是拓宽学生的知识面,使其了解材料科学研究的前沿领域,认识科学研究的正确思维方式,并学到