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

龙图腾网获悉卡斯柯信号有限公司申请的专利SCADE模型转化为Lustre模型过程中中间变量消去的方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115237754B 。

龙图腾网通过国家知识产权局官网在2025-07-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210742855.6，技术领域涉及：G06F11/3604；该发明授权SCADE模型转化为Lustre模型过程中中间变量消去的方法及装置是由李腾飞;孙军峰;吕新军;陈祥;刘静设计研发完成，并于2022-06-27向国家知识产权局提交的专利申请。

本SCADE模型转化为Lustre模型过程中中间变量消去的方法及装置在说明书摘要公布了：本发明涉及一种SCADE模型转化为Lustre模型过程中中间变量消去的方法及装置，该方法包括以下步骤：步骤S1，节点或函数名称解析过程；步骤S2，变量解析过程；步骤S3，方程解析过程；步骤S4，方程赋值变量遍历过程；步骤S5，方程中间变量搜索过程；步骤S6，方程输出过程。与现有技术相比，本发明具有解决SCADE模型中大量中间变量导致计算量增加问题等优点。

本发明授权SCADE模型转化为Lustre模型过程中中间变量消去的方法及装置在权利要求书中公布了：1.一种SCADE模型转化为Lustre模型过程中中间变量消去的方法，其特征在于，该方法包括以下步骤： 步骤S1，节点或函数名称解析过程，用于从SCADE模型对应的脚本文件中解析节点或函数的名称； 步骤S2，变量解析过程，用于对节点或者函数的输入、输出和局部变量的变量名和类型进行解析； 步骤S3，方程解析过程，用于对节点或者函数的方程根据操作符名称进行解析，得到操作符对应的方程结构列表； 步骤S4，方程赋值变量遍历过程，用于遍历步骤S3中的方程结构列表中的赋值变量，并建立当前索引下的赋值变量列表； 步骤S5，方程中间变量搜索过程，用于对方程结构列表的操作符进行搜索，并返回与赋值变量相匹配的方程结构； 步骤S6，方程输出过程，用于根据上述解析的方程，对其方程结构列表进行搜索，得到与调用参数匹配的内容并替换后添加至输出方程列表； 所述的步骤S6，方程输出过程具体为： 步骤S601，遍历方程结构列表，对所述方程中间变量搜索过程更新后的方程结构列表进行遍历； 步骤S602，获得方程赋值变量，根据当前索引获得方程的赋值变量，并为赋值变量建立一个数组，存储每一个赋值变量； 步骤S603，判断赋值变量类型，遍历赋值遍历数组，如果当前的赋值变量为局部变量，将继续进行处理，反之，则直接添加至输出方程的列表中； 步骤S604，获取方程结构列表，如果所述赋值变量为局部变量，则进入搜索该局部变量阶段，将获取并遍历该方程结构列表； 步骤S605，判断调用参数类型，如果调用参数为局部变量则需要进一步的处理，反之，则直接添加至输出方程列表； 步骤S606，搜索方程结构列表，如果上述调用参数不是局部变量，则需要再次对方程结构列表进行遍历； 步骤S607，搜索方程中间变量，对于当前的方程的调用参数，从方程列表中搜索其值并进行替换； 步骤S608，添加输出方程列表，将搜索后的变量进行替换，并更新方程，将更新后的方程添加至输出方程列表； 步骤S609，输出方程列表，如果上述过程遍历尚未结束，继续进入循环；反之，则输出方程列表。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人卡斯柯信号有限公司，其通讯地址为：200070 上海市静安区天目中路428号凯旋门大厦27层C/D座；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。