龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：西安电子科技大学
摘要：本发明属于计算机辅助设计技术领域，公开了一种自然语言到PPTL形式化规约自动生成方法及系统，所述自然语言到PPTL形式化规约自动生成方法包括：利用自然语言处理技术解析自然语言性质文本并生成语法树，遍历该树进行句子成分的提取、重排和标记等预处理操作，并生成标记文本；使用JavaCC工具对标记文本进行语法语义分析，生成含有子句、连接词和时序信息的句法树，遍历句法树生成原子命题及组合PPTL公式；使用PPTLSAT工具判定生成公式的可满足性。本发明能够帮助用户从自然语言描述的性质中提取形式化规约用于模型检测，将用户描述的自然语言文本性质转化为PPTL公式，为普通用户使用模型检测技术提供方便。
主权项：1.一种自然语言到PPTL形式化规约自动生成方法，其特征在于，所述自然语言到PPTL形式化规约自动生成方法包括：使用StanfordNLP对输入的自然语言文本进行预处理，进行冗余信息删除，并将识别到的句子成分和结构进行重排，生成标记文本；使用JavaCC工具对标记文本进行语法语义分析，识别语句中的标记，提取句子成分信息并构建句法树；依据PPTL公式生成规则遍历句法树，将所有的原子命题与逻辑连接词操作符、时序操作符组合在一起，并根据句法树结构表达的逻辑连接词语义生成完整的PPTL形式化规约；使用公式可满足性判定工具PPTLSAT判定生成PPTL公式可满足性，并将生成文件进行解析获取判定结果。
全文数据：
权利要求：
百度查询： 西安电子科技大学 一种自然语言到PPTL形式化规约自动生成方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号