宮本俊幸 Miyamoto Toshiyuki

研究者番号	00294041
その他のID
所属 (現在)	2025年度: 大阪工業大学, 情報科学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 大阪工業大学, 情報科学部, 教授 2022年度 – 2023年度: 大阪工業大学, 情報科学部, 教授 2016年度 – 2022年度: 大阪大学, 工学研究科, 准教授 2011年度 – 2015年度: 大阪大学, 工学(系)研究科(研究院), 准教授 2013年度: 大阪大学, 大学院工学研究科, 准教授 … もっと見る 2009年度: 大阪大学, 工学研究科, 准教授 2007年度 – 2008年度: 大阪大学, 大学院・工学研究科, 准教授 2006年度: 大阪大学, 大学院工学研究科, 助教授 2005年度: 大阪大学, 大学院・工学研究科, 助教授 2005年度: 大阪大学, 大学院・工学研究科, 講師 1998年度 – 2001年度: 大阪大学, 大学院・工学研究科, 助手 1998年度: 大阪大学, 工学研究科, 助手隠す
審査区分/研究分野	研究代表者ソフトウェア / 計算機システム・ネットワーク / 制御工学 / 小区分25010:社会システム工学関連 / 小区分60050:ソフトウェア関連 / ソフトウエア研究代表者以外制御工学 / 病院・医療管理学 / システム工学 / 制御工学
キーワード	研究代表者アルゴリズム / 情報システム / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / ソフトウェア学 / 大規模ファイルシステム / インターネット高度化 / ネットワーク / 被覆性 / 極大許容制御 … もっと見る / 可達性 / 状態フィードバック / アンフォールディング / 離散事象システム / ペトリネット / ソフトウエア開発効率化・安定化 / 分散システム / エージェント / デッドロックフリー … もっと見る研究代表者以外 Coupled-Map-Lattice / エージェント / スケジューリング / 病院管理学 / 診療放射線技師 / スタッフ教育 / 労働負荷 / 放射線技術 / 最適化 / market-oriented orogrammine / distributed coonerative system / agent / energy saving / global greenhouse gas reduction / 市場指向プログラミング / 分散協調システム / 省エネルギー / 地球温暖化ガス排出削減 / spatio-temporal chaos / Hodgkin-Huxley equation / cardiac arrhythmia / spiral wave / annihilation control / カオス制御 / 心室細動 / 不整脈 / 心臓 / 興奮性媒質 / プロセス間通信 / 自律分散システム / Hodgkin-Huxley型方程式 / 非線形ダイナミクス / 興奮性細胞 / 時空間カオス / Hodgkin-Huxley方程式 / 心臓不整脈 / 渦巻興奮波 / 抑制制御 / アルゴリズム / 解析・評価 / 制御工学 / 群管理 / 数理計画問題 / モデル検査 / ペトリネット / モデル化 / 形式手法 / エレベータ / 状態フィードバック / オートマトン / エネルギーアウェアネス / 言語測度 / 動的再構成可能デバイス / 多目的最適化問題 / Qos公平化制御 / ハイブリッドオートマトン / 弾性タスクモデル / 動的リソース配分 / QoS公平化制御 / 低消費電力 / 組み込みシステム / 監視機構隠す

交互方向乗数法とピニング制御を用いた分散スケジューリング法研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分25010:社会システム工学関連
- 研究機関
  大阪工業大学
イベント構造の再合成可能な分割による複数シナリオに対応した振る舞いモデル自動合成研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  大阪工業大学
   大阪大学
再合成可能な非循環関係分割による複数シナリオに対応した振る舞いモデル自動合成研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  大阪大学
スタッフの教育を加味した勤務スケジューリングの最適化モデルと支援システムの構築
- 研究代表者
  
  日高国幸
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  病院・医療管理学
- 研究機関
  大阪大学
再合成可能な半順序分割による分散システムの振る舞いモデル自動合成研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  大阪大学
分散システムの振る舞いモデル自動合成のためのネット理論展開研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
マルチカーエレベータ群管理制御器の形式手法に基づく開発システムの実現
- 研究代表者
  
  山口真悟
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  山口大学
高信頼広域分散ストレージにおけるデータ配送のための分散アルゴリズム研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  大阪大学
離散事象システム理論に基づく組み込み型制御系のエネルギーアウェアな監視機構設計
- 研究代表者
  
  潮俊光
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
ネットワーク環境における計算負荷を考慮したデータ配送のための分散アルゴリズム研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  大阪大学
環境負荷を考慮した協調的市場メカニズムにもとづく熱電エネルギーシステムの最適運用
- 研究代表者
  
  熊谷貞俊
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  システム工学
- 研究機関
  大阪大学
