Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “lifecycle analysis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

Equivalent Breakeven Installed Cost: A Tradeoff-Informed Measure for Technoeconomic Analysis of Candidate Heliostat Improvements: Preprint

Technoeconomic analysis (TEA) is commonly used to determine economic viability of power-generating technologies, including concentrating solar power (CSP) and thermal (CST) production plants. Levelized cost of electricity (LCOE) and analogous measures provide an estimate of long-term costs for operating power plants over their designed lifetimes by accounting for revenues and costs in a time-discounted manner. While these measures are effective when assessing a technology's total lifecycle costs and productivity under various designs, TEA of candidate incremental technology improvements from the lens of LCOE can be limited when required investment and LCOE impacts are small. In this work, we propose a novel metric for TEA of a plant component technology that recasts relative changes in levelized system costs into component-specific capital cost budgets. This measure, which we refer to as the equivalent breakeven installed cost, is the maximum budget for the technology component that leads to improved levelized costs. We illustrate the usefulness of this metric using the example of candidate heliostat improvements for a CSP tower plant. Here, the results suggest that a reduction in mirror washing costs yield a total plant O&M cost of $37/kWe-yr, which is a breakeven proposition if the average reflectance is reduced from 0.90 to 0.85 as a result of the cost savings.

concentrating solar power↗

Scoping, Tailoring, and Abstraction Refinement in Hazard Assessment Processes

Hazard assessment is an engineering activity that produces insight into which states of thing being engineered might be hazardous. In aviation contexts, it is often performed for certification credit at both the aircraft and system levels during the early design phase of the system’s lifecycle. However, novel aircraft paradigms such as urban air mobility (UAM)operations might either violate assumptions on which traditional aviation hazard assessment is based or simply possess attributes that would make other approaches more effective. In this paper, we define the key concepts under pinning hazard assessment and identify the limitations and assumptions inherent in hazard analysis. We analyze popular techniques to show how they embody these key concepts. We identify ways in which hazard assessment may be scoped and tailored to an application. And, using worked examples, we discuss how, where, and why such tailoring might be needed, especially in novel contexts.

aviation safety↗

Studying Aerosol, Clouds, and Air Quality in the Coastal Urban Environment of Southeastern Texas

A multi-agency succession of field campaigns was conducted in southeastern Texas during July 2021 through October 2022 to study the complex interactions of aerosols, clouds and air pollution in the coastal urban environment. As part of the Tracking Aerosol Convection interactions Experiment (TRACER), the TRACER- Air Quality (TAQ) campaign the Experiment of Sea Breeze Convection, Aerosols, Precipitation and Environment (ESCAPE) and the Convective Cloud Urban Boundary Layer Experiment (CUBE), a combination of ground-based supersites and mobile laboratories, shipborne measurements and aircraft-based instrumentation were deployed. These diverse platforms collected high-resolution data to characterize the aerosol microphysics and chemistry, cloud and precipitation micro- and macro-physical properties, environmental thermodynamics and air quality-relevant constituents that are being used in follow-on analysis and modeling activities. We present the overall deployment setups, a summary of the campaign conditions and a sampling of early research results related to: (a) aerosol precursors in the urban environment, (b) influences of local meteorology on air pollution, (c) detailed observations of the sea breeze circulation, (d) retrieved supersaturation in convective updrafts, (e) characterizing the convective updraft lifecycle, (f) variability in lightning characteristics of convective storms and (g) urban influences on surface energy fluxes. The work concludes with discussion of future research activities highlighted by the TRACER model-intercomparison project to explore the representation of aerosol-convective interactions in high-resolution simulations.

54 ENVIRONMENTAL SCIENCES↗

Rapid growth of anthropogenic organic nanoparticles greatly alters cloud lifecycle in the Amazon rainforest

