MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications

Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science

Integrated Power Systems in All Electric Ships: Dependability Oriented Design

This work aims at providing a comprehensive and, as far as possible, standard and widely supported approach to a dependable design of all electric ship integrated power systems. The proposed approach is based upon latest development of dependability theory made recently available, from its founding lexicon and taxonomy to investigation tools and relevant international rules. In its first part, this work analyses present rule requirements governing the discipline of designing an integrated power system serving an all electric ship. Analysis covers system definitions (what is what) in terms of taxonomy and associated concepts; system required performances both in terms of delivered services and in terms of reaction to anticipated reactions to predetermined fault scenarios. In its second part, this work briefly presents latest developments in the theory and in the tools theory brings along: lexicon, taxonomy, system analysis, benchmarking and enforcing techniques. During this development, emphasis is posed on the fact that design documentation, be it owners’ technical specification, classification society rule book or international standard, often recall dependability concepts, without fully exploiting the potential theory is promising, or the completeness of its definition corpus. In its third part, this work applies dependability concepts to a real case scenario, an integrated power system installed on a recent cruise ship vessel. This application, albeit suffering from an important lack of information, due to copyrighting and industrial intellectual property rights, produces an informative example on the enquiring method and relevant deliverable: a system model, obtained in a strongly standardized way that permits a comprehensive and accurate dependability study, to be realized using tools and techniques defined in international standard. Results of this analysis are, as a consequence of method strong structure, repeatable and consistent, and allow quick verification of requirements. Analysis results, even though partial and superficial owing to already mentioned lack of accurate information, are offering some original view points. They are commented and classified according to indexes defined earlier. In its fourth part, this works presents proposals to be applied to systems which exhibited low values of indexes. Such proposals are briefly analyzed in terms of index value variations; in doing this a quantification of improvement that could be obtained is given. Finally, in its fifth part, this work shortly presents future research directions to improve investigation method. This work reports elements of project management and maritime law as well, this in force of the multidisciplinary nature of dependability theory, and its repercussion on different sector of the marine industry, besides engineering. It is show how present method can fit the actual engineering process, and can provide a common language serving as substrate for various disciplines, like the ones mentioned