596 research outputs found
Stochastic Formal Correctness of Numerical Algorithms
We provide a framework to bound the probability that accumulated errors were never above a given threshold on numerical algorithms. Such algorithms are used for example in aircraft and nuclear power plants. This report contains simple formulas based on Levy's and Markov's inequalities and it presents a formal theory of random variables with a special focus on producing concrete results. We selected four very common applications that fit in our framework and cover the common practices of systems that evolve for a long time. We compute the number of bits that remain continuously significant in the first two applications with a probability of failure around one out of a billion, where worst case analysis considers that no significant bit remains. We are using PVS as such formal tools force explicit statement of all hypotheses and prevent incorrect uses of theorems
Local antithetic sampling with scrambled nets
We consider the problem of computing an approximation to the integral
. Monte Carlo (MC) sampling typically attains a root
mean squared error (RMSE) of from independent random function
evaluations. By contrast, quasi-Monte Carlo (QMC) sampling using carefully
equispaced evaluation points can attain the rate for
any and randomized QMC (RQMC) can attain the RMSE
, both under mild conditions on . Classical
variance reduction methods for MC can be adapted to QMC. Published results
combining QMC with importance sampling and with control variates have found
worthwhile improvements, but no change in the error rate. This paper extends
the classical variance reduction method of antithetic sampling and combines it
with RQMC. One such method is shown to bring a modest improvement in the RMSE
rate, attaining for any , for
smooth enough .Comment: Published in at http://dx.doi.org/10.1214/07-AOS548 the Annals of
Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical
Statistics (http://www.imstat.org
A Solder-Defined Computer Architecture for Backdoor and Malware Resistance
This research is about securing control of those devices we most depend on for integrity and confidentiality. An emerging concern is that complex integrated circuits may be subject to exploitable defects or backdoors, and measures for inspection and audit of these chips are neither supported nor scalable. One approach for providing a âsupply chain firewallâ may be to forgo such components, and instead to build central processing units (CPUs) and other complex logic from simple, generic parts. This work investigates the capability and speed ceiling when open-source hardware methodologies are fused with maker-scale assembly tools and visible-scale final inspection. The author has designed, and demonstrated in simulation, a 36-bit CPU and protected memory subsystem that use only synchronous static random access memory (SRAM) and trivial glue logic integrated circuits as components. The design presently lacks preemptive multitasking, ability to load firmware into the SRAMs used as logic elements, and input/output. Strategies are presented for adding these missing subsystems, again using only SRAM and trivial glue logic. A load-store architecture is employed with four clock cycles per instruction. Simulations indicate that a clock speed of at least 64 MHz is probable, corresponding to 16 million instructions per second (16 MIPS), despite the architecture containing no microprocessors, field programmable gate arrays, programmable logic devices, application specific integrated circuits, or other purchased complex logic. The lower speed, larger size, higher power consumption, and higher cost of an âSRAM minicomputer,â compared to traditional microcontrollers, may be offset by the fully open architectureâhardware and firmwareâalong with more rigorous user control, reliability, transparency, and auditability of the system. SRAM logic is also particularly well suited for building arithmetic logic units, and can implement complex operations such as population count, a hash function for associative arrays, or a pseudorandom number generator with good statistical properties in as few as eight clock cycles per 36-bit word processed. 36-bit unsigned multiplication can be implemented in software in 47 instructions or fewer (188 clock cycles). A general theory is developed for fast SRAM parallel multipliers should they be needed
The influence of the basic electronic calculator on the teaching and learning of mathematics in the 11-16 age range
The electronic calculator is now invariably the device used by
people in employment and everyday life to deal with complicated
and tedious calculations. The aim of this dissertation is to
examine the effect it may have on the secondary school mathematics
curriculum and, especially, to examine its potential as
a powerful teaching aid which can be used to help pupils to
acquire understanding of mathematical concepts.
Chapter 1 investigates the contribution the basic calculator
makes as a calculating aid which should cause the teacher to
reassess the place of the standard pencil and paper algorithms
in the curriculum. Some of the fears associated with this
innovation are also discussed. The final section emphasises
the importance of knowing the idiosyncrasies of different
calculators.
Chapter 2 suggests, in some detail, ways in which the teacher
may use the calculator to enhance the understanding of certain
topics such as fractions and place value. Applications of the
calculator to everyday life problems, such as compound interest,
are also included as well as the possibility of more interesting
and enjoyable topics being introduced into the syllabus. New
methods, such as iterative procedures, are discussed and the
potential of the calculator as an aid to investigations is
ascerted.
Chapter 3 looks at the beneficial influence of the calculator
on the mathematics curriculum generally and the possible effect
on the mathematical content in particular with further suggestions
following on from Chapter 2. Some contentious issues are
considered and it is emphasised that more must be done to encourage
the effective use of the calculator and not allow it to be overshadowed
by its more 'glamorous' counterpart - the microcomputer
Fault tolerant architectures for integrated aircraft electronics systems, task 2
The architectural basis for an advanced fault tolerant on-board computer to succeed the current generation of fault tolerant computers is examined. The network error tolerant system architecture is studied with particular attention to intercluster configurations and communication protocols, and to refined reliability estimates. The diagnosis of faults, so that appropriate choices for reconfiguration can be made is discussed. The analysis relates particularly to the recognition of transient faults in a system with tasks at many levels of priority. The demand driven data-flow architecture, which appears to have possible application in fault tolerant systems is described and work investigating the feasibility of automatic generation of aircraft flight control programs from abstract specifications is reported
- âŠ