Modeling of a latent fault detector in a digital system

Methods of modeling the detection time or latency period of a hardware fault in a digital system are proposed that explain how a computer detects faults in a computational mode. The objectives were to study how software reacts to a fault, to account for as many variables as possible affecting detection and to forecast a given program's detecting ability prior to computation. A series of experiments were conducted on a small emulated microprocessor with fault injection capability. Results indicate that the detecting capability of a program largely depends on the instruction subset used during computation and the frequency of its use and has little direct dependence on such variables as fault mode, number set, degree of branching and program length. A model is discussed which employs an analog with balls in an urn to explain the rate of which subsequent repetitions of an instruction or instruction set detect a given fault

A Simplified Cellular Automaton Model for City Traffic

We systematically investigate the effect of blockage sites in a cellular automaton model for traffic flow. Different scheduling schemes for the blockage sites are considered. None of them returns a linear relationship between the fraction of ``green'' time and the throughput. We use this information for a fast implementation of traffic in Dallas.Comment: 12 pages, 18 figures. submitted to Phys Rev

Experiences with a simplified microsimulation for the Dallas/Fort Worth area

We describe a simple framework for micro simulation of city traffic. A medium sized excerpt of Dallas was used to examine different levels of simulation fidelity of a cellular automaton method for the traffic flow simulation and a simple intersection model. We point out problems arising with the granular structure of the underlying rules of motion.Comment: accepted by Int.J.Mod.Phys.C, 20 pages, 14 figure

Ultrafast Interference Imaging of Air in Splashing Dynamics

A drop impacting a solid surface with sufficient velocity will emit many small droplets creating a splash. However, splashing is completely suppressed if the surrounding gas pressure is lowered. The mechanism by which the gas affects splashing remains unknown. We use high-speed interference imaging to measure the air beneath all regions of a spreading viscous drop as well as optical absorption to measure the drop thickness. Although an initial air bubble is created on impact, no significant air layer persists until the time a splash is created. This suggests that splashing in our experimentally accessible range of viscosities is initiated at the edge of the drop as it encroaches into the surrounding gas

Statistical Time Series Models of Pilot Control with Applications to Instrument Discrimination

A general description of the methodology used in obtaining the transfer function models and verification of model fidelity, frequency domain plots of the modeled transfer functions, numerical results obtained from an analysis of poles and zeroes obtained from z plane to s-plane conversions of the transfer functions, and the results of a study on the sequential introduction of other variables, both exogenous and endogenous into the loop are contained

Software reliability: Repetitive run experimentation and modeling

A software experiment conducted with repetitive run sampling is reported. Independently generated input data was used to verify that interfailure times are very nearly exponentially distributed and to obtain good estimates of the failure rates of individual errors and demonstrate how widely they vary. This fact invalidates many of the popular software reliability models now in use. The log failure rate of interfailure time was nearly linear as a function of the number of errors corrected. A new model of software reliability is proposed that incorporates these observations

Code Generation for Efficient Query Processing in Managed Runtimes

In this paper we examine opportunities arising from the conver-gence of two trends in data management: in-memory database sys-tems (IMDBs), which have received renewed attention following the availability of affordable, very large main memory systems; and language-integrated query, which transparently integrates database queries with programming languages (thus addressing the famous ‘impedance mismatch ’ problem). Language-integrated query not only gives application developers a more convenient way to query external data sources like IMDBs, but also to use the same querying language to query an application’s in-memory collections. The lat-ter offers further transparency to developers as the query language and all data is represented in the data model of the host program-ming language. However, compared to IMDBs, this additional free-dom comes at a higher cost for query evaluation. Our vision is to improve in-memory query processing of application objects by introducing database technologies to managed runtimes. We focus on querying and we leverage query compilation to im-prove query processing on application objects. We explore dif-ferent query compilation strategies and study how they improve the performance of query processing over application data. We take C] as the host programming language as it supports language-integrated query through the LINQ framework. Our techniques de-liver significant performance improvements over the default LINQ implementation. Our work makes important first steps towards a future where data processing applications will commonly run on machines that can store their entire datasets in-memory, and will be written in a single programming language employing language-integrated query and IMDB-inspired runtimes to provide transparent and highly efficient querying. 1

Effective-Lagrangian approach to gamma gamma --> WW; II: Results and comparison with e+e- --> WW

We present a study of anomalous electroweak gauge-boson couplings which can be measured in e+e- and gamma gamma collisions at a future linear collider like ILC. We consider the gauge-boson sector of a locally SU(2) x U(1) invariant effective Lagrangian with ten dimension-six operators added to the Lagrangian of the Standard Model. These operators induce anomalous three- and four-gauge-boson couplings and an anomalous gamma gamma H coupling. We calculate the reachable sensitivity for the measurement of the anomalous couplings in gamma gamma --> WW. We compare these results with the reachable precision in the reaction e+e- --> WW on the one hand and with the bounds that one can get from high-precision observables in Z decays on the other hand. We show that one needs both the e+e- and the gamma gamma modes at an ILC to constrain the largest possible number of anomalous couplings and that the Giga-Z mode offers the best sensitivity for certain anomalous couplings.Comment: 25 pages, 1 figure, 7 tables, comments, references and a table added; to appear in EPJ