首页> 中国专利> 程序比较装置及程序比较方法

程序比较装置及程序比较方法

摘要

本发明提供一种对由梯形图记载的程序进行比较的程序比较装置及程序比较方法,该程序比较装置(10)具备:逻辑表达式转换部(14),其以构成程序的梯形电路为单位,将梯形电路转换为逻辑表达式;顺序转换部(26),其以不改变逻辑表达式的结果的方式,对比较对象的2个梯形电路中的至少一方的梯形电路的逻辑表达式的变量的顺序进行重新排序;以及比较部(18),其将对变量的顺序进行重新排序后的一方的梯形电路的逻辑表达式、与另一方的梯形电路的逻辑表达式进行比较,并判定是否一致。

著录项

  • 公开/公告号CN109814476A

    专利类型发明专利

  • 公开/公告日2019-05-28

    原文格式PDF

  • 申请/专利权人 发那科株式会社;

    申请/专利号CN201811382577.8

  • 发明设计人 伊野泰行;望月充;

    申请日2018-11-20

  • 分类号

  • 代理机构上海华诚知识产权代理有限公司;

  • 代理人刘煜

  • 地址 日本国山梨县南都留郡忍野村忍草字古马场3580番地

  • 入库时间 2024-02-19 10:15:20

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2019-05-28

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号