Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 7)

1 х 2³¹-1.

При выполнении на машине вычислений необходимо чтобы все исходные и получающиеся в процессе вычислений данные не выходили за диапазон чисел, представимых в разрядной сетке.

Сложение и вычитание чисел с фиксированной точкой производится по правилам обычного двоичного сложения и вычитания, так как результат операции не влияет на положение точки.

Недостаток формата с фиксированной точкой (сравнительно небольшой диапазон представляемых чисел) устраняется представлением чисел в формате с плавающей точкой (floating point format), который является основным в компьютерах. Одако наряду с этой формой представления используется также и представление с фиксированной точкой для целых двоичных чисел и операций над ними, в частности операции над кодами адресов.

В формате с плавающей точкой разряды числа разбиваются на два поля, имеющие названия мантисса и порядок. Если обозначить мантиссу буквой M, а порядок - P, то величина числа X =_{M}{P}. Эта запись является двоичным эквивалентом известной формы записи десятичных чисел X=M10^+Е, например, 200=210⁺², 36000000000=3610⁺⁹. структура 16-pазpядного числа в представлении с плавающей точкой и примеры даны в таблице.

Из последнего примера видно, что всего 16 бит могут представлять очень большие числа. Но, отобрав шесть разрядов под порядок, мы уменьшили точность представления числа.

Интересной особенностью формата с плавающей точкой является возможность представления одного числа различными комбинациями значений мантиссы и порядка. Так, например, нуль в этом формате может быть записан 64 способами (мантисса равна 0, порядок принимает любое значение), другие числа могут иметь до 9 представлений, например:

32=12⁺⁵=22⁺⁴=42⁺³=82⁺⁴=162⁺¹=322⁺⁰

2560=52⁺⁹=102⁺⁸=202⁺⁷=402⁺⁶=802⁺⁵=…=12802⁺¹.

Несмотря на это, представление чисел в формате с плавающей точкой оказалось достаточно удобным для обработки на ЭВМ больших и дробных чисел, хотя при этом пришлось пойти на некоторые дополнения. Так, например, чтобы увеличить точность числа, для его представления отводят два, а иногда и четыре 16-pазpядных поля. Вообще же в вычислительных машинах используются отличающиеся друг от друга форматы с плавающей точкой, но основаны они на едином принципе представления: порядок и мантисса. Для выполнения арифметических операций над числами в формате с плавающей точкой используются точные правила, зависящие от конкретной реализации ЭВМ, но содержащие общий подход. Так, сложение и вычитание чисел с плавающей точкой сводится к выравниванию позиций точки с тем, чтобы оба числа имели одинаковый порядок, а затем производится сложение или вычитание мантисс. Для умножения и деления выравнивания позиций точек не требуется; производится лишь сложение (при умножении) или вычитание (при делении) порядков и умножение или деление мантисс.

На ЭВМ, ориентированных на выполнение большого количества операции с числами в формате с плавающей точкой, имеются специальные аппаратные средства, автоматически реализующие порядок действий при арифметических вычислениях и преобразованиях таких чисел (математические сопроцессоры).

Представление числа с плавающей точкой в общем виде имеет вид:

X= s^pq ; q  1

где q мантисса числа Х,

p – порядок,

s – основание характеристики.

Обычно число s совпадает с основанием мантиссы q. Мантисса q – правильная дробь. Порядок p, который может быть положительным или отрицательным целым числом, определяет положение запятой в числе Х. Для двоичных чисел

х = 2^pq; q  1.

Рассмотрим пример в котором слова имеют длины 32 двоичных разряда. Пусть число Х =2^pq, изображается в машине двоичным словом а₀в₀в₁ … в₆а₁а₂…. a₂₄ которому соответствует следующий формат данных:

Разряды в_0..в₆ используются для представления порядка при этом разряд в₀ изображает знак порядка, а разряды в₁.. в₆ – модуль порядка, остальные разряды а₀ .. а₂₄ отводятся под изображение мантиссы, причем а₀ – знак мантиссы а₁.. а₂₄ – модуль мантиссы. Двоичное число х= 2^pq, называется нормализованным, если мантисса Q удовлетворяет следующему условию 1  q  ½, т.е. двоичное число нормализовано если в старшем разряде мантиссы стоит 1. Под порядок отведено со знаком 7 разрядов то порядок может быть от –63 до +63 соответственно. Наибольшее и наименьшее нормализованное положительные числа в этой разрядной сетке соответственно равны:

2⁶³*0,111 … 1 = 263(1-2^-24) и

2^-63*0,1000..0=2^-64.

Следовательно с учетом знака q в этой разрядной сетке можно представить числа, лежащие в диапазоне от –2⁶³(1-2²⁴) до –2^-64 и от +2^-64 до +2⁶³(1-2^-24), что значительно превышает диапазон чисел с фиксированной точкой, представимых в том же 32^х-разрядном слове. При фиксированном количестве разрядов мантиссы любая величина, представляется в машине с наибольшей возможной точностью нормализованным числом. Если в процессе вычислений получается ненормализованное число, то машина с плавающей запятой автоматически нормализует его. Пусть r старших разрядов мантиссы равно 0. Тогда, нормализация заключатся в сдвиге мантиссы на r разрядов влево и уменьшении порядка на r единиц. При этом в младшие r разрядов мантиссы записывается 0. В последних моделях ЭВМ получило распространение представление чисел с плавающей запятой в системах счисления с основанием, равным целой степени числа 2 (S=2^w), х = s^pq(1>q1/s). При этом порядок представляется двоичным целым числом, а мантисса q – числом, в котором группы по w двоичных разрядов изображают цифры мантиссы с основанием системы счисления s=2^w. Использование для чисел с плавающей запятой недвоичного основания несколько уменьшает точность вычислений (при заданном количестве разрядом мантиссы), но позволяет увеличить диапазон представимых в машине чисел и ускорить выполнение некоторых операций, в частности нормализации, за счет того, что сдвиг может производиться на несколько разрядов сразу. В ЕС ЭВМ числа с плавающей запятой представляются в шестнадцатеричной системе счисления: х=16^pq (1>q1/16) .

