中国人民解放军国防科技大学喻波获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国人民解放军国防科技大学申请的专利一种符号化内存映射方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116185829B 。
龙图腾网通过国家知识产权局官网在2026-05-08发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211645928.6,技术领域涉及:G06F11/3604;该发明授权一种符号化内存映射方法及系统是由喻波;徐彬彬;王宝生;陈曙晖;杨强;刘润昊设计研发完成,并于2022-12-20向国家知识产权局提交的专利申请。
本一种符号化内存映射方法及系统在说明书摘要公布了:本发明公开了一种符号化内存映射方法及系统,该方法包括:步骤S1:根据内存读写属性配置,初始化内存属性判断器;步骤S2:根据符号化内存配置,初始化符号表达式映射器;步骤S3:输入处理器接收读取操作或者写入操作,内存属性判断器根据步骤S1中的内存属性判断器,判断读写操作的合法性;对于不合法操作,交由输出处理器生成输出;对于合法操作,交由符号表达式映射器执行后续操作;步骤S4:符号表达式映射器根据读写操作,和步骤S2中符号化内存配置,分情况处理符号化内存的读写操作。该系统用来实施上述方法。本发明具有原理简单、适用范围广、硬件开销小等优点。
本发明授权一种符号化内存映射方法及系统在权利要求书中公布了:1.一种符号化内存映射方法,其特征在于,包括: 步骤S1:根据内存读写属性配置,初始化内存属性判断器; 步骤S2:根据符号化内存配置,初始化符号表达式映射器; 步骤S3:输入处理器接收读取操作或者写入操作,内存属性判断器根据步骤S1中的内存属性判断,判断读写操作的合法性;对于不合法操作,交由输出处理器生成输出;对于合法操作,交由符号表达式映射器执行后续操作; 步骤S4:符号表达式映射器根据读写操作,和步骤S2中符号化内存配置,分情况处理符号化内存的读写操作; 将符号化内存划分为可读内存、可写内存、可读写内存;对于内存的读取和写入操作,分以下情况进行处理: 1对于从非符号化内存读的情况,若内容为符号表达式,则返回符号表达式,若内容为非符号表达式,则返回具体值; 2对于向非符号化内存写的情况,若写入值为符号表达式,则内存映射为符号表达式,若写入值为非符号表达式,则忽略; 3对于从符号化内存读的情况,若内容为符号表达式,则返回符号表达式,若内容为非符号表达式,则返回具体值对应的符号表达式; 4对于向符号化内存写的情况,则记录内存映射到符号表达式。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军国防科技大学,其通讯地址为:410073 湖南省长沙市开福区砚瓦池正街47号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励