Atmospheric nanoparticles can significantly influence Earth’s climate if they grow to sizes large enough to nucleate cloud droplets. While the contribution of extremely low volatility vapors to nanoparticle growth has been discussed extensively, the role of semivolatile organics has been largely overlooked. Here we examine the growth and impacts of air pollution nanoparticles from an isolated metropolis amidst the Amazon rainforest. Although extremely low volatility organics are necessary for the initial growth of nanoparticles, model analysis suggests that dynamic gas-particle partitioning of semivolatile oxidation products of anthropogenic and natural hydrocarbons is predominantly responsible for the observed rapid growth to 50 nm. Furthermore, cloud-resolving simulations demonstrate that the grown particles appreciably modify shallow cloud droplet size distribution, suppress precipitation, and enhance the transition to deep clouds. With condensable semivolatile organics typically formed in greater proportion, similar nanoparticle growth and impacts on clouds could likely occur in heavily urbanized forested regions globally.

Zaveri, Rahul A↗

DATASET: Rapid growth of anthropogenic organic nanoparticles greatly alters cloud lifecycle in the Amazon rainforest

Atmospheric nanoparticles can significantly influence Earth’s climate if they grow to sizes large enough to nucleate cloud droplets. While the contribution of extremely low volatility vapors to nanoparticle growth has been discussed extensively, the role of semivolatile organics has been largely overlooked. Here we examine the growth and impacts of air pollution nanoparticles from an isolated metropolis amidst the Amazon rainforest. Although extremely low volatility organics are necessary for the initial growth of nanoparticles, model analysis suggests that dynamic gas-particle partitioning of semivolatile oxidation products of anthropogenic and natural hydrocarbons is predominantly responsible for the observed rapid growth to 50 nm. Furthermore, cloud-resolving simulations demonstrate that the grown particles appreciably modify shallow cloud droplet size distribution, suppress precipitation, and enhance the transition to deep clouds. With condensable semivolatile organics typically formed in greater proportion, similar nanoparticle growth and impacts on clouds could likely occur in heavily urbanized forested regions globally.

Zaveri, Rahul A↗

Materials data science using CRADLE: A distributed, data-centric approach

Abstract There is a paradigm shift towards data-centric AI, where model efficacy relies on quality, unified data. The common research analytics and data lifecycle environment (CRADLE™) is an infrastructure and framework that supports a data-centric paradigm and materials data science at scale through heterogeneous data management, elastic scaling, and accessible interfaces. We demonstrate CRADLE’s capabilities through five materials science studies: phase identification in X-ray diffraction, defect segmentation in X-ray computed tomography, polymer crystallization analysis in atomic force microscopy, feature extraction from additive manufacturing, and geospatial data fusion. CRADLE catalyzes scalable, reproducible insights to transform how data is captured, stored, and analyzed. Graphical abstract

97 MATHEMATICS AND COMPUTING↗

The life cycles of intense cyclonic and anticyclonic circulation systems observed over oceans

Full attention was now directed to the blocking case studies mentioned in previous reports. Coding and initial computational tests were completed for a North Atlantic blocking case that occurred in late October/early November 1985 and an upstream cyclone that developed rapidly 24 hours before block onset. This work is the subject of two papers accepted for presentation at the International Symposium on the Lifecycles of Extratropical Cyclones in Bergen, Norway, 27 June - 1 July 1994. This effort is currently highlighted by two features. The first is the extension of the Zwack-Okossi equation, originally formulated for the diagnosis of surface wave development, for application at any pressure level. The second is the separation of the basic large-scale analysis fields into synoptic-scale and planetary-scale components, using a two-dimensional Shapiro filter, and the corresponding partitioning of the Zwack-Okossi equation into synoptic-scale, planetary-scale, and synoptic/planetary-scale interaction terms. Preliminary tests suggest substantial contribution from the synoptic-scale and interaction terms.

Smith, Phillip J.↗

Shallow- and deep-convection characteristics in the greater Houston, Texas, area using cell tracking methodology

