Synthesis of probabilistic models for quality-of-service software engineering

An increasingly used method for the engineering of software systems with strict quality-of-service (QoS) requirements involves the synthesis and verification of probabilistic models for many alternative architectures and instantiations of system parameters. Using manual trial-and-error or simple heuristics for this task often produces suboptimal models, while the exhaustive synthesis of all possible models is typically intractable. The EvoChecker search-based software engineering approach presented in our paper addresses these limitations by employing evolutionary algorithms to automate the model synthesis process and to significantly improve its outcome. EvoChecker can be used to synthesise the Pareto-optimal set of probabilistic models associated with the QoS requirements of a system under design, and to support the selection of a suitable system architecture and configuration. EvoChecker can also be used at runtime, to drive the efficient reconfiguration of a self-adaptive software system. We evaluate EvoChecker on several variants of three systems from different application domains, and show its effectiveness and applicability.     

Buying Power

The global push toward finalizing and implementing the next generation of connected smart machinery—the Industry 4.0 protocols—begs the question: how will these new standards influence equipment purchasing decisions for plastics manufacturers?     

Moving beyond ‘more crop per drop’: insights from two decades of research on agricultural water productivity

ABSTRACT

Concern over increasing water scarcity has led to the introduction of the concept of agricultural water productivity and an emphasis on interventions to achieve ‘more crop per drop’. Yet, a strong debate continues on how the concept is to be defined and used. Drawing largely from the irrigation literature, the origins of the concept and its methodological developments are reviewed, and its use in applied work over two decades is discussed. Based on this analysis of conceptual and applied research, key insights into the concept’s contributions and limitations are presented, as well as opportunities for further refinements.     

A Decision Support System Based on AHP for Ranking Strategies to Manage Emergencies on Drinking Water Supply Systems

Water Resources Management - The provision of critical services, such as drinking water, is crucial both in ordinary and in emergency conditions due to either natural (e.g. earthquakes, droughts,...     

Multi-level integrated planning and greening of public infrastructure in South Africa

The South African government has named the transition towards a greener economy one of its priorities. Meanwhile it has developed a new multilevel integrated planning process, and announced a massive public infrastructure investment plan. The converging point of these three dynamics should be the integration of green infrastructure principles into the different plans as the foundation of the green transition. This paper uses a policy integration analytical framework to assess whether this convergence is in fact taking shape. It analyses the level of integration of green infrastructure principles into the different plans and suggests options to move the green infrastructure agenda forward.     

Comparative analysis of the outdoor performance of a dye solar cell mini‐panel for building integrated photovoltaics applications

New generation photovoltaic (PV) devices such as polymer and dye sensitized solar cells (DSC) have now reached a more mature stage of development, and among their various applications, building integrated PVs seems to have the most promising future, especially for DSC devices. This new generation technology has attracted an increasing interest because of its low cost due to the use of cheap printable materials and simple manufacturing techniques, easy production, and relatively high efficiency. As for the more consolidated PV technologies, DSCs need to be tested in real operating conditions and their performance compared with other PV technologies to put into evidence the real potential. This work presents the results of a 3 months outdoor monitoring activity performed on a DSC mini‐panel made by the Dyepower Consortium, positioned on a south oriented vertical plane together with a double junction amorphous silicon (a‐Si) device and a multi‐crystalline silicon (m‐Si) device at the ESTER station of the University of Rome Tor Vergata. Good performance of the DSC mini‐panel has been observed for this particular configuration, where the DSC energy production compares favorably with that of a‐Si and m‐Si especially at high solar angles of incidence confirming the suitability of this technology for the integration into building facades. This assumption is confirmed by the energy produced per nominal watt‐peak for the duration of the measurement campaign by the DSC that is 12% higher than that by a‐Si and only 3% lower than that by m‐Si for these operating conditions. Copyright © 2013 John Wiley & Sons, Ltd.     

Functional mesoporous poly(ionic liquid)-based copolymer monoliths: From synthesis to catalysis and microporous carbon production

Ionic liquid-functionalized mesoporous polymeric networks with specific surface area up to 935 m²/g have been successfully synthesized one pot by solvothermal copolymerization of divinylbenzene and monomeric ionic liquids. The as-obtained polymers exhibit a monolithic structure featuring large pore volumes, an abundant mesoporosity and an adjustable content of ionic liquids. The effect of the reaction conditions on the pore structure has been studied in detail. These poly(ionic liquid)-based porous networks (PILPNs) have then been employed as precursors in two distinct applications, namely organocatalysis and production of microporous carbon monoliths. Selected organocatalyzed reactions, including carbonatation of propylene oxide by cycloaddition with carbon dioxide, benzoin condensation, and cyanosilylation of benzaldehyde have been readily triggered by PILPNs acting as crosslinked polymer-supported (pre)catalysts. The two latter reactions required the prior deprotonation of the imidazolium salt units with a strong base to successfully generate polymer-supported N-heterocyclic carbenes, referred to as poly(NHC)s. Facile recycling and reuse of polymer-supported (pre)catalysts was achieved by simple filtration owing to the heterogeneous reaction conditions. Furthermore, PILPNs could be easily converted into microporous carbon monoliths via CO₂ activation.