14 resultados para State Extension Problem
em University of Queensland eSpace - Australia
Resumo:
We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state extensions with appropriate properties and may be implemented as a semidefinite program. The main result of this work is to show that there is a series of tests of this kind such that if a multiparty state is entangled this will eventually be detected by one of the tests. The procedure also provides a means of constructing entanglement witnesses that could in principle be measured in order to demonstrate that the state is entangled.
Resumo:
Process optimisation and optimal control of batch and continuous drum granulation processes are studied in this paper. The main focus of the current research has been: (i) construction of optimisation and control relevant, population balance models through the incorporation of moisture content, drum rotation rate and bed depth into the coalescence kernels; (ii) investigation of optimal operational conditions using constrained optimisation techniques; (iii) development of optimal control algorithms based on discretized population balance equations; and (iv) comprehensive simulation studies on optimal control of both batch and continuous granulation processes. The objective of steady state optimisation is to minimise the recycle rate with minimum cost for continuous processes. It has been identified that the drum rotation-rate, bed depth (material charge), and moisture content of solids are practical decision (design) parameters for system optimisation. The objective for the optimal control of batch granulation processes is to maximize the mass of product-sized particles with minimum time and binder consumption. The objective for the optimal control of the continuous process is to drive the process from one steady state to another in a minimum time with minimum binder consumption, which is also known as the state-driving problem. It has been known for some time that the binder spray-rate is the most effective control (manipulative) variable. Although other possible manipulative variables, such as feed flow-rate and additional powder flow-rate have been investigated in the complete research project, only the single input problem with the binder spray rate as the manipulative variable is addressed in the paper to demonstrate the methodology. It can be shown from simulation results that the proposed models are suitable for control and optimisation studies, and the optimisation algorithms connected with either steady state or dynamic models are successful for the determination of optimal operational conditions and dynamic trajectories with good convergence properties. (c) 2005 Elsevier Ltd. All rights reserved.
Resumo:
Recent research suggests that future decreases in the carbonate saturation state of surface seawater associated with the projected build-up of atmospheric CO2 could cause a global decline in coral reef-building capacity. Whether significant reductions in coral calcification are underway is a matter of considerable debate. Multicentury records of skeletal calcification extracted from massive corals have the potential to reconstruct the progressive effect of anthropogenic changes in carbonate saturation on coral reefs. However, early marine aragonite cements are commonly precipitated from pore waters in the basal portions of massive coral skeletons and, if undetected, could result in apparent nonlinear reductions in coral calcification toward the present. To address this issue, we present records of coral skeletal density, extension rate, calcification rate, δ13C, and δ18O for well preserved and diagenetically altered coral cores spanning ∼1830-1994 A.D. at Ningaloo Reef Marine Park, Western Australia. The record for the pristine coral shows no significant decrease in skeletal density or δ13C indicative of anthropogenic changes in carbonate saturation state or δ13C of surface seawater (oceanic Suess effect). In contrast, progressive addition of early marine inorganic aragonite toward the base of the altered coral produces an apparent ∼25% decrease in skeletal density toward the present, which misleadingly matches the nonlinear twentieth century decrease in coral calcification predicted by recent modeling and experimental studies. In addition, the diagenetic aragonite is enriched in 13C, relative to coral aragonite, resulting in a nonlinear decrease in δ13C toward the present that mimics the decrease in δ13C expected from the oceanic Suess effect. Taken together, these diagenetic changes in skeletal density and δ13C could be misinterpreted to reflect changes in surface-ocean carbonate saturation state driven by the twentieth century build-up of atmospheric CO2. Copyright 2004 by the American Geophysical Union.
Resumo:
In this paper we explore the possibility of fundamental tests for coherent-state optical quantum computing gates [ T. C. Ralph et al. Phys. Rev. A 68 042319 (2003)] using sophisticated but not unrealistic quantum states. The major resource required in these gates is a state diagonal to the basis states. We use the recent observation that a squeezed single-photon state [S(r)∣1⟩] approximates well an odd superposition of coherent states (∣α⟩−∣−α⟩) to address the diagonal resource problem. The approximation only holds for relatively small α, and hence these gates cannot be used in a scalable scheme. We explore the effects on fidelities and probabilities in teleportation and a rotated Hadamard gate.
Resumo:
Recursive filters are widely used in image analysis due to their efficiency and simple implementation. However these filters have an initialisation problem which either produces unusable results near the image boundaries or requires costly approximate solutions such as extending the boundary manually. In this paper, we describe a method for the recursive filtering of symmetrically extended images for filters with symmetric denominator. We begin with an analysis of symmetric extensions and their effect on non-recursive filtering operators. Based on the non-recursive case, we derive a formulation of recursive filtering on symmetric domains as a linear but spatially varying implicit operator. We then give an efficient method for decomposing and solving the linear implicit system, along with a proof that this decomposition always exists. This decomposition needs to be performed only once for each dimension of the image. This yields a filtering which is both stable and consistent with the ideal infinite extension. The filter is efficient, requiring less computation than the standard recursive filtering. We give experimental evidence to verify these claims. (c) 2005 Elsevier B.V. All rights reserved.
Resumo:
Labeled surfactants have impurities in the form of un-reacted molecules or distributed products which is a constraint in evaluating its performance. This short review deals with the purity issue of surfactants and is divided into two parts. The first part deals with the methods of purification employed for obtaining a surface chemically pure surfactant for evaluation. In the second part the use of surface chemically impure surfactant in application areas of formulations is presented to highlight the impending impact on reproducibility of results.
Resumo:
This paper aims to present findings from a pilot study on understanding gambling within the Greek and Vietnamese communities in Brisbane, the capital city of Queensland State. It explores gambling behaviour among gamblers and views of workers from their own communities. Rich data were obtained by conducting qualitative semi-structured interviews. Three themes that emerged are the causes of gambling, the impact of gambling, and participants' views on existing delivery of gambling services. It appears that a more culturally appropriate gambling service is necessary to address the needs and problems of gamblers from non-English speaking backgrounds.
Resumo:
Recent advances in biomedical science indicate that it may eventually be possible to intervene in the biological process of human ageing. This paper overviews the current state of the science of lifespan extension and promising future directions. It is uncertain whether 'strong' lifespan extension - the extension of human life beyond the maximum 122 years so far observed - will become a reality. It is more likely that cumulative effects of numerous scientific and biomedical advances in the treatment of common disease will produce 'weak' lifespan extension - the extension of average life expectancy. The practical application of molecular, genetic and nanomaterials research may also lead to advances in life expectancy. It is not too early to begin to consider the policy implications of either form of lifespan extension.
Resumo:
The importance of availability of comparable real income aggregates and their components to applied economic research is highlighted by the popularity of the Penn World Tables. Any methodology designed to achieve such a task requires the combination of data from several sources. The first is purchasing power parities (PPP) data available from the International Comparisons Project roughly every five years since the 1970s. The second is national level data on a range of variables that explain the behaviour of the ratio of PPP to market exchange rates. The final source of data is the national accounts publications of different countries which include estimates of gross domestic product and various price deflators. In this paper we present a method to construct a consistent panel of comparable real incomes by specifying the problem in state-space form. We present our completed work as well as briefly indicate our work in progress.
Resumo:
A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.