Robust scheduler for repetitive discrete event systems

研究成果の概要 (和文) : 多入力多出力,先入れ先出し型構造を有する繰り返し実行型の離散事象システムに対する頑健なスケジューラを考案した.システムの振る舞いは, Dioid代数と呼ばれる離散代数系を用いて表現し,実システムに適用する場合の実用性を向上させることに焦点をあてた.主な研究成果は, (1)状態空間表現の拡張により方程式系の記述能力を高めた, (2)状態方程式の効率的な計算方法について検討した, (3)各工程の処理時間にバラツキがある場合への対応方法について検討した,の3点に集約される.研究成果の概要 (英文) : Our primary focus was on developing robust scheduling frameworks for repetitive discrete event systems with MIMO-FIFO (Multiple-Input, Multiple-Output, First-In, First-Out)structure. The behavior of the target systems was represented using a class of discrete　algebra referred to as Dioid algebra. In particular, we have aimed to improve the practicality of this approach for application to practical systems. The main accomplishments are threefold; (1) the descriptive ability of the equations has been improved by extending the state-space representation, (2) for the computation of the state equation, several efficient algorithms and implementations have been proposed, and (3) a method for handling systems with fluctuating processing times has been proposed

Understanding Quantum Technologies 2022

Understanding Quantum Technologies 2022 is a creative-commons ebook that provides a unique 360 degrees overview of quantum technologies from science and technology to geopolitical and societal issues. It covers quantum physics history, quantum physics 101, gate-based quantum computing, quantum computing engineering (including quantum error corrections and quantum computing energetics), quantum computing hardware (all qubit types, including quantum annealing and quantum simulation paradigms, history, science, research, implementation and vendors), quantum enabling technologies (cryogenics, control electronics, photonics, components fabs, raw materials), quantum computing algorithms, software development tools and use cases, unconventional computing (potential alternatives to quantum and classical computing), quantum telecommunications and cryptography, quantum sensing, quantum technologies around the world, quantum technologies societal impact and even quantum fake sciences. The main audience are computer science engineers, developers and IT specialists as well as quantum scientists and students who want to acquire a global view of how quantum technologies work, and particularly quantum computing. This version is an extensive update to the 2021 edition published in October 2021.Comment: 1132 pages, 920 figures, Letter forma

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems