检索结果-内蒙古大学图书馆

东南大学学报（自然科学版） 2004年第B11期34卷 101-107页

作者：李俊戴先中孟正大东南大学自动控制系南京210096

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形... 详细信息

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .

关键词：可重构制造系统信号解释petri网可重构逻辑控制器 CORBA组件模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机系统应用 2014年第9期23卷 198-203页

作者：王芳芳雷建和张丹聂余满高志青岛理工大学自动化工程学院青岛266033 安大略理工大学工程及应用科学学院中科院合肥智能机械研究所合肥230031

针对传统的PLC编程方式在解决复杂控制问题时存在的缺陷,采用一种将形式化和信号解释petri网(SIPN)应用于PLC程序设计的方法.通过一个机器人焊接单元的例子来说明这一设计过程,首先建立系统控制算法的信号解释petri网模型,验证其是否满... 详细信息

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

关键词：形式化方法信号解释petri网模型检测机器人焊接单元

来源：评论

学校读者我要写书评

暂无评论

基于信号解释petri网的可重构逻辑控制器分析与设计

基于信号解释Petri网的可重构逻辑控制器分析与设计

引用

江苏省自动化学会七届四次理事会暨2004学术年会青年学者论坛

作者：李俊戴先中孟正大东南大学自动控制系东南大学自动控制系东南大学自动控制系

为适应可重构制造系统这一新生产模式的顺序控制,本文提出了基于信号解释petri网的可重构逻辑控制器分析和设计的方法.该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构.确定了可达图法和化简技术结合的SIPN模型形式分... 详细信息

为适应可重构制造系统这一新生产模式的顺序控制,本文提出了基于信号解释petri网的可重构逻辑控制器分析和设计的方法.该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构.确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤,采用透明度指标对模型进行评价,并给出控制器重构能力分析原则.接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中.分析结果表明设计的可重构逻辑控制器形式正确、有效,具有可重构能力.最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台,该软件采用CORBA组件模型的软组件技术开发.

关键词：可重构制造系统信号解释petri网可重构逻辑控制器 CORBA组件模型

来源：评论

学校读者我要写书评

暂无评论

基于SIPN的PLC通用编程器

引用

计算机工程 2009年第7期35卷 283-284,F0003页

作者：钟艳如洪磊桂林电子科技大学计算机与控制学院桂林541004

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类... 详细信息

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类型配置文件。根据机型选择,通过PLC通用处理器提取相应配置文件,与中间格式代码链接,重组代码并生成与机型适配的可执行程序。

关键词：信号解释petri网 PLC通用编程器配置文件 XML模式代码生成

来源：评论

学校读者我要写书评

暂无评论

基于SIPN和XML的PLC控制程序生成研究

基于SIPN和XML的PLC控制程序生成研究

引用

作者：高晓锋桂林电子科技大学

学位级别：硕士

PLC(Programmable Logic Controller)被广泛地应用于工业控制领域,随着问题规模的增大,控制复杂性的增加,传统的 PLC编程方法不适应控制规模的增大以及对控制严格性要求,而且编程效率也比较低。petri网是一种适合描述并发、异步、分布... 详细信息

PLC(Programmable Logic Controller)被广泛地应用于工业控制领域,随着问题规模的增大,控制复杂性的增加,传统的 PLC编程方法不适应控制规模的增大以及对控制严格性要求,而且编程效率也比较低。petri网是一种适合描述并发、异步、分布式系统的工具,在制造和控制系统建模分析中得到广泛应用。信号解释 petri网(SIPN,Signal Interpreted petri Net)是在普通petri网的基础上扩展加入输入信号和输出信号,输入信号与变迁关联,是变迁发生的条件,输出信号与每个位置关联,表示在该位置系统的输出控制信息。本文基于SIPN,对控制系统建模分析,并基于XML(eXtensible Markup Language)设计了SIPN的Schema文件,然后根据该Schema文件将SIPN模型转化为XML格式的文件,利用Java语言的DOM(Document Object Model)和SAX(Simple API for XML)接口对这个文件进行解析,提取出SIPN模型的关键信息,分析了对模型进行验证的方法,最后研究了由该模型到控制系统 PLC程序的转换算法。\n 本文主要进行了以下几方面的研究:(1)归纳了利用SIPN对PLC控制系统进行建模的一般方法;(2)基于XML设计了SIPN的Schema文件,从而可以把SIPN模型转化为XML格式的文档,实现了SIPN模型的计算机表示;(3)通过Java语言的DOM,SAX接口解析SIPN模型的XML文档,提取出模型的关键信息,为开发处理模型的应用程序提供一个接口;(4)分析了SIPN模型的验证方法,研究了SIPN模型到PLC程序的转化算法;(5)利用Java语言开发了一个能够解析符合本文Sehema定义的XML文档的工具,实现了SIPN模型信息的自动提取,以实例说明上述方法的实用性和有效性。