Модуль порядка p изображается целым шестиразрядным двоичным числом,. а мантисса q рассматривается как число, составленное из шестнадцатеричных цифр в виде:

6

q= Г_j 16^-j (Г_j = 0,1,2 …, F)

j=1

В случае с шестнадцатеричными числами с плавающей запятой число Х считается нормализованным, если старшая шестнадцатеричная цифра Г₁ отлична от 0. В нормализованном числе три старшие двоичные цифры могут равняться 0. Диапазон представления нормализованных чисел: -16⁶³(1-16^-6) до –16^-64 и от +16^-64 до 16⁶³(1-16^-6). Для упрощения операций над порядками их сводят к действиям над целыми положительными числами, применяя представление чисел с плавающей запятой со смещенным порядком (ЕС ЭВМ). В случае чисел со смещенным порядком при записи числа в память к его порядку p прибавляется целое число – смещение N=2^k, где k – число двоичных разрядов, используемых для модуля порядка. Смещенный порядок p_см=p + N всегда положителен. Для его представления нужно такое же число разрядов как для p со знаком.

Если семи десятичных разрядов не хватает то в вводится формат двойной длины, занимающий два машинных слова (двойная точность), не меняется количество разрядов для изображения порядка, и, следовательно, сохраняется диапазон представления чисел, а длина мантиссы увеличивается до 14 шестнадцатеричных разрядов.

3.6. Прямая, обратная и дополнительная форма представления двоичных чисел в ЭВМ

В ЭВМ с целью упрощения арифметических операций применяют специальные коды для представления чисел. Например, упрощается определение знака результата операции, вычитание есть сложение кодов, облегчено определение переполнения разрядной сетки. Положительные числа представляются в прямом коде. Прямой код G_пр двоичной дроби с (n-1)–разрядной мантиссой G=0,к_1,к_{2 ….} к _n-1 определяется как G_пр = Gкогда G0 и 1+G, когда G  0 Прямой код целого n – разрядного двоичного числа G = к_n-2,k_n-3, …k₁,k₀ имеет вид G_пр=Gпри G0 и 2^n-1+G при G0. Прямой код числа со знаком можно рассматривать как двоичное число без знака , которое определяется этими соотношениями. Операция вычитания (алгебраического сложения) сводится к операции простого арифметического сложения при помощи обратного и дополнительного кодов, используемых для представления отрицательных чисел в машине. Что бы представить двоичное отрицательное число в обратном коде нужно в знаковый разряд поставить 1, а во всех других разрядах заменить 1 нулями, а 0 – единицами. При этом отрицательная двоичная дробь G^-= -0,k₁,k₂, …, k_n-1в обратном коде примет вид

G-_обр= 1,r_1,r₂, …,r_{n-1 ,}

а отрицательное двоичное число G= - k_n-2,k_n-3, …,k₁,k₀ соответственно

G-_обр= 1,r_n-2,r_n-3, …,r₁,r₀ где r_{i=0 ,} если k_i=1 и наоборот.

При представлении отрицательного двоичного числа в дополнительном коде ставят 1 в разряд знака, а цифровую часть числа заменяют дополнением модуля числа до 2 или соответственно 2ⁿ, для дробей и целых чисел. Дополнительный код отрицательного числа G- определяется выражением G-_доп=2- G-, если G- - двоичная дробь, и G-_доп = 2ⁿ - G- если G- - целое двоичное число. Таким образом, дополнительный код числа может быть получен из обратного путем прибавления 1 к младшему разряду обратного кода.

4. ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ

4.1. Алгебра логики

В алгебре логики рассматриваются переменные, которые могут принимать только два значения 0 и 1. Переменные будем обозначать латинскими буквами x,y,z…, а также x₀,x₁,…x_n, y₀,y₁,…y_n и т.д.

Отношение эквивалентности (равенства «=»), удовлетворяет следующим свойствам:

рефлексивность: x=x;

симметричность: если x=y то y=x;

транзитивность: x=y и y=z то x=z, отсюда следует принцип, если x=y, то в любой формуле, содержащей x, в место x можно подставить y, и в результате будет получена эквивалентная формула.

4.2 Логические операции

Это три операции:

дизъюнкция, операция ИЛИ, логическое сложение. Обозначают знаком V или +;

конъюнкция, опе6рация И, логическое умножение, обозначается знаком ^, или &, или *, или опускается;

отрицание, инверсия, операция НЕ, обозначается чертой над переменной, или над элементами 0 и 1, или над операциями с охватом всех переменных входящих в операцию ( );

4.3. Аксиомы алгебры логики

Характеристики

Список файлов лекций