Cтраница 1
Корректность решения при произвольном сочетании параметров доказана, по мнению авторов, результатами сопоставления данных аналитического и численного решений. Однако численное решение ( также для пленочной модели) получено только для ограниченного диапазона изменения определяющих параметров; в частности, сравнение проводили только для случая, когда концентрации абсорбируемого компонента и продуктов реакции в основной массе жидкости равны нулю. [1]
Циклы главных деформаций е. е2 резины в слоях покрышек. [2] |
Корректность решения задачи о внутреннем источнике тепла в этом случае зависит от метода и теории для определения Е и Е ( о методах см. [4]), а также от задания соответствующего режима эксплуатационного нагружения. Импульсный режим может быть характеризован суммой гармоник ( см. гл. [3]
Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. [4]
Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. В этих методах вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проектного решения с некоторым эталоном методами, развиваемыми в теории дедуктивных систем. [5]
В связи с этим возникают вопросы корректности решения поставленной задачи, построения для этого наиболее целесообразного алгоритма, разработки для его реализации соответствующих логико-математических схем и составления программы, позволяющей объединить в определенной последовательности все элементарные арифметические и логические действия принятого алгоритма. [6]
Тестирование функциональных групп программ предназначено для проверки корректности решения крупных автономных функциональных задач КП. Проверяется правильность управляющих и информационных связей между модулями, а также корректность вычислений в процессе обработки информации. Значительно возрастают сложность тестируемых объектов и соответственно объем тестов. Вследствие этого возрастают требования к автоматизации тестирования и затраты на его выполнение. Детерминированным тестированием проверяются структура групп программ и основные маршруты обработки информации. В ряде случаев результаты получаются методами стохастического тестирования. Эти методы пока слабо формализованы, и их применение в значительной степени зависит от конкретных функций тестируемой группы программ. [7]
Сравнение спектральной ширины функций входа и аппаратной функции подтверждает корректность решения. [8]
Неравенства ( 25) и ( 26) являются условиями физической корректности решения задачи. [9]
Аппарат интегральных уравнений позволяет сравнительно просто дать ответ на вопрос о корректности решения в зависимости от краевых условий, поскольку представление решения интегральных уравнений через резольвенту ( фиксированную функцию, так как поверхность считается неизменной) сводит задачу к задаче об изменении интеграла в связи с изменением подынтегральной функции. Не составляет труда показать, что в этом случае имеет место корректность решения. Тогда и сами потенциалы, определяемые решением интегрального уравнения, будут меняться незначительно. [10]
Аппа рат интегральных уравнений позволяет сравнительно просто дать ответ на вопрос о корректности решения в зависимости от краевых условий, поскольку представление решения интегральных уравнений через резольвенту ( фиксированную функцию, так как поверхность считается неизменной) сводит задачу к задаче об изменении интеграла в связи с изменением подынтегральной функции. Не составляет труда показать, что в этом случае имеет место корректность решения. Тогда и сами потенциалы, определяемые решением интегрального уравнения, будут меняться незначительно. [11]
Результаты сравнения показали также, что сопло ( рис. 4.3) принадлежит области корректности решения прямой задачи сопла Лаваля, которая в какой-то мере адекватна физической задаче получения потока газа с данными параметрами и степенью равномерности. [12]
Линейка с вакуумными шлюзами для периодической загрузки партий подложек. [13] |
Независимо от принципа откачки или способа шлюзования практическая ценность системы определяется в основном корректностью решения конструкторских и технологических проблем. Методы автоматического контроля параметров процессов напыления обсуждались также в разд. [14]
Во избежание неустойчивости в нахождении функциональных зависимостей необходимо применять регуляризирующие алгоритмы [83, 95], обеспечивающие корректность решения обратной задачи определения ОФП. Как известно, одним из эффективных способов регуляризации является параметризация искомых функций. [15]