太田 淳 | 愛知県立大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
太田 淳
愛知県立大学大学院情報科学研究科
-
太田 淳
愛知県立大学情報科学部
-
辻 孝吉
愛知県立大学情報科学部
-
辻 孝吉
愛知県立大学 情報科学部
-
伊藤 慎祐
愛知県立大学大学院情報科学研究科
-
太田 淳
愛知県立大学文学部
-
久村 富持
早稲田大学理工学部
-
久村 富持
早稲田大学大学院理工学研究科
-
高山 陽介
ユニアデックス株式会社
-
高山 陽介
愛知県立大学大学院情報科学研究科
-
加藤 ちひろ
愛知県立大学情報科学部
-
LIU GuangJun
Department of COmputer Science and Technology, Tongji University
-
JIANG ChangJun
Key Laboratory of ESSC of the Ministry of Education, Tongji University
-
CHAO Daniel
Department of Management and Information Science, National Chengchi University
-
久村 富持
早稲田大 理工
-
Jiang Changjun
Key Laboratory Of Essc Of The Ministry Of Education Tongji University
-
Chao Daniel
Department Of Management And Information Science National Chengchi University
-
LIU Guang
Department of Pathology, General Hospital of Beijing
-
巽 大輔
早稲田大学理工学部
-
Chao Daniely.
Department Of Management And Information Science National Chengchi University
-
Liu Guangjun
Department Of Computer Science And Technology Tongji University
-
杉山 大一
愛知県立大学情報科学部
-
野中 誠
昭和大学藤が丘病院呼吸器外科
-
水野 奈美
デンソーテクノ株式会社
-
上田 昌弘
トヨタテクニカルディベロップメント
-
溝口 雅也
株式会社ハークスレイ
-
中尾 翔
愛知県立大学情報科学部
-
永井 昌寛
愛知県立大学 情報科学部
-
富澤 秀治
愛知県立大学大学院情報科学研究科
-
永井 昌寛
愛知県立大学情報科学部
-
永井 昌寛
愛知県立大学情報科学部情報システム学科
-
永井 昌寛
名古屋工業大学工学部生産システム工学科
-
辻 幸吉
愛知県立大学情報科学部
-
鈴木 英友
愛知県立大学大学院情報科学研究科
-
中地 良
愛知県立大学情報科学部
-
村主 健太
愛知県立大学大学院情報科学研究科
著作論文
- 色つき量子ペトリネットによる量チューリング機械のモデル化と解析(ペトリネット,離散事象システム,一般)
- 量子ペトリネットによる量子コンピュータのモデル化(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- TCCネットが活性な初期マーキングをもつための条件
- 通信プロトコルのネットモデルとその解析(ハイブリッドシステム,コンカレント工学一般)
- Fourier-Motzkin法を応用したペトリネットの基本サイフォンの列挙(コンカレントシステム, 一般)
- CORBAのコールバック問題のためのペトリネットの構造と解析について(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットを用いたCORBAにおけるコールバック問題の解析(コンカレント工学理論と応用一般)
- バッチ処理アークつきペトリネットのプレースインバリアント(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットを用いたCORBAのコールバック問題に対する検討(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットのトークン不足サイフォンと活性単調性解析への応用
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- A-12-2 ペトリネットの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討(一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- 可達集合が半線形集合であるペトリネットのアンフォールディング(コンカレント工学一般)
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- ファジーペトリネットの音楽への応用の可能性
- ファジーペトリネットの音楽への応用の可能性
- A-12-9 マークグラフの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- トラップ包含閉路ネットの活性問題の計算量
- シャフト間の役割を考慮したマルチカーエレベータの運行制御方式の提案(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- A-12-1 共有資源つき時間マークグラフの最大スループットの近似算法
- ペトリネットを用いた並列計算機AP3000のプログラミング支援(コンカレント工学一般)
- A-12-3 制限つきワークフローネットの状態方程式に関する一考察
- 接続行列を用いたペトリネットの活性問題の解析について
- SA-6-7 ペトリネットのインバリアントの近似的列挙法
- A-12-1 拡張状態機械の構造活性について
- コンカレントシステムの新しいモデルとペトリネット
- AC/DCネットの活性問題に関する一考察
- AS-3-4 抑止アーク付きマークグラフの活性解析とワークフローへの応用(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法
- トラップ包含閉路ネットの検証法
- ペトリネットを用いた量子回路のモデル化と解析