Abstract

Abstract
In this article, two new unidirectional multilevel six-phase power rectifier topologies are proposed and investigated. Such topologies may be applied to ac-dc systems such as wind energy conversions systems, aerospace generator drives, telecommunications or any other application where regenerative operation is either not required or prohibited. The first topology is composed of two three-level neutral-point-clamped (NPC) converters connected to the open-end windings of a six-phase permanent magnet synchronous generator, and a three-phase noncontrolled diode bridge converter. The second topology is composed of three modified NPC converters with the substitution of two controlled switches by diodes in each leg. The use of a noncontrolled converter with diodes aims to reduce the controlled switches count, the system complexity, and the costs. However, it makes both systems nonreversible. The system models, operating principles, the space vector pulsewidth modulation strategies, the dc-links balance, and the control system to ensure the elimination of the zero-crossover distortion caused by the use of the diodes are presented. Due to the high number of levels generated, the systems are suitable for high power applications with voltage and current ratings restrictions. A study concerning harmonic distortion and semiconductor losses for both systems is performed, in order to be compared with a standard configuration. The feasibility of the system is demonstrated by simulation and experimental results.

Abstract
This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables students to learn the language at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how they evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by Alloy users. Alloy4Fun has been used in formal methods graduate courses for two years and for the latest edition we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum).

Abstract
We present the complete genome sequences of two Xanthomonas euroxanthea strains isolated from buds of a walnut tree. The whole-genome sequences of strains CPBF 367 and CPBF 426 consist of two circular chromosomes of 4,923,218 bp and 4,883,254 bp and two putative plasmids of 45,241 bp and 17,394 bp, respectively. These data may contribute to the understanding of Xanthomonas species-specific adaptations to walnut.

Abstract
Industrial Cyber-Physical Systems (CPS) are promoting the development of smart machines and products, leading to the next generation of intelligent production systems. In this context, Artificial Intelligence (AI) is posed as a key enabler for the realization of CPS requirements, supporting the data analysis and the system dynamic adaptation. However, the centralized Cloud-based AI approaches are not suitable to handle many industrial scenarios, constrained by responsiveness and data sensitivity. Edge Computing can address the new challenges, enabling the decentralization of data analysis along the cyber-physical components. In this context, distributed AI approaches such as those based onMulti-agent Systems (MAS) are essential to handle the distribution and interaction of the components. Based on that, this work uses a MAS approach to design cyber-physical agents that can embed different data analysis capabilities, supporting the decentralization of intelligence. These concepts were applied to an industrial automobile multi-stage production system, where different kinds of data analysis were performed in autonomous and cooperative agents disposed along Edge, Fog and Cloud computing layers.

Abstract