关键词：可编程逻辑控制器控制程序信号解释petri网 XML文件转换算法

来源：评论

学校读者我要写书评

暂无评论

基于SIPN的PLC程序自动生成研究

基于SIPN的PLC程序自动生成研究

引用

作者：洪磊桂林电子科技大学

学位级别：硕士

可编程逻辑控制器(PLC)由于具有很高的可靠性和强大的处理能力,在工业控制系统中被广泛采用。目前PLC程序自动生成软件基本都针对单机环境和特定的编程语言而开发,如何设计一种适用于各种PLC且使用简单可靠的编程软件,具有重要意义。\n ... 详细信息

可编程逻辑控制器(PLC)由于具有很高的可靠性和强大的处理能力,在工业控制系统中被广泛采用。目前PLC程序自动生成软件基本都针对单机环境和特定的编程语言而开发,如何设计一种适用于各种PLC且使用简单可靠的编程软件,具有重要意义。\n 信号解释petri网(SIPN,Signal Interpreted petri Net)是一种扩展的petri网工具,将petri网中的元素赋予了确定意义的输入/输出功能,强调外界信号与控制系统的关系,很适合描述PLC控制系统的行为。本研究以SIPN作为理论基础,旨在为PLC控制系统的程序自动生成提供一套可行的理论方案。主要完成的工作有:\n (1)给出了PLC控制系统的SIPN建模方法。根据PLC控制系统的特点,归纳了SIPN对其进行建模的一般步骤。并引入时间信号解释petri网(TSIPN)建立含时间因素的控制系统模型。\n (2)提出了SIPN及TSIPN模型到PLC程序的转换算法。通过分析SIPN模型与PLC控制程序之间的映射关系,设计了迁移引发条件函数和位置输出控制函数的生成规则及SIPN模型到PLC程序的转换算法。并在此基础上扩展了TSIPN模型到PLC程序的转换算法。\n (3)设计了生成PLC程序的通用后置处理器。针对不同机型的PLC系统,抽象出各自的系统特性信息,生成统一模式的XML类型的配置文件。通用后置处理器根据机型的选择,提取出相应的配置文件,与源程序链接,并重组代码,生成与机型适配的可执行程序。\n (4)开发了基于SIPN的PLC程序自动生成的原型系统。在Java编程环境下,开发了PLC程序自动生成的工具。该工具利用转换算法及后置处理实现不同机型PLC程序的自动生成。\n 通过以上四个方面的研究,基本实现了SIPN模型到PLC程序的自动转换,为PLC编程软件的研究提供了一条新的出路。

关键词：信号解释petri网可编程逻辑控制器转换算法后置处理 PLC程序

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机与数字工程 2009年第6期37卷 144-148页

作者：高晓锋冯勇河南科技大学现代教育技术与信息中心洛阳471003

基于XML设计了一种petri网(SIPN)的交换格式。XML是具有数据描述功能、高度结构性及可验证性的语言,首先设计了SIPN的Schema文件,并根据该Schema文件将SIPN图形转化成XML格式文件,该文件包含了SIPN的图形和语义信息。利用DOM对该XML格式... 详细信息

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

关键词：可扩展标记语言 petri网 petri网标记语言信号解释petri网

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：