Miyamoto Toshiyuki 宮本俊幸

… Alternative Names

MIYAMOTO Toshiyuki 宮本俊幸

Less

Researcher Number	00294041
Other IDs
Affiliation (Current)	2025: 大阪工業大学, 情報科学部, 教授
Affiliation (based on the past Project Information) *help	2025: 大阪工業大学, 情報科学部, 教授 2022 – 2023: 大阪工業大学, 情報科学部, 教授 2016 – 2022: 大阪大学, 工学研究科, 准教授 2011 – 2015: 大阪大学, 工学(系)研究科(研究院), 准教授 2013: 大阪大学, 大学院工学研究科, 准教授 … More 2009: Osaka University, 工学研究科, 准教授 2007 – 2008: Osaka University, Graduate School of Engineering, Associate Professor 2006: 大阪大学, 大学院工学研究科, 助教授 2005: 大阪大学, 大学院・工学研究科, 助教授 2005: 大阪大学, 大学院・工学研究科, 講師 1998 – 2001: 大阪大学, 大学院・工学研究科, 助手 1998: 大阪大学, 工学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Software / Computer system/Network / Control engineering / Basic Section 25010:Social systems engineering-related / Basic Section 60050:Software-related / Software Except Principal Investigator Control engineering / Medical and hospital managemen / System engineering / Control engineering
Keywords	Principal Investigator アルゴリズム / 情報システム / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / ソフトウェア学 / 大規模ファイルシステム / インターネット高度化 / ネットワーク / 被覆性 / 極大許容制御 … More / 可達性 / 状態フィードバック / アンフォールディング / 離散事象システム / ペトリネット / ソフトウエア開発効率化・安定化 / 分散システム / エージェント / デッドロックフリー … More Except Principal Investigator 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公平化制御 / 低消費電力 / 組み込みシステム / 監視機構 Less

交互方向乗数法とピニング制御を用いた分散スケジューリング法Principal Investigator
- Principal Investigator
  
  宮本俊幸
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 25010:Social systems engineering-related
- Research Institution
  Osaka Institute of Technology
イベント構造の再合成可能な分割による複数シナリオに対応した振る舞いモデル自動合成Principal Investigator
- Principal Investigator
  
  宮本俊幸
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Osaka Institute of Technology
  Osaka University
Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic RelationPrincipal Investigator
- Principal Investigator
  
  Miyamoto Toshiyuki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Construction of an optimization model and support system for radiographer scheduling considering in staff skills and training
- Principal Investigator
  
  Hidaka Kuniyuki
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Medical and hospital managemen
- Research Institution
  Osaka University
Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic RelationsPrincipal Investigator
- Principal Investigator
  
  MIYAMOTO Toshiyuki
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed SystemsPrincipal Investigator
- Principal Investigator
  
  MIYAMOTO Toshiyuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Realization of Multi-Car Elevator Group Controller Development System Based on Formal Methods
- Principal Investigator
  
  YAMAGUCHI Shingo
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Yamaguchi University
Distributed Algorithm for Share Transfer in a Secure Distributed Storage SystemPrincipal Investigator
- Principal Investigator
  
  MIYAMOTO Toshiyuki
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory
- Principal Investigator
  
  USHIO Toshimitsu
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
ネットワーク環境における計算負荷を考慮したデータ配送のための分散アルゴリズムPrincipal Investigator
- Principal Investigator
  
  宮本俊幸
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
Optimal Operation of Thermal/Electrical Energy Systems Based on Cooperative Market Mechanism Considering Environmental Burden
- Principal Investigator
  
  KUMAGAI Sadatoshi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  Osaka University
アンフォールディングを用いたデッドロックフリーな逐次構成型状態フィードバック制御Principal Investigator
- Principal Investigator
  
  宮本俊幸
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
アンフォールディングを用いた大規模離散事象システムの状態フィードバック実時間制御Principal Investigator
- Principal Investigator
  
  宮本俊幸
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
Control of ventricular fibrillation using the spatio-temporal chaos control method of spiral breakup on excitable media
- Principal Investigator
  
  DOI Shinji
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University

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

1. KUMAGAI Sadatoshi (10093410)

# of Collaborated Projects: 3 results

# of Collaborated Products: 38 results
2. TAKAI Shigemasa (60243177)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. YAMASAKI Tatsushi (00368458)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. DOI Shinji (50217600)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. USHIO Toshimitsu (30184998)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YAMAGUCHI Shingo (00294653)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. Hidaka Kuniyuki (50437430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results

Miyamoto Toshiyuki 宮本 俊幸

MIYAMOTO Toshiyuki 宮本 俊幸

Research Projects

Research Products

Co-Researchers

交互方向乗数法とピニング制御を用いた分散スケジューリング法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic RelationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of an optimization model and support system for radiographer scheduling considering in staff skills and training

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic RelationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realization of Multi-Car Elevator Group Controller Development System Based on Formal Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Distributed Algorithm for Share Transfer in a Secure Distributed Storage SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Optimal Operation of Thermal/Electrical Energy Systems Based on Cooperative Market Mechanism Considering Environmental Burden

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Miyamoto Toshiyuki 宮本俊幸

MIYAMOTO Toshiyuki 宮本俊幸