お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 68件中 21~40件目 [前ページ]  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS 2014-03-06
13:55
愛媛 愛媛大学工学部 TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ
長野聡一郎山口真悟山口大MSS2013-76
本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する.
この問題の対象となるワークフローネ... [more]
MSS2013-76
pp.7-12
MSS 2014-03-06
14:45
愛媛 愛媛大学工学部 S-ringとSPINに基づくエレベータ群管理制御器モデル検査システムEclairの実現と検査能力について
長藤和也山口真悟山口大MSS2013-78
本稿ではエレベータ群管理制御器のモデル検査システムÉclairの実現と検査能力について報告する.ÉclairはS-rin... [more] MSS2013-78
pp.19-24
MSS 2014-03-06
15:45
愛媛 愛媛大学工学部 マルチカーマルチシャフトエレベータシステムの設置問題に対するCPN Toolsを用いた解法と考察
石田憲秀山口真悟山口大MSS2013-81
大きなビルは多数のエレベータを持っており,エレベータの設置問題などの研究の重要性が増している.シャフト数を増やすことによ... [more] MSS2013-81
pp.37-42
MSS 2014-03-06
16:10
愛媛 愛媛大学工学部 マルチカーシングルシャフトエレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルの提案
石丸隼也山口真悟山口大MSS2013-80
本稿ではマルチカーシングルシャフトエレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルを提案する.こ... [more] MSS2013-80
pp.31-36
MSS 2014-03-07
14:50
愛媛 愛媛大学工学部 ブリッジレスワークフローネットの諸性質と判定法について
土肥慎介山口真悟山口大MSS2013-94
 [more] MSS2013-94
pp.107-111
SS, MSS
(共催)
2014-01-30
15:50
愛知 豊田中央研究所 ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用
西 颯麻山口真悟山口大MSS2013-57 SS2013-54
 [more] MSS2013-57 SS2013-54
pp.35-40
SS, MSS
(共催)
2014-01-30
16:40
愛知 豊田中央研究所 健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について
曲 媛山口真悟山口大MSS2013-59 SS2013-56
 [more] MSS2013-59 SS2013-56
pp.47-52
MSS, SS
(共催)
2013-03-07
10:30
福岡 休暇村志賀島 ワークフローネットのスーパークラス抽出問題とその一解法
西 颯麻山口真悟山口大MSS2012-75 SS2012-75
本稿では2つのワークフローネット$N_{x}$と$N_{y}$の振舞いから共通プロセスの抽出に取り組む.
ワークフロー... [more]
MSS2012-75 SS2012-75
pp.91-96
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, CAS
(共催)
2012-11-02
13:55
岩手 岩手大学 Acyclic Well-Structuredワークフローネットの拡張とその健全性について
呉 歓山口真悟山口大CAS2012-63 MSS2012-43
 [more] CAS2012-63 MSS2012-43
pp.75-79
MSS 2012-03-08
16:05
東京 JAIST東京サテライト C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
谷口博彬山口真悟洲崎武史山口大MSS2011-78
プログラムの動作解析にペトリネットの解析法が活用されている.ペトリネットの解析法を使うには,プログラムをペトリネットで記... [more] MSS2011-78
pp.35-40
MSS 2012-03-08
16:30
東京 JAIST東京サテライト CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法とその応用
石田憲秀山口真悟上田滝平山口大MSS2011-79
エレベータシステムに対する市場ニーズの多様化に伴い,運用に関するモデルベースの研究が重要度を増している.
本稿ではツー... [more]
MSS2011-79
pp.41-46
SS, MSS
(共催)
2012-01-26
13:45
高知 高知市文化プラザかるぽーと 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
平川智悠山口真悟山口大MSS2011-60 SS2011-45
ワークフローは法律の改正や市場の拡大などに適合するよう変更されることがある.
その際,事業の継続性の観点から,変更後の... [more]
MSS2011-60 SS2011-45
pp.33-38
CAS, MSS
(共催)
2011-11-17
15:15
山口 山口大学大学会館 単純Well-Structuredワークフローネットの諸性質
孫 伯仲山口真悟山口大CAS2011-77 MSS2011-46
Acyclic 拡張自由選択ワークフローネットをそのサブクラスの一つであるAcyclic well-structured... [more] CAS2011-77 MSS2011-46
pp.77-82
CAS, MSS
(共催)
2011-11-18
11:15
山口 山口大学大学会館 Acyclic Well-Structuredワークフローネットの可達性判定について
濱野慎司山口真悟山口大CAS2011-78 MSS2011-47
ワークフローのモデル化と解析にワークフローネットが適用され,成果をあげている.
本稿では可達性を利用して,ワークフロー... [more]
CAS2011-78 MSS2011-47
pp.83-87
MSS, CAS, VLD, SIP
(共催)
2011-07-01
09:40
沖縄 沖縄県青年会館 Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットへリファクタリングするための条件について
孫 伯仲山口真悟山口大CAS2011-19 VLD2011-26 SIP2011-48 MSS2011-19
 [more] CAS2011-19 VLD2011-26 SIP2011-48 MSS2011-19
pp.109-113
MSS, CAS, VLD, SIP
(共催)
2011-07-01
10:50
沖縄 沖縄県青年会館 [パネル討論]システムと信号処理サブソの新たな展開を目指して
石浦菜岐佐関西学院大)・牧野光則中大)・宇佐美公良芝浦工大)・山田 功東工大)・平石邦彦北陸先端大)・山口真悟山口大)・○中村正樹富山県立大CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22
 [more] CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22
p.127
MSS 2011-01-20
09:35
山口 海峡メッセ下関 CSTソリューションコンペティション2010 ~ マルチカーエレベータの最適制御 ~
中村正樹金沢大)・山崎達志摂南大)・山口真悟山口大)・宮本俊幸阪大)・内平直志東芝CST2010-57
 [more] CST2010-57
pp.1-4
MSS 2011-01-21
09:50
山口 海峡メッセ下関 並行同期型インターワークフローの振舞い継承に対する健全性に基づく多項式時間判定について
平川智悠山口真悟山口大CST2010-70
インターワークフローとは複数のワークフローを接続することによってつくられるワークフローである.ワークフローの接続パターン... [more] CST2010-70
pp.59-64
 68件中 21~40件目 [前ページ]  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会