Microcomputer versus mainframe simulations: A case study

The research was conducted to two parts. Part one consisted of a study of the feasibility of running the Space Transportation Model simulation on an office IBM-AT. The second part was to design simulation runs so as to study the effects of certain performance factors on the execution of the simulation model. The results of this research are given in the two reports which follow: Microcomputer vs. Mainframe Simulation: A Case Study and Fractional Factorial Designs of Simulation Runs for the Space Transportation System Operations Model. In the first part, a DOS batch job was written in order to simplify the execution of the simulation model on an office microcomputer. A comparison study was then performed of running the model on NASA-Langley's mainframe computer vs. running on the IBM-AT microcomputer. This was done in order to find the advantages and disadvantages of running the model on each machine with the objective of determining if running of the office PC was practical. The study concluded that it was. The large number of performance parameters in the Space Transportation model precluded running a full factorial design needed to determine the most significant design factors. The second report gives several suggested fractional factorial designs which require far fewer simulation runs in order to determine which factors have significant influence on results

Fast opening diaphragm Patent

Magnetically opened diaphragm design with camera shutter and expansion tube application

Formalising the pi-calculus using nominal logic

We formalise the pi-calculus using the nominal datatype package, based on ideas from the nominal logic by Pitts et al., and demonstrate an implementation in Isabelle/HOL. The purpose is to derive powerful induction rules for the semantics in order to conduct machine checkable proofs, closely following the intuitive arguments found in manual proofs. In this way we have covered many of the standard theorems of bisimulation equivalence and congruence, both late and early, and both strong and weak in a uniform manner. We thus provide one of the most extensive formalisations of a process calculus ever done inside a theorem prover. A significant gain in our formulation is that agents are identified up to alpha-equivalence, thereby greatly reducing the arguments about bound names. This is a normal strategy for manual proofs about the pi-calculus, but that kind of hand waving has previously been difficult to incorporate smoothly in an interactive theorem prover. We show how the nominal logic formalism and its support in Isabelle accomplishes this and thus significantly reduces the tedium of conducting completely formal proofs. This improves on previous work using weak higher order abstract syntax since we do not need extra assumptions to filter out exotic terms and can keep all arguments within a familiar first-order logic.Comment: 36 pages, 3 figure

Relaxation Of Brownian Particles In A Gravitational Field

We describe an upper level undergraduate experiment on the time-dependent behavior of a suspension of Brownian particles under gravitational attraction. We employed the Fokker-Planck equation in the strong friction limit and measured the time-evolution of the probability distribution for 1.0 mu m diameter latex Brownian particles in water at room temperature and pressure. The experiment provides evidence of the atomic nature of water.Physic

Oscillator strength trends in group IVb homologous ions

Shock tube data are used to examine the systematic f value behavior in prominent visible transition arrays (ns-np, np-(n+l)s, np-nd) for the homologous emitter sequence Si 11, Ge 11, Sn 11, and Pb 11. Regularities found for these data are compared with trends in lighter elements. Agreements and s disparities with theoretical and experimental oscillator strengths from the literature are noted

Dialogue-based evaluation as a creative climate indicator

This paper examines how different forms of performance evaluation relate to aspects of the creative climate in a major pharmaceutical company. The study was based on a large employee-attitude survey that was distributed to all company employees. The study analyses survey results from 5,333 employees at five R&D sites. The results indicate that management’s evaluation of employees (either dialogue-based or control-based) relates to the type of motivation (intrinsic or extrinsic) that drives employees, to their style of thinking (value-focused thinking) and on their attitudes to organizational creativity. The paper then discusses implications of these findings for HRM

Do the origins of primary teeth affect the bond strength of a self-etching adhesive system to dentin?

The aim of this in vitro study was to evaluate the tensile bond strength of a self-etching adhesive system to three different dentinal substrates. Primary molar teeth that had been recently exfoliated (RE), with unknown time of exfoliation (UT), and extracted due to prolonged retention (PR) were used for this investigation. Ten primary molar teeth of each group were cut in the middle following the mesio-distal direction, creating a total of twenty specimens per group. The specimens were included in acrylic resin and had a flat dentin surface exposed. The self-etching adhesive system was applied to this surface and a 3-millimeter high cone with diameter of 2 mm in the adhesion area was constructed using composite resin. The specimens were stored in distilled water at 37ºC for 24 hours. Fifteen specimens of each substrate were used for the tensile bond test (n = 15) and 5 had the interface analyzed by scanning electron microscopy (SEM). The data was examined by one-way ANOVA and presented no significant differences between groups (p = 0.5787). The mean values obtained for RE, UT and PR were 18.39 ± 9.70, 19.41 ± 7.80, and 23.30 ± 9.37 MPa, respectively. Any dentinal substrates of primary teeth studied are safe for tensile bond strength tests with adhesive systems

Quantum Circuits Architecture

We present a method for optimizing quantum circuits architecture. The method is based on the notion of "quantum comb", which describes a circuit board in which one can insert variable subcircuits. The method allows one to efficiently address novel kinds of quantum information processing tasks, such as storing-retrieving, and cloning of channels.Comment: 10 eps figures + Qcircuit.te