The convective lifecycle, from initiation to maturity and dissipation, is driven by a combination of kinematic, thermodynamic, microphysical, and radiative processes that are strongly coupled and variable in time and space. Weather radars have been traditionally used to provide various convective-cloud characteristics. Here, we analyzed climatological convective-cell radar characteristics to obtain and assess the diurnal cycles of three convective-cell types – shallow, modest deep, and vigorous deep convective cells – that formed in the greater Houston area, using the National Weather Service radar from Houston, Texas, and a multi-cell identification and tracking algorithm. The examined dataset spans 4 years (2018–2021) and covers the warm-season months (June to September) in those years. The analysis showed clear diurnal cycles in cell initiation (CI) consistent with the sea breeze circulation and showed diurnal and normalized lifetime relationships in cell evolution parameters (e.g., maximum reflectivity, echo-top height, Geostationary Operational Environmental Satellite-16 (GOES-16) channel 13 brightness temperature, and the height of maximum reflectivity). The cell evolution is well represented by relationships between (1) the height and value of the maximum radar reflectivity, (2) the minimum GOES-16 channel 13 brightness temperature and the maximum vertically integrated liquid, (3) the maximum reflectivity and columnar-average reflectivity, and (4) the echo-top ascent rate and cell lifetime. The relationships presented herein help to identify the cell lifecycle stages such as early shallow convection, vigorous vertical development, anvil development, and convective core dissipation. GOES-16 Aerosol Optical Depth values are also used as a proxy for cell initiation aerosol concentrations to investigate any potential relationships between initiation location and aerosol concentration. Overall, no significant relationships between initiation location and aerosol concentration were found for the three cell types investigated, but there are some minor differences in the pre-CI aerosol optical depth for vigorous deep convective cells.

54 ENVIRONMENTAL SCIENCES↗

Qualitative Risk Assessment of Legacy Wells within the Estimated Prairie State Generating Company Area of Review

This report details the digitization of a legacy wellbore database, including data processing assumptions, parameter estimation, and risk assessment methodology. The database, comprising 6,454 documents, was provided by ISGS. It includes valuable data from the Prairie State Generating Company (PSGC) and One Earth Energy (OEE) sites of the CarbonSAFE Phase III – Illinois Storage Corridor project. The report focuses on wells within a 15-mile radius from the Lively Grove #1 (LG#1) well at PSGC site, evaluating subsurface conditions and potential risks. A total of 4,386 wellbores within 15 miles of the LG#1 well were filtered based on depth and formation codes. LG#1 is the stratigraphic well at the PSGC site drilled in 2021. Ninety-four (94) wells penetrating the Maquoketa Shale Group (the primary confining unit) within the estimated area-of-review (AoR) for the PSGC site were evaluated using a qualitative risk assessment (QRA) methodology. The QRA developed by Arbad et al. 2022 focuses on legacy wells within the AoR and categorizes them based on well construction details. The QRA identifies wells that need immediate attention by categorizing them based on penetration depth and protection. Wells within the AoR were categorized into nine groups based on penetrations and protections. These categories range from Type 1 wells, with no documentation, to Type 9 wells, which do not penetrate the primary confining unit or storage reservoir (unit). Well accessibility within the AoR varies based on well status, including Dry & Abandoned (DA), Plugged & Abandoned (PA), Injection (INJ), Oil/Gas Producing (PROD), and Observation (Obs) wells. Accessibility levels were determined by well construction, with DA wells being the least accessible and Observation wells the most accessible, impacting gas leakage detection possibilities. Remedial action priority of wells decreases from Type 1 to Type 9 wells. Type 1 to Type 6 wells with status DA and PA require immediate attention, while Type 7 and Type 8 wells are low priority. A risk matrix used to prioritize corrective actions for legacy wells is proposed to categorize wells within an AoR based on penetrations, protections, and accessibility. The methodology involves data acquisition, well categorization into nine types, and determining CO 2 leakage pathways using well schematics and geospatial mapping. This approach is particularly useful for managing the integrity of legacy wells throughout the lifecycle of a Carbon Capture and Storage (CCS) project. A qualitative risk assessment of 94 wells within the AoR of the PSGC site identified 54 wells with high priority for corrective action due to penetration of the primary containment seal. The assessment utilizes color-coded maps to categorize well types and prioritize corrective actions, providing a comprehensive analysis. Schematics of wells penetrating the primary confining unit were drawn, and leakage pathways were identified. Details of all wells penetrating the confining zone are provided in the appendix, including information on well types, plugging, and casing status.

