seminar 2000

ゼミナール講演

日時	平成12年 6月 7日(水)4限(15:10 -- 16:40)
場所	L1

概要: 量子力学に基づく計算機である量子計算機を用いると，整数の因数分解が桁数の多項式時間で行えること等が知られており，近年注目を集めている．量子計算機のモデルとして，チューリング機械を拡張した量子チューリング機械，有限オートマトンを拡張した量子有限オートマトン，ブランチングプログラムを拡張した量子ブランチングプログラム等が提案されており，量子計算モデルが従来の計算モデルよりも能力が高い可能性が指摘されている．本講演では，量子計算モデルについて解説をした後，従来の計算モデルと比べてどのような能力の違いがあるかについて述べる．

概要: 情報ネットワークの発達により，我々は多くの情報を発信・受信することが容易になった．これら多くの情報の中から利用者が必要な情報を抽出する情報検索の手法は，今日ではなくてはならないものとなっている．しかし，現在の Web 上の検索システムで使用されている文書検索の方法は，単に文書を文字列として扱っているだけで，文書の持つ文書構造を反映した手法は数少ない．しかし，Web の将来性や構造化文書の今後の重要性を考慮すると，文書内外に存在する構造，例えば HTML のリンク構造や構造化文書の持つ木構造を考慮した検索手法が必要となってくる．そこで，本講演では，Web 文書間に張られているリンクの構造や，構造化文書の持つ文書自身の構造を利用した情報検索手法について，講演者が行ってきた研究を紹介する．また，構造化文書の木構造を利用した検索者のアクセス制御についても触れ，一つの構造化文書をアクセス権に応じて様々な形で閲覧させることができる機構の実現法についても紹介する．

概要: 近年の計算機パワーの増大と数値計算アルゴリズムの進歩により数値最適化手法の制御理論への応用が盛んに行われている．中でも制御問題をLMI（線形行列不等式）ベースの数値最適化問題に帰着させ解析，設計を行うアプローチは，多くの典型的な制御問題がLMIベースで記述可能であることから有効性が広く認められている．計算機の支援を前提とするこのようなアプローチは，従来の解析的手法では困難であった問題や，多目的制御に有効であることが知られており，実用的観点からも重要である．
本講演では航空機のフライトコントロールシステムの設計を例としてLMIベースの制御系設計の有効性を紹介する．フライトコントロールシステムでは，コントローラが航空機に接続された状態において1)航空機の運動モードが実用上適切なものであること（固有構造配置），2)設計モデルと実際の航空機の特性に差があっても安定性を失わないこと（位相，ゲイン変動に対するロバスト安定性）が要求される．従来手法で困難であったこのような設計もLMIベースのアプローチにより容易に取り扱い可能である．

平成12年度ゼミナール担当：笠原正治, 河野恭之, 小笠原司