| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2012年度)
「from:2013-01-22 to:2013-01-22」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2013-01-22 10:45 |
大阪 | 大阪国際会議場 | 調停に基づく多目的ゲームの水資源問題への応用 ○坪谷浩美・金澤尚史・潮 俊光（阪大）  MSS2012-45 |
水資源開発事業は，水が日常生活や産業において非常に重要なため，しばしば国家間や地域間の競合の原因となる． 一般に水需... [more] |
MSS2012-45 pp.1-4 |
| MSS | 2013-01-22 11:10 |
大阪 | 大阪国際会議場 | ネット商取引のゲーム理論的解析 ～ カスタマーレビューが購買活動に与える影響について ～ ○吉田明弘・坂間千秋（和歌山大） MSS2012-46 |
インターネット上の電子商取引においては，消費者が商品を購入したり販売店を選択する上でカスタマーレビューが重要な役割を果た... [more] | MSS2012-46 pp.5-9 |
| MSS | 2013-01-22 11:35 |
大阪 | 大阪国際会議場 | 観測データ欠落時における経路計画手法を用いた経路予測 ○澤田めぐみ・尾崎敦夫・渡部修介（三菱電機） MSS2012-47 |
レーダによる飛行体（航空機等）の追尾において，観測データ欠落時の飛行体の経路予測は，一般的に，飛行体の運動を等速直進と仮... [more] | MSS2012-47 pp.11-15 |
| MSS | 2013-01-22 14:25 |
大阪 | 大阪国際会議場 | 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について ○加納大暉・山口真悟（山口大） MSS2012-48 |
ワークフローには定義とインスタンスという二つの側面がある． 本稿では,可達性を利用して，ワークフローインスタンスの正し... [more] |
MSS2012-48 pp.17-21 |
| MSS | 2013-01-22 14:50 |
大阪 | 大阪国際会議場 | 自由選択ワークフローネットにおける非安全マーキングへの可達性解析 ○村上雄基・豊嶋伊知郎・山口真悟（山口大） MSS2012-49 |
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] | MSS2012-49 pp.23-26 |
| MSS | 2013-01-22 15:15 |
大阪 | 大阪国際会議場 | 滞留なしペトリネットにおける依存部分ネット決定アルゴリズムの提案 ○松本唯尊・葛 崎偉・松野浩嗣（山口大） MSS2012-50 |
本稿ではシグナル伝達経路のモデルである滞留なしペトリネットモデルにおけるトランジション間の依存関係を調べる．滞留なしペト... [more] | MSS2012-50 pp.27-32 |
| MSS | 2013-01-22 15:50 |
大阪 | 大阪国際会議場 | ［招待講演］Design and Performance Analysis of Algorithms for Petri Nets ○Toshimasa Watanabe（Hiroshima Univ.） MSS2012-51 |
[more] | MSS2012-51 pp.33-38 |
| MSS | 2013-01-23 10:40 |
大阪 | 大阪国際会議場 | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 ○王 龍江・高井重昌（阪大） MSS2012-52 |
本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様... [more] | MSS2012-52 pp.39-44 |
| MSS | 2013-01-23 11:05 |
大阪 | 大阪国際会議場 | 1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御 ○小林孝一・平石邦彦（北陸先端大） MSS2012-53 |
Self-Triggered 制御とは，サンプル値制御系において制御入力とサンプリング周期を同時に計算する制御方法である... [more] | MSS2012-53 pp.45-48 |
| MSS | 2013-01-23 11:30 |
大阪 | 大阪国際会議場 | 2シャフトエレベータにおけるピーク電力抑制と利便性を両立する制御手法の効果 ○中山健太郎・高橋宏治（東工大） MSS2012-54 |
[more] | MSS2012-54 pp.49-54 |
| MSS | 2013-01-23 11:55 |
大阪 | 大阪国際会議場 | 複数評価基準希望リストを用いた安定結婚問題における安定性に関する一考察 ○金城秀樹（沖縄大）・名嘉村盛和（琉球大） MSS2012-55 |
安定結婚問題は、与えられた同数のメンバーからなる男女の集合と各メンバーの異性グループのメンバーに対する希望リストから、安... [more] | MSS2012-55 pp.55-60 |
| MSS | 2013-01-23 15:20 |
大阪 | 大阪国際会議場 | 順序木の類似度を評価する手法の提案 ～ C言語プログラムの類似性検証への応用 ～ ○包 胡日査・中田 充・葛 崎偉（山口大） MSS2012-56 |
本論文では，与えられた２つの順序木の類似度を効率的に評価する方法について論じる．順序木の類似度計算手法として，順序木を文... [more] | MSS2012-56 pp.61-64 |
| MSS | 2013-01-23 15:45 |
大阪 | 大阪国際会議場 | グラフの極小決定セットを発見するアルゴリズムの提案 ○高地くるみ・中田 充・葛 崎偉（山口大） MSS2012-57 |
二つの同形なグラフ$G$と$G'$において，節点同士の対応関係を一意に決定するために，対応関係を指定しなければならない節... [more] | MSS2012-57 pp.65-70 |
| MSS | 2013-01-23 16:10 |
大阪 | 大阪国際会議場 | カンファレンスプログラム編成のための局所探索法の性能強化 ～ 初期解生成と近傍交換 ～ ○奥本政彦・田岡智志・渡邉敏正（広島大） MSS2012-58 |
カンファレンスプログラムは多種多様な制約条件を満たす必要があるため、カンファレンスプログラムの編成には多大な労力と時間が... [more] | MSS2012-58 pp.71-76 |
[研究会発表申込システムのトップページに戻る]