01 COAL, LIGNITE, AND PEAT↗

Development of the Architectural Simulation Model for Future Launch Systems and its Application to an Existing Launch Fleet

A significant portion of lifecycle costs for launch vehicles are generated during the operations phase. Research indicates that operations costs can account for a large percentage of the total life-cycle costs of reusable space transportation systems. These costs are largely determined by decisions made early during conceptual design. Therefore, operational considerations are an important part of vehicle design and concept analysis process that needs to be modeled and studied early in the design phase. However, this is a difficult and challenging task due to uncertainties of operations definitions, the dynamic and combinatorial nature of the processes, and lack of analytical models and the scarcity of historical data during the conceptual design phase. Ultimately, NASA would like to know the best mix of launch vehicle concepts that would meet the missions launch dates at the minimum cost. To answer this question, we first need to develop a model to estimate the total cost, including the operational cost, to accomplish this set of missions. In this project, we have developed and implemented a discrete-event simulation model using ARENA (a simulation modeling environment) to determine this cost assessment. Discrete-event simulation is widely used in modeling complex systems, including transportation systems, due to its flexibility, and ability to capture the dynamics of the system. The simulation model accepts manifest inputs including the set of missions that need to be accomplished over a period of time, the clients (e.g., NASA or DoD) who wish to transport the payload to space, the payload weights, and their destinations (e.g., International Space Station, LEO, or GEO). A user of the simulation model can define an architecture of reusable or expendable launch vehicles to achieve these missions. Launch vehicles may belong to different families where each family may have it own set of resources, processing times, and cost factors. The goal is to capture the required resource levels of the major launch elements and their required facilities. The model s output can show whether or not a certain architecture of vehicles can meet the launch dates, and if not, how much the delay cost would be. It will also produce aggregate figures of missions cost based on element procurement cost, processing cost, cargo integration cost, delay cost, and mission support cost. One of the most useful features of this model is that it is stochastic where it accepts statistical distributions to represent the processing times mimicking the stochastic nature of real systems.

Rabadi, Ghaith↗

Micromobility Integrated Transit and Infrastructure for Efficiency (MITIE)

Nearly omnipresent in many cities of all sizes across the United States, micromobility vehicles-e-scooters, manual bicycles, e-bicycles, and larger seated electric scooters-are notably missing from SMART Mobility research. This project aims to expand the spectrum of modes currently being researched within SMART Mobility by exploring micromobility as an important tool toward meeting energy-efficient mobility goals. It expands on findings from SMART Mobility 1.0 that revealed preferences to reduce transportation-related expenses through use of a network of mobility-as-a-service (MaaS) and other shared mobility options, and builds on findings from a 2019 Vehicle Technology Analysis Program (VTAP) funded micromobility project conducted by our team. We will explore multiple facets of micromobility, including behavior and decision-making, the integration of micromobility within transportation infrastructure, energy estimates, and operations. Guiding research questions include: (1) What are the potential energy savings from low, medium, and high market penetration of micromobility (in passenger, multimodal, and freight domains)? (2) Which scenarios for micromobility use and related enablement of increased public transit use should be modeled/considered in the SMART 2.0 Workflow? (3) To what degree can micromobility supplement/complement transit system operations? (4) What are people's preferences towards micromobility? How do preferences vary across various sociodemographic segments? How can this knowledge inform operations? (5) What are optimal strategies to attain high user adoption and shift users toward more energy-efficient mode choices in terms of micromobility operation? How do these strategies affect energy savings, person-miles traveled, lifecycle energy use, and adoption rates? These questions will be addressed through applied research in five project emphasis areas: (1) Energy estimates of micromobility for Workflow scenarios: Expand and refine previous micromobility work to augment the Workflow approaches to modeling urban travel. (2) Multimodal connection with transit: Utilizing Mobility-Energy Productivity (MEP) tools to evaluate multimodal travel patterns enabled by micromobility, including assessing how to reduce barriers of inequity of access to mobility options and destinations. (3) Mode choice, induced demand, and infrastructure: Understanding the mode shift induced through micromobility to inform energy impact analysis. (4) Energy optimization of micromobility operations: Identification of micromobility operations parameters and development of operations scenarios to better understand present-day micromobility operations for integration into the Workflow, in partnership with BEAM and POLARIS modeling teams. (5) Micro-freight: Characterize the current state of micro-freight activities, including energy effects and geospatial analyses, to inform Workflow.

