【摘 要】
：
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件。本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程。经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,
【机 构】
：
成都纺织高等专科学校电子信息与电气工程系
论文部分内容阅读
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件。本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程。经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,具有一定的指导意义和实用性。
其他文献
数字样机系统主要以几何样机技术为基础,考虑装配、维修等工艺过程来构造。但是在一些复杂的大型装置的数字样机中,由于工艺复杂并且要求较高,装配力等力学特性是必须考虑的,通过有限元计算得到的精确的分析结果,难以与数字样机进行集成可视化仿真。针对上述问题,提出了一种有限元计算结果,通过实时插值运算,实现与数字样机的交互过程的同步可视化的方法,构造了一个典型的数字样机原型系统,是几何样机过渡到物理样机的一个
研究通信传感器节能问题,针对无线传感器网络存在严重的能量约束条件,网络协议的首要设计目标就是要高效地使用传感器节点的能量,延长网络的存活时间。在分析经典的分簇路由协议LEACH的基础上,针对节点能量足提出了能量的改进分簇路由算法,对随机性簇头选择算法中的阈值加以改变,降低该阈值,在原来的阈值中增加了节点的剩余能量因子,降低簇节点的通信负载,并进行仿真。仿真结果表明,改进算法实现了节能、减少平衡节点
研究网络日志预处理中会话识别问题,会话识别是网络日志数据预处理中最重要的一个环节。为使用户准确快速地找到需要的资源,传统网络日志预处理方法采用固定阈值会话识别算法,不能适合网络日志的动态性和不能很好消除网络日志中的冗余信息,导致后继网络日志数据挖掘效率和挖掘精度低。为更好消除网络日志冗余信息,提高后继数据挖掘的效率和精度,提出一种改进的网络日志预处理会话识别算法。新算法可根据页面内容、站点结构确定
研究导弹的红外精确制导问题。红外成像导引头具有抗干扰能力强、制导精度高、全天时工作以及可进行自动目标识别等特点。由于弹体的姿态扰动会造成红外成像导引头成像模糊,为隔离弹体姿态扰动对成像的影响,加强稳定性控制,提出采用自抗扰控制技术设计红外成像导引头稳定回路控制器。首先,在完成红外成像导引头稳定回路数学建模的基础上,采用扩张状态观测器对受扰后对象的状态和干扰进行估计。然后,采用非线性状态反馈,并对估
关于非线性自动控制系统优化问题,为解决复杂非线性系统的辨识问题,提出了一种基于菌群优化算法的非线性系统辨识方法。结合菌群优化算法的特点,通过将待辨识参数设置为群体细菌在参数空间的位置,并利用细菌群体觅食的动态行为来实现对系统参数的辨识,有效地提高了参数辨识的精度和效率。通过对重油热解三集总模型进行了仿真研究,得到了较为精确的过程模型,模型输出与实际输出基本一致。仿真结果表明:菌群优化算法为非线性系
针对柔性航天器振动影响飞行器姿态稳定性和精度。为了解决上述问题,提出了多柔体航天器的动力学建模。首先,根据工程实现的假设振型法,采用拟坐标拉格朗日方程,推导出带有刚体模态的二阶系统刚柔耦合动力学模型,其中,为了减少模型计算量,通过坐标变换将刚体模态和柔性模态解耦,利用一种刚体模态解耦的二阶不稳定系统的模型降阶方法,并对航天器多柔体系统动力学方程进行了仿真分析,结果飞行姿态稳定,满足了精度要求,表明
研究图像分割优化问题,由于图像中存在高光中,造成干扰,提出一种简单但有效的单幅图片高光去除方法。传统单幅图像高光去除方法,一般需要进行图像分割预处理,或者进行交互输入。提出的新方法无需图像分割预处理,也不要交互输入,而是使用漫反射色度估计值作为引导值,对最大色度图应用边界保留滤波器,并最终得到去高光后的图片。实验结果比较表明,与传统方法比较,该方法不但能够去除单色物体表面高光,对于复杂纹理表面高光
研究锅炉过热器优化控制问题,针对传统过热器模型无法对大扰动工况进行高精度仿真的问题,给出了一个电站锅炉过热器的集总参数动态模型。模型描述了过热器压力-流量及焓-温通道的动态过程,并且充分考虑了两个通道间的耦合效应;在焓-温通道建模时,采用了多段集总参数建模的方法,从而更好地反映了过热器温度的分布参数特性。以某600MW控制循环锅炉末级过热器为对象,对减温水流量、过热器入口蒸汽焓值和吸热量扰动下该模
关于信号频谱特性研究,为了提高有用信号的平稳性和精确的结果,通过定义一种特殊的四阶矩谱,提出了一种新的二维谐波频率估计方法,方法对噪声的分布和颜色无需作任何限制,而且表现出更好的计算有效性。作为一个副产品,还可以直接从频谱中估计出噪声的方差。进行仿真,结果表明能得到平稳和精确的结果,证明方法对零均值独立乘性与加性噪声背景下的二维谐波估计问题是非常有效的。
研究一种双向脉冲耦合神经网络(BPCNN)的图像分割问题。首先将彩色图像量化结果或灰度图像作为BPCNN的外部输入激励,每个神经元根据BPCNN的正向脉冲产生器或逆向脉冲产生器发布脉冲信号,实现对图像的初始分割;然后根据初分割图像的区域距离合并过分割区域,最后提出一种综合多种分割评价准则的分割评价体系,并对分割结果进行了评价。实验结果表明,BPCNN算法在多类图像上均取得较好的分割效果,利用实验数