University of the Ryukyus · Faculty of Engineering · 助教

Research keywordslogic synthesis・digital circuit design・exclusive-OR sum of products・adder design・asynchronous circuits・Petri nets

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Petri Net Approach to Generate Integer Linear Programming Problems2019 · <p>This paper proposes a Petri net based mathematical programming approach to combinatorial optimization, in which we generate integer linear programming problems from Petri net models instead of the direct mathematical formulation. We treat two types of combinatorial optimization problems, ordinary problems and time-dependent problems. Firstly, we present autonomous Petri net modeling for ordinary optimization problems, where we obtain fundamental constraints derived from Petri net properties and additional problem-specific ones. Secondly, we propose a colored timed Petri net modeling approach to time-dependent problems, where we generate variables and constraints for time management and for resolving conflicts. Our Petri net approach can drastically reduce the difficulty of the mathematical formulation in a sense that (1) the Petri net modeling does not require deep knowledge of mathematical programming and technique of integer linear model formulations, (2) our automatic formulation allows us to generate large size of integer linear programming problems, and (3) the Petri net modeling approach is flexible for input parameter changes of the original problem.</p>
• 2^2値論理を適用した桁上げ選択加算器の性能評価2014 · 花城 健志，吉田 たけお
• 基数4のSD加算器の構成と性能評価2014 · 大城 慶輔，吉田 たけお
• 2^2値論理を用いたLing 加算器の高速化手法2014 · 石新 浩晃，吉田 たけお

• 遅延故障検出手法の開発と有効性の評価2005 · 若手研究(B)
• 遅延故障のリアルタイム検出手法に関する研究1900 · ■■■
• VLIWプロセッサのための投機実行手法に関する研究1900 · ■■■
• no_title1900 · ■■■

• Official profile