アンフォールディングを用いたデッドロックフリーな逐次構成型状態フィードバック制御研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
アンフォールディングを用いた大規模離散事象システムの状態フィードバック実時間制御研究代表者
- 研究代表者
  
  宮本俊幸
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
興奮性媒質における渦巻興奮波分裂の時空間カオス制御に基づく心臓心室細動の制御
- 研究代表者
  
  土居伸二
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学

[雑誌論文] Conflict Reduction of Acyclic Flow Event Structures2023
- 著者名/発表者名
  MIYAMOTO Toshiyuki、IZAWA Marika
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E106.A 号: 5 ページ: 707-714
- DOI
  10.1587/transfun.2022MAP0002
- ISSN
  0916-8508, 1745-1337
- 年月日
  2023-05-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-20K11746
[雑誌論文] A Study on Re-Constructibility of Event Structures2020
- 著者名/発表者名
  IZAWA Marika、MIYAMOTO Toshiyuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E103.D 号: 8 ページ: 1810-1813
- DOI
  10.1587/transinf.2019FOL0002
- NAID
  130007883622
- ISSN
  0916-8532, 1745-1361
- 年月日
  2020-08-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-17K00100
[雑誌論文] Realizability of Choreography Given by Two Scenarios2018
- 著者名/発表者名
  T. Kinoshita, T. Miyamoto
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E101.A 号: 2 ページ: 345-356
- DOI
  10.1587/transfun.E101.A.345
- NAID
  130006327983
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00100
[雑誌論文] Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram2017
- 著者名/発表者名
  T. Miyamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E100.D 号: 6 ページ: 1200-1209
- DOI
  10.1587/transinf.2016FOP0002
- NAID
  130005687710
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26330083
[雑誌論文] Choreography Realization by Re-Constructible Decomposition of Acyclic Relations2016
- 著者名/発表者名
  T. Miyamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99.D 号: 6 ページ: 1420-1427
- DOI
  10.1587/transinf.2015FOP0001
- NAID
  130005154743
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26330083
[雑誌論文] An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets2014
- 著者名/発表者名
  Toshiyuki Miyamoto, Yasuwo Hasegawa, and Hiroyuki Oimura
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E97.D 号: 5 ページ: 1171-1180
- DOI
  10.1587/transinf.E97.D.1171
- NAID
  130004519232
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23500045
[雑誌論文] Modular Reachability Analysis of Petri Nets for Multiagent Systems2013
- 著者名/発表者名
  Toshiyuki Miyamoto and Kyota Horiguchi
- 雑誌名
  
  IEEEE Transactions on Systems, Man, and Cybernetics: Systems
  
  巻: 43 号: 6 ページ: 1411-1423
- DOI
  10.1109/tsmc.2013.2250278
- 査読あり
- データソース
  KAKENHI-PROJECT-23500045
[雑誌論文] Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems2012
- 著者名/発表者名
  Alex Valdivielso Chian, Toshiyuki Miyamoto
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E95.A 号: 4 ページ: 835-839
- DOI
  10.1587/transfun.E95.A.835
- NAID
  10030938077
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23560532
[雑誌論文] Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators2012
- 著者名/発表者名
  Alex Valdivielso Chian
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E95.A 号: 5 ページ: 990-995
- DOI
  10.1587/transfun.E95.A.990
- NAID
  10030938450
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23560532
[雑誌論文] Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation2011
- 著者名/発表者名
  Alex Valdivielso Chian, Toshiyuki Miyamoto
- 雑誌名
  
  IEEE Transactions on Systems, Man, Cybernetics
  
  巻: Part A, vol.41, no.2 号: 2 ページ: 311-322
- DOI
  10.1109/tsmca.2010.2064766
- 査読あり
- データソース
  KAKENHI-PROJECT-23560532
[雑誌論文] Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System2010
- 著者名/発表者名
  T. Miyamoto, T. Ikemura
- 雑誌名
  
  Journal of Computer Systems, Networks, and Communications Vol.2010,ArticleID984059
  
  ページ: 6-6
- 査読あり
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System2010
- 著者名/発表者名
  Toshiyuki Miyamoto
- 雑誌名
  
  Journal of Computer Systems, Networks, and Communications Vol.2010
- 査読あり
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] 秘密分散共有法を用いた分散データベースシステムの設計及び実装2009
- 著者名/発表者名
  水上翔太, 宮本俊幸
- 雑誌名
  
  電子情報通信学会技術研究報告 Vol.108,no.415
  
  ページ: 51-56
- NAID
  110007163551
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] 分散EMSにおけるエネルギー取引決定手法に対する市場指向プログラミングの適用2008
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 雑誌名
  
  電気学会論文誌 Vol.128-C, no.1
  
  ページ: 24-31