ADVANCED PROPULSION SYSTEMS,POWER TRANSMISSION AND↗

Micromobility Integrated Transit and Infrastructure for Efficiency (MITIE)

Nearly omnipresent in many cities of all sizes across the United States, micromobility vehicles-e-scooters, manual bicycles, e-bicycles, and larger seated electric scooters-are notably missing from SMART Mobility research. This project aims to expand the spectrum of modes currently being researched within SMART Mobility by exploring micromobility as an important tool toward meeting energy-efficient mobility goals. It expands on findings from SMART Mobility 1.0 that revealed preferences to reduce transportation-related expenses through use of a network of mobility-as-a-service (MaaS) and other shared mobility options, and builds on findings from a 2019 Vehicle Technology Analysis Program (VTAP) funded micromobility project conducted by our team. We will explore multiple facets of micromobility, including behavior and decision-making, the integration of micromobility within transportation infrastructure, energy estimates, and operations. Guiding research questions include: 1) what are the potential energy savings from low, medium, and high market penetration of micromobility (in passenger, multimodal, and freight domains)? 2) which scenarios for micromobility use and related enablement of increased public transit use should be modeled/considered in the SMART 2.0 Workflow? 3) to what degree can micromobility supplement/complement transit system operations? 4) what are people's preferences towards micromobility? How do preferences vary across various sociodemographic segments? How can this knowledge inform operations? 5) what are optimal strategies to attain high user adoption and shift users toward more energy-efficient mode choices in terms of micromobility operation? How do these strategies affect energy savings, person-miles traveled, lifecycle energy use, and adoption rates? These questions will be addressed through applied research in five project emphasis areas: 1) energy estimates of micromobility for Workflow scenarios: Expand and refine previous micromobility work to augment the Workflow approaches to modeling urban travel; 2) multimodal connection with transit: Utilizing Mobility-Energy Productivity (MEP) tools to evaluate multimodal travel patterns enabled by micromobility, including assessing how to reduce barriers of inequity of access to mobility options and destinations; 3) mode choice, induced demand, and infrastructure: Understanding the mode shift induced through micromobility to inform energy impact analysis; 4) energy optimization of micromobility operations: Identification of micromobility operations parameters and development of operations scenarios to better understand present-day micromobility operations for integration into the Workflow, in partnership with BEAM and POLARIS modeling teams; 5) micro-freight: Characterize the current state of micro-freight activities, including energy effects and geospatial analyses, to inform Workflow.

ADVANCED PROPULSION SYSTEMS↗

Metadata Schemas and Ontologies for Building Energy Applications: A Critical Review and Use Case Analysis

With the increasing digitalization of processes throughout the lifecycle of buildings, data exchanged between stakeholders and between building systems has grown significantly. However, a lack of semantic interoperability between data in different systems is still prevalent, hindering the development of applications that can be reused across buildings and limiting the scalability of innovative solutions. Semantics refers to the description of the meaning of the data in a way that can be consistently understood by applications. Recently, several competing initiatives have been developing metadata schemas and ontologies to express this semantic information for different applications in the building domain. This paper systematically reviews these schemas and conducts an analysis of five of them to evaluate their applicability to three high-value use cases for building operations: energy audits, automated fault detection and diagnostics and optimal control. The survey finds 40 schemas published in the last 10 years but but their actual use in industry is difficult to estimate. Among the five selected ontologies, several gaps are highlighted in relation to the three use cases. Recommendations for the future include better harmonization of these initiatives, more centralized repositories and search engines for these schemas as well as better industry engagement to facilitate their adoption.

Smart Building, Sematic, Metadata, Ontology, Data ↗

Global warming intensity of biofuel derived from switchgrass grown on marginal land in Michigan

