| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-06-13 14:20 左右対称なメンバシップ関数およびファジィ推論計算のMizarによる形式化 ○三石貴志（長野大）  MW2024-18 |
|
| 抄録 | （和） | 本研究では，区分的線形関数や三角関数などの曲線で定義されたメンバシップ関数の集合の形式化を行った． また，二等辺三角形型や等脚台形型の関数を従来のMizar言語による表記とは異なる絶対値関数を用いた表記をし，それらが等しいことを検証した． さらにファジィ制御における状態方程式の一意存在のためのメンバシップ関数の状態変数に対するLipschitz連続性を定式化した． |
| （英） | In this study, we formalized a set of membership functions defined by curves, such as piecewise linear functions and trigonometric functions. In addition, the isosceles triangular and isosceles trapezoidal functions are expressed using an absolute value function that is different from the conventional Mizar language notation, and verified that they are equal. Furthermore, we formulated the Lipschitz continuity of the membership function for the state variables for the unique existence of state equations in fuzzy control. |
|
| キーワード | （和） | メンバシップ関数 / Mizarシステム / 形式化 / Lipschitz連続 / / / / |
| （英） | Membership functions / Mizar / formalization / Lipschitz continuity / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 78, MW2024-18, pp. 1-4, 2024年6月. | |
| 資料番号 | MW2024-18 | |
| 発行日 | 2024-06-06 (MW) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MW2024-18 |
|
| 研究会情報 | |
| 研究会 | MW |
| 開催期間 | 2024-06-13 - 2024-06-14 |
| 開催地（和） | 八丈町商工会 |
| 開催地（英） | Hachijomachi-shoko-kai |
| テーマ（和） | マイクロ波⼀般 |
| テーマ（英） | Microwave, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | MW |
| 会議コード | 2024-06-MW |
| 本文の言語 | 日本語 |
| タイトル（和） | 左右対称なメンバシップ関数およびファジィ推論計算のMizarによる形式化 |
| サブタイトル（和） | |
| タイトル（英） | Formalization of isosceles triangular and isosceles trapezoida membership functions and calculation in fuzzy approximate reasoning |
| サブタイトル（英） | |
| キーワード(1)（和/英） | メンバシップ関数 / Membership functions |
| キーワード(2)（和/英） | Mizarシステム / Mizar |
| キーワード(3)（和/英） | 形式化 / formalization |
| キーワード(4)（和/英） | Lipschitz連続 / Lipschitz continuity |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 三石 貴志 / Takashi Mitsuishi / ミツイシ タカシ |
| 第1著者 所属（和/英） | 長野大学 (略称： 長野大) Nagano University (略称： Nagano Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-06-13 14:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MW |
| 資料番号 | MW2024-18 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.78 |
| ページ範囲 | pp.1-4 |
| ページ数 | 4 |
| 発行日 | 2024-06-06 (MW) |
[研究会発表申込システムのトップページに戻る]