The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
FormSERA is the Formal Methods in Software Engineering: Rigorous and Agile Approaches workshop. We had a total of sixteen submissions, of which eight were accepted after a rigorous review procedure; leaving us with a paper acceptance rate of 50%. The workshop addresses the use of formal methods in software development practice. Formal methods differ from many software engineering techniques in that...
Wind energy technologies have gained a tremendous interest worldwide to mitigate the environmental impacts related to power generation. In this study, we assess on-shore and off-shore by tracing all of the economy-wide supply chain requirements of wind power plants. The wind turbines consist of two onshore (V80-2.0 MW and V90-3.0 MW) and two offshore (V80-2.0 MW and V90-3.0 MW) turbines, all manufactured...
The aim of this study is to analyze the environmental performance of 15 passenger transportation modes using a combined application of data envelopment analysis (DEA) and hybrid life cycle assessment (LCA). The proposed approach can offer vital guidance for decision makers regarding the relative environmental efficiency of transportation modes, and enhance the interpretation of LCA results.
Electricity consumption in the residential sector has been steadily increasing in the last few decades. In a Smart Grid context, it is expected that the traditional consumer will become a prosumer (simultaneously producer and consumer) and tariffs will be dynamic. Therefore, an Automated Metering Infrastructure will be required, which will go beyond the house smart meters up to the individual appliances...
IN the wake of the next large-scale earthquake in the city of San Francisco, an expected 85,000 households are expected to become uninhabitable and beyond repair, leaving thousands of residents with immediate needs for shelter. Coupled with an overwhelming 6.8 million tons of debris generated, destroyed lifelines and affected livelihoods, recovery planning becomes critical for immediate response and...
ELECTRICAL engineers ask, is a watt-hour a watt-hour? Nutritionists ask, is a calorie a calorie? And plant pathologists ask, is carbon capture, carbon capture? How does the average person see their carbon footprint calculation [1]? We bring these abstract ideas closer for an average person with a systems engineering approach to bike machine eMergy education, so that learners can have a better grasp...
Subsidy programs for new energy technologies are by motivated by the experience curve: Increased adoption of a technology leads to learning and economies of scale that lower costs. There is a need for improved models of technological diffusion in order to inform choices in subsidy programs. In this research we explore how geographic variability in factors that determine the economic performance of...
This poster aims to show the importance of material availability for manufacturers, as well as provide methods to define and assess materials criticality, and tools to understand market dynamics in the short- and mid-term. These tools will help manufacturers make informed decisions about materials, and elaborate efficient strategies to mitigate the risks associated with a potential supply disruption...
THE biofuel research and production sector is enjoying an unprecedented amount of public and private efforts in order to remove various financial, ethical and technical barriers. One of these very important barriers is the challenge of developing biofuels that are compatible with existing gasoline, jet fuel and diesel infrastructure. Drop-in biofuel is a fuel produced from various biomass which are...
Copyright and Reprint Permission: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy beyond the limit of US copyright law for private use of patrons those articles in this volume that carry a code at the bottom of the first page, provided the percopy fee indicated in the code is paid through Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. For...
To improve the disassembly and recycling efficiency of waste electronic products, the research on active disassembly of product with shape memory materials has attracted people's attention. Cleaner Electronic Research of Brunel University's Joseph Chiodo, etc, conducted a series of active disassembly experimental and method studies for ADSM (Active disassembly using smart materials, ADSM) and applied...
The arduous duty cycles (current rate, state of charge and temperature) of the electric vehicle cause degradation of the Li-ion battery. This coupled with high cost of Li-ion batteries have hampered widespread adoption of electric vehicles. The degradation mechanisms are attributed to (1) electrolyte window stability and (2) solid electrolyte interphase layer on the battery electrodes. Following degradation...
The ongoing transformation of electric grids into smart grids provides the technological basis to implement demand-sensitive pricing strategies aimed at using the electric power infrastructure more efficiently. These strategies, also designated by demand response [1], already proved to be effective in altering patterns of electricity usage [2–6], and create benefits not only for end users (by lowering...
Sustainable manufacturing can be expressed as the consideration of economical, environmental, and societal impact during product design for the entire life cycle. Although interest in nanomaterials and nanodevices has been growing rapidly, the uncertainty about human health and environmental impact of the nanomaterials still exits. Moreover, current nanomanufacturing techniques have negative environmental...
Transportation is, on average, responsible for 27% of US greenhouse gas emissions. Consequently, improvements in vehicle design improving fuel economy, and therefore reducing emissions, are an important step towards meeting emission reduction goals. The primary ways to improve vehicle fuel economy include the use of advanced powertrains, improved rolling resistance and aerodynamics, and vehicle lightweighting...
Carbon nanotubes (CNTs) have the potential to improve dramatically the performance of lithium-ion batteries. We extend research on the human and environmental health concerns posed by end-of-life management of nano-enabled batteries [1] and technology requirements for processing lithium-ion scrap [2] by considering how greater use of CNT-enabled batteries may impact existing battery recycling programs...
The rapidly growing demand for portable devices brings new challenges for the research community. A great amount of prior research has focused on battery-life constraints of such portable devices. A cloud based thin client server software approach has been proposed to make these devices more energy efficient and maximize the battery lifetime [1][2]. In this paper we present an analytical model to...
ATOMIC Layer Deposition (ALD) is an enabling nanotechnology widely used for fabricating conformal, uniform and pin-hole free thin films which can be controlled precisely in nano-meter scale [1]. ALD can coat accurately on planar substrate as well as high aspect ratio surfaces [2]. Due to the advantages of ALD technology, in recent years ALD has been widely applied in many fields including semiconductors,...
DEVELOPMENT of safe, economically competitive, and environmentally responsible nano-enabled products, is a desired outcome to avoid unintended consequences of nanomaterials. Given the uncertain environmental, health, and safety risks associated with the use of carbon nanotubes (CNTs) in emerging products, there are concerns about the extent of their use. Recent advances in nanotechnology have resulted...
A multi-criteria optimization model has been developed to propose economically sound and environmentally benign construction waste management strategies for LEED certified green buildings. First, an input-output based hybrid life cycle assessment model has been developed to quantify the net environmental impacts of different waste management options such as recycling, conventional landfilling and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.