导读:本文包含了自控网论文开题报告文献综述及选题提纲参考文献，主要关键词:Petri网,混杂控制,建模,监控器
自控网论文文献综述
万军,赵不贿[1]（2019）在《基于自控网系统的混杂控制》一文中研究指出混杂控制系统通常是复杂的非线性控制系统,难以用统一的模型进行建模. David和Alla提出的混杂Petri网,虽然可以解决一般混杂系统的建模问题,并得到了广泛的应用,但对于传统的如PID这类控制器,缺乏统一建模的能力.探讨了基于广义自控网系统的混杂控制方法,实现了对混杂控制器中监控器和数字控制器进行统一的Petri网建模.仿真实例设计了基于广义同步自控网系统的电加热炉控制系统,给出了可根据不同温度状态实施多种控制策略的变结构数字控制器模型,并详细分析了控制器的性能,证明了广义自控网系统具有十分强大的建模能力和广泛的应用前景.(本文来源于《控制理论与应用》期刊2019年09期）
万军[2]（2019）在《基于自控网系统的建模与控制研究》一文中研究指出Petri网自1962年Carl Adam Petri教授在他的博士论文中首次提出,至今已有50余年。Petri网是离散事件系统建模、分析与控制的一种重要工具,通过将不同学科领域的技术和方法融合到Petri网之中,使得Petri网理论得到了十分广泛应用,并持续不断地推动Petri网的发展。自控网系统是在普通Petri网的基础上加上控制机制得到的一类高级Petri网,具有比普通Petri网更强的描述能力。自控网系统的提出,架起了Petri网理论与现代控制理论之间的桥梁,促进了Petri网理论与现代控制理论之间相互融合与借鉴,拓展了研究领域。论文以自控网系统理论为主线,综合了图论、神经网络和现代控制理论中的相关技术和方法,在基于自控网系统的建模和分析以及控制应用等方面进行了深入的探讨和研究。论文主要内容与创新之处如下:(1)介绍了自控网系统以及各种扩展自控网系统的定义,重点分析了广义连续自控网系统和混杂自控网系统的性质,给出了采用各类扩展自控网系统为离散系统、连续系统和混杂系统建模的案例,充分展示了自控网系统有着重要的理论研究意义和广泛的应用性。在分析现有Petri网软件工具的基础上,采用面向对象技术设计开发了支持自控网系统的建模工具。所开发的软件支持各类自控网系统模型的创建和动静态性质分析,并具有对采用广义同步自控网系统建模的数字系统进行功能仿真以及VHDL代码生成的功能,从而为后续基于自控网系统的应用提供了有力的软件支撑平台。(2)研究了采用混杂自控网系统建模切换型混杂系统的方法。针对一般的切换系统,将系统离散动态和连续动态分别映射为混杂自控网系统模型的离散部分和连续部分。基于切换线性系统的混杂自控网系统模型,分别提出了结构可控性、稳定性和可达性的分析方法。首先在切换线性系统的结构可控性判别上,依据混杂自控网系统模型到有色并图的映射,以及结构可控性的图论判据,提出了在混杂自控网系统模型上直观有效地判定切换线性系统结构可控的条件。其次针对周期切换线性系统的稳定性分析问题,根据“周期切换线性系统的稳定性与一等价的非切换的线性系统稳定性相同”的结论,提出了在周期切换线性系统的混杂自控网系统模型上,通过图论方法巧妙地计算此等价的线性系统的状态矩阵特征多项式,进而判定原系统的稳定性。最后,提出了一种新的切换线性系统的可达性分析方法。该方法将混杂自控网系统的建模能力与混杂自动机的分析能力相结合,通过转换混杂自控网系统模型到混杂自动机模型,并借助于成熟的混杂自动机分析工具,从而得到系统可达集。(3)研究了基于自控网系统的两类解耦控制方法。针对线性系统的解耦控制问题,建立了线性定常受控系统的广义连续自控网系统模型,借鉴现代控制理论中状态反馈动态解耦的基本原理,提出了利用模型的图形结构,简单有效地判断系统的可解耦性以及求出解耦控制律的方法。在非线性多变量系统解耦控制方法上,利用自控网系统的权受控特性和变迁发生规则,建立了PID控制器的广义自控网系统模型,并在模型中引入学习机制,从而实现了系统控制和参数学习有机的统一,不同参数学习过程可并行执行,易于用FPGA工程实现。借鉴单神经元PID解耦控制原理,实现了基于广义自控网系统模型的非线性系统解耦控制。(4)研究了在自控网系统的统一框架下实现混杂控制系统中控制器的方法。基于广义同步自控网系统设计了监控器模型和数字控制器模型,自控网系统不仅用于实现高层的离散决策,而且用于实现对被控对象的直接物理控制。为支持自控网系统控制器的硬件实现,提出了一种基于FPGA可编程逻辑器件平台的解决方案。借助于一种带优先级的多输入-多时钟D触发器的器件,设计了广义同步自控网系统模型到VHDL代码的转换算法,完成了广义同步自控网系统模型在FPGA平台上的实现,也为异步并发系统的设计与实现提供了解决方案。(本文来源于《江苏大学》期刊2019-04-01）
万军,赵不贿,陆继远[3]（2014）在《自控网系统建模工具的研究与开发》一文中研究指出自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实现界面控件管理和模型分析,详细描述了自控网系统各性质分析模块和动态仿真模块的实现算法。最后通过具体应用实例表明了该工具的正确性和实用性。(本文来源于《计算机科学》期刊2014年07期）
殷苏民,张建刚,赵不贿,吴国平[4]（2012）在《基于自控网的电池生产线建模与优化》一文中研究指出针对传统无汞碱性锌锰电池生产线存在的不足,在不改变生产工序的前提下,运用Petri网系统理论,建立了一种改进的无汞碱性锌锰电池生产线的带有时延特性的自控网系统模型。提出了衡量串行生产线可优化能力的标准:可优化度,并根据生产线的工作情况对生产线的状态进行了划分。然后以产量最大化为目标,求解出了的生产系统由非稳状态过渡到稳定状态各生产模块的速度,优化了生产过程。最后运用Simulink/Stateflow模块对建立的的生产线自控网模型进行了仿真验证。(本文来源于《机械设计与制造》期刊2012年11期）
张利红,阴亚东[5]（2012）在《无线家庭自控网解决方案研究》一文中研究指出对无线家庭自控网络的特性和要求进行了介绍,对其当前主流解决方案进行了比较分析,并根据无线家庭自控网络的要求以及网络安全、互联网链接等标准,对各解决方案的协议栈进行了对比分析,为无线家庭自控网络的设计开发提供一定的参考.(本文来源于《中原工学院学报》期刊2012年04期）
杨松,宋文,卢朝辉[6]（2007）在《基于Petri网下递归关系的自控网模型》一文中研究指出自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。(本文来源于《西华大学学报(自然科学版)》期刊2007年05期）
严兵,宋文,蒋忠远[7]（2007）在《基于增广自控网的路灯故障检测系统》一文中研究指出用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。(本文来源于《系统仿真学报》期刊2007年S1期）
杨松[8]（2007）在《自控网系统的理论及应用研究》一文中研究指出Petri网适合于网络环境下的信息处理系统的描述和建模。它的主要特性包括：并行、不确定性、异步及分步描述能力和分析能力。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析。例如：Petri网可以很好地描述多处理器计算机系统、计算机网络、交通控制系统等。Petri网作为一种图形工具，除了可以用作类似于流程图、框图和网图等可视交互工具外，重要的在于它用静态的直观图形蕴涵着系统的动态行为，这是经典图论不能具备的特点；同时它又包容经典图论，几乎所有图论的结论、方法都可以直接、间接地使用和借鉴；而经典图论在描述网络环境时是困难的。Petri网是一个有着深刻的学术内涵，又有着广阔的应用背景的计算机理论与应用的学科分支。作为一种数学工具，可以对Petri网建立状态方程、代数方程以及和逻辑之间的联系等。根据需要从不同的角度出发，采用方便的分析工具，通过分析静态特征把握系统的动态行为，这就是Petri网的研究的方法论；另外，Petri网有着自我解释的能力。比如在计算机科学中，进程是一个非常重要的概念。在Petri网研究中，通过进程研究网的性质，同时进程的定义又可以用Petri网的特殊子类——出现网给出。这是经典图论无法做到的。本文的工作主要是在Petri网的一个子类-自控网上展开的，利用Petri网语言、程序设计方法，对自控网的理论和应用进行了深入的研究，得到了一些较好的结果。主要贡献包括：(1)由于自控系统的非线性关系，无法直接套用其他网系统的分析技术，目前对自控系统的研究成果并不多；而且正是由于自控系统的非线性关系，它有更强的描述能力，因此，对自控系统的研究具有重要的意义；但人们在建模的过程中，往往需要通过模型的发生，然后去观察模型发生结果是否正确，随着模型规模的增长，人为的分析模型运行结果(变迁序列发生后的后继标识)就越来越困难。基于这点提出了自控系统下计算后继标识的程序设计方法，实现了只需输入初始标识、关联矩阵和变迁发生序列就能得到后继标识的算法。最后利用该程序对Fibonacii数列的自控网模型进行分析，验证了该算法的正确性和实用性，同时也为自控网及其它的子类的应用研究的分析与验证提供了一种新的途径。(2)由于自控网有较好的模拟能力，所以对自控网的应用研究显得尤为重要。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型，并巧妙地运用Petri网抽象与细化的概念，通过逐级抽象方法建立了递归关系的自控网模型，并用(1)所得到的结果(程序)验证了所建立的递归模型的正确性和实用性。同时也为利用Petri网建立递归关系模型形成了一种方法，这种分级分析方法也是利用Petri网进行形式化软件开发的一种新途径。(本文来源于《西华大学》期刊2007-05-01）
赵明峰,宋文,杨松[9]（2006）在《基于自控网系统的批处理建模及分析》一文中研究指出自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的。(本文来源于《西华大学学报(自然科学版)》期刊2006年04期）
陆继远,唐平,赵不贿[10]（2005）在《自控网系统的仿真分析与硬件实现的研究》一文中研究指出自控网系统是Petri网的一个子类,与P/T系统相比,有更强的描述能力和更复杂的性质。由于它的非线性关系,无法直接套用其它网系统的分析技术,影响了对它的研究。文章提出了用硬件描述语言对自控网系统进行描述,通过EDA工具进行仿真分析,揭示系统的性质。文章针对计算Fibonacci数列的自控网系统模型,详细介绍了这一方法,给出了ABEL语言源代码和仿真波形,源代码经编译、优化、适配并下载到在系统可编程逻辑器件中,得到了计算Fibonacci数列的专用芯片,这为自控网系统的分析和应用研究开辟了新的途径。(本文来源于《微计算机信息》期刊2005年07期）
自控网论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Petri网自1962年Carl Adam Petri教授在他的博士论文中首次提出,至今已有50余年。Petri网是离散事件系统建模、分析与控制的一种重要工具,通过将不同学科领域的技术和方法融合到Petri网之中,使得Petri网理论得到了十分广泛应用,并持续不断地推动Petri网的发展。自控网系统是在普通Petri网的基础上加上控制机制得到的一类高级Petri网,具有比普通Petri网更强的描述能力。自控网系统的提出,架起了Petri网理论与现代控制理论之间的桥梁,促进了Petri网理论与现代控制理论之间相互融合与借鉴,拓展了研究领域。论文以自控网系统理论为主线,综合了图论、神经网络和现代控制理论中的相关技术和方法,在基于自控网系统的建模和分析以及控制应用等方面进行了深入的探讨和研究。论文主要内容与创新之处如下:(1)介绍了自控网系统以及各种扩展自控网系统的定义,重点分析了广义连续自控网系统和混杂自控网系统的性质,给出了采用各类扩展自控网系统为离散系统、连续系统和混杂系统建模的案例,充分展示了自控网系统有着重要的理论研究意义和广泛的应用性。在分析现有Petri网软件工具的基础上,采用面向对象技术设计开发了支持自控网系统的建模工具。所开发的软件支持各类自控网系统模型的创建和动静态性质分析,并具有对采用广义同步自控网系统建模的数字系统进行功能仿真以及VHDL代码生成的功能,从而为后续基于自控网系统的应用提供了有力的软件支撑平台。(2)研究了采用混杂自控网系统建模切换型混杂系统的方法。针对一般的切换系统,将系统离散动态和连续动态分别映射为混杂自控网系统模型的离散部分和连续部分。基于切换线性系统的混杂自控网系统模型,分别提出了结构可控性、稳定性和可达性的分析方法。首先在切换线性系统的结构可控性判别上,依据混杂自控网系统模型到有色并图的映射,以及结构可控性的图论判据,提出了在混杂自控网系统模型上直观有效地判定切换线性系统结构可控的条件。其次针对周期切换线性系统的稳定性分析问题,根据“周期切换线性系统的稳定性与一等价的非切换的线性系统稳定性相同”的结论,提出了在周期切换线性系统的混杂自控网系统模型上,通过图论方法巧妙地计算此等价的线性系统的状态矩阵特征多项式,进而判定原系统的稳定性。最后,提出了一种新的切换线性系统的可达性分析方法。该方法将混杂自控网系统的建模能力与混杂自动机的分析能力相结合,通过转换混杂自控网系统模型到混杂自动机模型,并借助于成熟的混杂自动机分析工具,从而得到系统可达集。(3)研究了基于自控网系统的两类解耦控制方法。针对线性系统的解耦控制问题,建立了线性定常受控系统的广义连续自控网系统模型,借鉴现代控制理论中状态反馈动态解耦的基本原理,提出了利用模型的图形结构,简单有效地判断系统的可解耦性以及求出解耦控制律的方法。在非线性多变量系统解耦控制方法上,利用自控网系统的权受控特性和变迁发生规则,建立了PID控制器的广义自控网系统模型,并在模型中引入学习机制,从而实现了系统控制和参数学习有机的统一,不同参数学习过程可并行执行,易于用FPGA工程实现。借鉴单神经元PID解耦控制原理,实现了基于广义自控网系统模型的非线性系统解耦控制。(4)研究了在自控网系统的统一框架下实现混杂控制系统中控制器的方法。基于广义同步自控网系统设计了监控器模型和数字控制器模型,自控网系统不仅用于实现高层的离散决策,而且用于实现对被控对象的直接物理控制。为支持自控网系统控制器的硬件实现,提出了一种基于FPGA可编程逻辑器件平台的解决方案。借助于一种带优先级的多输入-多时钟D触发器的器件,设计了广义同步自控网系统模型到VHDL代码的转换算法,完成了广义同步自控网系统模型在FPGA平台上的实现,也为异步并发系统的设计与实现提供了解决方案。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自控网论文参考文献
[1].万军,赵不贿.基于自控网系统的混杂控制[J].控制理论与应用.2019
[2].万军.基于自控网系统的建模与控制研究[D].江苏大学.2019
[3].万军,赵不贿,陆继远.自控网系统建模工具的研究与开发[J].计算机科学.2014
[4].殷苏民,张建刚,赵不贿,吴国平.基于自控网的电池生产线建模与优化[J].机械设计与制造.2012
[5].张利红,阴亚东.无线家庭自控网解决方案研究[J].中原工学院学报.2012
[6].杨松,宋文,卢朝辉.基于Petri网下递归关系的自控网模型[J].西华大学学报(自然科学版).2007
[7].严兵,宋文,蒋忠远.基于增广自控网的路灯故障检测系统[J].系统仿真学报.2007
[8].杨松.自控网系统的理论及应用研究[D].西华大学.2007
[9].赵明峰,宋文,杨松.基于自控网系统的批处理建模及分析[J].西华大学学报(自然科学版).2006
[10].陆继远,唐平,赵不贿.自控网系统的仿真分析与硬件实现的研究[J].微计算机信息.2005