[发明专利]一种化工生产控制系统有效
申请号: | 201711423570.1 | 申请日: | 2017-12-25 |
公开(公告)号: | CN108153262B | 公开(公告)日: | 2020-08-28 |
发明(设计)人: | 马铭;曲文亮;孔令军 | 申请(专利权)人: | 北华大学 |
主分类号: | G05B19/418 | 分类号: | G05B19/418;G06T11/20;G06T17/30 |
代理公司: | 北京国坤专利代理事务所(普通合伙) 11491 | 代理人: | 黄耀钧 |
地址: | 132000 吉*** | 国省代码: | 吉林;22 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明属于化工生产系统技术领域,公开了一种化工生产控制系统,设置有:控制模块、监控模块和采集/控制模块;控制模块通过可编程控制器与监控模块相连;控制模块包括数据服务器、历史数据站、工程师站、操作员站、巡检员站和调度员站;数据服务器、工程师站、操作员站、巡检员站和调度员站与一对互为冗余以太网相连;监控模块包括现场监控模块、远程监控模块以及集中监控模块;采集/控制模块与生产/控制对象模块相连。本发明具有控制精度高,可靠性、灵活性、开放性高的优点,通过现场监控、远程监控以及集中监控等电气自动化控制,集中性分散,最大限度的保证系统的正常运行,降低系统瘫痪的风险。 | ||
搜索关键词: | 一种 化工 生产 控制系统 | ||
【主权项】:
一种化工生产控制系统,其特征在于,所述化工生产控制系统设置有:控制模块、可编程控制器、监控模块、采集/控制模块以及生产/控制对象模块;所述控制模块通过可编程控制器与监控模块相连;所述控制模块包括数据服务器、历史数据站、工程师站、操作员站、巡检员站和调度员站;所述数据服务器、工程师站、操作员站、巡检员站和调度员站与一对互为冗余以太网相连;所述监控模块包括现场监控模块、远程监控模块以及集中监控模块,所述采集/控制模块与生产/控制对象模块相连;所述可编程控制器的控制方法包括:1),根据待验证的程序,生成控制流图CFG,给CFG中的结点添加3个属性:R插值,S插值和E插值,R插值是结点可达的约束条件,判断一个状态的可达性;S插值和E插值对路径进行规约,加快程序的验证;给CFG的边添加属性W;一条边的W值表示以该边指向的结点为根结点的子图中,还没有被遍历的分支的个数;2),根据生成的CFG,生成抽象可达图ARG,如果沿着一条路径生成一个新状态s,如果s对应的R插值被满足,说明状态s可达,继续沿着状态s遍历该路径;否则,状态s不可达,则该路径终止,遍历其他路径;对于一个可达的状态s,如果状态s对应的E插值被该路径对应的路径公式蕴含,说明沿着该状态存在一条到达目标状态的路径,程序不安全;如果状态s对应的S插值被蕴含,说明以状态为起点的所有路径都是安全的,不需要沿着状态s探索程序;如果状态s是可达的,且E插值和S插值都不被蕴含,则继续沿着状态s遍历该路径;3),在生成ARG的过程中,发现一条反例路径,到达目标状态,则需要进一步判断反例路径是否虚假;不是虚假反例,则说明程序是不安全的;否则,根据虚假反例,细化模型,分别计算并更新对应状态的R插值,S插值和E插值,执行重新生成ARG,直到找到一条真反例路径或不存在反例路径。4)R插值,S插值和E插值均采用四阶四次B样条插值曲线的构造方法给CFG中的结点添加属性;具体包括:给定区间[a,b]的一个扩充分划:t‑6≤t‑4≤t‑2≤a=t0<t1<…<t2i<t2i+1<…<t2m‑1<t2m=b≤t2(m+1)≤t2(m+2)≤t2(m+3);及de Boor控制顶点序列:d‑1,d0,d1,d2,…,dm,dm+1;区间[a,b]上以:{t‑6,t‑4,t‑2,t0,t2,…,t2i,…,t2(m‑1),t2m,t2(m+1),t2(m+2),t2(m+3)};为样条结点的四阶四次B样条曲线记为:![]()
其中B样条基函数Ωj(t)的支集上的样条结点为:t2(j‑2),t2(j‑1),t2j,t2(j+1),t2(j+2),j=‑1,0,1,…,m+1;在r(t)的基础上,构造一条四阶四次B样条插值曲线rI(t),使得它通过诸型值点列{dk},即满足插值条件:rI(t2k)=dk,k=0,1,2,…,m;连接曲线段r(t)两端点r(t2i)和r(t2i+2)的直线段记为:![]()
连接两相邻de Boor点di和di+1的直线段记为:![]()
调配函数ψi(t)的表达式为:
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北华大学,未经北华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201711423570.1/,转载请声明来源钻瓜专利网。
- 上一篇:一种数据交互方法及系统
- 下一篇:一种DCS控制器冗余方法及装置