Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 241


нормализованная дробь), порядок - целое число между -4*B и +4*B.

Таким образом, с каждой спецификацией D связывается конечный набор вещественных модельных чисел. При этом фиксируется не только количество цифр в мантиссе, но и максимальный порядок. В нашем случае он равен

               27 * 4 = 108.

[Чем больше порядок, тем "реже" встречаются модельные числа - точность представления относительна.]

Таким образом, в нашем случае в качестве безопасных чисел могут фигурировать, скажем, числа, представимые 27-разрядной мантиссой и семиразрядным порядком (2**7 = 128 > 108), а в качестве допустимых - с 40-разрядной мантиссой и 7-разрядным порядком. Так что для представления такого диапазона допустимых чисел подойдет, скажем, 48-разрядное машинное слово.

[Уточнить диапазон и точность при объявлении производного типа, числового подтипа или объекта можно, как обычно, с помощью ограничения. Например,

type высота is new скорость range 0.0 .. 1.0E5 ;

(высота может меняться от нуля до десяти тысяч).

subtype высота_здания is высота range 0.0 .. 1.0E3 ;

высота_полета : высота digits 5 ;

(для переменной высота_полета допустима меньшая точность, чем указано в типе "высота").]

 

4.15.6. Управление операциями

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

Модельным интервалом называется любой интервал между модельными числами. С каждым допустимым числом ассоциируется так называемый связанный модельный интервал - это минимальный модельный интервал, к которому принадлежит рассматриваемое число (для модельных чисел связанным интервалом считается само модельное число).

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




- Начало -  - Назад -  - Вперед -