Cтраница 2
В связи с тем, что потенциал каждой узловой точки равен половине суммы потенциалов близлежащих к этой точке узловых точек ( для одномерного процесса), для реализации формул (1.38) - (1.40) достаточно использовать сумматор и инвертор. [16]
Во-первых, эффективность уточняется в алгоритмическом стиле. Во-вторых, реализация формулы содержит все же не всю подразумеваемую информацию о формуле. [17]
Основная идея полудетерминистического метода состоит в том, чтобы, пренебрегая случайной изменчивостью условного процесса накопления повреждений и изменчивостью соответствующего ресурса, включить все случайные факторы в вектор г, учитывающий свойства системы, и в вектор s, учитывающий условия нагружения. Рассмотрим два варианта реализации формулы (5.42) для этого случая. [18]
Этот метод обычно применяется для генерирования дискретных случайных величин. Обратим внимание, что реализация формулы (5.2) требует значительного машинного времени, особенно если число N достаточно велико. Вместо этого предлагается следующий метод. Пусть оеро-ятности pk заданы числами с тремя цифрами после десятичной точки, т.е. pk 0, a k а ь а Р, гдеа - цифры. [19]
Структура программы TWODD точно такая же, как TWOFS ( § А. Подпрограмма COEFF, однако, теперь используется для реализации формул (5.5.4) и (5.5.5), а незначительные дополнения в головной программе учитывают различия между программными модулями методов разрывных смещений и фиктивных нагрузок. TWODD тоже требует 42К, ( восьмеричных) оперативной памяти и подобно программе TWOFS допускает перенос. [20]
Як ( Сад AYu) № к, порядок которой равен размерности вектора обратной связи. Часто в практических задачах эта размерность равна единице и тогда реализация формул (7.47), (7.48) не требует обращения матриц. [21]
Описанный выше метод вычисления производных неприменим для некоторых типов пространственных возмущений системы. В работе В. Г. Золотухина и др. ( 1968) разработаны эффективные алгоритмы метода Монте-Карло для расчетов билинейных функционалов, входящих в формулу теории малых возмущений. Однако этот метод также не является универсальным. Автором настоящей монографии предложен простой по идее, трудоемкий, но универсальный способ реализации формул теории возмущений. Он основан на моделировании траекторий дополнительных частиц для статистической оценки функции ценности. В целях упрощения излагаемого материала этот способ приведен для случая малых возмущений. [22]
Общие принципы описания задач, соответствующих более сложным формулам, были намечены А. Точная формулировка ( к-рая стала возможной после появления математич. Реализация верного равенства fr есть фиксированная константа, напр, число 0, а ложное равенство не имеет реализаций. Используя кодирование алгоритмов числами, можно записать условие число е есть реализация формулы А в виде арифметич. Суждение Зе ( егА) ( читаемое А реализуема) может служить конструктивным разъяснением суждения А. При таком понимании закон исключенного третьего ух ( А ( х) v V - ] А ( х)) опровергается, напр. А ( х) ЗуТ ( х, х, у), где Т ( е, х, у) означает, что алгоритм ( с кодом) е заканчивает работу над аргументом х за у шагов. Приведенное определение связывает конструктивную задачу ( поиск реализации) со всяким суждением А, даже если А не содержит V, 3 - Предложенный Н. А. Шаниным алгоритм выявления конструктивной задачи не меняет формул без v 3 ( нормальных формул) и эквивалентен реализуемости в формальной интуиционистской арифметике с бескванторной индукцией. [23]