871 resultados para propositional linear-time temporal logic


Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we use the Hermite-Biehler theorem to establish results on the design of proportional plus integral plus derivative (PID) controllers for a class of time delay systems. Using the property of interlacing at high frequencies of the class of systems considered and linear programming we obtain the set of all stabilizing PID controllers. As far as we know, previous results on the synthesis of PID controllers rely on the solution of transcendental equations. This paper also extends previous results on the synthesis of proportional controllers for a class of delay systems Of retarded type to a larger class of delay systems. (C) 2009 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Four anaerobic fluidized bed reactors filled with activated carbon (R1), expanded clay (R2), glass beads (R3) and sand (R4) were tested for anaerobic degradation of LAS. All reactors were inoculated with sludge from a UASB reactor treating swine wastewater and were fed with a synthetic substrate supplemented with approximately 20 mg l(-1) of LAS, on average. To 560 mg l(-1) COD influent, the maximum COD and LAS removal efficiencies were mean values of 97 +/- 2% and 99 +/- 2%, respectively, to all reactors demonstrating the potential applicability of this reactor configuration for treating LAS. The reactors were kept at 30 degrees C and operated with a hydraulic retention time (HRT) of 18 h. The use of glass beads and sand appear attractive because they favor the development of biofilms capable of supporting LAS degradation. Subsequent 16S rRNA gene sequencing and phylogenetic analysis of samples from reactors R3 and R4 revealed that these reactors gave rise to broad microbial diversity, with microorganisms belonging to the phyla Bacteroidetes, Firmicutes, Actinobacteria and Proteobacteria, indicating the role of microbial consortia in degrading the surfactant LAS. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Linear alkylbenzene sulfonate (LAS) is an anionic surfactant widely used to manufacture detergents and found in domestic and industrial wastewater. LAS removal was evaluated in a horizontal anaerobic immobilized biomass reactor. The system was filled with polyurethane foam and inoculated with sludge that was withdrawn from an up flow anaerobic sludge blanket reactor that is used to treat swine wastewater. The reactor was fed with easily degradable substrates and a solution of commercial LAS for 313 days. The hydraulic retention time applied was 12 h. The system was initially operated without detergent and resulted to 94% reduction of demand. The mass balance in the system indicated that the LAS removal efficiency was 45% after 180 days. From the 109th day to the 254th day, a removal efficiency of 32% was observed. The removal of LAS was approximately 40% when 1500 mg of LAS were applied in the absence of co-substrates suggesting that the LAS molecules were used selectively. Microscopic analyses of the biofilm revealed diverse microbial morphologies and denaturing gradient gel electrophoresis profiling showed variations in the total bacteria and sulfate-reducing bacteria populations. 16S rRNA sequencing and phylogenetic analyses demonstrated that members of the order Clostridiales were the major components of the bacterial community in the last step of the reactor operation. (c) 2009 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Two horizontal-flow anaerobic immobilized biomass reactors (HAIB) were used to study the degradation of the LAS surfactant: one filled with charcoal (HAIB1) and the other with a mixed bed of expanded clay and polyurethane foam (HAIB2). The reactors were fed with synthetic substrate supplemented with 14 mg l(-1) of LAS, kept at 30 +/- 2 degrees C and operated with a hydraulic retention time (HRT) of 12 h. The surfactant was quantified by HPLC. Spatial variation analyses were done to quantify organic matter and LAS consumption along the reactor length. The presence of the surfactant in the load did not affect the removal of organic matter (COD), which was close to 90% in both reactors for an influent COD of 550 ring l(-1). The results of a mass balance indicated that 28% of all LAS added to HAIB1 was removed by degradation. HAIB2 presented 27% degradation. Molecular biology techniques revealed microorgan isms belonging the uncultured Holophaga sp., uncultured delta Proteobacterium, uncultured Verrucomicrobium sp., Bacteroides sp. and uncultured gamma Proteobacterium sp. The reactor with biomass immobilized on charcoal presented lower adsorption and a higher kinetic degradation coefficient. So, it was the most suitable support for LAS anaerobic treatment. (c) 2008 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The purpose of this work was to assess the degradation of linear alkylbenzene sulfonate (LAS) in a horizontal-flow anaerobic immobilized biomass (HAIB) reactor. The reactor was filled with polyurethane foam where the sludge from a sanitary sewage treatment was immobilized. The hydraulic detention time (HDT) used in the experiments was of 12 h. The reactor was fed with synthetic substrate (410 mg l(-1) of meat extract, 115 mg l(-1) of starch, 80 mg l(-1) of saccharose, 320 mg l(-1) of sodium bicarbonate and 5 ml l(-1)of salt solution) in the following stages of operation: SI-synthetic substrate, SII-synthetic substrate with 7 mg l(-1) of LAS, SIII-synthetic substrate with 14 mg l(-1) of LAS and SIV-synthetic substrate containing yeast extract (substituting meat extract) and 14 mg l(-1) of LAS, without starch. At the end of the experiment (313 days) a degradation of similar to 35% of LAS was achieved. The higher the concentration of LAS, the greater the amount of foam for its adsorption. This is necessary because the isotherm of LAS adsorption in the foam is linear for the studied concentrations (2 to 50 mg l(-1)). Microscopic analyses of the biofilm revealed diverse microbial morphologies, while Denaturing Gradient Gel Eletrophoresis (DGGE) profiling showed variations in the population of total bacteria and sulphate-reducing bacteria (SRB). The 16S rRNA gene sequencing and phylogenetic analyses revealed that the members of the order Clostridiales were the major components of the bacterial community in the last reactor operation step.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We describe a one-time signature scheme based on the hardness of the syndrome decoding problem, and prove it secure in the random oracle model. Our proposal can be instantiated on general linear error correcting codes, rather than restricted families like alternant codes for which a decoding trapdoor is known to exist. (C) 2010 Elsevier Inc. All rights reserved,

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work discusses the determination of the breathing patterns in time sequence of images obtained from magnetic resonance (MR) and their use in the temporal registration of coronal and sagittal images. The registration is made without the use of any triggering information and any special gas to enhance the contrast. The temporal sequences of images are acquired in free breathing. The real movement of the lung has never been seen directly, as it is totally dependent on its surrounding muscles and collapses without them. The visualization of the lung in motion is an actual topic of research in medicine. The lung movement is not periodic and it is susceptible to variations in the degree of respiration. Compared to computerized tomography (CT), MR imaging involves longer acquisition times and it is preferable because it does not involve radiation. As coronal and sagittal sequences of images are orthogonal to each other, their intersection corresponds to a segment in the three-dimensional space. The registration is based on the analysis of this intersection segment. A time sequence of this intersection segment can be stacked, defining a two-dimension spatio-temporal (2DST) image. The algorithm proposed in this work can detect asynchronous movements of the internal lung structures and lung surrounding organs. It is assumed that the diaphragmatic movement is the principal movement and all the lung structures move almost synchronously. The synchronization is performed through a pattern named respiratory function. This pattern is obtained by processing a 2DST image. An interval Hough transform algorithm searches for synchronized movements with the respiratory function. A greedy active contour algorithm adjusts small discrepancies originated by asynchronous movements in the respiratory patterns. The output is a set of respiratory patterns. Finally, the composition of coronal and sagittal image pairs that are in the same breathing phase is realized by comparing of respiratory patterns originated from diaphragmatic and upper boundary surfaces. When available, the respiratory patterns associated to lung internal structures are also used. The results of the proposed method are compared with the pixel-by-pixel comparison method. The proposed method increases the number of registered pairs representing composed images and allows an easy check of the breathing phase. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work, the main factors affecting the rheological behavior of polyethylene terephtalate (PET) in the linear viscoelastic regime (water content, time delay before test, duration of experiment, and temperature) were accessed. Small amplitude oscillatory shear tests were performed after different time delays ranging from 300 to 5000 s for samples with water contents ranging from 0.02 to 0.45 wt %. Time sweep tests were carried out for different durations to explain the changes undergone by PET before and during small amplitude oscillatory shear measurements. Immediately after the time sweep tests, the PET samples were removed from the rheometer, analyzed by differential scanning calorimetry and their molar mass was obtained by viscometry analysis. It was shown that for all the samples, the delay before test and residence time within the rheometer (i.e. duration of experiment) result in structural changes of the PET samples, such as increase or decrease of molar mass, broadening of molar mass distribution, and branching phenomena. (C) 2010 Wiley Periodicals, Inc. J Appl Polym Sci 116: 3525-3533, 2010

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper studies a simplified methodology to integrate the real time optimization (RTO) of a continuous system into the model predictive controller in the one layer strategy. The gradient of the economic objective function is included in the cost function of the controller. Optimal conditions of the process at steady state are searched through the use of a rigorous non-linear process model, while the trajectory to be followed is predicted with the use of a linear dynamic model, obtained through a plant step test. The main advantage of the proposed strategy is that the resulting control/optimization problem can still be solved with a quadratic programming routine at each sampling step. Simulation results show that the approach proposed may be comparable to the strategy that solves the full economic optimization problem inside the MPC controller where the resulting control problem becomes a non-linear programming problem with a much higher computer load. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, we devise a separation principle for the finite horizon quadratic optimal control problem of continuous-time Markovian jump linear systems driven by a Wiener process and with partial observations. We assume that the output variable and the jump parameters are available to the controller. It is desired to design a dynamic Markovian jump controller such that the closed loop system minimizes the quadratic functional cost of the system over a finite horizon period of time. As in the case with no jumps, we show that an optimal controller can be obtained from two coupled Riccati differential equations, one associated to the optimal control problem when the state variable is available, and the other one associated to the optimal filtering problem. This is a separation principle for the finite horizon quadratic optimal control problem for continuous-time Markovian jump linear systems. For the case in which the matrices are all time-invariant we analyze the asymptotic behavior of the solution of the derived interconnected Riccati differential equations to the solution of the associated set of coupled algebraic Riccati equations as well as the mean square stabilizing property of this limiting solution. When there is only one mode of operation our results coincide with the traditional ones for the LQG control of continuous-time linear systems.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Due to the several kinds of services that use the Internet and data networks infra-structures, the present networks are characterized by the diversity of types of traffic that have statistical properties as complex temporal correlation and non-gaussian distribution. The networks complex temporal correlation may be characterized by the Short Range Dependence (SRD) and the Long Range Dependence - (LRD). Models as the fGN (Fractional Gaussian Noise) may capture the LRD but not the SRD. This work presents two methods for traffic generation that synthesize approximate realizations of the self-similar fGN with SRD random process. The first one employs the IDWT (Inverse Discrete Wavelet Transform) and the second the IDWPT (Inverse Discrete Wavelet Packet Transform). It has been developed the variance map concept that allows to associate the LRD and SRD behaviors directly to the wavelet transform coefficients. The developed methods are extremely flexible and allow the generation of Gaussian time series with complex statistical behaviors.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work summarizes some results about static state feedback linearization for time-varying systems. Three different necessary and sufficient conditions are stated in this paper. The first condition is the one by [Sluis, W. M. (1993). A necessary condition for dynamic feedback linearization. Systems & Control Letters, 21, 277-283]. The second and the third are the generalizations of known results due respectively to [Aranda-Bricaire, E., Moog, C. H., Pomet, J. B. (1995). A linear algebraic framework for dynamic feedback linearization. IEEE Transactions on Automatic Control, 40, 127-132] and to [Jakubczyk, B., Respondek, W. (1980). On linearization of control systems. Bulletin del` Academie Polonaise des Sciences. Serie des Sciences Mathematiques, 28, 517-522]. The proofs of the second and third conditions are established by showing the equivalence between these three conditions. The results are re-stated in the infinite dimensional geometric approach of [Fliess, M., Levine J., Martin, P., Rouchon, P. (1999). A Lie-Backlund approach to equivalence and flatness of nonlinear systems. IEEE Transactions on Automatic Control, 44(5), 922-937]. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we consider the existence of the maximal and mean square stabilizing solutions for a set of generalized coupled algebraic Riccati equations (GCARE for short) associated to the infinite-horizon stochastic optimal control problem of discrete-time Markov jump with multiplicative noise linear systems. The weighting matrices of the state and control for the quadratic part are allowed to be indefinite. We present a sufficient condition, based only on some positive semi-definite and kernel restrictions on some matrices, under which there exists the maximal solution and a necessary and sufficient condition under which there exists the mean square stabilizing solution fir the GCARE. We also present a solution for the discounted and long run average cost problems when the performance criterion is assumed be composed by a linear combination of an indefinite quadratic part and a linear part in the state and control variables. The paper is concluded with a numerical example for pension fund with regime switching.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A rigorous derivation of non-linear equations governing the dynamics of an axially loaded beam is given with a clear focus to develop robust low-dimensional models. Two important loading scenarios were considered, where a structure is subjected to a uniformly distributed axial and a thrust force. These loads are to mimic the main forces acting on an offshore riser, for which an analytical methodology has been developed and applied. In particular, non-linear normal modes (NNMs) and non-linear multi-modes (NMMs) have been constructed by using the method of multiple scales. This is to effectively analyse the transversal vibration responses by monitoring the modal responses and mode interactions. The developed analytical models have been crosschecked against the results from FEM simulation. The FEM model having 26 elements and 77 degrees-of-freedom gave similar results as the low-dimensional (one degree-of-freedom) non-linear oscillator, which was developed by constructing a so-called invariant manifold. The comparisons of the dynamical responses were made in terms of time histories, phase portraits and mode shapes. (C) 2008 Elsevier Ltd. All rights reserved.