| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2018-01-19 10:15 |
広島 | 広島市立大学サテライトキャンパス | エージェント指向ペトリネットPN2 による IoT マルウェアMirai の感染現象のモデル化とその対策の評価について 山口真悟・○田中寛彬（山口大）  MSS2017-63 SS2017-50 |
2016年9月，前代未聞の大規模なDDoS攻撃がIoT機器を踏み台にして発生した．この攻撃は新種のマルウェアMiraiが... [more] | MSS2017-63 SS2017-50 pp.91-95 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2017-11-17 16:05 |
東京 | 日立中央研究所 | カラーペトリネットに基づく最適資源割当て数理計画の自動生成 ○牛島涼介（琉球大）・天願 健（名桜大）・アンドレア ヴェロニカ ポルコ・名嘉村盛和（琉球大） CAS2017-61 MSS2017-45 |
本稿では, カラー時間ペトリネットに基づく資源割当てを最適化する混合整数線形計画問題の自動生成の ための手法を提案... [more] | CAS2017-61 MSS2017-45 pp.141-145 |
| MSS | 2017-03-17 10:10 |
島根 | 島根大学総合理工学部1号館情報棟1階情報科学講義室 | 滞留なしペトリネットにおけるトランジション間の依存性解析 ○水田淳史・葛 崎偉・松野浩嗣（山口大） MSS2016-93 |
本稿は滞留なしペトリネットを対象に， 発火頻度が互いに依存するトランジションを求めることを目的とする． まずは，これ... [more] |
MSS2016-93 pp.67-72 |
| MSS | 2017-03-17 10:30 |
島根 | 島根大学総合理工学部1号館情報棟1階情報科学講義室 | サービスのオーダーメイド設計のためのアスペクト指向によるアプローチ ○小川 佑・Muhammad Syafiq Bin Ab Malek・山口真悟（山口大） MSS2016-94 |
サービスへの要求やニーズが多様化している．本稿では，サービスを一般的な要求と利用者ごとのニーズに分離して設計する方法を提... [more] | MSS2016-94 pp.73-76 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 | 神戸情報大学院大学 | ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己（信州大） CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った．HiPSは筆... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| MSS | 2016-03-03 10:50 |
山口 | 海峡メッセ下関 | 経絡の経穴効能に基づいた五臓六腑のモデルの構築 ○西田昌史・村井悠太（山口大）・呉 靭（山口短大）・中田 充・葛 崎偉（山口大） MSS2015-68 |
本論文は東洋医学に基づいた五臓六腑と経絡のモデルおよびその シミュレーションのためのモデルを構築することを目的とする．... [more] |
MSS2015-68 pp.5-10 |
| MSS | 2016-03-03 15:50 |
山口 | 海峡メッセ下関 | 滞留なしペトリネットにおける依存縮約の一意性に関する性質 ○水田淳史・葛 崎偉・松野浩嗣（山口大） MSS2015-75 |
我々はこれまで, シグナル伝達経路モデルである滞留なしペトリネットにおける トランジション間の依存関係を調べ，依存縮約... [more] |
MSS2015-75 pp.41-46 |
| MSS | 2016-03-03 16:15 |
山口 | 海峡メッセ下関 | A Colored Hybrid Petri Net Model for the Delta-Notch Dependent Boundary Formation in the Drosophila Large Intestine ○Fei Liu・Hiroshi Matsuno・Ryutaro Murakami（Yamaguchi Univ.） MSS2015-76 |
The modeling of the boundary formation in the Drosophila lar... [more] | MSS2015-76 pp.47-52 |
| SS, MSS (共催) |
2016-01-25 15:45 |
石川 | しいのき迎賓館 セミナールームB | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己（信州大） MSS2015-46 SS2015-55 |
本稿では，ペトリネットより生成される状態空間を対象に，線形時相論理式によるon-the-flyモデル検査器の設計について... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SS, MSS (共催) |
2016-01-26 11:55 |
石川 | しいのき迎賓館 セミナールームB | Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫（広島市大） MSS2015-59 SS2015-68 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | MSS2015-59 SS2015-68 pp.135-140 |
| SS | 2015-05-11 16:30 |
熊本 | 熊本大学 | マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫（広島市大） SS2015-7 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | SS2015-7 pp.33-37 |
| MSS | 2015-03-05 17:05 |
石川 | ITビジネスプラザ武蔵 | 依存縮約による滞留なしペトリネットの等価変換 ○水田淳史・葛 崎偉・松野浩嗣（山口大） MSS2014-98 |
我々はこれまで，シグナル伝達経路モデルである滞留なしペトリネットにおけるトランジション間の依存関係に基づいた依存縮約の性... [more] | MSS2014-98 pp.41-46 |
| MSS, SS (共催) |
2015-01-27 10:00 |
鳥取 | ブランナールみささ | ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟（山口大） MSS2014-83 SS2014-47 |
複数のワークフローの共通の振舞いは，それらの振舞いを継承するスーパークラスとしてモデル化できる．筆者らはワークフローネッ... [more] | MSS2014-83 SS2014-47 pp.85-90 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2014-11-20 11:10 |
沖縄 | 大濱信泉記念館(石垣島) | ペトリネットによる空港面交通流のモデル化と混雑状態シミュレーション ○上原健嗣（国交省/北陸先端大）・平石邦彦・小林孝一（北陸先端大） CAS2014-90 MSS2014-54 |
世界的な航空需要の増加に対応するため，羽田・成田などの大都市圏空港では交通量が増加し続けている．これら混雑空港においては... [more] | CAS2014-90 MSS2014-54 pp.17-22 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2014-11-21 13:50 |
沖縄 | 大濱信泉記念館(石垣島) | 東洋医学に基づいた五臓六腑と経絡のペトリネットモデルの提案 ○葛 崎偉・前阪美紗都（山口大）・呉 靭（山口短大）・中田 充（山口大） CAS2014-103 MSS2014-67 |
本論文は東洋医学に基づいた五臓六腑と経絡モデルおよびそのシミュレーションのためのモデルを構築することを目的とする．我々は... [more] | CAS2014-103 MSS2014-67 pp.141-146 |
| SWIM | 2014-08-21 15:40 |
京都 | 龍谷大学 | BASEトランザクション評価ワークベンチ ○西田紗知・新川芳行（龍谷大） SWIM2014-13 |
クラウドコンピューティングで，トランザクション処理を行うことは困難だと考えられてきた．その主な理由は，クラウド環境で採用... [more] | SWIM2014-13 pp.29-34 |
| SWIM | 2014-08-21 16:05 |
京都 | 龍谷大学 | 待ち行列と実測データに基づくGAE性能予測モデル ○西田紗知・新川芳行（龍谷大） SWIM2014-14 |
Google App Engine (GAE) は低コスト・高品質なデータベーストランザクション処理システムを効率的に開... [more] | SWIM2014-14 pp.35-39 |
| MSS | 2014-03-06 13:55 |
愛媛 | 愛媛大学工学部 | TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ ○長野聡一郎・山口真悟（山口大） MSS2013-76 |
本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する． この問題の対象となるワークフローネ... [more] |
MSS2013-76 pp.7-12 |
| MSS | 2014-03-07 11:10 |
愛媛 | 愛媛大学工学部 | 滞留なしペトリネットにおける依存部分ネットに関する諸性質 ○水田淳史・葛 崎偉・松野浩嗣（山口大） MSS2013-89 |
我々はこれまで，シグナル伝達経路モデルである滞留なしペトリネットにおけるトランジション間の依存関係を調べ，依存部分ネット... [more] | MSS2013-89 pp.77-82 |
| MSS | 2014-03-07 15:15 |
愛媛 | 愛媛大学工学部 | 東洋医学の陰陽五行説に基づいた五臓六腑のペトリネットモデルの提案 長田栄二（山口大）・○呉 靭（山口短大）・中田 充・葛 崎偉（山口大） MSS2013-95 |
東洋医学では，五臓とは肝，心，脾，肺，腎，六腑とは胆，小腸，胃，大腸，膀 胱と三焦を指す．また，経絡とは人体の中の代謝... [more] |
MSS2013-95 pp.113-118 |
[研究会発表申込システムのトップページに戻る]