Tree-size bounded alternation

AbstractThe size of an accepting computation tree of an alternating Turing machine (ATM) is introduced as a complexity measure. We present a number of applications of tree-size to the study of more traditional complexity classes. Tree-size on ATMs is shown to closely correspond to time on nondeterministic TMs and on nondeterministic auxiliary pushdown automata. One application of the later is a useful new characterization of the class of languages log-space-reducible to context-free languages. Surprising relationships with parallel-time complexity are also demonstrated. ATM computations using at most space S(n) and tree-size Z(n) (simultaneously) can be simulated in alternating space S(n) and time S(n) · log Z(n) (simultaneously). Several well-known simulations, e.g., Savitch's theorem, are special cases of this result. It also leads to improved parallel complexity bounds for many problems in terms of both time and number of “processors.” As one example we show that context-free language recognition in time O(log2 n) is possible on several parallel models. Further, this bound is achievable with only a polynomial number of processors, in contrast to all previously known sub-linear time CFL recognizers

Conjunctive Grammars, Cellular Automata and Logic

The expressive power of the class Conj of conjunctive languages, i.e. languages generated by the conjunctive grammars of Okhotin, is largely unknown, while its restriction LinConj to linear conjunctive grammars equals the class of languages recognized by real-time one-dimensional one-way cellular automata. We prove two weakened versions of the open question Conj ?? RealTime1CA, where RealTime1CA is the class of languages recognized by real-time one-dimensional two-way cellular automata: 1) it is true for unary languages; 2) Conj ? RealTime2OCA, i.e. any conjunctive language is recognized by a real-time two-dimensional one-way cellular automaton. Interestingly, we express the rules of a conjunctive grammar in two Horn logics, which exactly characterize the complexity classes RealTime1CA and RealTime2OCA

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

Air Traffic Control

Improving air traffic control and air traffic management is currently one of the top priorities of the global research and development agenda. Massive, multi-billion euro programs like SESAR (Single European Sky ATM Research) in Europe and NextGen (Next Generation Air Transportation System) in the United States are on their way to create an air transportation system that meets the demands of the future. Air traffic control is a multi-disciplinary field that attracts the attention of many researchers, ranging from pure mathematicians to human factors specialists, and even in the legal and financial domains the optimization and control of air transport is extensively studied. This book, by no means intended to be a basic, formal introduction to the field, for which other textbooks are available, includes nine chapters that demonstrate the multi-disciplinary character of the air traffic control domain

Electric Vehicle Efficient Power and Propulsion Systems

Vehicle electrification has been identified as one of the main technology trends in this second decade of the 21st century. Nearly 10% of global car sales in 2021 were electric, and this figure would be 50% by 2030 to reduce the oil import dependency and transport emissions in line with countries’ climate goals. This book addresses the efficient power and propulsion systems which cover essential topics for research and development on EVs, HEVs and fuel cell electric vehicles (FCEV), including: Energy storage systems (battery, fuel cell, supercapacitors, and their hybrid systems); Power electronics devices and converters; Electric machine drive control, optimization, and design; Energy system advanced management methods Primarily intended for professionals and advanced students who are working on EV/HEV/FCEV power and propulsion systems, this edited book surveys state of the art novel control/optimization techniques for different components, as well as for vehicle as a whole system. New readers may also find valuable information on the structure and methodologies in such an interdisciplinary field. Contributed by experienced authors from different research laboratory around the world, these 11 chapters provide balanced materials from theorical background to methodologies and practical implementation to deal with various issues of this challenging technology. This reprint encourages researchers working in this field to stay actualized on the latest developments on electric vehicle efficient power and propulsion systems, for road and rail, both manned and unmanned vehicles