[发明专利]PLC程序及电机启停控制程序的静态切片方法和装置在审
| 申请号： | 201910121849.7 | 申请日： | 2019-02-19 |
| 公开（公告）号： | CN109815153A | 公开（公告）日： | 2019-05-28 |
| 发明（设计）人： | 王达 | 申请（专利权）人： | 北京天诚同创电气有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;H02P1/04 |
| 代理公司： | 北京铭硕知识产权代理有限公司 11286 | 代理人： | 高燕;王兆赓 |
| 地址： | 100176 北京市大兴*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 提供一种PLC程序及电机启停控制程序的静态切片方法和装置，该PLC程序静态切片方法包括：建立PLC程序的输出变量依赖关系图；确定所述输出变量依赖关系图的邻接矩阵；确定所述邻接矩阵的可达矩阵，以获得PLC程序的输出变量之间的逻辑可达关系；基于所述可达矩阵，确定影响指定输出变量的关联输出变量；获取PLC程序中所述指定输出变量和所述关联输出变量所在的梯级，形成PLC程序对于所述指定输出变量的静态切片。采用本发明示例性实施例的PLC程序及电机启停控制程序的静态切片方法和装置，能够有效缩减PLC程序的规模，提高其分析和测试的效率。 | ||
| 搜索关键词： | 输出变量 切片 控制程序 方法和装置 电机启停 矩阵 依赖关系图 邻接矩阵 关联 梯级 测试 分析 | ||
【主权项】：
1.一种PLC程序静态切片方法，其特征在于，包括：建立PLC程序的输出变量依赖关系图；确定所述输出变量依赖关系图的邻接矩阵；确定所述邻接矩阵的可达矩阵，以获得PLC程序的输出变量之间的逻辑可达关系；基于所述可达矩阵，确定影响指定输出变量的关联输出变量；获取PLC程序中所述指定输出变量和所述关联输出变量所在的梯级，形成PLC程序对于所述指定输出变量的静态切片。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京天诚同创电气有限公司，未经北京天诚同创电气有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910121849.7/，转载请声明来源钻瓜专利网。
