| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2013-01-23 10:40 |
大阪 | 大阪国際会議場 | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 ○王 龍江・高井重昌（阪大）  MSS2012-52 |
本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様... [more] | MSS2012-52 pp.39-44 |
| MSS, CAS (共催) |
2012-11-01 15:00 |
岩手 | 岩手大学 | ANDルールを用いた離散事象システムの分散型オンライン診断 ○山本 聖・高井重昌（阪大） CAS2012-53 MSS2012-33 |
本稿では，複数のローカル診断器の判断をANDルールにより統合する，離散事象システムの分散型故障診断について考察する．AN... [more] | CAS2012-53 MSS2012-33 pp.17-21 |
| MSS, CAS (共催) |
2012-11-01 15:25 |
岩手 | 岩手大学 | 抽象化を用いた部分観測離散事象システムの検証 ○横谷美怜・高井重昌（阪大） CAS2012-54 MSS2012-34 |
部分観測離散事象システムに関する性質の多くは，その検証のための計算量がオートマトンモデルの状態数に依存するため，規模の大... [more] | CAS2012-54 MSS2012-34 pp.23-27 |
| MSS, CAS (共催) |
2012-11-01 15:50 |
岩手 | 岩手大学 | ワイルドカード文字を含むNグラムモデルを用いた確率離散事象システムの故障診断 ○平石邦彦・吉本美和・小林孝一（北陸先端大） CAS2012-55 MSS2012-35 |
著者らの以前の論文において，確率離散事象システムに対する新しい故障診断方式を提案している。提案法では，まずシステムで発生... [more] | CAS2012-55 MSS2012-35 pp.29-34 |
| MSS, CAS (共催) |
2012-11-02 09:55 |
岩手 | 岩手大学 | モデルベース開発におけるモデリングと解析に関する考察 ○千葉裕介・猪股俊光・新井義和・今井信太郎（岩手県立大） CAS2012-58 MSS2012-38 |
モデルベース開発において，UMLで記述されたモデルを対象とした解析法について考察した．モデルの満たす性質，モデルどうしの... [more] | CAS2012-58 MSS2012-38 pp.47-51 |
| AN | 2012-07-13 16:00 |
岩手 | 岩手県立大アイーナキャンパス | 行動・通信連携シミュレーションによる耐災害ネットワークと安否確認アプリケーションの有効性評価 ○大和田泰伯・井上真杉・三浦 龍・原井洋明・辻 宏之（NICT） AN2012-22 |
本稿では,災害時に頼れるネットワークとして,NerveNet を用いたメッシュ型の地域ネットワークと,さらには無人航空機... [more] | AN2012-22 pp.39-44 |
| VLD, CAS, MSS, SIP (共催) |
2012-07-03 16:10 |
京都 | 京都リサーチパーク | 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法 ○野村雅司・高井重昌（阪大） CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 |
本稿では，時間付き離散事象システムにおける分散スーパバイザ制御について考察する．ここで，可制御事象の許可に関するローカル... [more] | CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 pp.149-154 |
| MSS | 2012-03-08 13:55 |
東京 | JAIST東京サテライト | 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 ○木村克行・野村雅司・高井重昌（阪大） MSS2011-73 |
本稿では，非決定オートマトンでモデル化された制御対象と制御仕様に対して，スーパバイザ制御されたシステムと制御仕様が双模倣... [more] | MSS2011-73 pp.5-10 |
| SS, MSS (共催) |
2012-01-27 11:45 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムの分散型故障診断における冗長性解析 ○中田修平・高井重昌（阪大） MSS2011-71 SS2011-56 |
本研究では，複数のローカル診断器を用いた離散事象システムの分散型故障診断において，何らかの原因によりいくつかの診断器の診... [more] | MSS2011-71 SS2011-56 pp.95-100 |
| CAS, MSS (共催) |
2011-11-18 12:05 |
山口 | 山口大学大学会館 | 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御 ○野村雅司・高井重昌（阪大） CAS2011-80 MSS2011-49 |
時間付き離散事象システムの分散スーパバイザ制御において，各ローカルスーパバザは，与えられた制御仕様が満足されるように，自... [more] | CAS2011-80 MSS2011-49 pp.95-100 |
| MSS, CAS, VLD, SIP (共催) |
2011-07-01 10:20 |
沖縄 | 沖縄県青年会館 | リスクとコストを考慮した離散事象システムの最適スーパバイザ制御 ○梶原弘治・山崎達志（摂南大） CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 |
本報告では，離散事象システムに対して新たにリスクという指標を導入し，リスクとコストを考慮したスーパバイザの設計手法を提案... [more] | CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 pp.121-126 |
| MSS | 2011-01-20 14:40 |
山口 | 海峡メッセ下関 | ［招待講演］エレベータ運行計画問題への最適性／実用性を目指す二つのアプローチ ○稲元 勉（神戸大） CST2010-66 |
本稿では，エレベータ運行計画問題を対象として筆者がとっている，最適性を目指すアプローチと実用性を目指すアプローチによる研... [more] | CST2010-66 pp.39-44 |
| MSS | 2011-01-21 15:00 |
山口 | 海峡メッセ下関 | 離散事象システムにおける安全性制約をもつ分散型故障予知診断器の存在性の検証 ○原田洋樹・高井重昌（阪大） CST2010-79 |
離散事象システムにおいて，複数のローカル診断器を用いた分散型故障予知診断が研究されている．観測事象列に基づき，システム内... [more] | CST2010-79 pp.109-114 |
| MSS, CAS (共催) |
2010-11-19 16:35 |
大阪 | 関西大学 | 時間付き離散事象システムにおける分散スーパバイザ制御 ○野村雅司・高井重昌（阪大） CAS2010-83 CST2010-56 |
時間付き離散事象システムのスーパバイザ制御において，スーパバイザは，与えられた制御仕様が満足されるように，その生起を許可... [more] | CAS2010-83 CST2010-56 pp.101-106 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 12:05 |
北海道 | 北見工大 | 離散事象システムにおけるオパシティのためのモジュラスーパバイザ制御 ○高井重昌（阪大） CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 |
本稿では，形式言語に基づく枠組みにおいて，離散事象システムのオパシティを 保証するスーパバイザ制御について考察する． ... [more] |
CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 pp.121-125 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 13:45 |
北海道 | 北見工大 | 強化学習に基づく分散システムの最適スーパバイザ制御 ○梶原弘治・山崎達志（摂南大） CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 |
著者らはこれまでに，強化学習に基づく最適スーパバイザ制御の一般化の検討を行っている．そこでは，評価値に重み関数を導入し，... [more] | CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 pp.145-150 |
| MSS | 2010-01-22 09:35 |
愛知 | 豊田中央研究所アクタスCホール | 離散事象システムにおける事象駆動制御とスケジュールベース制御の併用手法 ○萩原 雅・高橋宏治（東工大） CST2009-46 |
離散事象システムの制御には、適切な事象発生制御が必要である。従来用いられているスケジュールベース制御では、システムの一部... [more] | CST2009-46 pp.49-54 |
| MSS | 2010-01-22 13:25 |
愛知 | 豊田中央研究所アクタスCホール | 時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化 ○野村雅司・高井重昌（阪大） CST2009-52 |
時間付き離散事象システムのスーパバイザ制御において，スーパバイザは，与えられた制御仕様が満足されるように，その生起を許容... [more] | CST2009-52 pp.85-89 |
| MSS, CAS (共催) |
2009-11-27 10:20 |
愛知 | 名古屋大学 | 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 ○高井重昌・潮 俊光（阪大） CAS2009-53 CST2009-26 |
離散事象システムの故障診断においては，通常，各事象に対応する出力記号は一意に定まると仮定されている．しかし，モバイルシス... [more] | CAS2009-53 CST2009-26 pp.47-52 |
| MSS, CAS (共催) |
2009-11-27 17:05 |
愛知 | 名古屋大学 | 与えられた動作を行う条件／事象ネットの最小実現に関する考察 ○橋爪 進・矢嶌智之・小野木克明（名大） CAS2009-63 CST2009-36 |
ペトリネットは離散事象システムの有望なモデルの１つである．ペトリネットの動作はトランジションの発火形態を表す半言語によっ... [more] | CAS2009-63 CST2009-36 pp.105-110 |
[研究会発表申込システムのトップページに戻る]