- NAID
  10020026950
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] 分散EMSにおけるエネルギー取引決定手法に対する市場指向プログラミングの適用2008
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 雑誌名
  
  電気学会論文誌C分冊 128-C
  
  ページ: 24-31
- NAID
  10020026950
- 査読あり
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] An Energy Trading System with Consideration of CO2 Emissions2008
- 著者名/発表者名
  T., Miyamoto, T., Kitayama, S., Kumagai, K., Mori, S., Kitamura, S., Shindo
- 雑誌名
  
  Electrical Engineering in Japan Vol.162, no.4
  
  ページ: 54-63
- NAID
  130000089851
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] An Application of the Market-Oriented Programming to Energy Trading Decision Method in Distributed Energy Management Systems2008
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai, K., Mori, S., Kitayama, T., Yamamoto
- 雑誌名
  
  IEEJ Trans. EIS Vol.128, no.1
  
  ページ: 24-31
- NAID
  10020026950
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] An Energy Trading System with Consideration of CO2 Emissions2008
- 著者名/発表者名
  T. Miyamoto, T. Kitayama, S. Kumagai, K. Mori, S. Klitamura, S. Shindo
- 雑誌名
  
  Electrical Engineering in Japan Vol.162, no.4
  
  ページ: 54-63
- NAID
  130000089851
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] 分散EMSにおけるエネルギー取引決定手法の評価2008
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 雑誌名
  
  電気学会論文誌C分冊 128-C(In press)
- NAID
  10021132476
- 査読あり
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] 複数市場が存在する分散EMSにおけるエネルギー取引決定手法の検討2007
- 著者名/発表者名
  杉本洋平, 八切好司, 宮本俊幸, 熊谷貞俊
- 雑誌名
  
  電子情報通信学会 2007年総合大会講演論文集 (In press)
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] An Optimal Share Transfer Problem on Secret Sharing Storage Systems2007
- 著者名/発表者名
  T. Miyamoto, S. Kumagai
- 雑誌名
  
  IEICE Trans. Fundamentals Vol.E90-A
  
  ページ: 2458-2464
- NAID
  110004809755
- 査読あり
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] 秘密分散共有データベースにおける分散クエリ最適化問題について2007
- 著者名/発表者名
  池村武司, 宮本俊幸, 熊谷貞俊
- 雑誌名
  
  電子情報通信学会技術報告 CST2006-45
  
  ページ: 43-48
- NAID
  110006202711
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について2007
- 著者名/発表者名
  水上翔太, 宮本俊幸, 熊谷貞俊
- 雑誌名
  
  電子情報通信学会技術研究報告 Vol.108,no.362
  
  ページ: 1-6
- NAID
  110006532598
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] An Optimal Share Transfer Problem on Secret Sharing Storage Systems2007
- 著者名/発表者名
  T. Miyamoto, S. Kumagai
- 雑誌名
  
  IEICE Trans. Fundamentals Vol.E90-A,no.11
  
  ページ: 2458-2464
- NAID
  110004809755
- 査読あり
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] An Optimal Share Transfer Problem on Secret Sharing Storage Systems2007
- 著者名/発表者名
  T. Miyamoto, S. Kumagai
- 雑誌名
  
  Lecture Notes in Computer Science Vol.4742
  
  ページ: 371-382
- NAID
  110004809755
- 査読あり
- データソース
  KAKENHI-PROJECT-19700060
[雑誌論文] On Reachability Analysis of Multi Agent Nets2007
- 著者名/発表者名
  Toshiyuki Miyamoto, Masaki Sakamoto, and Sadatoshi Kumagai
- 雑誌名
  
  IEICE Transactions on Fundamentals vol.E90-A
  
  ページ: 2257-2260
- NAID
  110003177997
- 査読あり
- データソース
  KAKENHI-PROJECT-17360198
[雑誌論文] An Energy Distribution Decision Method in Distributed Energy Management Systems by the Market-Oriented Programming2006
- 著者名/発表者名
  K.Yakire, T.Miyamoto, S.Kumagai, K.Mori, S.Kitamura, T.Yamamoto
- 雑誌名
  
  Proc. of SICE-ICCAS 2006
  
  ページ: 5983-5988
- NAID
  110004776244
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] Vertical Partitioning Method for Secret Sharing Distributed Database System2006
- 著者名/発表者名
  T.Miyamoto, Y.Morita, S.Kumagai
- 雑誌名
  
  IEICE Trans. Fundamentals Vol. E89-A, no. 11
  
  ページ: 3244-3249
- NAID
  110007537817
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] 秘密分散ストレージシステムにおける最適シェア配送問題2006
- 著者名/発表者名
  宮本俊幸, 熊谷貞俊
- 雑誌名
  
  電子情報通信学会技術報告 CST2006-11
  
  ページ: 7-12
