Logic Negation with Spiking Neural P Systems

Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such reasoning systems is that they work as black-boxes and the acquired knowledge is not human readable. In this paper, we present a new step in order to close the gap between connectionist and logic based reasoning systems. We show that two of the most used inference rules for obtaining negative information in rule based reasoning systems, the so-called Closed World Assumption and Negation as Finite Failure can be characterized by means of spiking neural P systems, a formal model of the third generation of neural networks born in the framework of membrane computing.Comment: 25 pages, 1 figur

Compound orbits break-up in constituents: an algorithm

In this paper decomposition of periodic orbits in bifurcation diagrams are derived in unidimensional dynamics system $x_{n+1}=f(x_{n};r)$, being $f$ an unimodal function. We proof a theorem which states the necessary and sufficient conditions for the break-up of compound orbits in their simpler constituents. A corollary to this theorem provides an algorithm for the computation of those orbits. This process closes the theoretical framework initiated in (Physica D, 239:1135--1146, 2010)

Impact of 100-MW-scale PV plants with synchronous power controllers on power system stability in northern Chile

© 2017, The Institution of Engineering and Technology. The impact that renewable energy sources interfaced by power electronics have on power systems becomes more important as their share in the generation mix increases, thus requiring detailed analyses that take into account their dynamics and controllers. In this study, the impact of photovoltaic (PV) power plants on the power system of northern Chile is analysed. The studied plants employ a controller that allows power converters to interact with the grid like virtual synchronous generators, and their model includes the dynamics of the plant and converter controllers, as well as the dc and PV system. The presented analysis, which comprises modal analysis and time-domain simulations of large disturbances, evaluates the impact of these plants with respect to PV plants based on a conventional converter controller. Tests and validations of the proposed models and controllers are carried out for an actual PV plant connected to the power system of northern Chile, and for a higher PV penetration case. The results show the ability of PV plants formed by virtually synchronous power converters to limit frequency excursions induced by large power imbalances, and to mitigate power oscillations of the synchronous machines in the system.Peer ReviewedPostprint (author's final draft

Variability in Quasar Broad Absorption Line Outflows I. Trends in the Short-Term versus Long-Term Data

Broad absorption lines (BALs) in quasar spectra identify high velocity outflows that likely exist in all quasars and could play a major role in feedback to galaxy evolution. The variability of BALs can help us understand the structure, evolution, and basic physical properties of the outflows. Here we report on our first results from an ongoing BAL monitoring campaign of a sample of 24 luminous quasars at redshifts 1.2<z<2.9, focusing on C IV 1549 BAL variability in two different time intervals: 4 to 9 months (short-term) and 3.8 to 7.7 years (long-term) in the quasar rest-frame. We find that 39% (7/18) of the quasars varied in the short-term, whereas 65% (15/23) varied in the long-term, with a larger typical change in strength in the long-term data. The variability occurs typically in only portions of the BAL troughs. The components at higher outflow velocities are more likely to vary than those at lower velocities, and weaker BALs are more likely to vary than stronger BALs. The fractional change in BAL strength correlates inversely with the strength of the BAL feature, but does not correlate with the outflow velocity. Both the short-term and long-term data indicate the same trends. The observed behavior is most readily understood as a result of the movement of clouds across the continuum source. If the crossing speeds do not exceed the local Keplerian velocity, then the observed short-term variations imply that the absorbers are <6 pc from the central quasar.Comment: 14 pages, 7 figures, accepted for publication in MNRA

Simulador de comportamiento de enjambre con Quorum Sensing bacteriano

One of the most useful tools in the design of path-planning solutions is simulators. Thanks to them, it is possible to predict the performance of certain control strategies. In this paper, a simulator is presented that implements a swarm of automatons, which perform a wild motion in a user-selected environment. The robots will have the quality to avoid collisions with different obstacles that affect their mobility since they are equipped with proximity sensors. The interface of this simulator was designed entirely with the Qt Designer software. Successful configurations that replicate the performance of the real prototype are presented. &nbsp;Una de las herramientas más útiles en el diseño de soluciones de planificación de trayectorias son los simuladores. Gracias a ellos, es posible predecir el rendimiento de determinadas estrategias de control. En este trabajo se presenta un simulador que implementa un enjambre de autómatas que realizan un movimiento salvaje en un entorno seleccionado por el usuario. Los robots tendrán la cualidad de evitar colisiones con diferentes obstáculos que afecten a su movilidad ya que están equipados con sensores de proximidad. La interfaz de este simulador se ha diseñado íntegramente con el software Qt Designer. Se presentan configuraciones exitosas que replican el desempeño del prototipo real. &nbsp

Kinetics and crystallization path of a Fe-based metallic glass alloy

The thermal stability and the quantification of the different transformation processes involved in the overall crystallization of the Fe50Cr15Mo14C15B6 amorphous alloy were investigated by several characterization techniques. Formation of various metastable and stable phases during the devitrification process in the sequence a-Fe, ¿-Cr6Fe18Mo5, M23(C,B)6, M7C3, ¿-Fe3Mo3C and FeMo2B2 (with M = Fe, Cr, Mo), was observed by in-situ synchrotron high energy X-ray diffraction and in-situ transmission electron microscopy. By combining these techniques with differential scanning calorimetry data, the crystallization states and their temperature range of stability under continuous heating were related with the evolution of the crystallized fraction and the phase sequence as a function of temperature, revealing structural and chemical details of the different transformation mechanisms.Postprint (published version