State-based components made generic

Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.(undefined

A single complete relational rule for coalgebraic refinement

A transition system can be presented either as a binary relation or as a coalgebra for the powerset functor, each representation being obtained from the other by transposition. More generally, a coalgebra for a functor F generalises transition systems in the sense that a shape for transitions is determined by F, typically encoding a signature of methods and observers. This paper explores such a duality to frame in purely relational terms coalgebraic refinement, showing that relational (data) refinement of transition relations, in its two variants, downward and upward (functional) simulations, is equivalent to coalgebraic refinement based on backward and forward morphisms, respectively. Going deeper, it is also shown that downward simulation provides a complete relational rule to prove coalgebraic refinement. With such a single rule the paper defines a pre-ordered calculus for refinement of coalgebras, with bisimilarity as the induced equivalence. The calculus is monotonic with respect to the main relational operators and arbitrary relator F, therefore providing a framework for structural reasoning about refinement

Will ultrathin CIGS solar cells overtake the champion thin-film cells? Updated SCAPS baseline models reveal main differences between ultrathin and standard CIGS

Cu(In,Ga)Se2 (CIGS) solar cells are amongst the best performing thin-film technologies, with the latest performance gains being mainly due to recent years improvements obtained with post-deposition treatments (PDT). Moreover, thinning of the absorber layer down to sub-micrometre values (ultrathin absorbers) is of extreme importance for CIGS to be even more cost-effective and sustainable. However, electrical and optical limitations, such as rear interface recombination and insufficient light absorption, prevent the widespread implementation of ultrathin CIGS devices. The recent electrical CIGS simulation baseline models have failed to keep up with the experimental developments. Here an updated and experimentally based baseline model for electrical simulations in the Solar Cell Capacitor Simulator (SCAPS) software is presented and discussed with the incorporation of the PDT effects and increased optical accuracy with the support from Finite-Difference Time-Domain (FDTD) simulation results. Furthermore, a champion solar cell with an equivalent architecture validates the developed thin-film model. The baseline model is also applied to ultrathin CIGS solar cell devices, validated with the ultrathin champion cell. Ultimately, these ultrathin models pave the way for an ultrathin baseline model. Simulations results reveal that addressing these absorbers' inherent limitations makes it possible to achieve an ultrathin solar cell with at least 21.0% power conversion efficiency, with open-circuit voltage values even higher than the recent thin-film champion cells.This work was supported by the Fundação para a Ciência e Tecno-logia (FCT) grant numbers DFA/BD/7073/2020, DFA/BD/4564/2020, SFRH/BD/146776/2019, IF/00133/2015, UIDB/50025/2020, UIDP/50025/2020, UIDB/04730/2020, and UIDP/04730/2020. The authors want to acknowledge the funding from the project NovaCell (PTDC/ CTM-CTM/28075/2017). The authors also acknowledge the financial support of the project Baterias 2030, with the reference POCI-01-0247-FEDER-046109, co-funded by Operational Programme for Competitiveness and Internationalization (COMPETE 2020), under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (ERDFinfo:eu-repo/semantics/submittedVersio

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

Anisotropy studies around the galactic centre at EeV energies with the Auger Observatory

Data from the Pierre Auger Observatory are analyzed to search for anisotropies near the direction of the Galactic Centre at EeV energies. The exposure of the surface array in this part of the sky is already significantly larger than that of the fore-runner experiments. Our results do not support previous findings of localized excesses in the AGASA and SUGAR data. We set an upper bound on a point-like flux of cosmic rays arriving from the Galactic Centre which excludes several scenarios predicting sources of EeV neutrons from Sagittarius $A$. Also the events detected simultaneously by the surface and fluorescence detectors (the `hybrid' data set), which have better pointing accuracy but are less numerous than those of the surface array alone, do not show any significant localized excess from this direction.Comment: Matches published versio