买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜中控技术股份有限公司申请的专利组态方法、数组下标越界的动态检测方法、分散控制系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113849395B 。

龙图腾网通过国家知识产权局官网在2025-03-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202110914676.1，技术领域涉及：G06F11/3604；该发明授权组态方法、数组下标越界的动态检测方法、分散控制系统是由徐伟强;陈延;吴欣;刘先霖;黄彤俊;闫西宁设计研发完成，并于2021-08-10向国家知识产权局提交的专利申请。

本组态方法、数组下标越界的动态检测方法、分散控制系统在说明书摘要公布了：本申请涉及一种用于数组下标越界检查的组态方法，包括：ST编辑器生成采用结构化文本语言编写的控制程序；ST编译器针对控制程序中的每个数组对象，建立相应的数组内存模型；ST编译器将控制程序编译转换为C语言代码，在编译转换过程中，针对下标中具有非常量表达式的数组元素，增加用于数组下标越界动态检查的代码片段，并将数组元素的C语言代码地址表达式嵌入到代码片段中；代码片段采用三目条件运算符实现；C编译器将包含代码片段的C语言代码编译成对应的二进制文件下载至目标控制器中，以便目标控制器运行时按照三目条件运算符中的条件表达式检查数组下标是否越界。通过本申请方法能够在控制程序运行时动态检测内存是否越界。

本发明授权组态方法、数组下标越界的动态检测方法、分散控制系统在权利要求书中公布了：1.一种用于数组下标越界检查的组态方法，其特征在于，该方法包括：ST编辑器生成采用结构化文本语言编写的控制程序；ST编译器针对所述控制程序中的每个数组对象，建立相应的数组内存模型，所述数组内存模型包括数组总维度数、每一维的元素数及数组的所有元素；所述ST编译器将所述控制程序编译转换为C语言代码，在编译转换过程中，针对下标中具有非常量表达式的数组元素，增加用于数组下标越界动态检查的代码片段，并将所述数组元素的C语言代码地址表达式嵌入到所述代码片段中；所述代码片段采用三目条件运算符实现；C编译器将包含所述代码片段的C语言代码编译成对应的二进制文件下载至目标控制器中，以便所述目标控制器运行时按照所述三目条件运算符中的条件表达式检查数组下标是否越界；所述条件表达式中通过自定义的CheckInd函数判断每一个非常量表达式是否下标越界，所述CheckInd函数的参数包括：数组对象的起始地址ADDR，维度序号i，第i维的非常量下标表达式IND_EXPi；所述第i维的非常量下标表达式IND_EXPi中包含数组元素。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中控技术股份有限公司，其通讯地址为：310053 浙江省杭州市滨江区六和路309号(高新区)；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。