专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果13个,建议您升级VIP下载更多相关专利
  • [发明专利]一种嵌入式代码调试系统及方法-CN201910668008.8有效
  • 丰大军;赵德政;原惠峰;郭肖旺;孙少乙;郝瑞华;张湾;封成玉 - 中电智能科技有限公司
  • 2019-07-23 - 2023-10-27 - G06F11/36
  • 本发明公开了一种嵌入式应用代码调试系统及方法,通过充分利用每一次调试信息,合理评价每次调试结果,来降低调试过程中代码的编译修改次数,提升调试效率。该方法主要包括调试的宿主机,负责嵌入式代码的编辑、编译,可执行文件,实时调试信息文件框架、参考调试信息文件的生成,以及调试结果的分析;嵌入式设备,主要负责可执行文件的执行,实时调试信息的执行,宿主机与嵌入式设备之间通过以太网或串口协议相连。该嵌入式应用代码调试方法主要包括:1、依据具体业务逻辑,编写调试代码;2、生成参考调试信息;3、生成实时调试信息;4、分析调试信息,总结调试结论;5、本次调试结束后,整理调试记录。
  • 一种嵌入式代码调试系统方法
  • [发明专利]一种面向PLC逻辑编程的智能形式化验证方法-CN201910928294.7有效
  • 郭肖旺;赵德政;原惠峰;孙少乙;郝瑞华;封成玉;何永瑾 - 中电智能科技有限公司
  • 2019-09-28 - 2023-06-06 - G06F11/36
  • 本发明实现了一种面向PLC逻辑编程的智能形式化验证方法,可适用于所有支持ST语言的编程软件。所述方法包含如下步骤,S1:接收PLC逻辑编程软件编好的逻辑程序;S2:解析逻辑程序:进行词法、语法分析,生成逻辑状态机、状态集合和验证用例运行集合;S3:根据逻辑状态机生成智能化测试参数,生成影响因子参数、覆盖参数、智能参数集合;S4:建立自动化测试任务,根据接收的PLC逻辑程序的数量生成多个自动化测试任务;S5:自动进行测试过程操作:模拟PLC运行过程,自动进行验证启动、用例参数设置、运行用例、收集运行结果信息、退出验证操作;S6:生成验证分析报告。该方法可以提供对PLC逻辑程序的自动化验证,方便PLC开发调试,有效降低开发和应用成本。
  • 一种面向plc逻辑编程智能形式化验证方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top