The bounded proper forcing axiom and well orderings of the reals

We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(ω_1) which is Δ_1 definable with parameter a subset of ω_1. Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes N_2 and also satisfies BPFA must contain all subsets of ω_1. We show as applications how to build minimal models of BPFA and that BPFA implies that the decision problem for the Härtig quantifier is not lightface projective

Regressive Functions on Pairs

We compute an explicit upper bound for the regressive Ramsey numbers by a combinatorial argument, the corresponding function being of Ackermannian growth. For this, we look at the more general problem of bounding g(n, m), the least l such that any regressive function ƒ: [m, l][2]→ℕ admits a min-homogeneous set of size n. Analysis of this function also leads to the simplest known proof that the regressive Ramsey numbers have rate of growth at least Ackermannian. Together, these results give a purely combinatorial proof that, for each m, g(·, m) has rate of growth precisely Ackermannian, considerably improve the previously known bounds on the size of regressive Ramsey numbers, and provide the right rate of growth of the levels of g. For small numbers we also find bounds on their value under g improving the ones provided by our general argument

Downward transference of mice and universality of local core models

If M is a proper class inner model of ZFC and omega_2^M=omega_2, then every sound mouse projecting to omega and not past 0-pistol belongs to M. In fact, under the assumption that 0-pistol does not belong to M, K^M \| omega_2 is universal for all countable mice in V. Similarly, if M is a proper class inner model of ZFC, delta>omega_1 is regular, (delta^+)^M = delta^+, and in V there is no proper class inner model with a Woodin cardinal, then K^M \| delta is universal for all mice in V of cardinality less than delta.Comment: Revised version, incorporating the referee's suggestion

Evaluación de la radiación solar obtenida de la NASA y de modelos de predicción basados en imágenes satelitales ajustados para el dimensionamiento de microrredes en Homer Pro

Introduction: The optimization of renewable energy resources is transcendental to satisfy the world energy demand and to avoid the adverse effects produced by the burning of fossil fuels. Therefore, there are several studies that seek to estimate the capacity of renewable energy sources in a geographical location. Likewise, there are several software applications that seek a balance between the investment and the installed capacity of an electric power generating plant. Objective: This work uses the results of the Random Forest algorithm to predict solar radiation from satellite images. This technique achieved a performance in R2 of 0.82 and in RMSE of 107.05. The purpose of this study is to evaluate the results of 2 models of photovoltaic systems designed for 10 different locations in the Colombian territory. Model M1 uses solar radiation data from NASA. The M2 model uses solar radiation data generated by Random Forest. Methodology: The evaluation of solar radiation from NASA and the Random Forest algorithm is based on simulations provided by the energy resource optimization tool Homer Pro. Results: The simulations of both models in Homer Pro show a difference in the capacity of the system components of between 0.0% and 47.31%. The difference between electric power generation ranges from 0.0% to 11.99%. Similarly, the difference between system costs is between 1.34% and 23.64% respectively. Conclusions: The solar radiation data estimated by Random Forest is constituted as an alternative to the solar radiation data provided by NASA, given that the differences in the capacity of system components, electric power generation and total system costs are on average at around 27%.Introducción: La optimización de los recursos de energía renovable es trascendental para satisfacer la demanda energética mundial y para evitar los efectos adversos producidos por la quema de combustibles fósiles. Por lo tanto, existen distintos estudios que procuran estimar la capacidad de las fuentes de energía renovable en una ubicación geográfica. Asimismo, existen diversas aplicaciones de software que buscan un equilibrio entre la inversión y la capacidad instalada de una central generadora de energía eléctrica. Objetivo: Este trabajo utiliza los resultados del algoritmo Random Forest para predecir la radiación solar a partir de imágenes satelitales. Esta técnica alcanzó un desempeño en R2 de 0.82 y en RMSE de 107.05. El objeto de este estudio es evaluar los resultados de 2 modelos de sistemas fotovoltaicos diseñados para 10 lugares distintos del territorio colombiano. El modelo M1 utiliza datos de radiación solar de la NASA. El modelo M2 utiliza datos de radiación solar generados por Random Forest. Metodología: La evaluación de la radiación solar proveniente de la NASA y del algoritmo Random Forest está basada en las simulaciones proporcionadas por la herramienta de optimización de recursos energéticos Homer Pro. Resultados: Las simulaciones de ambos modelos en Homer Pro, arrojan una diferencia en la capacidad de los componentes del sistema de entre 0.0% y 47.31%. La diferencia entre la generación de energía eléctrica oscila entre 0.0% y 11.99%. De igual manera, la diferencia entre los costos del sistema está entre 1.34% y 23.64% respectivamente. Conclusiones: Los datos de radiación solar estimados por Random Forest se constituyen como una alternativa a los datos de radiación solar proporcionados por la NASA, dado que las diferencias en la capacidad de los componentes del sistema, la generación de energía eléctrica y los costos totales del sistema están en promedio, en alrededor del 27%

A proposal for standardized data models and exchange information protocols applicable in centralized metering systems

En Latinoamérica las estrategias de reducción de pérdidas no técnicas de energía han impulsado la implementación de los sistemas de medición centralizada (SMC). Los SMC, además de incluir las funciones básicas de un sistema AMI, se caracterizan por integrar la medida de múltiples usuarios dentro de una caja diseñada para su instalación en postes, con el fin de restringir el acceso de los usuarios al medidor de energía. En la actualidad la mayoría de los equipos SMC disponibles comercialmente presentan una mezcla de tecnologías, cuyas interfaces y modelos de datos son de carácter propietario, lo que genera un grave problema de interoperabilidad, en parte, originado porque los estándares internacionales están orientados para su aplicación en medidores de energía individuales. Se propone, entonces, en este trabajo un conjunto de estándares al nivel de tecnologías, protocolos de intercambio de información y modelos de datos que pueden ser aplicados en SMC.The non-technical energy losses reduction strategies have stimulated the development of centralized metering systems (cms) in Latin America. Furthermore to include ami systems basic functions, the cms embed the measurement of multiple users in a cabinet. To avoid the utility customers getting access to the energy meter, each cabinet is mounted on top of an electrical pole. Currently, the major commercially available cms equipment is setting up with several technologies, which involves owner interfaces and data models. This issue generates an interoperability problem since international standards are based on measurement architectures for the use of individual meters. This paper proposes a set of both information exchange protocols and standardized data models that could be implemented in cms equipments

Frequency scan analysis supported by a possibility theory-based approach

This paper describes a procedure used to identify the states of a power system that lead to harmonic resonance. The proposed methodology results from an application of the possibility theory which aims to extend the capabilities of the classic frequency scan concept. With the proposed approach, the frequency scan provides more useful information on the harmonic behavior of a power system in contexts where load characteristics are known with uncertainty. To exemplify the potential of this proposal, a case study based on a 14-bus standard test system for harmonic analysis is presented. The states of the power system that lead to harmonic resonance are assessed within the possibility theory framework. Additionally, this paper introduces a risk measure of harmonic resonance based on possibility and necessity fuzzy measures.Fil: Romero Quete, Andrés Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Energía Eléctrica. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Energía Eléctrica; ArgentinaFil: Caicedo Navarro, Joaquin Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Energía Eléctrica. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Energía Eléctrica; ArgentinaFil: Zini, Humberto Cassiano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Energía Eléctrica. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Energía Eléctrica; ArgentinaFil: Ratta, Giuseppe. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Energía Eléctrica. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Energía Eléctrica; Argentin