【摘 要】
：
随着网络和IT技术的发展,现代工业控制开始逐渐走向网络化,制造设备入网成为当前的热点。为了规范多厂商生产的设备之间的通信行为,使这些设备之间具有互操作性,国际标准化组
【出 处】
：
华北电力大学(保定) 华北电力大学
论文部分内容阅读
随着网络和IT技术的发展,现代工业控制开始逐渐走向网络化,制造设备入网成为当前的热点。为了规范多厂商生产的设备之间的通信行为,使这些设备之间具有互操作性,国际标准化组织制定了制造报文规范(MMS)协议。MMS是OSI应用层的协议标准,也是一个通用的、独立于专用设备的国际标准体系。鉴于协议本身采用的描述方式多限于自然语言,不利于系统地理解和实现。本文从多种形式化分析工具中,选定Petri网对MMS通信服务进行描述、分析和验证,给出了操作员通信服务的Petri网模型,并通过可达性和不变性的分析验证了协议建模的正确性和合理性;定义了一种具有分层和嵌套性质的对象Petri网,对域和程序调用对象进行建模,分析了两个对象子系统之间的密切联系;最后给出了日志管理的Petri网模型及其在Jbuilder环境下的实现。
其他文献
随着计算机的普及和多媒体技术的发展,智能计算机辅助教育(ICAI)对多媒体课件制作的要求也向着“质高量大”的方向发展,利用平台系统来开发课件已成为多媒体课件设计的重要手
随着网络信息的发展,可扩展标记语言XML越来越多地被用于网络信息传输上,迅速成为网络数据表示和信息交换的事实标准。而XML在其语义和结构上的灵活性和可扩展性,也使得XML数
随着计算机和网络通信技术的迅猛发展,特别是为服装制造服务的三维人体扫描仪的出现,使得利用计算机技术实现数字化服装定制成为可能。电子量身定制服装eMTM(Electronic Made
企业应用集成(Enterprise Application Integration，简称EAI)是为了解决“信息孤岛”问题而提出的。传统的EAI主要有三种集成模型：表示集成、数据集成和商务流程集成。尽管这些
水下无人探测器系统处于一种复杂的水下环境当中，系统仿真试验具有很大的难度。环境的限制和资金的巨大耗费导致对水下无人探测器的建模、仿真、测试和训练复杂度增加，针对故障
迅速发展起来的无线网络使得人们可以更加方便快捷地通过其接入点连接到互联网，而不再受有线介质的困扰。但是，这种便携性给用户带来了“无限”服务的同时，也给网络带来了更多安
协议是网络的灵魂，随着互联网的飞速发展和各种新应用的不断出现，网络规模不断扩大，结构日趋复杂，这使得协议测试变得更为重要。协议工程的目的是减少协议开发过程中潜在的错误，提
蚁群算法(ACO)是一种模拟群体智能的算法，在解决基于离散空间的问题时表现出良好的性能。蚁群算法在数据挖掘中的应用还处于起步阶段，本文在研究前人研究成果的基础上，提出了Ant
本文对基于SVM的特征选择与集成学习的应用进行了研究。文章将SVM作为基学习器，在对已有的算法改进的基础上，提出了嵌入式特征选择EM-FS-1和EM-FS-2算法，结合集成学习技术和主成
随着计算机网络技术的发展，计算机网络和信息的安全问题也日益突出。无论是电子商务发展还是个人信息通信，相关信息数据及代码在Internet网上传输的安全性都需要用到加密和解密