[发明专利]基于Grünwald-Letnikov定义的高阶逻辑分数阶验证方法无效
| 申请号： | 201210352278.6 | 申请日： | 2012-09-21 |
| 公开（公告）号： | CN102902509A | 公开（公告）日： | 2013-01-30 |
| 发明（设计）人： | 赵春娜;师丽坤;骆力明;王华;金声震;关永;施智平;李晓娟;刘旭敏;谭小慧 | 申请（专利权）人： | 赵春娜 |
| 主分类号： | G06F7/64 | 分类号： | G06F7/64 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 100048 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种定理证明的形式化验证方法。针对实际复杂系统的关键特征，基于Grünwald-Letnikov分数阶微积分定义，利用高阶逻辑分数阶定理库验证其正确性和有效性。本发明采用高阶逻辑中的分数阶定理库，通过人机交互方式验证复杂系统分数阶模型具有的属性特征，确保分数阶模型的精确性。分数阶模型由于引入分数阶次可以更加准确的描述实际复杂系统，分数阶验证能够提高定理证明的完备性和准确性。本发明提出的分数阶验证方法能够提高验证的精确性，确保系统的高可靠性，特别适用于高铁、核电站、航天等高精度要求的领域。 | ||
| 搜索关键词： | 基于 gr nwald letnikov 定义 逻辑 分数 验证 方法 | ||
【主权项】：
一种基于Grünwald‑Letnikov定义的高阶逻辑分数阶验证方法，其特征在于：选择高阶逻辑定理证明器作为基本工具，基于Grünwald‑Letnikov分数阶微积分定义和性质，通过人机交互方式验证分数阶模型具有的属性特征，确保分数阶模型的精确性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于赵春娜，未经赵春娜许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210352278.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种烟熏鸡胸的制作方法
- 下一篇：钢挤压机的钢管拉出装置
