[發明專利]函數分支處理方法及裝置

在審

• 申請號: 201710308928.X
• 申請日: 2017-05-04
• 公開（公告）號: CN107038146A
• 公開（公告）日: 2017-08-11
• 發明（設計）人: 符紅光;鐘秀琴;沈自虎
• 申請（專利權）人: 電子科技大學
• 主分類號: G06F17/15
• 分類號: G06F17/15;G06N5/04
• 代理公司: 北京超凡志成知識產權代理事務所(普通合伙)11371
• 代理人: 梁斌

1.一種函數分支處理方法，應用于數據處理終端，其特征在于，該數據處理終端預先存儲有包括有至少一個求解規則的求解規則數據庫，所述函數分支處理方法包括：

獲得待處理函數問題，解析所述待處理函數問題，獲得其中的已知條件和待求解問題；

根據所述已知條件、待求解問題，匹配所述求解規則，對所述待處理函數問題進行分支推理求解，并記錄每個分支的求解過程；

將所述每個分支的求解過程輸出為預設格式的求解記錄。

2.根據權利要求1所述的函數分支處理方法，其特征在于，所述根據所述已知條件、待求解問題，匹配所述求解規則的步驟，包括：

在分支處理過程中，針對每個分支，根據所述已知條件和待求解問題，匹配求解規則對該分支的問題進行求解，記錄求解結果及求解過程，并將求解結果作為新的已知條件繼續進行分支推理求解。

3.根據權利要求2所述的函數分支處理方法，其特征在于，所述在分支處理過程中，針對每個分支，根據所述已知條件和待求解問題，匹配求解規則對該分支的問題進行求解，記錄求解結果及求解過程，并將求解結果作為新的已知條件繼續進行分支推理求解的步驟，包括：

根據所述求解規則對所述待處理函數問題中的函數求導，得到對應的導函數；

根據所述求解規則，將所述導函數構建為導函數方程，并將該導函數方程作為新的已知條件；

根據所述導函數方程，以及所述求解規則，判斷所述導函數方程是否含有參數；

根據判斷結果，生成含有參數的第一分支，或不含參數的第二分支；

在所述第一分支中，將含有參數作為已知條件，對該導函數進行求解，記錄求解過程，并基于參數空間和該導函數的定義域分割參數空間作為參數取值范圍；

根據導函數在基于所述參數取值范圍下的自變量區間中的值，計算并記錄所述待求解函數單調區間和/或單調性。

4.根據權利要求3所述的函數分支處理方法，其特征在于，所述在所述第一分支中，將含有參數作為已知條件，對該導函數進行求解，記錄求解過程，并基于參數空間和該導函數的定義域分割參數空間作為參數取值范圍的步驟，包括：

判斷該導函數方程是否有確定解的個數，根據判斷結果，生成有確定解的個數的第三分支，或無確定解的個數的第四分支；

在所述第三分支中，將有確定解的個數作為已知條件，基于確定解的個數分割所述參數空間，基于解的情況和該導函數定義域分割所述自變量區間；

在所述第四分支中，將無確定解的個數作為已知條件，基于所述已知條件分割自變量區間；

根據分割的自變量區間對應的該導函數的定義域分割參數空間，以作為參數的取值范圍。

5.根據權利要求3所述的函數分支處理方法，其特征在于，在所述第二分支中，將不含有參數作為已知條件對該導函數方程進行求解，并判斷是否有解；

根據判斷結果，生成有解的第五分支或無解的第六分支；

在所述第五分支中，將所述導函數方程有解作為已知條件，基于該導函數定義域和解分割自變量區間，以作為自變量取值范圍，根據所述導函數在自變量取值范圍的定義域中的值，計算并記錄所述待求解函數所述待求解函數單調區間和/或單調性；

在第六分支中，將所述導函數方程無解作為已知條件，根據所述導函數在該導函數定義域中的值，計算并記錄所述待求解函數所述待求解函數的單調區間和/或單調性。

6.根據權利要求3或5所述的函數分支處理方法，其特征在于，所述計算并記錄所述待求解函數單調區間和/或單調性的步驟，包括：

判斷該導函數在對應的定義域中是否大于0；

若該導函數大于0，記錄參數范圍和自變量單調遞增區間；

若該導函數小于0，記錄參數范圍和自變量單調遞減區間。

7.根據權利要求1-5中任意一項所述的函數分支處理方法，其特征在于，所述求解規則數據庫中的求解規則包括代數的基本定理、規則，以及平面幾何的推理規則、公理、定義和定理。