Формальная запись

Cтраница 3

Для более детализированной формальной постановки рассматриваемой задачи ( в частности, формальной записи минимизируемой целевой функции) дополнительно введем еще ряд обозначений. [31]

Такое предложение, как 3 xVy ( x y y), есть формальная запись высказывания: Существует число х, такое, что для всех чисел у х - - у у. Это предложение фактически истинно в ЛР. [32]

Чем шире набор системных команд процессора, тем сложнее его архитектура, тем длиннее формальная запись команды ( в байтах), тем выше средняя продолжительность исполнения одной команды, измеренная в тактах работы процессора. Так, система команд процессоров Intel Pentium в настоящее время насчитывает порядка тысячи различных команд. При этом команды имеют длину от 8 до 120 бит. [33]

Уравнение ( 67) для п 2 может быть сведено к уравнению Бесселя, формальная запись решения которого при заданных граничных условиях не представляет трудностей. Однако практическая реализация счета по формулам этого решения, тем более когда имеются попутные стоки и источники, не представляется нам возможной. Поэтому мы полагаем, что полученные приближенные уравнения ( 66) в общем случае должны решаться на основе метода математического моделирования. Тогда решение получается эффективно вне зависимости от числа попутных стоков и источников благодаря, возможности использования принципа суперпозиции решений. [34]

Распространим использованную процедуру на задачу ( IV-4) - ( IV-5), получим формальную запись алгоритма динамического программирования. [35]

Заметим, что при реализации алгоритма IV после вычисления функции Ytl ] ( 0 уже известна формальная запись периодического решения у ( t) nep. На последующих шагах лишь уточняются последовательность / j lk ], векторы у5 [ & ] уо 1 1, входящие параметрически в решение системы уравнений движения машинного агрегата. [36]

Для построения утверждения 1 Р, противоположного утверждению Р, применяют правило Де Моргана: если в формальной записи утверждения Р содержатся символы Я, V и условие В, то для построения утверждения - ] Р в утверждении Р символ Я заменяют символом V, символ V - символом Я и условие В - условием - ] В. [37]

Заметим, что если с х - сингулярная матрица, то замкнутые выражения следует понимать лишь как формальную запись бесконечных рядов. Очевидно, что последние имеют характер всюду сходящихся рядов. [38]

Башкирэнерго ( Дбэ) Принцип определения дохода в обоих случаях подобен предыдущим, но есть особенности, которые рассмотрим после формальной записи функционалов. [39]

Три варианта анализа рисков при структурном подходе. [40]

Выбирают систему, которая имеет наибольшее количество свойств, а другой ( другим) системе, имеющей меньшее количество свойств, добавляют так называемые пустые или нуль-свойства, не изменяющие описание системы с содержательной стороны, но меняющие ее формальную запись. [41]

Многочлены от многих переменных. Формальная запись его элементов подсказывает, как и в случае п 1, необходимость введения в обиход кольца многочленов от п переменных. [42]

Многочлены от многих переменных. Формальная запись его элементов подсказывает, как и в случае п 1, необходимость введения в обиход кольца многочленов от п переменных. [43]

Обсудим изложенные задачи линейного целочисленного программирования. Формальная запись каждой из них отличается от обычных задач линейного программирования лишь дополнительными ограничениями на значения переменных, откуда и происходит название этих задач. [44]

При работе с алгоритмами часто используется понятие оператора. Под оператором понимается формальная запись предписания для выполнения действия или последовательности действий, заданных алгоритмом. [45]

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