- NAID
  110004809755
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] Autonomous Distributed Secret Sharing Storage System2006
- 著者名/発表者名
  T.Miyamoto, S.Doi, H.Nogawa, S.Kumagai
- 雑誌名
  
  Systems and Computers in Japan Vol. 37, no. 6
  
  ページ: 53-63
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] シェア配送問題に対する発見的手法の比較2006
- 著者名/発表者名
  宮本俊幸, 熊谷貞俊
- 雑誌名
  
  電子情報通信学会技術報告 CST2006-31
  
  ページ: 1-6
- NAID
  110005717772
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] CO2排出量を考慮した分散EMSへの市場指向プログラミングの適用2006
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 雑誌名
  
  電子情報通信学会技術報告 CST2006-1
  
  ページ: 1-6
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] 市場指向プログラミングを用いたエネルギー取引決定手法2006
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 雑誌名
  
  計測自動制御学会システム・情報部門学術講演会 2006 予稿集
  
  ページ: 213-218
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] An Energy Trading System with Consideration of CO2 Emissions2005
- 著者名/発表者名
  T., Miyamoto, T., Kitayama, S., Kumagai, K., Mori, S., Kitayama, S., Shindo
- 雑誌名
  
  IEEJ Trans. EIS Vol.125, no.10
  
  ページ: 1513-1521
- NAID
  130000089851
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] CO2排出量を考慮したエネルギー取引システムに関する一考察2005
- 著者名/発表者名
  宮本俊幸, 北山朋宏, 熊谷貞俊, 森一之, 北村聖一, 進藤静一
- 雑誌名
  
  電気学会論文誌 Vol.125-C, no.10
  
  ページ: 1513-1521
- NAID
  130000089851
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17560359
[雑誌論文] 秘密分散共有法を用いた分散データベースシステムにおける縦分割アルゴリズム2005
- 著者名/発表者名
  宮本俊幸
- 雑誌名
  
  電子情報通信学会技術報告 CST2005-21
  
  ページ: 17-22
- NAID
  110004020768
- データソース
  KAKENHI-PROJECT-17700061
[雑誌論文] CO2排出量を考慮したエネルギー取引システムに関する一考察2005
- 著者名/発表者名
  宮本俊幸
- 雑誌名
  
  電気学会論文誌C Vol.125・no.10
  
  ページ: 1513-1521
- NAID
  130000089851
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] イベント構造の合成に関する研究2024
- 著者名/発表者名
  宮本俊幸, 赤松宏紀
- 学会等名
  電子情報通信学会　システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-20K11746
[学会発表] コレオグラフィ実現問題における事象構造から状態機械の合成2022
- 著者名/発表者名
  青山太洋，宮本俊幸
- 学会等名
  電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-20K11746
[学会発表] A Case Study of Choreography Realizability Checking on Smart Home Application2021
- 著者名/発表者名
  Marika IZAWA and Toshiyuki Miyamoto
- 学会等名
  IEEE International Conference on Consumer Electronics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] A Case Study of Choreography Realizability Checking on Smart Home Application2021
- 著者名/発表者名
  Marika IZAWA and Toshiyuki Miyamoto
- 学会等名
  IEEE International Conference on Consumer Electronics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K11746
[学会発表] Development of Radiographer Scheduling System Considering Skills and Training A Case Study2020
- 著者名/発表者名
  Kuniyuki Hidaka, Toshiyuki Miyamoto
- 学会等名
  ECR2020
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリング問題　－ペトリネットを用いた教育計画の提案　-Radiographer Scheduling Problem Considering Skills and Training A method of educational plan using Petri net -2020
- 著者名/発表者名
  日高国幸，宮本俊幸
- 学会等名
  第76回日本放射線技術学会総会学術大会
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] イベント構造の再合成可能性に関する一考察2019
- 著者名/発表者名
  伊澤，宮本
- 学会等名
  電子情報通信学会MSS研究会
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリング問題のモデル化とその検証～ケーススタディ～2019
- 著者名/発表者名
  日高国幸,宮本俊幸
- 学会等名
  日本放射線技術学会第74回総会学術大会
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] Modified Model of Radiographer Scheduling Problem for Sequential Optimization2019
- 著者名/発表者名
  T. Miyamoto, K. Hidaka
- 学会等名
  Proc. of IEEE, IEEM
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] MID-TERM PLANNING OF RADIOGRAPHER SCHEDULING PROBLEM.2019
- 著者名/発表者名
  Toshiyuki Miyamoto, Kuniyuki Hidaka
- 学会等名
  International Symposium on Scheduling 2019,ISS2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] On Reconstructibility of Event Structures for Choreography Realization Problem2019
- 著者名/発表者名
  M. Izawa, T. Miyamoto
