Несовместность

Cтраница 2

При каждом обнаружении несовместности осуществляется анализ возможной ее причины. Далее по признаку несовместности в справочном массиве К14М определяется, была ли уже зафиксирована несовместность при данном решении задачи. Если несовместность встретилась впервые, то в массиве К14М фиксируется признак несовместности, в массиве К7М устанавливается значение типа процедуры решения, соответствующее поиску оптимальной траектории от начала горизонта планирования к его концу, и управление передается на модуль К5 для нового построения системы ограничений, интегрирования информации и повторного решения основной задачи оперативно-календарного планирования в соответствии с новой процедурой. [16]

Рассмотрим предварительное диагностирование несовместностей на примере схемы, представленной на рис. 6.3. В результате крекирования керосино-гайзолевой фракции ( КГФ) на установках КК-1 и КК-2 вырабатываются флегма, дестабильный мотобензин ( ДМБ), жирный газ, авиабензин. В результате каталитической очистки ( КО) и газофракционирования ( ГФ) вырабатывается пропан-пропиленовая ( ППФ), бутан - бутиленовая ( ББФ) фракции, сухой газ, стабильный авиабензин ( САБ), бензин с октановым числом 80 и флегма. Стабильный авиабензин поступает в блок компаундирования автобензинов. [17]

Как мы знаем, несовместность равносильна противоречивости, а вывод противоречия по определению может использовать лишь конечное число формул. [18]

Сингулярные изопараметрические элементы третьего ( а и.| Специальный сингулярный элемент с вершиной трещины. [19]

Недостатком таких элементов является несовместность перемещений при их стыковке с обычными элементами, имеющими полиномиальные интерполирующие функции. [20]

Случай отсутствия решения соответствует несовместности системы ограничения линейного программирования на некотором шаге решения задачи. Такая несовместность может возникнуть в процессе решения задачи даже при совместной исходной полной системе ограничений, что является следствием принятого приближенного метода оперативно-календарного планирования. Тем не менее, и в случае несовместности требуется отыскать какое-либо решение, обеспечивающее не слишком большое отклонение от месячного плана. Если программа линейного программирования фиксирует несовместность системы, то номера искусственных переменных, не исключенных - из базиса в момент фиксации несовместности, выводятся в массив К18М, и управление передается на модуль К9 для расшифровки причины несовместности и организации дальнейших вычислений. Функционирование подсистемы при обнаружении несовместности будет рассмотрено далее, здесь же остановимся на нормальном течении процесса оперативно-календарного планирования. [21]

Если имеют место уравнения несовместности ( IV. Это физически объясняется также тем, что инородная материя, характеризуемая тензором г), определяет дополнительное поле некоторого тензора деформаций. В этом случае увеличивается количество функциональных степеней свободы сплошной среды. Вместо трех степеней, определяемых компонентами вектора смещений, среда получает шесть степеней свободы, определяемых компонентами тензора деформаций в трехмерном пространстве. Введение четвертого измерения также подлежит отдельному рассмотрению. [22]

Помимо экспериментальных ошибок причиной несовместности системы (3.1) может быть также приближенный характер аппроксимации данной величины у линейной формой. [23]

Разработана процедура предварительного автоматического диагностирования несовместностей [122], основанная на методах распознавания образов, которая применяется при решении задачи оптимизации производственной программы НЛП. [24]

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

Тензор т ] называется тензором несовместности деформаций. Этот тензор является мерой невыполнения условий сплошности среды. [26]

Неудовлетворимые цикличности иногда указывают на действительную несовместность допу щений той программы, которая использует систему поддержания истинности, и такая несовместность может быть провозглашена, например, в том случае, когда далекое обратное прослеживание исключило все другие возможности. Текущая версия TMS не обрабатывает Неудовлетворимые цикличности ( система зацикливается), поскольку для увеличения эффективности программы в нормальных случаях я удалил проверку наличия таких цикличностей, которая иногда обходится довольно дорого. В более живучей реализации такая проверка могла бы быть восстановлена. Более подробно эта проблема обсуждается при описании шага 5 в разд. [27]

Все сказанное выше относительно неопределенности и несовместности системы остается в силе и в данном случае. [28]

После конечного числа ШМЖИ либо установим несовместность системы (2.15), либо получим опорное решение ( таблица не содержит отрицательных свободных членов), приравняв нулю все у, оказавшиеся наверху таблицы. [29]

Использующая TMS программа может указать на несовместность допущений, представленных принадлежащими текущему множеству допущений вершинами, используя эти вершины в качестве аргумента для новой вершины, которая помечается как противоречие. Затем этот процесс делает запись о несовместности полученного множества предположений и использует эту запись для изменения одного из предположений. После этого изменения противоречивая вершина более не допускается. Этот процесс будет разъяснен в разд. [30]

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