[发明专利]一种化工生产控制系统有效

专利信息
申请号: 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样条曲线记为:<mrow><mtable><mtr><mtd><mrow><mi>r</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><munderover><mo>&Sigma;</mo><mrow><mi>j</mi><mo>=</mo><mo>-</mo><mn>1</mn></mrow><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow></munderover><msub><mi>d</mi><mi>j</mi></msub><msub><mi>&Omega;</mi><mi>j</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow></mtd><mtd><mrow><mi>a</mi><mo>&le;</mo><mi>t</mi><mo>&le;</mo><mi>b</mi></mrow></mtd></mtr></mtable><mo>;</mo></mrow>其中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)的直线段记为:<mrow><msub><mover><mi>l</mi><mo>&OverBar;</mo></mover><mi>i</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mn>1</mn><mo>-</mo><msub><mi>&psi;</mi><mi>i</mi></msub><mo>(</mo><mi>t</mi><mo>)</mo><mo>)</mo></mrow><mi>r</mi><mrow><mo>(</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>&psi;</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>d</mi><mrow><mo>(</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>,</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><mo>&le;</mo><mi>t</mi><mo>&le;</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>;</mo></mrow>连接两相邻de Boor点di和di+1的直线段记为:<mrow><msub><mover><mi>L</mi><mo>&OverBar;</mo></mover><mi>i</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mn>1</mn><mo>-</mo><msub><mi>&psi;</mi><mi>i</mi></msub><mo>(</mo><mi>t</mi><mo>)</mo><mo>)</mo></mrow><msub><mi>d</mi><mi>i</mi></msub><mo>+</mo><msub><mi>&psi;</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><msub><mi>d</mi><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><mo>&le;</mo><mi>t</mi><mo>&le;</mo><msub><mi>t</mi><mrow><mn>2</mn><mi>i</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>;</mo></mrow>调配函数ψi(t)的表达式为:<mrow><msub><mi>&psi;</mi><mi>i</mi><</div> </div> <div class="b20"></div> <div class="down-box" id="down-box"> <div class="msg" style="display: block;"> <span>下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。</span> </div> <div class="btns"> <span class="btn paydown">免登录下载</span><a href="/login.html?p=8684656C99F5006F610F0E2069520CD402D949CA42685BF9" class="btn green" target="_blank">普通用户下载</a><a href="http://yh.vipzhuanli.com/member/service/pay-vip.html?p=v1" target="_blank" class="btn red">升级VIP会员,免费下载</a> </div> </div> <div class="warning"> <p>该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北华大学,未经北华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【<a href="https://wpa1.qq.com/l11yQAzu?_type=wpa&qidian=true">客服</a>】</p> <p>本文链接:http://www.vipzhuanli.com/patent/201711423570.1/,转载请声明来源钻瓜专利网。</p> </div> <ul class="clear_div other_o"><li class="prev">上一篇:<a href="/patent/201711420077.4/" title="一种数据交互方法及系统">一种数据交互方法及系统</a></li><li class="next">下一篇:<a href="/patent/201711423669.1/" title="一种DCS控制器冗余方法及装置">一种DCS控制器冗余方法及装置</a></li></ul> <div class="oth-box"> <dl class="d_th"><dd><span>同类专利</span></dd><dt class="th_a"></dt></dl> <dl class="d_th" style="padding-top:15px;"><dd><span>专利分类</span></dd></dl> <div class="ps_c"> <div><a href="/ipc/G/" target="_blank" title="物理">G 物理</a></div><a class="ml1" href="/ipc/G05/" target="_blank" title="控制;调节">G05 控制;调节</a><br/><a class="ml2" href="/ipc/G05B/" target="_blank" title="一般的控制或调节系统;这种系统的功能单元;用于这种系统或单元的监视或测试装置">G05B 一般的控制或调节系统;这种系统的功能单元;用于这种系统或单元的监视或测试装置</a><br/><a class="ml3" href="/pat/ipc/G05B19/00/" target="_blank" title="程序控制系统">G05B19-00 程序控制系统</a><br/><a class="ml3" href="/pat/ipc/G05B19/02/" target="_blank" title=".电的">G05B19-02 .电的</a><br/><a class="ml3" href="/pat/ipc/G05B19/43/" target="_blank" title=".流体的">G05B19-43 .流体的</a><br/><a class="ml3" href="/pat/ipc/G05B19/44/" target="_blank" title="..气动的">G05B19-44 ..气动的</a><br/><a class="ml3" href="/pat/ipc/G05B19/46/" target="_blank" title="..液压的">G05B19-46 ..液压的</a><br/><a class="ml3" href="/pat/ipc/G05B19/04/" target="_blank" title="..除数字控制外的程序控制,即顺序控制器或逻辑控制器">G05B19-04 ..除数字控制外的程序控制,即顺序控制器或逻辑控制器</a><br/> </div> </div> </div> <div class="content-r"> <div class="btns content-list" id="downdd"> <div class="header"> <div class="header-title"><a >专利文件下载</a></div> <hr /> </div> <span class="btn paydown">免登录下载</span><a href="/login.html?p=8684656C99F5006F610F0E2069520CD402D949CA42685BF9" class="btn green" target="_blank">普通用户下载</a><a href="http://yh.vipzhuanli.com/member/service/pay-vip.html?p=v1" target="_blank" class="btn red">升级VIP会员,免费下载</a> </div> <div class="content-list"> <div class="header"> <div class="header-title"><a href="/patent/list.html?kw=%e5%8c%96%e5%b7%a5 ">化工 相关专利</a></div> <hr /> </div> <ul> <li><a href="/patent/201410362576.2/">化工装备检维修教学装置及化工工艺流程</a></li> <li><a href="/patent/201420418744.0/">化工装备检维修教学装置</a></li> <li><a href="/patent/201520949547.6/">一种自控式化工罐</a></li> <li><a href="/patent/201720486972.5/">一种化工装备检维修教学装置</a></li> <li><a href="/patent/201720527911.9/">一种组合式化工桶</a></li> <li><a href="/patent/201810711145.0/">一种化工桶清洗设备</a></li> <li><a href="/patent/201820578896.5/">一种化工用便于存放且便于运输的化工桶</a></li> <li><a href="/patent/201910954380.5/">一种化工用高效精馏塔</a></li> <li><a href="/patent/202011598006.5/">一种多工艺体感式化工安全实训装置及其实训方法</a></li> <li><a href="/patent/202020400798.X/">一种用于存放强腐蚀性化工药剂的倾倒防漏化工桶</a></li> </ul> </div> <div class="content-list"> <div class="header"> <div class="header-title"><a href="/patent/list.html?kw=%e7%94%9f%e4%ba%a7 ">生产 相关专利</a></div> <hr /> </div> <ul> <li><a href="/patent/02152909.4/">生产系统和生产方法</a></li> <li><a href="/patent/201380014696.7/">生产设备和生产方法</a></li> <li><a href="/patent/201410015219.9/">生产系统及产品生产方法</a></li> <li><a href="/patent/201680036251.2/">生产药品的生产线和包括该生产线的生产车间</a></li> <li><a href="/patent/201711050015.9/">生产辅助系统、生产辅助方法以及生产辅助程序</a></li> <li><a href="/patent/201810606678.2/">生产系统、生产装置和生产系统的控制方法</a></li> <li><a href="/patent/201821099462.3/">石料生产机制砂生产系统</a></li> <li><a href="/patent/201910911478.2/">生产系统以及生产方法</a></li> <li><a href="/patent/202010200384.7/">生产系统及生产方法</a></li> <li><a href="/patent/202010223430.5/">生产系统和生产方法</a></li> </ul> </div> <div class="content-list"> <div class="header"> <div class="header-title"><a href="/patent/list.html?kw=%e6%8e%a7%e5%88%b6%e7%b3%bb%e7%bb%9f ">控制系统 相关专利</a></div> <hr /> </div> <ul> <li><a href="/patent/201120014866.X/">液压控制系统</a></li> <li><a href="/patent/201310218237.2/">一种大尺寸研磨球均质成型控制系统</a></li> <li><a href="/patent/201310613155.8/">一种锅炉控制系统</a></li> <li><a href="/patent/201310616023.0/">一种锅炉控制系统及控制方法</a></li> <li><a href="/patent/201510246363.8/">智能维护控制系统及方法</a></li> <li><a href="/patent/201510555681.2/">一种仿生智能机器鱼的控制系统</a></li> <li><a href="/patent/201520312624.7/">智能维护控制系统</a></li> <li><a href="/patent/201710953058.1/">一种配电线路自动化加工流水线控制系统及方法</a></li> <li><a href="/patent/201810815318.3/">冗余主动控制系统协调</a></li> <li><a href="/patent/201911277579.5/">一种智能维护控制系统及方法</a></li> </ul> </div> </div> </div> </div> <input type="hidden" id="hid_id" /> <script type="text/javascript"> /* <![CDATA[ */ var pat_ajax_url = "/down/check.html"; var wppay_ajax_url = "/pay/down"; var pnum = "201711423570.1"; var openNo = "CN108153262B"; var op = "20200828"; var y = "2020"; /* */
×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

tel code back_top