Cтраница 3
При первом же невыполнении этих ограничений давление на данной насосной станции принимают равным предельно допустимому и определяют новое значеине пропускной способности, после чего повтбряют процедуру проверки ограничений. [31]
На оптимальный технологический режим не влияет, какие параметры процесса играют роль независимых переменных; поэтому рационально выбирать их так, чтобы обеспечить наименьшую трудоемкость подготовительных этапов и возможность проверки ограничений, связанных с достижением границы полей кристаллизации. Каждой комбинации значений независимых переменных отвечает определенная совокупность управляющих параметров, которые контролируются в процессе производства ( соотношения потоков, плотность, составы растворов и др.) и используются для автоматического регулирования. [32]
Расчет гидравлических сопротивлений теплоносителю, отдающему ( БС - ДР0) и воспринимающему ( БС - ДР) тепло ( либо БС - ДРГ, БС - ДРМ), необходим в дальнейшей для расчета мощности нагнетателей, а также для проверки ограничений по гидравлическим сопротивлениям. [33]
Ограничения задают условия правильности баз данных. Проверка ограничения - процесс, с помощью которого обеспечивается правильность базы данных и предотвращается помещение неправильных данных в базу данных. В логическом программировании ограничения выражаются с помощью универсальных правил, активизируемых при модификации базы данных. В системах баз данных лишь небольшое число типовых ограничений обычно выражается на языке определения данных. [34]
Аналогично реализуются формирование, исследование, оптимизация моделей и при проектировании технологического процесса. Здесь производится проверка ограничений, связанных с материальными ресурсами, оборудованием, технологическими режимами, условиями производства. [35]
Поэтому основной целью этого этапа и является проверка непротиворечивости теоретических линейных ограничений экспериментальным данным. В результате проверки различных линейных теоретических ограничений появляется возможность уже на этом предварительном этапе отвергнуть часть предполагаемых схем. [36]
Если вариации по всем направлениям приводят только к увеличению G ( h), начальный шаг дробится и пробы повторяются в том же порядке. Предварительно перэд каждой пробой проводится проверка ограничений. Если граничные условия не удовлетворяются, проба считается неудачной и анализ целевой функции на минимум не производится. Метод формального поиска достаточно надежен, но требует большого числа проб для полученчя решения с заданной точностью. [37]
Так, проверка реализуемости плана зачастую проводится не для всех существующих в системе ограничений. Часто она заключается лишь в проверке балансовых ограничений. Это в свою очередь может привести к назначению нереализуемого плана. [38]
Математические модели конструктивных элементов по аналогии с моделями ЭМП на стадии расчетного проектирования целесообразно разрабатывать в двух вариантах: быстрые и медленные. Это объясняется тем, что многие элементы для проверки ограничений требуют выполнения большого объема расчетов. Многие из этих расчетов ведутся достаточно точно с помощью громоздких алгоритмов, использующих теоретические методы моделирования и требующих большого машиносчетного времени. Поэтому при оптимизации геометрических размеров элемента следует пользоваться упрощенными ( быстрыми) моделями, а для выбранного конечного варианта провести поверочные расчеты с помощью более точных ( медленных) моделей. [39]
Решение оптимизационной задачи состоит в последовательном выполнении ряда итераций. После итерации происходят перерасчет значений изменяемых ячеек и проверка ограничений и критериев оптимальности. Выполнение процедуры завершается, если найдено решение с приемлемой точностью или дальнейший поиск решения невозможен. Например, в случаях, когда модель сформулирована некорректно, выполнено максимально допустимое количество итераций или исчерпано предельное время решения. Можно увеличить количество выполняемых итераций, точность вычислений и время, отведенное на поиск решения, корректировкой значений, установленных по умолчанию. [40]
Математические модели конструктивных элементов по аналогии с моделями ЭМП на стадии расчетного проектирования целесообразно разрабатывать в двух вариантах: быстрые и медленные. Это объясняется тем, что многие элементы для проверки ограничений требуют выполнения большого объема расчетов. Многие из этих расчетов ведутся достаточно точно с помощью громоздких алгоритмов, использующих теоретические методы моделирования и требующих большого машиносчетного времени. Поэтому при оптимизации геометрических размеров элемента следует пользоваться упрощенными ( быстрыми) моделями, а для выбранного конечного варианта провести поверочные расчеты с помощью более точных ( медленных) моделей. [41]
Последовательность выполняемых при этом операций была изложена ранее. При ж g [ хг, х2 ] осуществляется проверка ограничений на потенциал. Если эти ограничения не выполняются, то аналогично полагаем F, ( d, q) оо. [42]
Для расчета целевой функции ж проверки ограничений был разработан алгоритм, блок-схема которого представлена на рже. Особенностью алгоритма является размещение условных операторов, связанных с проверкой ограничений ( блоки 5, 6, 16, 19, 20, 23), внутри процедуры расчета целевой функции, что позволяет выходить из этой процедуры, если еще до окончательного ее завершения одно из ограничений не выполняется. [43]
Книга не охватывает всей проблематики дедуктивных баз данных. Например, здесь не рассматривается неполнота баз данных или проблема проверки ограничений целостности. При отборе материала книги мы ограничились проблемами, от решения которых зависит эффективность доступа к большим базам данных при использовании логического программирования в качестве языка запросов. [44]
Для расчета участков с КС предусматривается использование программы Компрессор как подпрограммы в модификациях 2 и 3 в зависимости от того, ведется ли расчет КС по ходу газа или против него. Этой подпрограммой осуществляется, в частности, расчет синтезирующих параметров КС, проверка энергетических ограничений. [45]