权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

プルーフチェッカー(Mizar)を用いたファジィ制御における最適化問題の解析

使用证明检查器（Mizar）分析模糊控制中的优化问题

基本信息

批准号：
15700195
负责人：
三石貴志
金额：
$ 1.47万
依托单位：
Miyagi University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2003
资助国家：
日本
起止时间：
2003 至 2005
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15700195/
关键词：
ファジィ制御最適化問題プルーフチェッカー

项目摘要

ファジィ制御における最適化問題として本年度は,関数解析的手法を用いて中森の推論法に関する考察を行った.この推論法は,Mamdani推論法やT-Sファジィモデルのファジィ推論とは異なり,各ルールごとの推論結果をファジィ集合として出力しない.つまりこの推論法は,ルール全体の推論結果を計算する過程(重心計算)でモデル全体の推論をルール適合度による加重平均で定義している.これは推論過程による出力の可能性分布といえる.推論計算にて構成される入出力変数は,IF-THENルールにおける前件部および後件部のメンバシップ関数に依存している.それゆえ,出力を算出する中森ファジィ推論法がメンバシップ関数集合族上で連続である事実,および二次形式評価関数のメンバシップ関数集合族上の連続性を証明することにより,最適制御の存在性が証明された("Continuity of Nakamori Fuzzy Model and Its Application to Optimal Feedback Control").その他,ファジィ制御を用いたアプリケーションとして,色彩の決定をファジィ推論を用いて行うシステムの開発を行った.これは1組のIF-THENルールのみによって色を決定するものではなく,評価的な意味合いを持たせた2組目のIF-THENルールを組み合わせ,2段階で色彩を決定するものである("Approximate Reasoning Using Fuzzy Set as Input Applied to Coloration").

In order to control the optimization problem of this year, the method of numerical analysis is used to investigate the problem of optimization. In this paper, we use the method of Mamdani, the method of deduction, the method of deduction. The method of deduction, the results of the calculation, the calculation of the center of gravity, the calculation of the process, the calculation of the center of gravity, the calculation of the whole process, the calculation of the center of gravity, the calculation of the process, the calculation of the center of gravity, the calculation of the whole process, the calculation of the center of gravity, the calculation of the whole process, the calculation of the center of gravity, the calculation of the whole process, the calculation of the center of gravity, the calculation of the center of gravity. It is recommended that the distribution of the possibility of contribution to the process will be significant. In this paper, we calculate the number of input and output forces by calculating the number of input and output forces, the number of input and output forces. In this paper, we try to calculate the number of data on the collection family, the second form, the number of data on the collection family, the number of data on the collection family, the number of data on the set family, the number of data sets, and the number of data sets. The most important thing is to determine the existence of data sets ("Continuity of Nakamori Fuzzy Model and Its Application to Optimal Feedback Control"). If you ask him, you should use the system to determine the color of the system, and the color system should be used to determine the operation of the system. The color of the IF-THEN component 1 determines the size of the image, which means that the combination of the two IF-THEN components is integrated, and the color of the two segments determines the performance of the device ("Approximate Reasoning Using Fuzzy Set as Input Applied to Coloration").