基于网络的熔铸装药生产线控制系统

以PLC可编程控制器和计算机为核心控制设备，采用基于以太网和CC—Link现场总线的技术，在分散控制和单元控制的基础上，全面实现集中管理和监控。其采用2台计算机组成冗余系统；同时还采用人机界面作为参数输入、状态监控的备用手段，操作上按自动、手动两种模式设计；控制程序采用梯形图方式编写，包括初始化程序、主程序、复位程序等。     

航空电子综合系统可靠性建模与分析

文中通过动态故障树与随机Petri网综合分析方法分析航空电子综合系统可靠性,确定了或门、与门、表决门和热贮备门等典型故障逻辑门的Petri网模型,建立了航空电子综合系统的可靠性Petri网模型,将面向对象的程序设计思想应用到可靠性Petri网模型仿真过程中,为航电系统的设计和维护进行了探索.     

基于RTLinux的软件控制器

基于RTLinux的软件控制器PLC系统,预先定义API函数,利用非实时层框架函数调用API实现相关功能.调用梯形图编辑API时,PLC系统集成梯形图编辑功能,编辑完成的梯形图文件由API进行管理和译码编译.梯形图扫描API,通过读取I/O状态和编译后的梯形图数据结构,进行逻辑解算并将结果传送至驱动模块.驱动模块再调用不同硬件板卡驱动API,最后将解算结果写至硬件板卡端口或从硬件端口上读取I/O状态信号.     

基于S7-200PLC 全自动捆扎机控制系统

捆扎机采用继电-接触器控制系统,功能单一,存在多种缺点。在分析控制要求的基础上,采用西门子S7-200可编程控制器。设计了捆扎机主电路图、PLC输入输出连接电路图和制动及加热电路。完成了捆扎机循环工作流程图和相应梯形图程序。对PLC控制系统进行线路连接和机电联调,捆扎机能实现手动、自动、连续3种功能,达到控制要求。     

系统体系结构设计的一致性约束和检验

应用层次着色Petri网建立的系统可执行模型,以静态数据约束为基础,以动态行为验证为主体.通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束.再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为,实现动态数据一致性检验.并以区域防空系统为例,通过拦截和执行功能的动态一致性检验,建立拦截和控制可执行模型,由仿真确定设计模型的动态一致性.     

多无人机协同工作流建模与分析

多无人机协同执行任务能够提升无人机的作战效能和生存性,而协同方法是协同的基础;描述了基于工作流的多无人机协同方法;通过分析单个无人机工作流执行过程,建立单个无人机工作流,研究了协同工作过程;引入Petri 网理论,使用基本 Petri 网形式化描述协同工作流,构建了多无人机协同工作流 Petri 网模型;针对所建立的协同工作流 Petri 网模型,通过构建和分析相应的可达图,验证了多无人机协同工作流的有效性;结果表明：所建立的多无人机协同工作流是有效的,基于工作流的协同方法是可行的。     

可编程控制器在1600T挤压机上的应用

采用可编程控制器对1600T挤压机控制系统的改造,选用E-64HR主机和E-642R扩展单元各一台作为系统的控制中心.通过它和控制按钮转换开关及采集受控对象的现场行程开关信号进行程序运算,输出对应控制信号控制压机,完成生产.并以液压缸"复位"动作顺序为例,把动作顺序转换成梯形图.     

PLC在磷酸生产过程自动化中的应用

磷酸生产过程自动监控系统由工控机和PLC组成,对生产过程全程控制和管理。工控机通过监控画面对PLC进行参数设置、设备启/停操作、串级调节算法,监视执行机构工作状态,接受参数后PLC执行闭环控制。硬件使用电源模块、AO模块、CPU、编程器、外设端口和与PLC主机组网专用网络口。通过Modsoft软件梯形图语言和语句表对PLC编程、程序管理,实现联机调试、在线程序维护。监控画面使用组态软件Intouch7.0设计。计算机与PLC间采用Modbus Plus协议,监控画面采集使用DDE协议。     

面向对象分层Petri网在对抗系统建模中的应用

从面向对象的自顶向下的设计方法入手,利用Petri网的替换及合成运算,分析了对抗系统建模的顶层Petri网模型。通过进一步细化和分解,利用实际系统逻辑含义分析了各层Petri网的结构性质。为利用Petri网构造高层构建块和分解建模系统提供了一种思路。     

