[發明專利]基于Grünwald-Letnikov定義的高階邏輯分數階驗證方法無效
| 申請號： | 201210352278.6 | 申請日： | 2012-09-21 |
| 公開（公告）號： | CN102902509A | 公開（公告）日： | 2013-01-30 |
| 發明（設計）人： | 趙春娜;師麗坤;駱力明;王華;金聲震;關永;施智平;李曉娟;劉旭敏;譚小慧 | 申請（專利權）人： | 趙春娜 |
| 主分類號： | G06F7/64 | 分類號： | G06F7/64 |
| 代理公司： | 暫無信息 | 代理人： | 暫無信息 |
| 地址： | 100048 北京*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 基于 gr nwald letnikov 定義 邏輯 分數 驗證 方法 | ||
【權利要求書】：
1.一種基于Grünwald-Letnikov定義的高階邏輯分數階驗證方法，其特征在于：選擇高階邏輯定理證明器作為基本工具，基于Grünwald-Letnikov分數階微積分定義和性質，通過人機交互方式驗證分數階模型具有的屬性特征，確保分數階模型的精確性。
2.根據權利要求1所述的高階邏輯分數階驗證方法，其特征在于：分數階Grünwald-Letnikov定義，在高階邏輯定理證明器中的形式化，α為實數。
。
3.根據權利要求1所述的高階邏輯分數階驗證方法，其特征在于：分數階Grünwald-Letnikov定義中的二項式系數不是常用的整數的二項式系數，而是實數二項式系數：
。
4.根據權利要求1所述的高階邏輯分數階驗證方法，其特征在于：分數階Grünwald-Letnikov定義中實數二項式系數形式化，要先形式化實數的上升階乘冪(x)(n)和下降階乘冪(x)(n)。
5.根據權利要求1所述的高階邏輯分數階驗證方法，其特征在于：分數階微積分線性性質形式化；分數階微積分算子是線性的，即對任意常數a、b有
。
6.根據權利要求1所述的高階邏輯分數階驗證方法，其特征在于：分數階微積分算子滿足交換律，并滿足疊加關系
該性質在高階邏輯定理證明器中是完備的，α，β為實數。?
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于趙春娜，未經趙春娜許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201210352278.6/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：一種煙熏雞胸的制作方法
- 下一篇：鋼擠壓機的鋼管拉出裝置
