5,053 research outputs found
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
Recommended from our members
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
- …