Geographic information systems (GIS) technology was combined with fuzzy logic to construct a phytoremediation plant selection tool. Phytoremediation involves the use of vegetation for treatment of contaminated soils, sediments, and water. In this paper, the focus is on one particular phytoremediation mechanism plant-assisted bioremediation of polycyclic aromatic hydrocarbon (PAH) soil contamination. Many plants show potential for PAH remediation, but factors such as growth requirements, climate, and soil conditions need to be considered. Given the spatial nature of the data involved, GIS was chosen as the basis for the plant selection tool. Eight candidate plants were selected because of their PAH phytoremediation potential, and their growth requirements were represented using fuzzy membership functions to account for parameters’ uncertainty. Vermont and South Carolina were selected as case studies, and calculations were performed to determine the suitability ratings for each of the candidate plants in these areas based on the plants’ growth requirements with respect to climate and soil attributes. 相似文献
Journal of Inorganic and Organometallic Polymers and Materials - The discharge of industrial waste comprising organic pollutants into aquatic environment induces numerous health risks. Crosslinked... 相似文献
Developing new watermarking approaches that consider special features of medical images become increasingly necessary. This paper proposes a new watermarking approach to ensure medical images authenticity, using MinEigen value features, chaotic sequence, and Quantization Index Modulation (QIM) in the spatial domain. The idea is to choose the 3?×?3 non overlapping blocks around MinEigen values points, then embed the watermark bits in these blocks using a novel blind way based on chaotic sequence and QIM. The proposed technique is purely blind and fast in terms of execution time. Experimental results demonstrate that the proposed approach is robust against all DICOM JPEG compression attacks while keeping high imperceptibility.
We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993). 相似文献
Electrocardiogram (ECG) signal processing and analysis provide crucial information about functional status of the heart. The QRS complex represents the most important component within the ECG signal. Its detection is the first step of all kinds of automatic feature extraction. QRS detector must be able to detect a large number of different QRS morphologies. This paper examines the use of wavelet detail coefficients for the accurate detection of different QRS morphologies in ECG. Our method is based on the power spectrum of QRS complexes in different energy levels since it differs from normal beats to abnormal ones. This property is used to discriminate between true beats (normal and abnormal) and false beats. Significant performance enhancement is observed when the proposed approach is tested with the MIT-BIH arrhythmia database (MITDB). The obtained results show a sensitivity of 99.64% and a positive predictivity of 99.82%. 相似文献
Quality of service (QoS) provisioning generally assumes more than one QoS measure that implies that QoS routing can be categorized
as an instance of routing subject to multiple constraints: delay jitter, bandwidth, cost, etc. We study the problem of constructing
multicast trees to meet the QoS requirements of real-time interactive applications where it is necessary to provide bounded
delays and bounded delay variation among the source and all destinations while keeping overall cost of the multicast tree
low. The main contribution of our work is a new strategy for constructing multiconstrained multicast trees. We first derive
mathematically a new delay-variation estimation scheme and prove its efficiency. Thereafter, we propose a simple and competitive
(in terms of running time) heuristic algorithm, for delay and delay variation constrained routing problem based on the proposed
delay-variation estimation scheme and using the Extended Prim-Dijkstra tradeoffs’ algorithm. Our contribution also extends
previous works in providing some properties and analyses of delay bounded paths satisfying delay variation constraints. Extensive
simulation results show that our algorithm outperforms DVDMR in terms of multicast delay variation with the same time complexity
as DVDMR. 相似文献
Journal of Inorganic and Organometallic Polymers and Materials - Recently, great efforts have been dedicated to the construct and design of low cost and high-performance photocatalysts for the... 相似文献
In this work, TiO2 and ZnO were incorporated successfully into a MIL-53(Al) metal–organic framework (MOF) to form nanocomposites via a facile post-modification technique. The hybrid MIL-53(Al)@TiO2 and MIL-53(Al)@ZnO were characterized by several characterization tests. The X-ray diffraction (XRD), Fourier-transform infrared (FTIR), and field-emission scanning electron microscopy (FE-SEM) analyses showed evidence of the successful incorporation of TiO2 and ZnO within the MIL-53(Al) framework. The thermal gravimetric analysis (TGA) analysis demonstrated the excellent thermal stability of MIL-53(Al)@TiO2 and MIL-53(Al)@ZnO, while diffuse reflectance spectroscopy (DRS) determined the direct optical band gaps of MIL-53(Al)@ZnO and MIL-53(Al)@TiO2 to be 3.24 and 3.34 eV, respectively. The composites were also tested for the photocatalytic degradation of diclofenac (DCF) as a micropollutant. The DCF degradation efficiency of the photocatalysts was ranked in the following order: MIL-53(Al)@TiO2 > MIL-53(Al) > TiO2 > ZnO > MIL-53(Al)@ZnO. The incorporation of TiO2 enhanced the optical properties of MIL-53 (Al), which was confirmed with the superior photodegradation efficiency of MIL-53(Al)@TiO2 (>85% in 2 h) as compared to the pristine MIL-53(Al) (around 80% in 2 h). The improvement in the photodegradation of the hybrid-MOF is mostly associated with the possible dual function of the adsorption and photodegradation mechanisms. The reusability of MIL-53(Al) and its composites was inspected over 3 cycles of photodegradation experiments with DCF. The photocatalytic activity of MIL-53(Al)@TiO2 remained unchanged (>90%), while for MIL-53(Al) and MIL-53(Al)@ZnO a slight drop was observed over three cyclic degradation experiments. Fluorescence measurements revealed that the hydroxyl radical is an important reactive oxygen species produced by all the photocatalysts that aid in the photodegradation of DCF. Furthermore, the kinetic modelling of the photoreaction identified a second-order kinetics for all catalysts. Experiments with scavengers showed that hydroxyl radicals played a major role in the photocatalytic process, and it was found that only 2 h of treatment was sufficient to obtain a considerable chemical oxygen demand (COD) reduction of 58%. 相似文献
The flexible operation of energy-intensive processes, such as cryogenic air separation, has economic potential due to increasing fluctuations of the electricity markets. Multiproduct air separation processes with high ratios of liquid product are very promising for flexible operation due to storable products. We present a process design with an integrated liquefication cycle and liquid assist operation, that facilitates a high liquid product ratio and a flexible process operation. We use a mechanistic dynamic process model in steady-state process optimizations covering the wide operational range of the proposed process. The optimization results show that the power demand can be varied in a range from 3.5 to 28 MW without violating operational constraints by changing the nitrogen and oxygen production rates. Thus, the proposed process is a promising air separation candidate for flexible operation with respect to fluctuating electricity markets. 相似文献
Advances in the field of automation have meant hitherto complex manual cell-based assays can now be automated. These improvements have brought significant enhancements in throughput, data fidelity and consistency, and allowed a reallocation of constrained resources.Building upon these improvements, we have linked our automated cell-based screening system, Assay Platform™, to Activity Base (IDBS), a software package designed to automate the analysis of HTS data. Customisation of this package has resulted in software that can identify ‘active’ compounds and re-pick them ‘on the fly’ from the original compound plates for triplicate re-testing without operator intervention.Based on an operator initially defining ‘normal’ parameters for assay activity in Activity Base, combined with an automated quality control software module that checks data fidelity, wells containing ‘active’ compounds can be re-picked and re-tested at the end of an automated screening run. Automating cell-based assays has significantly improved productivity, and, with the synergism of Activity Base, has given us greater power to complete each screening run and report ‘active’ compounds to Chemistry more rapidly. This article presents our approach to the automation of cell-based Fluorescent Imaging Plate Reader (FLIPR) screening together with automated active re-test confirmation using Activity Base. 相似文献