Energy crops for biofuel production, especially switchgrass (Panicum virgatum), are of interest from a climate change perspective. Here, we use outputs from a crop growth model and life cycle assessment (LCA) to examine the global warming intensity (GWI; g CO 2 MJ –1 ) and greenhouse gas (GHG) mitigation potential (Mg CO 2 year –1 ) of biofuel systems based on a spatially explicit analysis of switchgrass grown on marginal land (abandoned former cropland) in Michigan, USA. We find that marginal lands in Michigan can annually produce over 0.57 hm 3 of liquid biofuel derived from nitrogen-fertilized switchgrass, mitigating 1.2–1.5 Tg of CO 2 year –1 . About 96% of these biofuels can meet the Renewable Fuel Standard (60% reduction in lifecycle GHG emissions compared with conventional gasoline; GWI ≤37.2 g CO 2 MJ –1 ). Furthermore, 73%–75% of these biofuels are carbon-negative (GWI less than zero) due to enhanced soil organic carbon (SOC) sequestration. However, simulations indicate that SOC levels would fail to increase and even decrease on the 11% of lands where SOC stocks >>200 Mg C ha –1 , leading to carbon intensities greater than gasoline. Results highlight the strong climate mitigation potential of switchgrass grown on marginal lands as well as the needs to avoid carbon rich soils such as histosols and wetlands and to ensure that productivity will be sufficient to provide net mitigation.

09 BIOMASS FUELS↗

Research Report: Progress on Building a File Observatory for Secure Parser Development

Parsing untrusted data is notoriously challenging.Failure to handle maliciously crafted data correctly can (anddoes) lead to a wide range of vulnerabilities. The Languagetheoretic security (LangSec) philosophy seeks to obviate the needfor developers to apply ad hoc solutions by, instead, offeringformally correct and verifiable input handling throughout thesoftware development lifecycle. One of the key components indeveloping secure parsers is a broad coverage corpus that enablesdevelopers to understand the problem space for a given formatand to use, potentially, as seeds for fuzzing and other automatedtesting. In this paper, we offer an update on work reportedat the LangSec 2021 conference on the development of a fileobservatory to gather and enable analysis on a diverse collectionof files at scale. The initial focus of the observatory is on PortableDocument Format (PDF) files and file formats typically embeddedin PDFs. In this paper, we report on refactoring the ingestprocess, applying new analytic methods, and improving the User Interface.

Stonebraker, Ryan↗

An EvoDevo Study of Salmonid Visual Opsin Dynamics and Photopigment Spectral Sensitivity

Salmonids are ideal models as many species follow a distinct developmental program from demersal eggs and a large yolk sac to hatching at an advanced developmental stage. Further, these economically important teleosts inhabit both marine- and freshwaters and experience diverse light environments during their life histories. At a genome level, salmonids have undergone a salmonid-specific fourth whole genome duplication event (Ss4R) compared to other teleosts that are already more genetically diverse compared to many non-teleost vertebrates. Thus, salmonids display phenotypically plastic visual systems that appear to be closely related to their anadromous migration patterns. This is most likely due to a complex interplay between their larger, more gene-rich genomes and broad spectrally enriched habitats; however, the molecular basis and functional consequences for such diversity is not fully understood. This study used advances in genome sequencing to identify the repertoire and genome organization of visual opsin genes (those primarily expressed in retinal photoreceptors) from six different salmonids [Atlantic salmon ( Salmo salar ), brown trout ( Salmo trutta ), Chinook salmon ( Oncorhynchus tshawytcha ), coho salmon ( Oncorhynchus kisutch ), rainbow trout ( Oncorhynchus mykiss ), and sockeye salmon ( Oncorhynchus nerka )] compared to the northern pike ( Esox lucius ), a closely related non-salmonid species. Results identified multiple orthologues for all five visual opsin classes, except for presence of a single short-wavelength-sensitive-2 opsin gene. Several visual opsin genes were not retained after the Ss4R duplication event, which is consistent with the concept of salmonid rediploidization. Developmentally, transcriptomic analyzes of Atlantic salmon revealed differential expression within each opsin class, with two of the long-wavelength-sensitive opsins not being expressed before first feeding. Also, early opsin expression in the retina was located centrally, expanding dorsally and ventrally as eye development progressed, with rod opsin being the dominant visual opsin post-hatching. Modeling by spectral tuning analysis and atomistic molecular simulation, predicted the greatest variation in the spectral peak of absorbance to be within the Rh2 class, with a ∼40 nm difference in λ max values between the four medium-wavelength-sensitive photopigments. Overall, it appears that opsin duplication and expression, and their respective spectral tuning profiles, evolved to maximize specialist color vision throughout an anadromous lifecycle, with some visual opsin genes being lost to tailor marine-based vision.