- 学会等名
  ITC-CSCC
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] 放射線技師スケジューリングの中期計画に関する研究,Study on Mid-term Planning of Radiographer Scheduling Problem2018
- 著者名/発表者名
  宮本俊幸，日高国幸
- 学会等名
  IEICE Tech. Report
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] An Integer Programming Model for Radiographer Scheduling Considering Skills and Training: Case Study2018
- 著者名/発表者名
  Toshiyuki Miyamoto, Hisashi Yuura, Kuniyuki Hidaka
- 学会等名
  Proc. of SICE 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] ２つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装2018
- 著者名/発表者名
  冨永一矢，木下聖基，宮本俊幸
- 学会等名
  電子情報通信学会MSS 研究会
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリング問題のモデル化とその検証2018
- 著者名/発表者名
  日高国幸，湯浦久志，宮本俊幸
- 学会等名
  日本放射線技術学会第74回総会学術大会
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリング問題のモデル化2018
- 著者名/発表者名
  日高国幸，湯浦久志，宮本俊幸
- 学会等名
  日本放射線技術学会第61回近畿支部学術大会
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] 放射線技師スケジューリング問題の逐次解法モデル,Sequential Optimization Model of a Radiographer Scheduling Problem2018
- 著者名/発表者名
  宮本俊幸，日高国幸
- 学会等名
  スケジューリング・シンポジウム 2018 講演論文集,Proc. of the Scheduling Symposium
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios2018
- 著者名/発表者名
  Toshiyuki Miyamoto
- 学会等名
  IEEE Intl. Conf. on Systems, Man, and Cybernetics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems2017
- 著者名/発表者名
  T. Miyamoto
- 学会等名
  SICE Annual Conference 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] 二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討－仕様間に競合がある場合の考察2017
- 著者名/発表者名
  木下聖基，宮本俊幸
- 学会等名
  電子情報通信学会　システム数理と応用研究会
- 発表場所
  京都工芸繊維大学（京都市）
- 年月日
  2017-01-26
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management2017
- 著者名/発表者名
  T. Kinoshita and T. Miyamoto
- 学会等名
  IEEE SMC 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] An Integer Programming Model for Radiographer Scheduling Considering Skills and Training2017
- 著者名/発表者名
  H. Yuura, T. Miyamoto, K. Hidaka
- 学会等名
  IEEM
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリング問題2017
- 著者名/発表者名
  湯浦久志，宮本俊幸，日高国幸．
- 学会等名
  スケジューリング・シンポジウム
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] 二つのシナリオで定義されるコレオグラフィの実現可能性の検討2017
- 著者名/発表者名
  木下聖基，宮本俊幸
- 学会等名
  第30回回路とシステムワークショップ
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] スキルと若手教育を考慮した放射線技師スケジューリングモデルの感度解析2017
- 著者名/発表者名
  湯浦久志，宮本俊幸，日高国幸
- 学会等名
  第60回自動制御連合講演会
- データソース
  KAKENHI-PROJECT-17K09235
[学会発表] CSCB Tools: ２つのシナリオからなるコレオグラフィ実現のための拡張2017
- 著者名/発表者名
  富永一矢，宮本俊幸
- 学会等名
  電子情報通信学会基礎・境界ソサイエティ大会
- データソース
  KAKENHI-PROJECT-17K00100
[学会発表] CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets2016
- 著者名/発表者名
  T. Miyamoto
- 学会等名
  International Workshop on Petri Nets and Software Engineering
- 発表場所
  トルン，ポーランド
- 年月日
  2016-06-20
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] A Study on Synthesizing State Machines from Multiple Communication Diagrams2016
- 著者名/発表者名
  T. Kinoshita, T. Miyamoto
- 学会等名
  International Technical Conference on Circuits/Systems, Computers and Communications
- 発表場所
  自治会館（那覇市）
- 年月日
  2016-07-10
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] 非循環関係の再合成可能な分割によるコレオグラフィ実現―パレート最適な状態機械の合成について―2016
- 著者名/発表者名
  宮本俊幸
- 学会等名
  電子情報通信学会　システム数理と応用研究会
- 発表場所
  しいのき迎賓館
- 年月日
  2016-01-25
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] 二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討2016
- 著者名/発表者名
  木下聖基，宮本俊幸
- 学会等名
  電子情報通信学会基礎・境界ソサイエティ大会
- 発表場所
  北海道大学（札幌市）
- 年月日
  2016-09-20
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] 非循環関係の再合成可能な分割によるコレオグラフィ実現2015
- 著者名/発表者名
  宮本俊幸
- 学会等名
  電子情報通信学会　システム数理と応用研究会
- 発表場所
  小樽商科大学
