In this paper,we present an a posteriori error estimates of semilinear quadratic constrained optimal control problems using triangular mixed finite element *** state and co-state are approximated by the order k≤1 Ra...
详细信息
In this paper,we present an a posteriori error estimates of semilinear quadratic constrained optimal control problems using triangular mixed finite element *** state and co-state are approximated by the order k≤1 RaviartThomas mixed finite element spaces and the control is approximated by piecewise constant *** derive a posteriori error estimates for the coupled state and control approximations.A numerical example is presented in confirmation of the theory.
In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are d...
详细信息
In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best effciency for the singleor double-fault diagnosis.
The tensor rank (also known as generalized Schmidt rank) of multipartite pure states plays an important role in the study of entanglement classifications and transformations. We employ powerful tools from the theory o...
详细信息
The tensor rank (also known as generalized Schmidt rank) of multipartite pure states plays an important role in the study of entanglement classifications and transformations. We employ powerful tools from the theory of homogeneous polynomials to investigate the tensor rank of symmetric states such as the tripartite state |W3⟩=13(|100⟩+|010⟩+|001⟩) and its N-partite generalization |WN⟩. Previous tensor rank estimates are dramatically improved and we show that (i) three copies of |W3⟩ have a rank of either 15 or 16, (ii) two copies of |WN⟩ have a rank of 3N−2, and (iii) n copies of |WN⟩ have a rank of O(N). A remarkable consequence of these results is that certain multipartite transformations, impossible even probabilistically, can become possible when performed in multiple-copy bunches or when assisted by some catalyzing state. This effect is impossible for bipartite pure states.
Most natural rivers are curved channels, where the turbulent flows have a complex helical pattern, as has been extensively studied both numerically and experimentally. The helical flow structure in curved channels ha...
详细信息
Most natural rivers are curved channels, where the turbulent flows have a complex helical pattern, as has been extensively studied both numerically and experimentally. The helical flow structure in curved channels has an important bearing on sediment transport, riverbed evolution, and pollutant transport study. In this article, different turbulence closure schemes i.e., the mixing-length model and the k-ε model with different pressure solution techniques i. e., hydrostatic assumptions and dynamic pressure treatments are applied to study the helical secondary flows in an experiment curved channel. The agreements of vertically-averaged velocities between the simulated results obtained by using different turbulence models with different pressure solution techniques and the measured data are satisfactory. Their discrepancies with respect to surface elevations, superelevations and secondary flow patterns are discussed.
A laboratory-scale anaerobic-anoxic-oxic membrane bioreactor (A1/A2/O-MBR) system was used to treat heavily loaded and toxic coke plant wastewater and operated for more than 500 d. Treatment performance, acute toxicit...
详细信息
Coke wastewater is an extremely toxic industrial effluent that requires treatment before discharge. A bench-scale, anaerobic-anoxic-oxic membrane bioreactor (A1/A2/O-MBR) system was utilized to treat real coke wastewa...
详细信息
The effects of chemical spills on aquatic nontarget organisms were evaluated in this *** on a review of three types of current eco-toxicological models of chemicals,i.e.,ACQUATOX model of the US-EPA,Hudson River Model...
详细信息
The effects of chemical spills on aquatic nontarget organisms were evaluated in this *** on a review of three types of current eco-toxicological models of chemicals,i.e.,ACQUATOX model of the US-EPA,Hudson River Model of PCBs,and critical body residual(CBR)model and dynamic energy budget(DEBtox)model,this paper presents an uncoupled numerical ecotoxicological *** transport and transformation of spilled chemicals were simulated by a chemical transport model(including flow and sediment transport),and the mortalities of an organism caused by the chemicals were simulated by the extended threshold damage model,*** to extreme scarcity of data,this model was applied to two hypothetical cases of chemical spills happening upstream of a *** analysis and simulated results indicated that this model is capable of reasonably predicting the acute effects of chemical spills on aquatic ecosystems or organism killings.
When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic tas...
详细信息
暂无评论