一种基于神经网络的探地雷达信号解释研究

运用人工神经网络理论和方法,建立了用于隧道衬砌厚度探地雷达探测信号解释的BP神经网络模型,对某公路隧道衬砌检测厚度进行了分析应用,并与钻孔取芯结果进行比较,实践证明,该方法可提高探地雷达信号解释精度和工作效率.

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

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

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

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

基于信号解释Petri网的可重构调度模型分析研究

复杂系统的任务调度对于提升系统性能至关重要,很多应用场景引入可重构调度模型来处理复杂系统中的并发、互斥和非同步任务。由于系统中的任务时间具有模糊特性,导致现有研究逻辑控制的效果不佳,为此提出了基于信号解释Petri网的可重构调度模型。考虑到Petri网擅长描述并发、互斥,以及非同步任务,设计了一种扩展Petri网,将重构系统时的影响因素,定义为包含七个变量的集合,并对资源变迁的过程和规则做了相应分析。根据任务执行对时间的要求,将其分成固定时间调度、周期调度,以及触发调度三种模式,并依次进行模型的分析优化。为了部署逻辑芯片,资源即为库所,操作即为变迁规则,资源与操作的联系即为信号解释,最终基于FPGA实现了信号解释Petri网的可重构调度模型。通过仿真验证了信号解释Petri网的可重构调度模型能够对复杂的系统任务进行良好的静态与动态重构,重构准确率和任务执行效率均得到显著提升。

基于信号解释Petri网的污水处理系统研究

污水生化处理过程机理复杂,具有强耦合性、非线性、时变性等特征,建模控制过程比较复杂。针对SBR处理工艺过程,提出采用信号解释Petri对SBR污水处理进行建模与控制,对系统活性、可逆性、终止性、决定性和输入依赖性进行验证,并对设计后系统的模型进行评价。分析结果表明,采用信号解释Petri对SBR污水处理进行建模与控制形式正确、有效。最后提出用PLC实现污水处理系统的设计、分析、仿真和代码产生。

信号处理和解释的双向流系统BIPIS

本文介绍信号处理和解释的双向流系统（BIPIS），在应用信号处理的基本理论对信号处理和信号解释之间建立双向流方面进行了初步探讨。这一系统的突出特点是信号处理过程随着对模糊和失真数据重分析的需要而动态地改变，即用信号处理的结果支持信号解释，而信号解释的结论反过来指导信号处理方法和控制参数的选择。该系统广泛适用于复杂环境下的信号处理，如变信噪比、多种可能信号源及两种或两种以上信号的同时发生而导致的隐藏或失真等情况。本文最后给出一个简单的实验台对系统流程加以直观地阐明。

铁磁性管远场涡流检测信号解释技术

远场涡流（RFEC）技术利用一种电磁探测器来找出管道腐蚀和其它内部损伤。在检查类似热交换器和锅炉内的小口径铁磁性管中，RFEC是一种很有效的方法。以前，用RFEC技术断定受损管子金属损失的深度必须依赖经验和判断力，RFEC信号的相位能指出金属损失的存在，但不能直接揭示其深度。本文描述的一种改进的信号解释方法能够估计金属损失的深度和损失的周边范围。讨论了RFEC检测的优点和检测时的限制，并提供了最近一次在美国使用RFEC检测得到的现场数据。

基于黑板模型的心电图解释系统BBIS－ECG设计

作者提出一种基于黑板模型的心电信号解释系统的设计方案，该系统模拟心电专家诊断的思维过程，通过样本学习自动获取模糊规则，以启发性知识控制诊断流程，并通过对模糊量隶属度函数和模糊规则可信度因子的计算，以双向非精确推理进行诊断。同时，将计算模型纳入知识库，应用信号处理的基本原理在信号处理与信号解释之间也建立了双向作用，实现了真正意义上的定性推理与定量计算的结合。并利用同一通道信号的上下文信息及不同通道间的相关信息协助诊断，更有效地利用了数据信息。

基于SIPN的PLC通用编程器

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

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

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