“丁继政”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]序列化和反序列化方法及电子设备-CN202310244681.5在审
发明人： 丁继政;朱进;徐博士 -专利权人：浙江极氪智能科技有限公司;浙江吉利控股集团有限公司
申请日： 2023-03-08 - 公布日： 2023-08-08 - 主分类号： G06F8/51 文献下载
摘要：本申请提供一种序列化和反序列化方法及电子设备。该方法包括：序列化器根据基础类型建立序列化基础数据接口方法，根据序列化基础数据接口方法将C++基础数据序列化为JSON基础数据，并根据序列化规则将JSON基础数据组合生成JSON对象；反序列化器根据基础类型建立反序列化基础数据接口方法，根据序列化基础数据接口方法将JSON基础数据反序列化为C++基础数据，并根据反序列化规则将C++基础数据组合生成C++数据。本申请实现了C++数据和JSON对象之间的序列化和反序列化，并通过建立C++基础数据和JSON基础数据之间的序列化和反序列化接口方法，以及序列化和反序列化规则，提升了序列化和反序列化的鲁棒性和数据可读性。
序列方法电子设备

[发明专利]基于霍尔逻辑的嵌入式实时操作系统的自动化验证方法-CN201810834369.0有效
发明人：郭建;丁继政;朱晓冉 -专利权人：华东师范大学
申请日： 2018-07-26 - 公布日： 2021-07-27 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于霍尔逻辑的嵌入式实时操作系统的自动化验证方法，将操作系统中的自然语言规范运用了一阶逻辑进行了重写，并利用霍尔逻辑将改写的一阶逻辑表达式以及一些必要的循环不变式、对象不变性添加到源代码中；针对混合代码中汇编程序建立出抽象模型，对这个抽象模型给出了相关的语法语义定义，然后利用类C语言的ghost语言对抽象模型进行代码实现，并用实现的抽象模型替代原混合代码中的汇编代码形成新的混合代码，在新的混合代码基础上插入所要验证的性质。在本方法中利用了一种自动验证工具能够实现对代码的全自动化的验证，若验证不通过还可得到反例，以便于更快的模型或操作系统应用中的错误。
基于霍尔逻辑嵌入式实时操作系统自动化验证方法