| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CS, CAS, SIP (共催) |
2014-03-06 13:25 |
大阪 | 大阪市立大学 学術情報総合センター | 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化 ○河村 喬・佐藤洋一郎・横川智教（岡山県立大）・近藤真史（川崎医療福祉大）・有本和民（岡山県立大）  CAS2013-106 SIP2013-152 CS2013-119 |
筆者等は，大規模デジタルシステムを確率時限ペトリネット(STPN)でモデル化し，ペトリネットシミュレーションを繰り返し実... [more] | CAS2013-106 SIP2013-152 CS2013-119 pp.91-96 |
| SS, MSS (共催) |
2014-01-30 17:05 |
愛知 | 豊田中央研究所 | ペトリネットを用いた量子回路のモデル化と解析 ○村主健太・太田 淳・辻 孝吉（愛知県立大） MSS2013-60 SS2013-57 |
量子コンピュータは，Shor の因数分解アルゴリズムによって従来のコンピュータより高速な計算が可能であることが示され，注... [more] | MSS2013-60 SS2013-57 pp.53-58 |
| SWIM | 2013-08-21 14:00 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス | クラウド環境におけるトランザクション処理の性能評価 ○國枝秀行・新川芳行（龍谷大） SWIM2013-6 |
近年，普及が進んでいるクラウドコンピューティングは高度な分散化，多重化，仮想化により，性能予測が従来のネットワークシステ... [more] | SWIM2013-6 pp.1-7 |
| SWIM | 2013-08-21 15:00 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス | BASEトランザクションにおけるデータ整合性 ○西田紗知・新川芳行（龍谷大） SWIM2013-8 |
クラウドコンピューティング環境におけるトランザクション処理では，可用性と拡張性を重視されるため，従来よりデータ整合性の基... [more] | SWIM2013-8 pp.15-20 |
| SS, KBSE (共催) |
2013-07-26 11:40 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | セキュリティモデルのための文脈の表現とその利用 ○飯島 正（慶大） SS2013-27 KBSE2013-27 |
本報告は，文脈を意識したアクセス制御モデルのための文脈表現として，オブジェクト指向ペトリネットを利用することを提案するも... [more] | SS2013-27 KBSE2013-27 pp.85-90 |
| MSS, SS (共催) |
2013-03-07 10:30 |
福岡 | 休暇村志賀島 | ワークフローネットのスーパークラス抽出問題とその一解法 ○西 颯麻・山口真悟（山口大） MSS2012-75 SS2012-75 |
本稿では２つのワークフローネット$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 | 2013-01-22 15:15 |
大阪 | 大阪国際会議場 | 滞留なしペトリネットにおける依存部分ネット決定アルゴリズムの提案 ○松本唯尊・葛 崎偉・松野浩嗣（山口大） MSS2012-50 |
本稿ではシグナル伝達経路のモデルである滞留なしペトリネットモデルにおけるトランジション間の依存関係を調べる．滞留なしペト... [more] | MSS2012-50 pp.27-32 |
| SWIM | 2012-11-30 10:35 |
東京 | 東海大学（高輪） | CPNによるクラウドトランザクションの等価性評価 ○田中一樹・新川芳行（龍谷大） SWIM2012-15 |
クラウドコンピューティング環境でのトランザクション処理では，基盤となるシステムが従来と大きく異なるため，データ整合性に関... [more] | SWIM2012-15 pp.1-6 |
| KBSE | 2012-11-23 13:05 |
石川 | 金沢大学 (角間キャンパス) | オブジェクト指向論理ペトリネットによるシミュレーションのためのエージェントモデリング ～ 集団的振る舞い，個体行動，意思決定過程の統一的記述に向けて ～ ○飯島 正（慶大） KBSE2012-53 |
本報告は，エージェント・ベースド・シミュレーション(ABS)のためのエージェントモデル記述言語として，オブジェクト指向ペ... [more] | KBSE2012-53 pp.91-96 |
| MSS, CAS (共催) |
2012-11-02 09:55 |
岩手 | 岩手大学 | モデルベース開発におけるモデリングと解析に関する考察 ○千葉裕介・猪股俊光・新井義和・今井信太郎（岩手県立大） CAS2012-58 MSS2012-38 |
モデルベース開発において，UMLで記述されたモデルを対象とした解析法について考察した．モデルの満たす性質，モデルどうしの... [more] | CAS2012-58 MSS2012-38 pp.47-51 |
| VLD, CAS, MSS, SIP (共催) |
2012-07-02 13:40 |
京都 | 京都リサーチパーク | メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ ○近藤真史（川崎医療福祉大）・大山国晃・古好佑輔・横川智教・佐藤洋一郎（岡山県立大） CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 |
近年，多くの計算機システムは複数のプロセッサコアで構成されており，コア間の通信に用いる共有のバスやメモリへのアクセスに関... [more] | CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 pp.49-54 |
| KBSE | 2012-05-25 16:00 |
神奈川 | 慶應義塾大学 | オブジェクト指向ペトリネットによるビジネスプロセスの記述と同期 ○金子良太・片山輝彦・飯島 正（慶大） KBSE2012-4 |
オブジェクト指向ペトリネットに基づくワークフロー管理システムの基礎と，それに関連する研究プロジェクトについて紹介する．こ... [more] | KBSE2012-4 pp.19-23 |
| MSS | 2012-03-08 15:40 |
東京 | JAIST東京サテライト | シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討 ○村上祐樹・葛 崎偉・松野浩嗣（山口大） MSS2011-77 |
滞留なしペトリネットとは，いずれのプレースにおいても流れてくるトークンと流れ出ていくトークンの量が等しいペトリネットであ... [more] | MSS2011-77 pp.29-34 |
| MSS | 2012-03-08 16:05 |
東京 | JAIST東京サテライト | C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 ○谷口博彬・山口真悟・洲崎武史（山口大） MSS2011-78 |
プログラムの動作解析にペトリネットの解析法が活用されている.ペトリネットの解析法を使うには,プログラムをペトリネットで記... [more] | MSS2011-78 pp.35-40 |
| MSS | 2012-03-09 11:10 |
東京 | JAIST東京サテライト | ［招待講演］システム数理基礎理論 ○辻 孝吉（愛知県立大） MSS2011-83 |
本論文では、「コンカレント工学研究専門委員会（ＣＳＴ）」から「システム数理と応用研究専門委員会（MSS)」への継続と発展... [more] | MSS2011-83 pp.57-59 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
| CAS, MSS (共催) |
2011-11-17 14:15 |
山口 | 山口大学大学会館 | ペトリネットシミュレーションの高速化を指向した接続行列の一生成法 ○近藤真史・古好佑輔・横川智教・佐藤洋一郎（岡山県立大） CAS2011-67 MSS2011-36 |
大規模デジタルシステムの性能評価法として，解析的手法とシミュレーションを併用した高速な評価法が提案されている．この評価法... [more] | CAS2011-67 MSS2011-36 pp.19-24 |
| CAS, MSS (共催) |
2011-11-17 14:50 |
山口 | 山口大学大学会館 | トラップ包含閉路ネットの判定法 ○太田 淳・辻 孝吉（愛知県立大） CAS2011-68 MSS2011-37 |
ペトリネットはコンカレントシステムのための有効なモデルの一つである。 一般にペトリネットの解析問題には膨大な計算量が必... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
[研究会発表申込システムのトップページに戻る]