993 resultados para code generation


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The phase estimation algorithm is so named because it allows an estimation of the eigenvalues associated with an operator. However, it has been proposed that the algorithm can also be used to generate eigenstates. Here we extend this proposal for small quantum systems, identifying the conditions under which the phase-estimation algorithm can successfully generate eigenstates. We then propose an implementation scheme based on an ion trap quantum computer. This scheme allows us to illustrate two simple examples, one in which the algorithm effectively generates eigenstates, and one in which it does not.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A survey of hybridization in proper names and commercial signs. CODE-SWITCHING is commonly seen as more typical of the spoken language. But there are some areas of language use, including business names (e.g. restaurants), where foreign proper names, common nouns and sometimes whole phrases are imported into the written language too. These constitute a more stable variety of code-switching than the spontaneous and more unpredictable code-switching in the spoken language.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We show that stochastic electrodynamics and quantum mechanics give quantitatively different predictions for the quantum nondemolition (QND) correlations in travelling wave second harmonic generation. Using phase space methods and stochastic integration, we calculate correlations in both the positive-P and truncated Wigner representations, the latter being equivalent to the semi-classical theory of stochastic electrodynamics. We show that the semiclassical results are different in the regions where the system performs best in relation to the QND criteria, and that they significantly overestimate the performance in these regions. (C) 2001 Published by Elsevier Science B.V.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Let g be the genus of the Hermitian function field H/F(q)2 and let C-L(D,mQ(infinity)) be a typical Hermitian code of length n. In [Des. Codes Cryptogr., to appear], we determined the dimension/length profile (DLP) lower bound on the state complexity of C-L(D,mQ(infinity)). Here we determine when this lower bound is tight and when it is not. For m less than or equal to n-2/2 or m greater than or equal to n-2/2 + 2g, the DLP lower bounds reach Wolf's upper bound on state complexity and thus are trivially tight. We begin by showing that for about half of the remaining values of m the DLP bounds cannot be tight. In these cases, we give a lower bound on the absolute state complexity of C-L(D,mQ(infinity)), which improves the DLP lower bound. Next we give a good coordinate order for C-L(D,mQ(infinity)). With this good order, the state complexity of C-L(D,mQ(infinity)) achieves its DLP bound (whenever this is possible). This coordinate order also provides an upper bound on the absolute state complexity of C-L(D,mQ(infinity)) (for those values of m for which the DLP bounds cannot be tight). Our bounds on absolute state complexity do not meet for some of these values of m, and this leaves open the question whether our coordinate order is best possible in these cases. A straightforward application of these results is that if C-L(D,mQ(infinity)) is self-dual, then its state complexity (with respect to the lexicographic coordinate order) achieves its DLP bound of n /2 - q(2)/4, and, in particular, so does its absolute state complexity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper attempts a state-of-the-art summary of research into thunderstorm wind fields from an engineering perspective. The characteristics of thunderstorms and the two extreme wind events-tornadoes and downbursts-spawn by thunderstorms are described. The significant differences from traditional boundary layer flows are highlighted. The importance of thunderstorm gusts in the worldwide database of extreme wind events is established. Physical simulations of tornadoes and downbursts are described and discussed leading to the recommendation that Wind Engineering needs to focus more resources on the fundamental issue - What is the flow structure in the strongest winds? © 2002 Published by Elsevier Science Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Studies on purified blood dendritic cells (DCs) are hampered by poor viability in tissue culture. We, therefore, attempted to study some of the interactions/relationships between DCs and other blood cells by culturing unseparated peripheral blood mononuclear cell (PBMC) preparations in vitro. Flow cytometric techniques were used to undertake a phenotypic and functional analysis of DCs within the cultured PBMC population. We discovered that both the CD11c(+) and CD11c(-) CD123(hi) DC subsets maintained their viability throughout the 3-day culture period, without the addition of exogenous cytokines. This viability was accompanied by progressive up-regulation of the surface costimulatory (CD40, CD80, CD86) and activation (CMRF-44, CMRF-56, CD83) molecules. The survival and apparent production of DCs in PBMC culture (without exogenous cytokines) and that of sorted DCs (with cytokines) were evaluated and compared by using TruCOUNT analysis. Absolute DC counts increased (for CD123hi and CD11c+ subsets) after overnight culture of PBMCs. Single-cell lineage depletion experiments demonstrated the rapid and spontaneous emergence of new in vitro generated DCs from CD14(+)/CD16(+) PBMC radioresistant precursors, additional to the preexisting ex vivo DC population. Unlike monocyte-derived DCs, blood DCs increased dextran uptake with culture and activation. Finally, DCs obtained after culture of PBMCs for 3 days were as effective as freshly isolated DCs in stimulating an allogeneic mixed leukocyte reaction. (C) 2002 by The American Society of Hematology.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Solid earth simulations have recently been developed to address issues such as natural disasters, global environmental destruction and the conservation of natural resources. The simulation of solid earth phenomena involves the analysis of complex structures including strata, faults, and heterogeneous material properties. Simulation of the generation and cycle of earthquakes is particularly important, but such simulations require the analysis of complex fault dynamics. GeoFEM is a parallel finite-element analysis system intended for solid earth field phenomena problems. This paper describes recent development in the GeoFEM project for the simulation of earthquake generation and cycles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Kunjin replicon was used to express a polytope that consisted of seven hepatitis C virus cytotoxic T lymphocyte epitopes and one influenza cytotoxic T lymphocyte epitope for vaccination studies. The self-replicating nature of, and expression from, the ribonucleic acid was confirmed in vitro . Initial vaccinations with one dose of Kun-Poly ribonucleic acid showed that an influenza-specific cytotoxic T lymphocyte response was elicited more efficiently by intradermal inoculation compared with intramuscular delivery. Two micrograms of ribonucleic acid delivered in the ear pinnae of mice was sufficient to elicit a detectable cytotoxic T lymphocyte response 10 days post-vaccination. Further vaccination studies showed that four of the seven hepatitis C virus cytotoxic T lymphocyte epitopes were able to elicit weak cytotoxic T lymphocyte responses whereas the influenza epitope was able to elicit strong, specific cytotoxic T lymphocyte responses following three doses of Kun-Poly ribonucleic acid. These studies vindicate the use of the Kunjin replicon as a vector to deliver encoded proteins for the development of cell-mediated immune responses.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.