基于Petri 网的防空兵群指挥信息结构建模分析

针对防空兵群决策组织结构的合理性问题,运用Petri网方法对防空兵群指挥信息结构进行建模分析。从指挥信息流程的角度出发,结合基本决策单元的指挥信息结构模型和防空兵群指挥组织结构,对其时延性、信息流路径和最大流通率进行分析。结果表明:该方法能得到按级指挥体制下的防空兵群指挥信息结构的Petri网模型,为防空兵群决策组织结构的设计和完善提供参考。     

单兵系统过程模型研究

为了设计和论证单兵系统,提高系统的各项效能,需要对系统进行过程模型研究。系统过程建模采用了IDEF0方法和Petri网方法,并通过关联矩阵的方法,实现了IDEF0模型向Petri网模型的转化。IDEF0方法得到的过程模型,直观地描述了系统的业务过程和信息流;将IDEF0模型转化为Petri网模型,并对模型进行动态仿真,得到的统计数据,为系统设计提供依据。采用两种方法建模的优势在于可以兼顾模型的直观描述特性和动态仿真能力。     

基于Petri 网的给水保障方案建模与优化

针对现代战争中给水保障面临着保障环境复杂,保障空间扩大,净水难度大,供水保障强度大等问题,提出一种基于Petri网的给水保障方案。利用Petri网可对系统资源动态和静态分析的特点,在分析给水保障方案流程的基础上,建立基于Petri网的保障方案流程模型,并对模型进行了详细分析,给出优化的具体方法,实现了给水保障根据战场态势动态调整的效果。该模型提高了给水保障的能力,使给水保障适应现代战争的要求。     

PLC编程技术

LC编程技术包括:经验设计法,逻辑设计法、时序图设计法、顺序控制设计法等编程方法.以通风机监视工程为例,采用顺序控制法设计,其编程步骤分为:分析控制要求、设定控制位、确定I/O点数、绘制功能图表及梯形图、书写指令表语言、程序测试与调试.     

基于分层着色Petri网的飞机战伤抢修系统建模

飞机战伤抢修的系统模型,基于分层着色Petri网理论建立.即通过引入复杂库所从复杂的主Petri网中划分出子网对系统进行建模,并用复杂库所替换可从主Petri网中分离的子网,这些子网在原来的主Petri网中留下的位置,由一个等价的复杂库所代替,从而简化主Petri网.     

工程装备维修能力优化评估系统的Petri网仿真模型

结合我军的技术保障制度和装备的具体维修过程,考虑装备维修能力的指标体系及影响因素,建立工程装备维修过程的Petri网模型,充分反映装备维修能力与其影响因素之间的关系,并通过装备维修能力评估实施过程这一实例,表明工程装备维修能力优化评估系统的开发具有现实意义。     

运用工作流管理系统的装备保障指挥模型

采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC 开发了图形化的建模工具.以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言.用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能.     

基于Petri网工作流网在舰载机出航准备建模中的应用

基于Petri网的工作流网的舰载机出航准备建模,将舰载机出航准备工作流网分为:与舰载机起飞降落紧密相关的活动、飞行甲板上的舰载机的活动和进入机库舰载机的活动.任何一架舰载机在航母降落,代表该舰载机的托肯会由C1库所进入工作流网,使整个工作流网启动.每个托肯根据航母指挥机构的命令选择不同流向,并向指挥机构显示舰载机出航准备状态.当舰载机接到起飞命令,升空作战时,流程结束.     

基于MC的电子对抗情报系统ESCPN模型性能分析

针对基本Petri网对电子对抗情报系统描述能力不够的缺点,采用层次化的结构和面向对象的思想,提出一种扩展的随机着色Petri网（Extended Stochastic Coloured PetriNet,ESCPN）模型。对Petri网结构、建模元素、执行规则等进行扩充,分析基于MC状态方程的各项性能指标,以电子对抗情报系统中的初级电子目标生产子系统ESCPN模型为例,应用所建立的性能指标对系统的时间性能进行分析。分析表明,ESCPN模型和连续时间的马尔可夫链（MC）是同构的,能加强模型的描述和分析能力。