Abstract

Abstract
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by 1+, powerset, and distribution monads in the characterisation of partial, nondeterministic and probabilistic components, respectively. This monad and its Kleisli category provide a universe in which the effects of continuity over (different forms of) composition can be suitably studied.

Abstract
In this paper, we present a Simulator Program that identifies the topologies and supports operation staff in decision-electrical power system operation consider load reestablishment procedures and topological possibilities to each event, offering a selection of the best settings. Facing a electrical power transmission system contingency, the Simulator considers the current state and uses special algorithms that detect the grid topology, interprets results and presents to the operators a rank of procedures with their respective degrees of reliability. For these actions the software Simulator make the circuits breakers states analysis and electric keys, load flow solution with the on line data, makes risk prediction and the mathematical analysis of remote sensing values. The software Simulator uses in some of his actions, special algorithms that are based on Paraconsistent Annotated Logic (PAL), which is a non-classical logic whose main property is to accept contradiction in their fundamentals. These algorithms based on PAL offer greater speed of processing and allows the Paraconsistent Simulator of topologies (ParaSimTop) to be implemented in real time.

Abstract

Abstract
Achievable secrecy rates over a multiple-input multiple-output multipleeavesdropper (MIMOME) wiretap channel are considered, when the legitimate users have perfect knowledge only of the legitimate channel state and the eavesdropper channel is drawn from a (possibly unknown) continuous probability density. Legitimate users are assumed to deploy more antennas than the eavesdropper. A signaling transmission based on K-class Gaussian mixture model (GMM) distributions is proposed, which can be considered as an artificial-noise augmented signal, where the noise statistics are data-dependent. The proposed scheme is shown to achieve the secrecy capacity, log K, in the high signal-to-noise ratio (SNR) regime. Moreover, the tradeoff between secrecy and reliability at finite SNR is explored via the characterization of an upper bound to the error probability at the legitimate receiver, an upper bound to themutual information leakage to the eavesdropper and via numerical simulations. © Springer International Publishing Switzerland 2016.

Abstract
Pulido et al. (Annals Oper Res 158:133–141, 2008) present an extension of the classical bankruptcy problem (O’Neill in Math Social Sci 2:345–371, 1982) where the involved agents have, apart from the claims vector, an additional reference vector. To analyze this extended problem, they propose the extreme and the diagonal approaches, both of them restricted to the case in which the reference vector is lower than the claims vector. We note that if the claims and the reference vectors are interchanged, the allocation proposed by the extreme approach varies. Therefore, by introducing the idea of impartiality, in the current approach, we propose an extension of their model in which no relation is assumed between the claims and reference vectors. © 2015, Sociedad de Estadística e Investigación Operativa.