您的位置： 专家智库 > >

陈珑

作品数：10 被引量：2H指数：1
供职机构：华侨大学更多>>
发文基金：教育部“新世纪优秀人才支持计划”福建省高校杰出青年科研人才培育计划项目福建省自然科学基金更多>>
相关领域：电子电信自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇电子电信
  • 1篇自动化与计算...

主题

  • 5篇电路
  • 4篇形式化
  • 4篇门电路
  • 3篇形式化验证
  • 3篇组合逻辑
  • 3篇FPGA系统
  • 3篇PETRI网
  • 2篇形式化验证方...
  • 2篇语句
  • 2篇时态逻辑
  • 2篇顺序控制
  • 2篇梯形图
  • 2篇梯形图程序
  • 2篇逻辑程序
  • 2篇逻辑系统
  • 2篇逻辑运算
  • 2篇可达图
  • 2篇计数器
  • 2篇仿真
  • 2篇PLC

机构

  • 10篇华侨大学

作者

  • 10篇陈珑
  • 9篇罗继亮
  • 2篇邵辉
  • 2篇倪慧娟
  • 1篇晏来成
  • 1篇倪会娟

传媒

  • 1篇华侨大学学报...

年份

  • 2篇2017
  • 1篇2016
  • 3篇2015
  • 4篇2014
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种判断梯形图程序的无“竞态”的方法
本发明涉及一种判断梯形图程序的无“竞态”的方法，将梯形图转化为包括多元组的关系图，如果梯形图的触点、线圈或者功能模块模拟而成的实结点不存在任何线路，使之沿任何一条线路都不能回到原点，则梯形图程序为无“竞态”。本发明所述的...
罗继亮黄颖坤陈珑邵辉晏来成
文献传递
一种将PLC加计数器转换为顺序Petri网的方法
本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131‑3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变...
罗继亮黄颖坤陈珑温世刚
文献传递
一种FPGA组合逻辑系统顺序规范的形式化验证方法
本发明公开了一种FPGA组合逻辑系统顺序规范的形式化验证方法，包括1)根据FPGA组合逻辑系统的操作顺序规范，得到一个VHDL程序；2)针对所述VHDL程序，建立Petri网模型；3)根据所述Petri网模型，建立可达图...
罗继亮陈珑黄颖坤
一种FPGA组合逻辑系统顺序规范的形式化验证方法
本发明公开了一种FPGA组合逻辑系统顺序规范的形式化验证方法，包括1)根据FPGA组合逻辑系统的操作顺序规范，得到一个VHDL程序；2)针对所述VHDL程序，建立Petri网模型；3)根据所述Petri网模型，建立可达图...
罗继亮陈珑黄颖坤
文献传递
一种基于Petri网的组合逻辑FPGA系统可达图的生成方法
本发明一种基于Petri网的组合逻辑FPGA系统可达图的生成方法，在组合逻辑FPGA系统的Petri网建模方法的基础上，以电路逻辑功能为考虑对象，并以电路系统在一个稳定输入状态下所对应的稳定的门电路逻辑运算输出为研究条件...
罗继亮陈珑黄颖坤倪慧娟
FPGA程序的形式化建模与分析方法研究
随着计算机、电子通信等技术的高速发展，国家对电子自动化应用的要求也在不断提高。现场可编程门阵列（Field Programmable Gate Array，FPGA）作为目前一项非常重要的数字化技术，被广泛应用于一些安全...
陈珑
关键词：FPGA系统逻辑程序芯片设计电路验证
基于Petri网的自动化立体仓库系统的PLC程序设计方法
本发明的基于Petri网的自动化立体仓库系统的PLC程序设计方法，包括如下部分:1)建立自动化仓库系统出库流程的对象Petri网模型；2)建立自动化仓库系统的闭合Petri网模型；3)将闭合Petri网模型转换为PLC梯...
宴来成陈珑倪会娟邵辉罗继亮
文献传递
一种基于Petri网的组合逻辑FPGA系统可达图的生成方法
本发明一种基于Petri网的组合逻辑FPGA系统可达图的生成方法，在组合逻辑FPGA系统的Petri网建模方法的基础上，以电路逻辑功能为考虑对象，并以电路系统在一个稳定输入状态下所对应的稳定的门电路逻辑运算输出为研究条件...
罗继亮陈珑黄颖坤倪慧娟
文献传递
FPGA组合逻辑程序的Petri网建模方法被引量：1
2015年
针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.
陈珑黄颖坤罗继亮
关键词：现场可编程门阵列组合逻辑PETRI建模方法
一种将PLC加计数器转换为顺序Petri网的方法
本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131-3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变...
罗继亮黄颖坤陈珑温世刚
文献传递
全选 清除 导出
共1页<1>
聚类工具0