- 年月日
  2015-06-17
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] CSCB Tools: Tool for Supporting the Design of Systems Based on SOA2015
- 著者名/発表者名
  Toshiyuki Miyamoto
- 学会等名
  IEEE 4th Global Conference on Consumer Electronics
- 発表場所
  大阪国際会議場
- 年月日
  2015-10-27
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法2013
- 著者名/発表者名
  峰岸達也,宮本俊幸
- 学会等名
  電子情報通信学会システム数理と応用研究会
- 発表場所
  花巻南温泉峡渡り温泉さつき(花巻市)
- 年月日
  2013-11-07
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法2013
- 著者名/発表者名
  峰岸達矢, 宮本俊幸
- 学会等名
  電子情報通信学会システム数理と応用研究会
- 発表場所
  渡り温泉さつき（花巻市）
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] A Study of Car Control and Assignment Problem in MCE Systems Using Hybrid Method2013
- 著者名/発表者名
  Tatsuya Minegishi, Toshiyuki Miyamoto
- 学会等名
  IEEE GCCE 2013
- 発表場所
  幕張メッセ（千葉市）
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets2013
- 著者名/発表者名
  Toshiyuki Miyamoto and Hiroyuki Oimura
- 学会等名
  International Workshop on Petri Nets and Software Engineering 2013
- 発表場所
  Milan, Italy
- データソース
  KAKENHI-PROJECT-23500045
[学会発表] コレオグラフィ実現問題に対するペトリネットを用いた手法の実装2013
- 著者名/発表者名
  老邑博行，宮本俊幸
- 学会等名
  電子情報通信学会基礎・境界ソサイエティ大会
- 発表場所
  福岡工業大学
- データソース
  KAKENHI-PROJECT-23500045
[学会発表] A Study of Car Control and Assignment Problem in MCE Systems Using Hybrid Method2013
- 著者名/発表者名
  Tatsuya Minegishi, Toshiyuki Miyamoto
- 学会等名
  Proc. of IEEE GCCE 2013
- 発表場所
  幕張メッセ(千葉市,査読有)
- 年月日
  2013-10-04
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] 混合整数計画問題を用いたマルチカーエレベータのかご制御と割り当て問題に関する研究2012
- 著者名/発表者名
  峰岸達也,宮本俊幸
- 学会等名
  電子情報通信学会システム数理と応用研究会
- 発表場所
  京都リサーチパーク(京都市)
- 年月日
  2012-07-03
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography2012
- 著者名/発表者名
  Toshiyuki Miyamoto, Yasuwo Hasegawa
- 学会等名
  International Workshop on Petri Nets and Software Engineering 2012
- 発表場所
  Hamburg, Germany
- データソース
  KAKENHI-PROJECT-23500045
[学会発表] 整数計画法を用いたマルチカーエレベータのかご制御と割り当て問題の定式化2012
- 著者名/発表者名
  峰岸達矢、宮本俊幸
- 学会等名
  2012年電子情報通信学会総合大会
- 発表場所
  岡山大学（岡山市）
- データソース
  KAKENHI-PROJECT-23560532
[学会発表] Modular Reachability Analysis in Fundamental Class of Multi-agent Nets2011
- 著者名/発表者名
  Toshiyuki Miyamoto
- 学会等名
  IEEE IECON 2011
- 発表場所
  クラウン国際会議場(メルボルン，オーストラリア)
- データソース
  KAKENHI-PROJECT-23500045
[学会発表] ペトリネットを用いたサービス振る舞いモデルの自動合成2011
- 著者名/発表者名
  宮本　俊幸
- 学会等名
  電子情報通信学会ソサイエティ大会
- 発表場所
  北海道大学(北海道)
- データソース
  KAKENHI-PROJECT-23500045
[学会発表] An Energy Distribution Decision Method in a Distributed Energy Management Systems with Several Agents2008
- 著者名/発表者名
  Y., Sugimoto, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  IFAC 2008, to be presented
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 複数市場が存在する分散EMSにおけるエネルギー取引決定手法の検討2007
- 著者名/発表者名
  杉本洋平, 八切好司, 宮本俊幸, 熊谷貞俊
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  名城大学・名古屋市
- 年月日
  2007-03-22
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Autonomous Distributed System and Its Realization by Multi Agent Nets2007
- 著者名/発表者名
  S., Kumagai, T., Miyamoto
- 学会等名
  28th International Conference on Application and Theory of Petri nets and Other Model of Concurrency
- 発表場所
  Siedlce, Poland
- 年月日
  2007-06-28
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Autonomous Distributed System and Its Realization by Multi Agent Nets2007
- 著者名/発表者名
  S. Kumagai and T. Miyamoto
- 学会等名
  28th International Conference on Application and Theory of Petri Nets and Other Model of Concurrency
- 発表場所
  Siedlce, Poland