59 BASIC BIOLOGICAL SCIENCES↗

Development of a software safety process and a case study of its use

The goal of this research is to continue the development of a comprehensive approach to software safety and to evaluate the approach with a case study. The case study is a major part of the project, and it involves the analysis of a specific safety-critical system from the medical equipment domain. The particular application being used was selected because of the availability of a suitable candidate system. We consider the results to be generally applicable and in no way particularly limited by the domain. The research is concentrating on issues raised by the specification and verification phases of the software lifecycle since they are central to our previously-developed rigorous definitions of software safety. The theoretical research is based on our framework of definitions for software safety. In the area of specification, the main topics being investigated are the development of techniques for building system fault trees that correctly incorporate software issues and the development of rigorous techniques for the preparation of software safety specifications. The research results are documented. Another area of theoretical investigation is the development of verification methods tailored to the characteristics of safety requirements. Verification of the correct implementation of the safety specification is central to the goal of establishing safe software. The empirical component of this research is focusing on a case study in order to provide detailed characterizations of the issues as they appear in practice, and to provide a testbed for the evaluation of various existing and new theoretical results, tools, and techniques. The Magnetic Stereotaxis System is summarized.

Knight, John C.↗

An Overview of Regional Experiments on Biomass Burning Aerosols and Related Pollutants in Southeast Asia: From BASE-ASIA and the Dongsha Experiment to 7-SEAS

By modulating the Earth-atmosphere energy, hydrological and biogeochemical cycles, and affecting regional-to-global weather and climate, biomass burning is recognized as one of the major factors affecting the global carbon cycle. However, few comprehensive and wide-ranging experiments have been conducted to characterize biomass-burning pollutants in Southeast Asia (SEA) or assess their regional impact on meteorology, the hydrological cycle, the radiative budget, or climate change. Recently, BASEASIA (Biomass-burning Aerosols in South-East Asia: Smoke Impact Assessment) and the 7-SEAS (7- South-East Asian Studies) Dongsha Experiment were conducted during the spring seasons of 2006 and 2010 in northern SEA, respectively, to characterize the chemical, physical, and radiative properties of biomass-burning emissions near the source regions, and assess their effects. This paper provides an overview of results from these two campaigns and related studies collected in this special issue, entitled Observation, modeling and impact studies of biomass burning and pollution in the SE Asian Environment. This volume includes 28 papers, which provide a synopsis of the experiments, regional weatherclimate, chemical characterization of biomass-burning aerosols and related pollutants in source and sink regions, the spatial distribution of air toxics (atmospheric mercury and dioxins) in source and remote areas, a characterization of aerosol physical, optical, and radiative properties, as well as modeling and impact studies. These studies, taken together, provide the first relatively complete dataset of aerosol chemistry and physical observations conducted in the sourcesink region in the northern SEA, with particular emphasis on the marine boundary layer and lower free troposphere (LFT). The data, analysis and modeling included in these papers advance our present knowledge of source characterization of biomass-burning pollutants near the source regions as well as the physical and chemical processes along transport pathways. In addition, we raise key questions to be addressed by a coming deployment during springtime 2013 in northern SEA, named 7-SEASBASELInE (Biomass-burning Aerosols Stratocumulus Environment: Lifecycles and Interactions Experiment). This campaign will include a synergistic approach for further exploring many key atmospheric processes (e.g., complex aerosol-cloud interactions) and impacts of biomass burning on the surface-atmosphere energy budgets during the lifecycles of biomass burning emissions.

aerosol/biomass burning↗