Synthesizing verified components for cyber assured systems engineering

Software and Systems Modeling - Safety-critical systems such as avionics need to be engineered to be cyber resilient meaning that systems are able to detect and recover from attacks or safely...     

Experimental study on the time‐dependent smoke densities at 39 locations in a multi‐floor building through a digital smoke detector system

The objective of this study was to quantitatively investigate some characteristics of the smoke transportation in multi‐floor buildings. Eight experiments were conducted for worst scenario. The effects of an open window in the burning room on the smoke transportation are also analyzed. The time‐dependent smoke densities at 39 locations in a half‐scale building with an atrium were measured through a digital smoke detector system. The results indicate that the chimney effect plays an important role in the smoke transportation in multi‐floor buildings with atriums. For the effects of the open window, the results suggest that the smoke densities at most locations in the building increase earlier when a window is open but have a smaller peak value than those results in the cases without any outer vents. It is suggested that a building without vertical atrium would be safer than those with long ones. More attention should be paid to those spaces when the fire protection systems are designed for buildings with atriums. The data of the time‐dependent smoke densities at tens of locations in the building are useful for the validation of smoke transportation models. Copyright © 2013 John Wiley & Sons, Ltd.     

Gradient method for inverse heat conduction problem in nanoscale

An inverse heat conduction problem for nanoscale structures was studied. The conduction phenomenon is modelled using the Boltzmann transport equation. Phonon‐mediated heat conduction in one dimension is considered. One boundary, where temperature observation takes place, is subject to a known boundary condition and the other boundary is exposed to an unknown temperature. The gradient method is employed to solve the described inverse problem. The sensitivity, adjoint and gradient equations are derived. Sample results are presented and discussed. Copyright © 2004 John Wiley & Sons, Ltd.     

Safety implications of cultural and cognitive issues in nuclear power plant operation

This research project was designed to investigate cultural and cognitive issues related to the work of nuclear power plant operators during their time on the job in the control room and during simulator training (emergency situations), in order to show how these issues impact on plant safety. The modeling of the operators work deals with the use of operational procedures, the constant changes in the focus of attention and the dynamics of the conflicting activities. The paper focuses on the relationships between the courses of action of the different operators and the constraints imposed by their working environment. It shows that the safety implications of the control room operators' cognitive and cultural issues go far beyond the formal organizational constructs usually implied. Our findings indicate that the competence required for the operators are concerned with developing the possibility of constructing situation awareness, managing conflicts, gaps and time problems created by ongoing task procedures, and dealing with distractions, developing skills for collaborative work.     

Solar assisted cooling with sorption systems: status of the research in Mexico and Latin America

Solar refrigeration projects both national and international with sorption and other refrigeration systems have been developed in Mexico and other Latin American countries in the last 15 years. A review of the main projects, both for solar cooling and refrigeration and the results obtained are presented in this paper. A methodology where 19 solar technologies for cooling were identified is also presented. Although solar cooling is still not an economically viable technology, the advances made and the experience gained in the projects described and the improved systems envisaged, will make solar refrigeration systems play an important role in the future.     

Imposing Dirichlet boundary conditions with Nitsche's method and spline‐based finite elements

A key challenge while employing non‐interpolatory basis functions in finite‐element methods is the robust imposition of Dirichlet boundary conditions. The current work studies the weak enforcement of such conditions for B‐spline basis functions, with application to both second‐ and fourth‐order problems. This is achieved using concepts borrowed from Nitsche's method, which is a stabilized method for imposing constraints on surfaces. Conditions for the stability of the system of equations are derived for each class of problem. Stability parameters in the Nitsche weak form are then evaluated by solving a local generalized eigenvalue problem at the Dirichlet boundary. The approach is designed to work equally well when the grid used to build the splines conforms to the physical boundary of interest as well as to the more general case when it does not. Through several numerical examples, the approach is shown to yield optimal rates of convergence. Copyright © 2010 John Wiley & Sons, Ltd.     

Evaluation of the occurrence and biodegradation of parabens and halogenated by-products in wastewater by accurate-mass liquid chromatography-quadrupole-time-of-flight-mass spectrometry (LC-QTOF-MS)

An assessment of the sewage occurrence and biodegradability of seven parabens and three halogenated derivatives of methyl paraben (MeP) is presented. Several wastewater samples were collected at three different wastewater treatment plants (WWTPs) during April and May 2010, concentrated by solid-phase extraction (SPE) and analysed by liquid chromatography-electrospray-quadrupole-time-of-flight mass spectrometry (LC-QTOF-MS). The performance of the QTOF system proved to be comparable to triple-quadrupole instruments in terms of quantitative capabilities, with good linearity (R² > 0.99 in the 5-500 ng mL⁻¹ range), repeatability (RSD < 5.6%) and LODs (0.3-4.0 ng L⁻¹ after SPE). MeP and n-propyl paraben (n-PrP) were the most frequently detected and the most abundant analytes in raw wastewater (0.3-10 μg L⁻¹), in accordance with the data displayed in the bibliography and reflecting their wider use in cosmetic formulations. Samples were also evaluated in search for potential halogenated by-products of parabens, formed as a result of their reaction with residual chlorine contained in tap water. Monochloro- and dichloro-methyl paraben (ClMeP and Cl₂MeP) were found and quantified in raw wastewater at levels between 0.01 and 0.1 μg L⁻¹. Halogenated derivatives of n-PrP could not be quantified due to the lack of standards; nevertheless, the monochlorinated species (ClPrP) was identified in several samples from its accurate precursor and product ions mass/charge ratios (m/z). Removal efficiencies of parabens and MeP chlorinated by-products in WWTPs exceeded 90%, with the lowest percentages corresponding to the latter species. This trend was confirmed by an activated sludge biodegradation batch test, where non-halogenated parabens had half-lives lower than 4 days, whereas halogenated derivatives of MeP turned out to be more persistent, with up to 10 days of half-life in the case of dihalogenated derivatives. A further stability test performed with raw wastewater also showed that parabens degrade rapidly in real sewage, with half-lives lower than 10 h for n-butyl-paraben, while dihalogenated species again turned out to be more stable, with half-lives longer than a week.     

Behavior of pharmaceuticals, cosmetics and hormones in a sewage treatment plant

Two cosmetic ingredients (galaxolide, tonalide), eight pharmaceuticals (carbamazepine, diazepam, diclofenac, ibuprofen, naproxen, roxithromycin, sulfamethoxazole and iopromide) and three hormones (estrone, 17beta-estradiol and 17alpha-ethinylestradiol) have been surveyed along the different units of a municipal Sewage Treatment Plant (STP) in Galicia, NW Spain. Among all the substances considered, significant concentrations in the influent were only found for the two musks (galaxolide and tonalide), two anti-inflammatories (ibuprofen and naproxen), two natural estrogens (estrone, 17beta-estradiol), one antibiotic (sulfamethoxazole) and the X-ray contrast medium (iopromide), where the other compounds studied were below the limit of quantification. In the primary treatment, only the fragrances (30-50%) and 17beta-estradiol (20%) were partially removed. On the other hand, the aerobic treatment (activated sludges) caused an important reduction in all compounds detected, between 35% and 75%, with the exception of iopromide, which remained in the aqueous phase. The overall removal efficiencies within the STP ranged between 70-90% for the fragrances, 40-65% for the anti-inflammatories, around 65% for 17beta-estradiol and 60% for sulfamethoxazole. However, the concentration of estrone increased along the treatment due to the partial oxidation of 17beta-estradiol in the aeration tank.