- 年月日
  2007-06-28
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 多主体分散EMSにおけるエネルギー取引決定手法に関する研究2007
- 著者名/発表者名
  杉本洋平, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 学会等名
  電気学会C部門大会
- 発表場所
  大阪府立大学・堺市
- 年月日
  2007-09-05
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Computational Evaluation of a Market-Oriented Programming Method for Distributed Energy Management Systems2007
- 著者名/発表者名
  T., Miyamoto, K., Yakire, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  IEEE SMC 2007
- 発表場所
  Montreal, Canada
- 年月日
  2007-10-09
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 多主体分散EMSにおけるエネルギー取引決定手法に関する研究2007
- 著者名/発表者名
  杉本洋平、宮本俊幸、熊谷貞俊、森一之、北村聖一, 山本隆也
- 学会等名
  電気学会C部門大会
- 発表場所
  大阪府立大学、堺市
- 年月日
  2007-09-05
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Computational Evaluation of a Market-Oriented Programming Method for Distributed Energy Management Systems2007
- 著者名/発表者名
  T. Miyamoto, K. Yakire, S. Kumagai, K. Mori, S. Kitamura, and T. Yamamoto
- 学会等名
  IEEE SMC 2007
- 発表場所
  モントリオール・カナダ
- 年月日
  2007-10-09
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 分散EMSにおけるCO2排出原単位調整手法の提案2007
- 著者名/発表者名
  杉本洋平、宮本俊幸、熊谷貞俊、森一之、北村聖一, 山本隆也
- 学会等名
  計測自動制御学会第42回離散事象システム研究会
- 発表場所
  大阪大学、豊中市
- 年月日
  2007-12-20
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] A CO2 basic unit adjustment method for Distributed EMS2007
- 著者名/発表者名
  Y., Sugimoto, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  SICE DES workshop
- 発表場所
  Osaka Univ., Toyonaka
- 年月日
  2007-12-20
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] An Optimal Share Transfer Problem on Secret Sharing Storage Systems2007
- 著者名/発表者名
  T. Miyamoto
- 学会等名
  5th International Symposium on Parallel and Distributed Processing and Applications
- 発表場所
  ナイアガラフォールズ, カナダ
- 年月日
  2007-08-30
- データソース
  KAKENHI-PROJECT-19700060
[学会発表] 分散EMSにおけるCO2排出原単位調整手法の提案2007
- 著者名/発表者名
  杉本洋平, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 学会等名
  計測自動制御学会第42回離散事象システム研究会
- 発表場所
  大阪大学・豊中市
- 年月日
  2007-12-20
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Autonomous Distributed System and Its Realization by Multi Agent Nets2007
- 著者名/発表者名
  S. Kumagai and T. Miyamoto
- 学会等名
  28th International Conference on Application and Theory of Petri nets and Other Model of Concurrency
- 発表場所
  Siedlce,ポーランド
- 年月日
  2007-06-28
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Computational Evaluation of a Market-Oriented Programming Method for Distributed Energy Management Systems2007
- 著者名/発表者名
  T. Miyamoto, K. Yakire, S. Kumagai, K. Mori, S. Kitamura, and T. Yamamoto
- 学会等名
  IEEE Intl. Conf. on Syst., Man, and Cybernetics
- 発表場所
  Montreal, Canada
- 年月日
  2007-10-09
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] An Optimal Share Transfer Problem on Secret Sharing Storage Systems2007
- 著者名/発表者名
  T. Miyamoto and S. Kumagai
- 学会等名
  ISPA2007
- 発表場所
  Niagara Falls, Canada
- 年月日
  2007-08-30
- データソース
  KAKENHI-PROJECT-19700060
[学会発表] 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について2007
- 著者名/発表者名
  水上翔太, 宮本俊幸, 熊谷貞俊
- 学会等名
  電子情報通信学会コンカレント工学研究会
- 発表場所
  新潟大学, 新潟市
- 年月日
  2007-11-30
- データソース
  KAKENHI-PROJECT-19700060
[学会発表] An Energy Distribution Decision Method for a Distributed Energy Management System with Multiple Agents2007
- 著者名/発表者名
  Y., Sugimoto, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  IEEJ Electronics, Information and Systems Conference
- 発表場所
  Osaka Pref. Univ., Sakai
- 年月日
  2007-09-05
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] An Energy Distribution Decision Method in Distributed Energy Management Systems by the Market-Oriented Programming2006
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  SICE-ICCAS 2006
- 発表場所
  BEXCO, Busan
- 年月日
  2006-10-21
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] CO2排出量を考慮した分散EMSへの市場指向プログラミングの適用2006
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 学会等名
  電子情報通信学会コンカレント工学研究会
- 発表場所
  石川ハイテク交流センター・能美市
