電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 5件中 1~5件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, CAS, SIP, VLD
(共催)
2019-07-31
14:55
岩手 岩手大学 マークグラフ被覆可能な構造に対する閉路フロー演算を用いたペトリネットの構造的活性・有界性解析
張江洋次朗和﨑克己信州大
 [more] CAS2019-18 VLD2019-24 SIP2019-34 MSS2019-18
pp.77-82
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-12
15:50
静岡 熱海伊豆山温泉 ハートピア熱海 閉路フロー行列変換によるペトリネットの安定部分ネットの検知
張江洋次朗和﨑克己信州大
ペトリネットは,離散事象システムを表現・解析が可能な数学的手法の一つである.ペトリネットの動的解析には初期状態からの振る... [more] CAS2018-64 MSS2018-40
pp.37-42
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-12
16:15
静岡 熱海伊豆山温泉 ハートピア熱海 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法
藤森浩平張江洋次朗和崎克己信州大
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] CAS2018-65 MSS2018-41
pp.43-47
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2016-11-24
13:25
兵庫 神戸情報大学院大学 ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価
張江洋次朗和﨑克己信州大
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った.HiPSは筆... [more] CAS2016-63 MSS2016-43
pp.31-35
SS, MSS
(共催)
2016-01-25
15:45
石川 しいのき迎賓館 セミナールームB 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器
張江洋次朗和崎克己信州大
本稿では,ペトリネットより生成される状態空間を対象に,線形時相論理式によるon-the-flyモデル検査器の設計について... [more] MSS2015-46 SS2015-55
pp.63-68
 5件中 1~5件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


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

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


IEICE / 電子情報通信学会