温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提出一种定理证明的形式化验证方法。针对实际复杂系统的关键特征，基于Grünwald-Letnikov分数阶微积分定义，利用高阶逻辑分数阶定理库验证其正确性和有效性。本发明采用高阶逻辑中的分数阶定理库，通过人机交互方式验证复杂系统分数阶...
该专利属于赵春娜所有，仅供学习研究参考，未经过赵春娜授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。