Различные измерения времени.

Рассмотрим понятие, введённое психологом Джоном Страудом в работе «Тонкая структура психологического времени».

Дж. Страуд определил «момент» как время, требуемое человеческому мозгу на выполнение наиболее элементарного различения. Он обнаружил, что в течение всего времени бодрствования человек воспринимает эти «моменты» со скоростью от 5 до 20 раз в секунду. Обозначим через S число «страудовских моментов» в секунду. Тогда можно записать интервал 5в сек. В дальнейшем S будем называть числом Страуда.

Естественно, что программист, занимающийся реализацией алгоритма, способен в зависимости от степени своей сосредоточенности отвлечь какую-то часть мыслительных различений на посторонние предметы. Пользуясь терминологий вычислительной техники, можно сказать, что если он находится “в режиме разделения времени“, то S представляет собой лишь верхнюю границу. С другой стороны, если программист выполняет эквивалент машинной операции, «запретить все прерывания» и сосредоточивает внимание на программировании, то применимо действительное значение S.

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

Уравнение (2) имеет размерность двоичных разрядов или различений. Для того, что бы перевести его в единицы времени разделим обе его части на число различений в единицу времени S. В результате получим:

= . (4)

Символ “^” здесь указывает на то, что с помощью этого уравнения вычисляется приближённое, а не наблюдаемое время программирования.

Если в уравнение (4) подставить выведенное Холстедом выражения основных параметров V и L, то будет получено выражение вида:

= , (5)

где N – длина реализации алгоритма, заключающаяся в N –кратном выборе из словаря, состоящего из элементов;

N– общее число некоторых счетных элементов программы, например операндов;

– число единых (или отдельных) элементов в программе, например операндов (т.е. количество параметров по порядку).

Часто в таком выводе подразумевается, что все программы совершенны и не имеют недостатков, характеризуемых соответствующим описанием.

Подставим в уравнение (5) вместо N значение как уравнение длины реализации алгоритма:

= ,

где – число единых (или отдельных) элементов в программе, например операторов (т.е. количество данных параметров по порядку).

В результате приходим к выражению:

. (6)

В выражении (6), за исключением числа Страуда S, все параметры в правой части доступны непосредственному измерению для любой реализации алгоритма. Значение S выбирается из приведенного выше интервала значений.