Lecture 4 Arithmetic Techniques §1. More Accurate Machine Arithmetic

نویسندگان

  • Dirk Laurie
  • Steve Fortune
چکیده

Since numerical error is the source of non-robustness, it is natural to try to improve upon the standard floating point arithmetic. Can we improve on the conventional floating point arithmetic, which has already reached a highly optimal design under the IEEE Standard? More generally, what techniques are available in the FP mode of computation? In conventional floating point systems, the number of bits allocated to the mantissa and the exponent are fixed. Matsui and Iri [21] proposed a system where these can vary. But let us look at a remarkable proposal of Clenshaw, Olver and Turner [5] called level-index arithmetic (LI). First, any non-negative real number x is assigned a unique level l(x) ∈ N defined by the property that ln(x) ∈ [0, 1), where ln(x) denotes n applications of the natural logarithm ln. The index of x defined by i(x) := ln(x). The function ψ(x) = l(x) + i(x) is called the generalized logarithm; its inverse φ(x) is the generalized exponential defined by

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ARITHMETIC-BASED FUZZY CONTROL

Fuzzy control is one of the most important parts of fuzzy theory for which several approaches exist. Mamdani uses $alpha$-cuts and builds the union of the membership functions which is called the aggregated consequence function. The resulting function is the starting point of the defuzzification process. In this article, we define a more natural way to calculate the aggregated consequence funct...

متن کامل

Lecture Notes on Virtual Substitution & Real Arithmetic

Reasoning about cyber-physical systems and hybrid systems requires understanding and handling their real arithmetic, which can be challenging, because cyber-physical systems can have complex behavior. Differential dynamic logic and its proof calculus [Pla08, Pla10, Pla12] reduce the verification of hybrid systems to real arithmetic. How arithmetic interfaces with proofs has already been discuss...

متن کامل

Lecture Notes on Proofs & Arithmetic

Lecture 8 on Events & Delays discussed and developed two models for the ping pong ball whose control was a ping pong paddle. First an event-driven controller and then a time-triggered controller. Invariants have been identified in Lecture 8 but not proved. This lecture will study proofs. This lecture discusses: • What is a proof? • How does arithmetic happen in a proof? • Arithmetic hiding to w...

متن کامل

From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types

Zeljić, A. 2017. From Machine Arithmetic to Approximations and back again. Improved SMT Methods for Numeric Data Types. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1603. 55 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-513-0162-4. Safety-critical systems, especially those found in avionics and automotive industries, rely on mach...

متن کامل

Mental Arithmetic Task Recognition Using Effective Connectivity and Hierarchical Feature Selection From EEG Signals

Introduction: Mental arithmetic analysis based on Electroencephalogram (EEG) signal for monitoring the state of the user’s brain functioning can be helpful for understanding some psychological disorders such as attention deficit hyperactivity disorder, autism spectrum disorder, or dyscalculia where the difficulty in learning or understanding the arithmetic exists. Most mental arithmetic recogni...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009