Cтраница 1
Исследование разрешимости получающихся в результате аппроксимации систем алгебраических уравнений здесь проведено не будет. [1]
При исследования принципиальной разрешимости необходимо установить, имеются ли среди средств и методов научной области, в терминах которой построена модель, такие, что при их использовании возможно получение результата. Если принципиально невозможно получить решение таким образом, необходимо вернуться к этапу формализации задачи или даже к более ранним этапам проработки, ибо в этом случае модель не удовлетворяет требованию дедуктивно-сти. Выбор метода решения занимает принципиальное место в общей схеме проработки задачи и зависит прежде всего от того, детерминированной или стохастической является модель изучаемой системы. [2]
Схема исследования разрешимости уравнений в Rv похожа на схему изучения задачи Дирихле ( § 5.1 - § 5.3), поэтому изложим эти результаты кратко. [3]
При исследовании принципиальной разрешимости необходимо установить, имеются ли среди средств и методов научной области, в терминах которой построена модель, такие, при использовании которых возможно получение результата. Если принципиально невозможно получить решение задачи таким образом, необходимо вернуться к этапу формализации задачи или даже к более ранним этапам решения, так как в этом случае модель не удовлетворяет требованию дедуктивности. Выбор метода решения имеет принципиальное значение в общей схеме решения задачи и зависит прежде всего от того, детерминированной или стохастической является модель рассматриваемой системы. [4]
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ. [5]
В этой главе исследование разрешимости классической задачи Дирихле для квазилинейных уравнений сводится к установлению некоторых априорных оценок решений. Такое сведение осуществляется с помощью топологических теорем о неподвижной точке в подходящих функциональных пространствах. Сначала мы сформулируем общий критерий разрешимости и проиллюстрируем его применение в ситуации, в которой нами уже были получены требующиеся априорные оценки. [6]
В настоящее время ведутся исследования разрешимости таких основных задач, как достижимость. В частности, одна из областей, в которых рассматриваются вопросы разрешимости, - это теория формальных языков. [7]
Мы покажем, что исследование разрешимости задачи Дирихле для уравнения ( 83) непосредственно связано с изучением обратимости этого отображения. [8]
J Оказывается, что исследование разрешимости уравнения ( - n) ( t) ( - t в, пространстве СС. [9]
В этом приложении рассмотрены современные методы исследования разрешимости нелинейных краевых задач, которые приводят к множественности решений, их неустойчивости, эффектам бистабильности. [10]
Таким образом, дело сводится к исследованию разрешимости интегрального уравнения Фредгольма, правая часть которого содержит некоторое число произвольных параметров. [11]
В дальнейшем мы получим весьма мощное средство для исследования разрешимости и устойчивости решений систем, определяемых непрерывными отображениями. [12]
В последнее время были получены новые результаты по исследованию алгоритмической разрешимости проблемы эквивалентности автоматов относительно полугрупп. [13]
Резольвента Лагранжа была позднее использована Галуа в работах по исследованию разрешимости алгебраических уравнений с помощью теории групп, которые произвели подлинный переворот в науке. [14]
Доказательство справедливости теорем Фредгольма для уравнений (2.21), а также исследование разрешимости будет дано в следующем параграфе. [15]