Cтраница 4
Но добросовестность или недобросовестность аудитора воле-изъявляема, а потому недобросовестность не может считаться конкретным застрахованным объектом проявления предпринимательского риска его лично или аудиторской организации. Не тот случай, поскольку любая реализация риска, проявившаяся в наступлении страхового события, должна быть свободна от волеизъявления и страховщика, и страхователя. А описанные выше риски в мировой практике справедливо трактуются как нестраховые. [46]
Пример декомпозиции отношения. [47] |
Данная декомпозиция основывается на том, что данные о сумме платежа разделяют на данные, соответствующие основной и дополнительной оплате. Если эта функциональная зависимость сохраняется для любой реализации данного отношения, то говорят, что такое отношение имеет ( 3, 3) - нормальную форму. [48]
Реализация языка на данной вычислительной машине почти всегда связана с огромной по своим масштабам работой. Подготовка, тестирование, документирование и сопровождение любой реализации языка достаточной сложности требуют затрат труда, исчисляемых в человеко-годах. Повторная реализация языка на новой вычислительной машине может привести к чрезмерному напряжению ресурсов любого вычислительного центра, и поэтому многие языки исчезают по мере того, как старые машины заменяются новыми. [49]
Аналогично целостности по холостым сбросам, формула (4.3.38) и первое равенство в (4.3.43) приводят к понятию целостности по сработке. Подмножество Uj целостно по сработке, если для любых реализаций H ( t) и B ( t) справедливо условие: дефицит в замыкающем створе приводит к дефициту во всех остальных, т.е. Dj ( t) DbAt ] D. Однако целостность по сработке совместно с (4.3.35) и (4.3.37) в общем случае не достигается. [50]
Содержательный смысл определений раскрывается словесными пояснениями. Оставаясь на чисто формальных позициях, можно считать, что любая реализация типа удовлетворяет приводимым спецификациям, если для каждого атрибута она предоставляет вычисления с аргументами указанных типов и приводит к результату указанного типа. [51]
Независимость среднего значения от и корреляционной функции от положения интервала т t2 - на оси времени позволяет считать рассматриваемый процесс стационарным. Совпадение же результатов усреднения по множеству и времени ( для любой реализации) указывает на эргодичность процесса. [52]
Несмотря на удобство приведенной эвристики для ручных выкладок, очевидно, систематическая декомпозиция формы в ПЛФ более всего подходит для автоматической компиляции. Фактически в точности такую декомпозицию должен выполнять синтаксический анализатор в любой реализации подобных выражений, и для получения предикатных преобразователей необходимы минимальные дополнительные усилия. Мы продолжаем обсуждение этого вопроса в следующем разделе, где в процессе синтаксического анализа будут также строиться циклы, соответствующие линейным функциям. [53]
Следствием условия ( 5) является то обстоятельство, что в любой реализации движения системы ни в один узел нельзя попасть более одного раза, хотя имеются узлы ( состояния), в которые система вообще не попадает. Как будет показано ниже, в задаче управления запасами свойство ( 5) часто непосредственно следует из структуры исследуемой конкретной задачи. [54]
Функции гэгут давать побочные эффекты, влияющие на результат вычисления выражения. В определении языка Фортран явно указывается, что подобного рода побочные эффекты не допускаются и что в любой реализации языка разрешается в целях оптимизации изменять порядок вычисления выражения при условии, конечно, что его древовидная структура, определяемая правилами приоритета и скобками, не будет нарушена. К сожалению, нет способов предусмотреть побочные эффекты, которые могут возникнуть во время вычисления, поскольку внешние функции компилируются отдельно. Ошибки, которые могут возникнуть из-за побочных эффектов, придется искать самому программисту. [55]