龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：华东师范大学
摘要：本发明公开了一种基于大型语言模型和形式化方法的安全案例自动化构建与验证，其特点是采用大型语言模型集成模块、自然语言处理模块、Prolog解释器和约束求解器模块、图形用户界面模块、可信推理树评估器模块、报告生成器模块构架的安全案例工具，该安全案例工具通过集成大型语言模型自动创建安全案例，随后将自然语言描述转换为形式化约束表达式，并通过Prolog解释器和约束求解器进行自动验证，实现安全案例的自动化生成与验证。本发明与现有技术相比具有自动化创建和验证安全案例的能力，简化安全案例的构建和验证过程，验证效率和准确性高，有效识别了手工检查难以发现的问题，为医疗、航空、汽车等关键安全领域提供了可靠的安全案例开发解决方案。
主权项：1.一种基于大型语言模型的安全案例自动构建与验证方法，其特征在于，采用大型语言模型集成模块、自然语言处理模块、Prolog解释器和约束求解器模块、图形用户界面模块、TDT评估器模块、报告生成器模块构架的安全案例工具，实现安全案例的自动化生成与验证，所述集成大型语言模型自动创建安全案例；所述自然语言处理模块将自然语言描述转换为形式化约束表达式；所述Prolog解释器和约束求解器模块用于处理和解决从算术到Horn子句的广泛逻辑约束；所述图形用户界面模块为用户交互、编辑和评估安全案例，所述安全案例工具通过集成大型语言模型自动创建安全案例，随后将自然语言描述转换为形式化约束表达式，并通过Prolog解释器和约束求解器进行自动验证。
全文数据：
权利要求：
百度查询： 华东师范大学 一种基于大型语言模型的安全案例自动构建与验证方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号