-
倪会娟
-
-
- 所属机构:华侨大学
- 所在地区:福建省 泉州市
- 研究方向:自动化与计算机技术
- 发文基金:福建省高等学校新世纪优秀人才支持计划
相关作者
- 罗继亮
- 作品数：124被引量：141H指数：7
- 供职机构：华侨大学
- 研究主题：PETRI网 离散事件系统 可编程逻辑控制器 监控器 梯形图
- 陈雪琨
- 作品数：15被引量：11H指数：2
- 供职机构：华侨大学
- 研究主题：PETRI网 可编程逻辑控制器 梯形图 自动转换 梯形图程序
- 陈珑
- 作品数：10被引量：2H指数：1
- 供职机构：华侨大学
- 研究主题：门电路 FPGA系统 组合逻辑 PETRI网 逻辑程序
- 邵辉
- 作品数：71被引量：87H指数：5
- 供职机构：华侨大学信息科学与工程学院
- 研究主题：圆盘锯 石材 异型石材 PETRI网 液压挖掘机
- 一种将PLC定时器模块转换成普通Petri网的方法
- 本发明一种将PLC定时器模块转换成普通Petri网的方法，实现了从定时器模块到普通Petri网模型的自动转换，所得Petri网模型能够准确描述PLC定时器的动态行为。因此，通过本发明可以利用Petri网来实现PLC程序分...
- 罗继亮温世刚倪会娟
- 文献传递
- 基于Petri网的AGV系统的PLC程序设计
- 随着现代化物流技术的飞速发展，自动导引运输车（Automated GuidedVehicle，AGV）系统已经在自动化物流系统，汽车制造业等领域得到广泛的应用，具有自动化程度高、应用灵活和成本低等优点。如何解决AGV系统...
- 倪会娟
- 关键词：可编程控制器PETRI网顺序控制梯形图
- 文献传递
- 采用普通Petri网的自动化立体仓库系统的PLC程序设计被引量：6
- 2014年
- 以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.
- 倪会娟罗继亮
- 关键词：自动化立体仓库系统可编程逻辑控制器PETRI网梯形图
- 一种将PLC定时器模块转换成普通Petri网的方法
- 本发明一种将PLC定时器模块转换成普通Petri网的方法，实现了从定时器模块到普通Petri网模型的自动转换，所得Petri网模型能够准确描述PLC定时器的动态行为。因此，通过本发明可以利用Petri网来实现PLC程序分...
- 罗继亮温世刚倪会娟
- 文献传递
- 基于普通Petri网的梯形图中接通延时定时器的建模方法
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法,将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构.结果表明该Petri网能...
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图建模方法
- 文献传递
- 基于普通Petri网的梯形图中接通延时定时器的建模方法被引量：1
- 2014年
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图
- 基于Petri网的自动化立体仓库系统的PLC程序设计方法
- 本发明的基于Petri网的自动化立体仓库系统的PLC程序设计方法，包括如下部分:1)建立自动化仓库系统出库流程的对象Petri网模型；2)建立自动化仓库系统的闭合Petri网模型；3)将闭合Petri网模型转换为PLC梯...
- 宴来成陈珑倪会娟邵辉罗继亮
- 文献传递
