中国核动力研究设计院冯媛媛获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国核动力研究设计院申请的专利一种扩展条件块的同步数据流语言转换方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN117454848B 。
龙图腾网通过国家知识产权局官网在2025-07-15发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202311577794.3,技术领域涉及:G06F40/154;该发明授权一种扩展条件块的同步数据流语言转换方法是由冯媛媛;杨斐;侯荣彬;马权;刘明星;蒋维;赵阳;梁根华;吴延群;李勇;刘盈设计研发完成,并于2023-11-23向国家知识产权局提交的专利申请。
本一种扩展条件块的同步数据流语言转换方法在说明书摘要公布了:本发明公开了一种扩展条件块的同步数据流语言转换方法,涉及核电厂仪控软件技术领域,提出的扩展条件块能够可以支持两个及以上条件分支,能够更加清晰直观的描述条件控制流的跳转关系;同时考虑到实际工程有将标准Lustre语言转换为C语言的需求并且已实现,提出一种将条件块转换为等价的Luste代码的方法,以达到不改变原有Lustre到C代码生成器的目的;最后提出了一种条件块的图形表现方式及编辑方法,能够方便的对条件块进行图形建模。
本发明授权一种扩展条件块的同步数据流语言转换方法在权利要求书中公布了:1.一种扩展条件块的同步数据流语言转换方法,其特征在于,包括: 获取目标扩展条件块;所述目标扩展条件块用于表征待转换为同步数据流语言的条件块; 对目标扩展条件块进行校验,并获取校验结果;所述校验结果包括校验通过或校验不通过; 当所述校验结果为校验通过时,则对目标扩展条件块进行解析,生成包括目标扩展条件块语法结构的第一抽象语法树; 将所述第一抽象语法树转换为同步数据流语言语法结构的第二抽象语法树,并以所述第二抽象语法树生成同步数据流语言代码,完成同步数据流语言的转换; 所述当所述校验结果为校验通过时,则对目标扩展条件块进行解析,生成包括目标扩展条件块语法结构的第一抽象语法树,包括: 当所述校验结果为校验通过时,解析目标扩展条件块,以获取目标扩展条件块中的if条件块以及match条件块; 对if条件块执行第一转换以及对match条件块执行第二转换,以将目标扩展条件块转换为第一抽象语法树; 所述对if条件块执行第一转换,包括:确定if条件块的输出参数,并将所述if条件块的输出参数作为第一抽象语法树中等式左值;所述if条件块的输出参数个数与等式个数相同;将if条件块中条件变量的值赋给第一抽象语法树中条件变量的值; 所述对match条件块执行第二转换,包括:解析match条件块中的分支个数,并以所述match条件块中的分支个数为基础,将match条件块转换为至少一个if条件块;在已有第一抽象语法树的基础上,将转换得到的if条件块执行第一转换,得到第一抽象语法树。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国核动力研究设计院,其通讯地址为:610000 四川省成都市双流区长顺大道一段328号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。