CN119443268A 一种基于定理证明器的模糊互模拟形式化验证和建模方法 (江西师范大学).pdfVIP

  • 2
  • 0
  • 约1.46万字
  • 约 12页
  • 2026-10-20 发布于重庆
  • 举报

CN119443268A 一种基于定理证明器的模糊互模拟形式化验证和建模方法 (江西师范大学).pdf

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119443268A

(43)申请公布日2025.02.14

(21)申请号202411480183.1

(22)申请日2024.10.23

(71)申请人江西师范大学

地址330000江西省南昌市高新技术开发

区紫阳大道99号

(72)发明人游珍吴嘉伟左正康薛锦云

王昌晶张晗庆

(74)专利代理机构南昌丰择知识产权代理事务

所(普通合伙)36137

专利代理师刘小平

(51)Int.Cl.

G06N5/04(2023.01)

G06N5/048(2023.01)

权利要求书2页

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档