- 年月日
  2006-06-01
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 市場指向プログラミングを用いたエネルギー取引決定手法2006
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 山本隆也
- 学会等名
  計測自動制御学会システム・情報部門学術講演会2006
- 発表場所
  筑波大学・文京区
- 年月日
  2006-11-29
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] On Reachability Analysis of Multi Agent Nets2006
- 著者名/発表者名
  Toshiyuki Miyamoto, Masaki Sakamoto, and Sadatoshi Kumagai
- 学会等名
  The 2006 International Symposium on Nonlinear Theory and its Applications
- 発表場所
  Bologna, Italy
- 年月日
  2006-09-12
- データソース
  KAKENHI-PROJECT-17360198
[学会発表] An energy trading decision method by using market-oriented programming2006
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamto
- 学会等名
  SICE SSI 2006
- 発表場所
  Tsukuba Univ., Bunkyo
- 年月日
  2006-11-29
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 分散EMSの最適運転計画ソフトウェアに関する研究2005
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  大阪大学・豊中市
- 年月日
  2005-03-21
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] On a software for optimal planning in distributed EMS2005
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai
- 学会等名
  IEICE Annual Conference
- 発表場所
  Osaka Univ. Tovonaka
- 年月日
  2005-03-21
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] An Energy Distribution Decision Method for Distributed Energy Management System under Existence of Plural Markets2005
- 著者名/発表者名
  Y., Sugimoto, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamoto
- 学会等名
  IEICE Annual Conference
- 発表場所
  Meijyo Univ., Nagoya
- 年月日
  2005-03-22
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] Java Classes for Energy Trading Systems Simulator in Consideration of Environmental Load2005
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, S., Shindo
- 学会等名
  IEICE CST workshop
- 発表場所
  Jichi-Kaikan, Naha
- 年月日
  2005-07-01
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] 環境負荷を考慮したエネルギー取引システムシミュレータにおけるJavaクラスの開発2005
- 著者名/発表者名
  八切好司, 宮本俊幸, 熊谷貞俊, 森一之, 北村聖一, 進藤静一
- 学会等名
  電子情報通信学会コンカレント工学研究会
- 発表場所
  自治会館・那覇市
- 年月日
  2005-07-01
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17560359
[学会発表] サービス指向アーキテクチャに基づくシステムの整合性検証に関する研究
- 著者名/発表者名
  老邑博行，宮本俊幸
- 学会等名
  電子情報通信学会システム数理と応用研究会
- 発表場所
  ブランナール三朝
- 年月日
  2015-01-26 – 2015-01-27
- データソース
  KAKENHI-PROJECT-26330083
[学会発表] An energy distribution decision method in distributed energy management system by the market-oriented programming
- 著者名/発表者名
  K., Yakire, T., Miyamoto, S., Kumagai, K., Mori, S., Kitamura, T., Yamamto
- 学会等名
  IEICE CST workshop
- 発表場所
  Ishikawa hi-tech center, Nomi
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17560359

1. 熊谷貞俊 (10093410)

共同の研究課題数: 3件

共同の研究成果数: 38件
2. 高井重昌 (60243177)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 山崎達志 (00368458)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 土居伸二 (50217600)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 潮俊光 (30184998)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山口真悟 (00294653)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 日高国幸 (50437430)

共同の研究課題数: 1件

共同の研究成果数: 13件

宮本 俊幸 Miyamoto Toshiyuki

研究課題

研究成果

共同研究者

交互方向乗数法とピニング制御を用いた分散スケジューリング法研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

イベント構造の再合成可能な分割による複数シナリオに対応した振る舞いモデル自動合成研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

再合成可能な非循環関係分割による複数シナリオに対応した振る舞いモデル自動合成研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

スタッフの教育を加味した勤務スケジューリングの最適化モデルと支援システムの構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

再合成可能な半順序分割による分散システムの振る舞いモデル自動合成研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

分散システムの振る舞いモデル自動合成のためのネット理論展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

マルチカーエレベータ群管理制御器の形式手法に基づく開発システムの実現

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高信頼広域分散ストレージにおけるデータ配送のための分散アルゴリズム研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

離散事象システム理論に基づく組み込み型制御系のエネルギーアウェアな監視機構設計

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ネットワーク環境における計算負荷を考慮したデータ配送のための分散アルゴリズム研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

環境負荷を考慮した協調的市場メカニズムにもとづく熱電エネルギーシステムの最適運用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

アンフォールディングを用いたデッドロックフリーな逐次構成型状態フィードバック制御研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

アンフォールディングを用いた大規模離散事象システムの状態フィードバック実時間制御研究代表者

研究代表者

研究期間 (年度)

研究種目

宮本俊幸 Miyamoto Toshiyuki