基于XML的SIPN表示与解析研究

基于XML设计了一种Petri网（SIPN）的交换格式。XML是具有数据描述功能、高度结构性及可验证性的语言,首先设计了SIPN的Schema文件,并根据该Schema文件将SIPN图形转化成XML格式文件,该文件包含了SIPN的图形和语义信息。利用DOM对该XML格式的SIPN模型进行解析,可以提取模型的关键信息,为应用程序提供一个接口,这可以推动基于Petri网的应用程序开发,实例证明该方法具有很好的实用性和可扩展性,可以用于其它扩展Petri网格式的设计。     

PLC编程器核心模块设计

阐述了一种以新型PLC装置为基础的手持编程器的设计,重点描述了编程器核心模块的结构和软件设计方法。编程器以CAN作为主通讯接口,ARM7为控制器,构建了uC/OS-Ⅱ内核的实时操作系统;实现了远距离编程、监控、调试PLC控制系统,脱机编程及直接与计算机交换数据的功能,适合工业现场使用。     

浅析PLC可控制编程器的技术应用分析

众所周知,电机是自动控制系统中不可或缺的重要组成部分,主要用于接收经自动控制系统处理后的信号,并将其转化为直线位移、角位移、角速度等再次输出。本文主要对PLC可控制编程器在控制电机同步运转的技术应用进行研究,对你PLC可控制编程器的特点、应用范围与应用优势进行简单介绍,通过实践操作,观察PLC可控制编程器在控制电机同步运转中的应用效果,对PLC的可行性进行分析,以促进PLC技术的合理应用与良好发展。     

M68HC08 MCU通用编程器的设计与实现

在灵活应用基板-适配器方案的基础上,提出了一种新的针对M68HC08系列MCU的通用编程器的软硬件实现方法。该编程器采用新型可编程振荡器芯片LTC6903程控输出可变的高精度频率,设计新颖。     

基于编程语言结构的通用配置代码生成方法

设计一种可以生成不同编程语言配置代码的通用生成装置。提出一种基于编程语言结构的用户描述规范,用户使用简单的语法编写一个按照该规范描述目标代码数据结构的模块即可生成相应的可配置代码,并能生成多种编程语言的可配置代码文件。该装置可以方便地移植到各种开发语言环境的软件或硬件系统中,减少软件或硬件代码配置工作的开发工作量和开发时间。     

M68HC08系列双排直插式MCU通用编程器设计

在分析比较M68HC08系列芯片进入监控状态不同条件的基础上，讨论了基于MC68HC908JB8芯片的通用编程器的硬件和软件设计思想，同时给出新型号芯片的加入方法。该通用编程器由基板和适配头两部分组成，具价格低廉、使用方便、易扩充等特点，且有一定的使用价值。     

基于CAN的嵌入式PLC和手持编程器通信设计

为解决嵌入式PLC和手持编程器的通信问题,分析了嵌入式PLC和手持编程器的通信工作过程,提出了采用LPC2478以及其自带的CAN控制器进行通信节点硬件设计.针对系统通信特点,设计了CAN扩展协议,并重点介绍了CAN扩展协议的格式含义及采用uC/OS-Ⅱ实时操作系统和CAN扩展协议进行系统软件应用程序的设计及编写方法.通过实验结果表明,该设计可以实现手持编程器和嵌入式PLC远程下载、读取、监控等通信功能.     

远程测试通用平台的工作流模型研究

工作流技术是为提高工作效率而提出的,主要用于业务过程的自动化。远程测试从确定测试目的、组卷到成绩统计分析是个非常复杂的过程,应用工作流技术设计的远程测试通用平台具有高效性和自动性。研究了远程测试通用平台工作流的理论模型,并应用Petri网技术进行了描述。     

形式化方法和信号解释Petri 网在PLC 编程中的应用

针对传统的PLC 编程方式在解决复杂控制问题时存在的缺陷,采用一种将形式化和信号解释Petri 网(SIPN)应用于PLC 程序设计的方法. 通过一个机器人焊接单元的例子来说明这一设计过程,首先建立系统控制算法的信号解释Petri 网模型,验证其是否满足基本Petri 网的安全性、活性和可逆性的特征,然后利用模型检测工具Cadence SMV 对系统模型进行验证和确认(V&V),检验其是否满足SIPN 的确定性、终止性和输出正确性,从而避免了控制算法的设计过程中可能出现的并发、冲突和死锁等事件,由此设计出具有更高的正确性和可靠度的PLC 程序.     

HC08系列微控制器编程调试器通用性设计

针对HC08系列不同型号微控制器在编程调试时的差异,提出HC08微控制器通用编程调试器的总体设计方案,给出通用性的软、硬件设计要点,介绍基于不同目标微控制器的擦写子程序的设计思想和实现方法。实验结果表明,该方案实现的编程调试器适用于HC08全系列的微控制器,通用性较好。     

基于Petri网的PLC系统设计分析与远程监控

Petri网在离散事件的动态仿真中有着广泛的应用,而如何将Petri网应用到离散制造系统中具有重大的价值.以离散制造业中最常见的搬运机械手模型为基础,提出了它的Petri网模型设计方法,并且利用科学的转换方法将Petri网转化为梯形图,应用到在制造业中广泛使用的PLC系统中.利用这种设计方法,不仅能够轻松地将Petri网应用到实践当中,还能够对模型的死锁、生产周期和不变量进行定量的分析,给制造系统进行管理控制、故障诊断和现场监控带来方便.     

面向对象的可编程控制器程序设计方法

通过总结目前普遍使用的组合逻辑函数法、功能转移图法，Petri网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法，依照面向对象技术的思想，详细阐述了在可编程控制器程序设计中如何构造底层的基本控制对象类及其高层的对象模型封装类，给出了外部信号的定义并且例举了对象模型同外部信号的交互情况，最后再深入分析面向对象方法的优良性能。     

基于XML的PLC数据描述

将PLC梯形图逻辑表示为XML数据,不同于采用二叉树来描述节点连接结构。根据不同的PLC设备,配置相应的语言转换程序,可将XML结构数据自动转换成PLC设备的编程语言,如指令表或结构文本。若以通用单片机系统作为PLC底层硬件,则可将XML数据转换为汇编语言或C语言等,从而实现PLC功能。面向新的IEC61131-3标准,采用XML作为与硬件无关的PLC的编程数据具有极大的灵活性和扩展性。     

基于SPN模型的物流采购决策

在电子商务物流管理系统(ELMS)中,针对采购决策存在的供应商选择和订单选择问题,根据ELMS采购流程和多属性决策方法得到供应商选择调度算法,利用基于随机Petri网的多服务器多队列模型实现订单选择策略。性能分析结果表明,该方法能有效减少ELMS系统的响应时间,并提高其吞吐率。     

基于PROFlBUS－DP的PLC控制系统

针对PROFlBUS－DP现场总线的功能和特点,并且以PROFlBUS－DP现场总线为基础,通过组态实现了西门子S7－300作为主站与三台智能从站S7－200之间的EM277进行通信,从而可以监控三台S7－200下的设备的运行。经过实验验证,整个系统完全可以通过HMl设备端对S7－300、S7－200及其设备的运行进行监控。     

基于万有引力定律的人脸识别方法

把万有引力定律引入到人脸识别中,构建基于万有引力定律的人脸识别模型。用传统的主成分分析方法对图像进行特征提取,建立图像与图像之间的相似度模型以及各个类别对图像潜在作用力的表达式,根据该作用力大小决定图像所属类别。在ORL人脸数据库上的实验表明,该模型有一定的可行性。