您的位置: 专家智库 > >

福建省自然科学基金(2011J01352)

作品数:6 被引量:11H指数:2
相关作者:王飞罗继亮倪会娟彭翔金福江更多>>
相关机构:华侨大学更多>>
发文基金:福建省自然科学基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术经济管理电子电信更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信

主题

  • 2篇自动机
  • 2篇离散事件系统
  • 2篇PETRI网
  • 1篇调度
  • 1篇调度方法
  • 1篇调度分析
  • 1篇学习速率
  • 1篇有限状态自动...
  • 1篇神经网
  • 1篇神经网络
  • 1篇实时系统
  • 1篇收敛速度
  • 1篇死锁
  • 1篇速率
  • 1篇速率自适应
  • 1篇梯形图
  • 1篇人工神经
  • 1篇人工神经网络
  • 1篇状态自动机
  • 1篇自动化

机构

  • 5篇华侨大学

作者

  • 4篇王飞
  • 2篇罗继亮
  • 1篇倪会娟
  • 1篇聂倩楠
  • 1篇金福江
  • 1篇彭翔
  • 1篇余婷

传媒

  • 2篇华侨大学学报...
  • 1篇清华大学学报...
  • 1篇自动化仪表
  • 1篇江南大学学报...
  • 1篇Chines...

年份

  • 3篇2014
  • 3篇2012
6 条 记 录,以下是 1-6
排序方式:
采用普通Petri网的自动化立体仓库系统的PLC程序设计被引量:6
2014年
以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.
倪会娟罗继亮
关键词:自动化立体仓库系统可编程逻辑控制器PETRI网梯形图
基于学习速率自适应的脉冲神经网络快速学习方(英文)被引量:2
2012年
For accelerating the supervised learning by the SpikeProp algorithm with the temporal coding paradigm in spiking neural networks (SNNs), three learning rate adaptation methods (heuristic rule, delta-delta rule, and delta-bar-delta rule), which are used to speed up training in artificial neural networks, are used to develop the training algorithms for feedforward SNN. The performance of these algorithms is investigated by four experiments: classical XOR (exclusive or) problem, Iris dataset, fault diagnosis in the Tennessee Eastman process, and Poisson trains of discrete spikes. The results demonstrate that all the three learning rate adaptation methods are able to speed up convergence of SNN compared with the original SpikeProp algorithm. Furthermore, if the adaptive learning rate is used in combination with the momentum term, the two modifications will balance each other in a beneficial way to accomplish rapid and steady convergence. In the three learning rate adaptation methods, delta-bar-delta rule performs the best. The delta-bar-delta method with momentum has the fastest convergence rate, the greatest stability of training process, and the maximum accuracy of network learning. The proposed algorithms in this paper are simple and efficient, and consequently valuable for practical applications of SNN.
方慧娟罗继亮王飞
关键词:脉冲神经网络速率自适应自适应学习速率自适应方法人工神经网络收敛速度
模糊离散事件系统的分散控制被引量:1
2012年
针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。
聂倩楠王飞郝茂森
关键词:模糊离散事件系统自动机
Mealy机的实时系统调度方法
2014年
为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-time Petri网的最优合法序列.通过实例验证表明:所提出的方法具有较好的效果.
汲洋弘康王飞余婷
关键词:实时系统MEALY机PETRI网调度分析
有限状态自动机产生式推理的一般性建模方法被引量:1
2014年
自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以进行多条产生式推理的一般性模型,且给出了建模流程图。最后,通过实例分析验证了由一般性建模流程构建的推理模型的正确性。推理模型可以充当故障诊断专家系统的辅助决策系统,具有较好的现实意义和实用价值。
彭翔王飞
关键词:有限状态自动机故障诊断
离散事件系统的无死锁分散监控被引量:1
2012年
该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。
王飞金福江罗继亮
关键词:离散事件系统无死锁
共1页<1>
聚类工具0