1,858 research outputs found

    Towards a Sustainable Life: Smart and Green Design in Buildings and Community

    Get PDF
    This Special Issue includes contributions about occupants’ sustainable living in buildings and communities, highlighting issues surrounding the sustainable development of our environments and lives by emphasizing smart and green design perspectives. This Special Issue specifically focuses on research and case studies that develop promising methods for the sustainable development of our environment and identify factors critical to the application of a sustainable paradigm for quality of life from a user-oriented perspective. After a rigorous review of the submissions by experts, fourteen articles concerning sustainable living and development are published in this Special Issue, written by authors sharing their expertise and approaches to the concept and application of sustainability in their fields. The fourteen contributions to this special issue can be categorized into four groups, depending on the issues that they address. All the proposed methods, models, and applications in these studies contribute to the current understanding of the adoption of the sustainability paradigm and are likely to inspire further research addressing the challenges of constructing sustainable buildings and communities resulting in a sustainable life for all of society

    Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

    Get PDF
    Abstract—For hard real-time systems, static code analysis is needed to derive a safe bound on the worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of WCET analysis without regard to the speed of analysis. The resulting algorithms are often too slow to be integrated into the development cycle, requiring WCET analysis to be postponed until a final verification phase. In this paper we propose interactive WCET analysis as a new method to provide near-instantaneous WCET feedback to the developer during software programming. We show that interactive WCET analysis is feasible using tree-based WCET calculation. The feedback is realized with a plugin for the Java editor jEdit, where the WCET values are back-annotated to the Java source at the statement level. Comparison of this treebased approach with the implicit path enumeration technique (IPET) shows that tree-based analysis scales better with respect to program size and gives similar WCET values. Index Terms—Real time systems, performance analysis, software performance, software reliability, software algorithms, safety I

    Developing a distributed electronic health-record store for India

    Get PDF
    The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

    Seismic Imaging and Salt Tectonics of the Mediterranean Salt Giant in the Central Algerian Basin

    Get PDF
    The Mediterranean Salt Giant (MSG) is a thick layer of Messinian evaporites (up to 4 km) that is thought to be deposited during an extreme paleo-environmental event known as the Messinian Salinity Crisis (MSC). After decades of research, there is not yet a consensual model explaining the emplacement and the evolution of the MSG. This is due to the absence of samples of the deep offshore MSG. Past scientific drilling operations were limited to the topmost MSG records because of the risks of intersecting zones of hazardous fluids and overpressure linked to evaporites. The European project SALTGIANT, in which the work of this thesis fits into, is dedicated to understanding the formation of the MSG and its implications for the microbial life, the drilling hazards and the geo-economics of the Mediterranean region and the history of oceanography. In that framework, this thesis aims to improve our seismic images of the offshore MSG and to use the new results to update our understanding of the Messinian salt tectonics. This work is focused on the Algerian basin, in the south-western Mediterranean Sea, where the salt was deposited in an already contractional tectonic setting. I compile, reprocess, and interpret legacy academic seismic data acquired in the central Algerian basin. The re-processing is designed to improve as much as possible the salt and pre-salt structures. It relies on an integrated approach combining geophysics and geological interpretation to iteratively build the velocity model. The new results display a better imaging of salt structures and the seismic facies variations. They shed a new light on the tectono-sedimentary evolution of the central Algerian basin, highlighting the presence of seismic fluid indicators evidencing an active fluid circulation in the basin and its margins. Interpretation of the new seismic sections is done following the most recent nomenclature of the MSC seismic markers. New isochores and thickness maps are produced and compared with the spatial distribution of the salt structures. I interpret contractional salt tectonic structures, such as buckle folds, squeezed diapirs and related salt sheets as evidence of regional thick-skinned shortening episodes. I suggest that extensional stage of the salt system (where the deformation is driven by gravity loading) was short-lived, and that many salt structures were driven by contractional tectonic loading during the Plio-Quaternary. I demonstrate that the initial shortening-related salt deformation in the late Messinian was focussed along the Algerian margin and later shifted outward toward the Balearic margin in the Plio-Quaternary. The shifting of the deformation front is interpreted to be a result of the thickening and strengthening of the overburden. The second peak of deformation may have reactivated faults along the Emile-Baudot escarpment with thick-skinned deformation. I also observe a variation in the intensity of the salt deformation along the margin from SW to NE, which I associate to variable tectonic loading applied along the Algerian margin or the pre-shortening distribution of salt. Fluid indicators are imaged within the Plio-Quaternary of the Algerian basin. They could be thermogenic or biogenic gas sourced from the Messinian Upper Unit, or from the pre-salt, migrating through a hydro-fractured salt. The new results also evidence numerous volcanic structures within the Formentera basin. The distribution of this volcanic edifice could affect fluid circulation, resulting in small-wavelength surface HF anomalies observed locally

    Characterization of the Ezousas aquifer in south-west Cyprus for the storage and recovery of treated sewage effluent

    Get PDF
    This thesis reports on research from a full-scale demonstration project to recharge a depleted aquifer with treated sewage effluent from the Paphos (Cyprus) wastewater treatment plant. The project artificially recharged the Ezousas river basin, located in the south-western coastal plain of Cyprus, with tertiary treated, disinfected effluent through a network of artificial infiltration ponds. The aims of the research were to determine the capacity of the aquifer to provide a suitable buffer for the flow from the wastewater without flooding and to measure the changes in reclaimed water quality. The aquifer hydraulics and treatment capacity, including recharge basins, were analysed using field and laboratory measurements. A geological field survey and modelling was used to assess, both by practice and theory the effectiveness of the Ezousas river aquifer for storage and recovery of the reclaimed water. The aquifer was found to be mainly composed of alluvium with typical hydraulic characteristics. The average porosity was 20% and hydraulic conductivity around 90 m/day, it was concluded the aquifer would be able to accept all the annual output of the treatment plant which was 5 Mm3 /a. The recharge network consisted of five groups of infiltration basins arranged on both banks of the River Ezousas about 2km upstream of the wastewater treatment plant. Each infiltration basin contained two, four or six recharge ponds, each basin was 2,000m2 in area with a depth of 1.5 m. A recharge pattern consisting of alternating weeks of wet-fill and drying cycles was found necessary to maintain the unsaturated zone below the ponds in order to maximise the amount of water that could be recharged whilst optimising water quality. The hydraulic impact of the artificial recharge and extraction from the field measurements of borehole water levels indicated recharged water down to 15m below the surface. Tracer tests on the groundwater flow, capture zone, residence times and mass balances of recharged and native waters gave widely varying residence times between 30 days and 5 years, these were attributed to the complex flow patterns found. Recharged water was sampled using a series of extraction wells located along the downstream river basin, starting at the infiltration ponds and then at stages downstream. Eight production and monitoring wells were tested including control samples up-gradient (upstream) from the ponds, to about 7km down-gradient (downstream). Water quality was analyzed for the standard wastewater constituents including indicator organisms, organic matter, nutrients N and P and the metals. It was one of the recommendations of the thesis however that attention also be paid to the persistent organics, including the pesticides, biocides, plasticizers and pharma residues. The chemical data was used to build and validate a solute transport model of the ponds and surrounding area to predict the transport and fate of priority contaminants. In this way, the geo-chemical potential for the retardation, attenuation and chemical or biochemical degradation processes taking place in the unsaturated and saturated zone were assessed. From the results it was concluded that for most analytes, which included metals, nitrate and common salts, the main processes were mixing and dilution by the native ground water. The extracted water was then a mix of waters according to the different residence times and flow of natural groundwater, giving a stable water quality for irrigation. A third reaction involving cation exchange with the local geology was however identified which reduced the concentrations of copper and phosphate beyond what was expected from just mixing. It was also concluded that denitrification did not occur because of a combination of the high quality of the effluent, the operational cycling of the ponds and the high porosity of the vadose zone. Previous work has found denitrification if the recycled water still contains organic matter, further work was recommended to determine the critical organic concentrations. The renovated water from the Ezousas wastewater reuse Project was able to meet the health and agronomic requirements for unrestricted irrigation. The risk of flooding with sewage effluent resulting from hydraulic mounding was also investigated to define the growth and decay of the mound. It was possible to report that after more than fifteen years of operation and a total infiltration of 40Mm3, there have been no signs of reduced hydraulic capacity or water quality

    Data-Intensive Computing in Smart Microgrids

    Get PDF
    Microgrids have recently emerged as the building block of a smart grid, combining distributed renewable energy sources, energy storage devices, and load management in order to improve power system reliability, enhance sustainable development, and reduce carbon emissions. At the same time, rapid advancements in sensor and metering technologies, wireless and network communication, as well as cloud and fog computing are leading to the collection and accumulation of large amounts of data (e.g., device status data, energy generation data, consumption data). The application of big data analysis techniques (e.g., forecasting, classification, clustering) on such data can optimize the power generation and operation in real time by accurately predicting electricity demands, discovering electricity consumption patterns, and developing dynamic pricing mechanisms. An efficient and intelligent analysis of the data will enable smart microgrids to detect and recover from failures quickly, respond to electricity demand swiftly, supply more reliable and economical energy, and enable customers to have more control over their energy use. Overall, data-intensive analytics can provide effective and efficient decision support for all of the producers, operators, customers, and regulators in smart microgrids, in order to achieve holistic smart energy management, including energy generation, transmission, distribution, and demand-side management. This book contains an assortment of relevant novel research contributions that provide real-world applications of data-intensive analytics in smart grids and contribute to the dissemination of new ideas in this area

    COBE's search for structure in the Big Bang

    Get PDF
    The launch of Cosmic Background Explorer (COBE) and the definition of Earth Observing System (EOS) are two of the major events at NASA-Goddard. The three experiments contained in COBE (Differential Microwave Radiometer (DMR), Far Infrared Absolute Spectrophotometer (FIRAS), and Diffuse Infrared Background Experiment (DIRBE)) are very important in measuring the big bang. DMR measures the isotropy of the cosmic background (direction of the radiation). FIRAS looks at the spectrum over the whole sky, searching for deviations, and DIRBE operates in the infrared part of the spectrum gathering evidence of the earliest galaxy formation. By special techniques, the radiation coming from the solar system will be distinguished from that of extragalactic origin. Unique graphics will be used to represent the temperature of the emitting material. A cosmic event will be modeled of such importance that it will affect cosmological theory for generations to come. EOS will monitor changes in the Earth's geophysics during a whole solar color cycle

    ICSEA 2022: the seventeenth international conference on software engineering advances

    Get PDF
    The Seventeenth International Conference on Software Engineering Advances (ICSEA 2022), held between October 16th and October 20th, 2022, continued a series of events covering a broad spectrum of software-related topics. The conference covered fundamentals on designing, implementing, testing, validating and maintaining various kinds of software. Several tracks were proposed to treat the topics from theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learned. The conference topics covered classical and advanced methodologies, open source, agile software, as well as software deployment and software economics and education. Other advanced aspects are related to on-time practical aspects, such as run-time vulnerability checking, rejuvenation process, updates partial or temporary feature deprecation, software deployment and configuration, and on-line software updates. These aspects trigger implications related to patenting, licensing, engineering education, new ways for software adoption and improvement, and ultimately, to software knowledge management. There are many advanced applications requiring robust, safe, and secure software: disaster recovery applications, vehicular systems, biomedical-related software, biometrics related software, mission critical software, E-health related software, crisis-situation software. These applications require appropriate software engineering techniques, metrics and formalisms, such as, software reuse, appropriate software quality metrics, composition and integration, consistency checking, model checking, provers and reasoning. The nature of research in software varies slightly with the specific discipline researchers work in, yet there is much common ground and room for a sharing of best practice, frameworks, tools, languages and methodologies. Despite the number of experts we have available, little work is done at the meta level, that is examining how we go about our research, and how this process can be improved. There are questions related to the choice of programming language, IDEs and documentation styles and standard. Reuse can be of great benefit to research projects yet reuse of prior research projects introduces special problems that need to be mitigated. The research environment is a mix of creativity and systematic approach which leads to a creative tension that needs to be managed or at least monitored. Much of the coding in any university is undertaken by research students or young researchers. Issues of skills training, development and quality control can have significant effects on an entire department. In an industrial research setting, the environment is not quite that of industry as a whole, nor does it follow the pattern set by the university. The unique approaches and issues of industrial research may hold lessons for researchers in other domains. We take here the opportunity to warmly thank all the members of the ICSEA 2022 technical program committee, as well as all the reviewers. The creation of such a high-quality conference program would not have been possible without their involvement. We also kindly thank all the authors who dedicated much of their time and effort to contribute to ICSEA 2022. We truly believe that, thanks to all these efforts, the final conference program consisted of top-quality contributions. We also thank the members of the ICSEA 2022 organizing committee for their help in handling the logistics of this event. We hope that ICSEA 2022 was a successful international forum for the exchange of ideas and results between academia and industry and for the promotion of progress in software engineering advances
    • …
    corecore