コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
コンカレント工学研究専門委員会(CST)は,平成23年度からシステム数理と応用研究専門委員会(MSS)に名称を変更する.平成5年に設立し,我が国のコンカレント工学の発展に大きく貢献してきた.CSTとしては,平成23年1月の研究会が最後となる.その記念となる研究会において,歴代の委員長によるパネルディスカッションを開催し,CSTの活動を振り返るとともにMSSが果たすべき役割について議論する.
- 社団法人電子情報通信学会の論文
- 2011-01-13
著者
-
辻 孝吉
愛知県立大学情報科学部
-
潮 俊光
大阪大学大学院基礎工学研究科
-
葛 崎偉
山口大学教育学部
-
椎塚 久雄
工学院大学
-
内平 直志
(株)東芝
-
葛 崎偉
山口大学
-
潮 俊光
神戸女学院大学
-
潮 俊光
大阪大学 大学院基礎工学研究科
-
内平 直志
(株)東芝研究開発センター
-
椎塚 久雄
工学院大学情報工学科
-
椎塚 久雄
工学院大学情報学部
-
松本 忠
福井大学
-
難波田 愈
静岡産業大学 国際情報学部
-
難波田 愈
静岡産業大学
-
翁長 健治
琉球大学工学部情報工学科
-
翁長 健治
広島大学
-
翁長 健治
琉球大学
-
翁長 健治
琉球大学工学部電子情報工学科
-
長尾 陽一
川崎重工業株式会社
-
長尾 陽一
川崎重工業(株)電子・制御技術開発センター
-
渡邉 敏正
広島大学工学部第二類(電気系)
-
長谷川 晴朗
沖電気工業(株)ソフトウェアセンタ
-
葛 崎偉
広島大学工学部
-
長谷川 晴朗
沖コンサルティングソリューションズ(株)
-
渡邉 敏正
広島大学工学部
-
長尾 陽一
川崎重工業
-
長尾 陽一
川崎重工業株式会社技術開発本部
-
辻 孝吉
愛知県立大学 情報科学部
関連論文
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (コンカレント工学)
- 色つき量子ペトリネットによる量チューリング機械のモデル化と解析(ペトリネット,離散事象システム,一般)
- 量子ペトリネットによる量子コンピュータのモデル化(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス (信号処理)
- ある2ソースネットワークにおけるブライスのパラドックス (VLSI設計技術)
- 調停機構を持つ多面的エージェントによる2人ゲームのレプリケータダイナミクス
- ブライスグラフにおける税による最小遅延フローの安定化
- 利己的ルーティングにおける分岐現象とブライスのパラドックス
- 弾性ロータ系における跳躍現象の抑制に関する一研究(非線形回路とシステム,及び一般)
- 弾性ロータ系における跳躍現象の抑制に関する一研究
- 弾性ロータ系における共振点通過の一方法
- 第52回自動制御連合講演会を開催して(学会活動)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- 言語測度を用いたソフトリアルタイムシステムの最適スケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (信号処理)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (VLSI設計技術)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (回路とシステム)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (コンカレント工学)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (信号処理)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (VLSI設計技術)
- ピグー補助金と人頭税を課した社会システムのレプリケータダイナミクス(非線形システムの制御の新展開)
- ハイブリッドオートマトンの双模倣関係とその近似計算
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ハイブリッドシステムのサンプル値制御における制御不変性(グラフ,ペトリネット,ニューラルネット及び一般)
- 待機電力を考慮した消費電力削減とQoS公平化とを実現するリソース配分法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 言語測度を用いた離散事象システムの制御について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 異なる利得関数を持つグループの共存下における進化的安定性 : 2グループの場合
- 通信プロトコルのネットモデルとその解析(ハイブリッドシステム,コンカレント工学一般)
- Fourier-Motzkin法を応用したペトリネットの基本サイフォンの列挙(コンカレントシステム, 一般)
- CORBAのコールバック問題のためのペトリネットの構造と解析について(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットを用いたCORBAにおけるコールバック問題の解析(コンカレント工学理論と応用一般)
- バッチ処理アークつきペトリネットのプレースインバリアント(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットを用いたCORBAのコールバック問題に対する検討(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットのトークン不足サイフォンと活性単調性解析への応用
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- AS-4-4 Qos公平化マルチリソース配分へのコンセンサス問題の応用(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- AS-3-2 プレイヤーの多面性を考慮したn人進化ゲーム(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-1 モバイルセンサ被覆問題へのポテンシャルゲームの応用(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- CAS2010-8 ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- A-12-2 ペトリネットの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- CAS2010-10 サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- CAS2010-9 ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- 言語測度を用いたソフトリアルタイムシステムの最適スケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- AS-5-3 時間付きオートマトンでモデル化された人間-機械系におけるオートメーションサプライズの一検証法(AS-5. コンカレントシステムとハイブリッドシステムのための形式モデルとその応用, 基礎・境界)
- 離散事象システムにおけるオートメーションサプライズに対する警報器の設計
- 複数のユーザによって操作される離散事象システムのためのマニュアルの自動生成(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法(組込みシステム,一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- CAS2010-23 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 空調制御ネットワークにおける自動冷媒系統識別ユニット番号バインディング
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- 可達集合が半線形集合であるペトリネットのアンフォールディング(コンカレント工学一般)
- AP-4-7 グローバルコンピューティングシステム指向設計(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- ファジーペトリネットの音楽への応用の可能性
- ファジーペトリネットの音楽への応用の可能性
- A-12-9 マークグラフの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- AI-1-1 システム数理基礎理論(AI-1.システム数理と応用-CSTからMSSへ-,依頼シンポジウム,ソサイエティ企画)
- シャフト間の役割を考慮したマルチカーエレベータの運行制御方式の提案(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- A-12-1 共有資源つき時間マークグラフの最大スループットの近似算法
- ペトリネットを用いた並列計算機AP3000のプログラミング支援(コンカレント工学一般)
- A-12-3 制限つきワークフローネットの状態方程式に関する一考察
- 接続行列を用いたペトリネットの活性問題の解析について
- SA-6-7 ペトリネットのインバリアントの近似的列挙法
- A-12-1 拡張状態機械の構造活性について
- コンカレントシステムの新しいモデルとペトリネット
- AC/DCネットの活性問題に関する一考察
- トラップ包含閉路ネットの活性問題の計算量
- ACネットの有界活性問題のNP困難性
- 有界なAC/DCネットの単調活性問題の多項式時間解法
- A-12-5 拡張状態機械の活性について
- 有界なPOCネットの単調活性について
- AS-3-4 抑止アーク付きマークグラフの活性解析とワークフローへの応用(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法
- トラップ包含閉路ネットの検証法
- システム数理基礎理論
- ペトリネットを用いた量子回路のモデル化と解析