Любая реализация - Большая Энциклопедия Нефти и Газа, статья, страница 4
Вы молоды только раз, но незрелым можете оставаться вечно. Законы Мерфи (еще...)

Любая реализация

Cтраница 4


Но добросовестность или недобросовестность аудитора воле-изъявляема, а потому недобросовестность не может считаться конкретным застрахованным объектом проявления предпринимательского риска его лично или аудиторской организации. Не тот случай, поскольку любая реализация риска, проявившаяся в наступлении страхового события, должна быть свободна от волеизъявления и страховщика, и страхователя. А описанные выше риски в мировой практике справедливо трактуются как нестраховые.  [46]

47 Пример декомпозиции отношения. [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]



Страницы:      1    2    3    4