An application of interactive computer graphics technology to the design of dispersal mechanisms

Interactive computer graphics technology is combined with a general purpose mechanisms computer code to study the operational behavior of three guided bomb dispersal mechanism designs. These studies illustrate the use of computer graphics techniques to discover operational anomalies, to assess the effectiveness of design improvements, to reduce the time and cost of the modeling effort, and to provide the mechanism designer with a visual understanding of the physical operation of such systems

Simulation and BIM in building design, commissioning and operation: a comparison with the microelectronics industry

Analogy between the Microelectronics and Building industries is explored with the focus on design, commissioning and operation processes. Some issues found in the realisation of low energy buildings are highlighted and techniques gleaned from microelectronics proposed as possible solutions. Opportunities identified include: adoption of a more integrated process, use of standard cells, inclusion of controls and operational code in the design, generation of building commissioning tests from simulation, generation of building operational control code (including self-test) from simulation, inclusion of variation and uncertainties in the design process, use of quality processes such as indices to represent design robustness and formal continuous improvement methods. The possible integration of these techniques within a building information model (BIM) flow is discussed and some examples of enabling technologies given

The Triplet Genetic Code had a Doublet Predecessor

Information theoretic analysis of genetic languages indicates that the naturally occurring 20 amino acids and the triplet genetic code arose by duplication of 10 amino acids of class-II and a doublet genetic code having codons NNY and anticodons $\overleftarrow{\rm GNN}$. Evidence for this scenario is presented based on the properties of aminoacyl-tRNA synthetases, amino acids and nucleotide bases.Comment: 10 pages (v2) Expanded to include additional features, including likely relation to the operational code of the tRNA-acceptor stem. Version to be published in Journal of Theoretical Biolog

Classical simulation of measurement-based quantum computation on higher-genus surface-code states

We consider the efficiency of classically simulating measurement-based quantum computation on surface-code states. We devise a method for calculating the elements of the probability distribution for the classical output of the quantum computation. The operational cost of this method is polynomial in the size of the surface-code state, but in the worst case scales as $2^{2g}$ in the genus $g$ of the surface embedding the code. However, there are states in the code space for which the simulation becomes efficient. In general, the simulation cost is exponential in the entanglement contained in a certain effective state, capturing the encoded state, the encoding and the local post-measurement states. The same efficiencies hold, with additional assumptions on the temporal order of measurements and on the tessellations of the code surfaces, for the harder task of sampling from the distribution of the computational output.Comment: 21 pages, 13 figure

Mechanized semantics

The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic program transformations, as typically found in compilers. The topics covered include: operational semantics (small-step, big-step, definitional interpreters); a simple form of denotational semantics; axiomatic semantics and Hoare logic; generation of verification conditions, with application to program proof; compilation to virtual machine code and its proof of correctness; an example of an optimizing program transformation (dead code elimination) and its proof of correctness

Information preserving structures: A general framework for quantum zero-error information

Quantum systems carry information. Quantum theory supports at least two distinct kinds of information (classical and quantum), and a variety of different ways to encode and preserve information in physical systems. A system's ability to carry information is constrained and defined by the noise in its dynamics. This paper introduces an operational framework, using information-preserving structures to classify all the kinds of information that can be perfectly (i.e., with zero error) preserved by quantum dynamics. We prove that every perfectly preserved code has the same structure as a matrix algebra, and that preserved information can always be corrected. We also classify distinct operational criteria for preservation (e.g., "noiseless", "unitarily correctible", etc.) and introduce two new and natural criteria for measurement-stabilized and unconditionally preserved codes. Finally, for several of these operational critera, we present efficient (polynomial in the state-space dimension) algorithms to find all of a channel's information-preserving structures.Comment: 29 pages, 19 examples. Contains complete proofs for all the theorems in arXiv:0705.428

Self-consistent simulation of plasma scenarios for ITER using a combination of 1.5D transport codes and free-boundary equilibrium codes

Self-consistent transport simulation of ITER scenarios is a very important tool for the exploration of the operational space and for scenario optimisation. It also provides an assessment of the compatibility of developed scenarios (which include fast transient events) with machine constraints, in particular with the poloidal field (PF) coil system, heating and current drive (H&CD), fuelling and particle and energy exhaust systems. This paper discusses results of predictive modelling of all reference ITER scenarios and variants using two suite of linked transport and equilibrium codes. The first suite consisting of the 1.5D core/2D SOL code JINTRAC [1] and the free boundary equilibrium evolution code CREATE-NL [2,3], was mainly used to simulate the inductive D-T reference Scenario-2 with fusion gain Q=10 and its variants in H, D and He (including ITER scenarios with reduced current and toroidal field). The second suite of codes was used mainly for the modelling of hybrid and steady state ITER scenarios. It combines the 1.5D core transport code CRONOS [4] and the free boundary equilibrium evolution code DINA-CH [5].Comment: 23 pages, 18 figure

Simulation of Beam-Beam Effects and Tevatron Experience

Effects of electromagnetic interactions of colliding bunches in the Tevatron had a variety of manifestations in beam dynamics presenting vast opportunities for development of simulation models and tools. In this paper the computer code for simulation of weak-strong beam-beam effects in hadron colliders is described. We report the collider operational experience relevant to beam-beam interactions, explain major effects limiting the collider performance and compare results of observations and measurements with simulations.Comment: 23 pages, 17 figure