The objective of this paper is to demonstrate the use of the Dynamic Flowgraph Methodology (DFM) during the design and verification of programmable electronic safety-related systems. The safety system consists of hardware as well as software. This paper explains and demonstrates the use of DFM, and how DFM can be used to verify the hardware and application software design. DFM is used not only to analyze newly developed software but also to verify existing software. The outcome of the design verification of the safety system is used to define the necessary diagnostic capabilities that are essential to guarantee the correct functioning of the safety functions. 相似文献
Despite a significant decrease in the metallic waste emissions from an industrial site and a remediation process initiated in 2007, the Riou-Mort watershed (southwest France) still exhibits high Cd and Zn concentrations. Metal wastes have long been proven to significantly disturb aquatic communities. In this study, bioaccumulation capacities and responses to the chemical improvement of the hydrosystem were assessed for a year along the contamination gradient through the comparison of two biological models: Corbicula fluminea and periphytic biofilms, both considered as good bioindicators. Bioaccumulation results confirmed the persistence of water contamination in Corbicula fluminea and biofilms with, respectively, maximum Cd concentrations reaching 80.6 and 861.2 μg gDW(-1), and Zn concentrations 2.0 and 21.3 mg gDW(-1). Biofilms exhibited bioaccumulation in close correlation with water contamination, while Corbicula fluminea presented Cd bioaccumulation clearly regulated by water temperature and metal concentrations, affecting the ventilatory activity, as revealed by condition indices measurements. Also, a linear regression using Cd bioaccumulation and temperature () showed that below approximately 6 °C Corbicula fluminea did not appear to accumulate metals. Bioconcentration factors (BCFs) were higher in biofilms in comparison with Corbicula fluminea and showed the great accumulation capacity of suspended particulate matter in biofilms. However, bioaccumulation capacities are known to be influenced by many factors other than metal concentrations, such as temperature, water oxygenation or plankton and nutrient concentrations. Thus, this study demonstrates the power of a combined assessment using both Corbicula fluminea and biofilms as bioindicators to give a more integrated view of water quality assessment. Finally, when comparing our results with previous studies, the start of hydrosystem restoration could be shown by decreasing bioaccumulation in organisms. 相似文献
Conservative solute tracer experiments were conducted in Indian Creek, a small urban stream located in Philadelphia, Pennsylvania, USA. Estimated flow rates were between 46 Ls(-1) and 81 Ls(-1), average stream width was 5.5m and average stream depth was 0.2m. Given these dimensions, most researchers would think it reasonable to assume that the stream is completely mixed vertically and horizontally. However, we found that the stream was not vertically completely mixed in a 1.0m deep, 30 m long pool. The limited mixing was demonstrated by the vertical stratification of a tracer cloud which was completely mixed both laterally and vertically across the stream prior to entering the pool. We suggest that the cause of limited mixing is due to a balance between groundwater inflow and transverse dispersion at the cross-section. We show that the unsupported assumption of complete mixing may result in a wide range, and thus increased uncertainty, of the values of stream flow and longitudinal dispersion coefficient estimated from these data. We conclude that the assumption of complete mixing and one-dimensional modeling must be checked against actual field conditions, even in small streams. 相似文献
Forest management planners require analytical tools to assess the effects of alternative strategies on the sometimes disparate benefits from forests such as timber production and wildlife habitat. We assessed the spatial patterns of alternative management strategies by linking two models that were developed for different purposes. We used a linear programming model (Spectrum) to optimize timber harvest schedules, then a simulation model (HARVEST) to project those schedules in a spatially explicit way and produce maps from which the spatial pattern of habitat could be calculated. We demonstrated the power of this approach by evaluating alternative plans developed for a national forest plan revision in Wisconsin, USA. The amount of forest interior habitat was inversely related to the amount of timber cut, and increased under the alternatives compared to the current plan. The amount of edge habitat was positively related to the amount of timber cut, and increased under all alternatives. The amount of mature northern hardwood interior and edge habitat increased for all alternatives, but mature pine habitat area varied. Mature age classes of all forest types increased, and young classes decreased under all alternatives. The average size of patches (defined by age class) generally decreased. These results are consistent with the design goals of each of the alternatives, but reveal that the spatial differences among the alternatives are modest. These complementary models are valuable for quantifying and comparing the spatial effects of alternative management strategies. 相似文献
Objective: A number of training programs that seek to improve driving performance among older drivers are available accompanied by a growing interest in their effectiveness. The purpose of the present investigation was to examine the combined effect of (1) basic in-class training (BT); (2) on-road training with individualized feedback (OR); and (3) training on a driving simulator (S).
Methods: Using a randomized controlled trial study design, 78 older drivers were randomly assigned to one of 3 groups (BT, BT + OR, or BT + OR + S). All participants completed a pre- and postintervention on-road driving evaluation on a standardized route. The driving evaluations were recorded using video and Global Positioning System (GPS) equipment and were scored by a blind assessor.
Results: The results indicated a significant reduction of approximately 30% in overall number of driving errors/omissions among participants in the BT + OR and the BT + OR + S groups in comparison to participants in the BT group.
Conclusions: This study adds to the mounting evidence demonstrating the effectiveness of individualized driver training in improving safe driving among older adults. 相似文献
Environmental Fluid Mechanics - Oil dispersion under a deep-water plunging breaker of height 0.15 m was studied by coupling the Lagrangian particle tracking code (NEMO3D) with the... 相似文献
Elk (Cervus elaphus) are known to shift habitat use in response to environmental modifications, including those associated with various forms of energy development. The specific behavioral responses underlying these trends, however, have not been effectively studied. To investigate such effects, we examined elk response to habitat alteration near natural gas wells in Las Animas County, Colorado, USA in 2008–2010. We created 10 1-ha openings in forests adjacent to 10 operating natural gas wells by removing standing timber in 2008, with concomitant establishment of 10 1-ha control sites adjacent to the same wells. On each site, we estimated elk use, indexed by pellet density, before and after timber removal. Concurrently, we measured plant production and cover, nutritional quality, species composition and biomass removed by elk and other large herbivores. Species richness and diversity, graminoid and forb cover, and graminoid and forb biomass increased on cut sites following tree removal. Differences were greater in 2010 than in 2009, and elk and deer removed more plant biomass in 2010 than 2009. Elk use of cut sites was 37?% lower than control sites in 2009, but 46?% higher in 2010. The initially lower use of cut sites may be attributable to lack of winter forage on these sites caused by timber removal and associated surface modification. The increased use of cut sites in 2010 suggested that elk possessed the behavioral capacity, over time, to exploit enhanced forage resources in the proximity of habitat modifications and human activity associated with maintenance of operating natural gas wells. 相似文献
Copper (Cu) metabolism is altered in rats fed diets high in molybdenum (Mo) and low in Cu. This 10-week study was carried out to examine the effects of supplemental Mo (7.5–240 μg/g diet) on male Sprague–Dawley rats fed diets adequate in Cu (5 μg/g diet) and to determine the susceptibility of Mo-treated animals to the environmental pollutant 3,3′,4,4′-tetrabromobiphenyl (TBB). After 7 weeks of dietary treatment, half of the rats in each group received a single IP injection of TBB (150 μM/kg bw), while the other half received the corn oil vehicle. Rats sacrificed at 10 weeks showed no effects of Mo on growth, feed efficiency, or selected organ or tissue weights. Dose-dependent effects on plasma Mo (0–5.1 μg/mL), plasma Cu (0.95–0.20 μg/mL), and bone Cu (3.4–10 μg/g) in control through the high dose were found. Cu sequestration in the bone of Mo-treated rats is a new finding. TBB treatment resulted in dramatic weight loss and loss of absolute organ mass. Relative organ weights were increased, except for the thymus. TBB altered the concentrations of certain amino acids. Compared to control rats, this polybrominated biphenyl congener significantly decreased plasma Cu and ceruloplasmin at higher concentrations of dietary Mo and promoted the process of plasma Cu decrease by Mo, suggesting a combined effect. 相似文献