Cтраница 1
Построение реализации К и доказывает независимость аксиомы параллельности. [1]
Рассмотрим простейший метод построения реализации минимальной размерности. [2]
Но при многократном повторении процедуры построения реализаций доверительного интервала для некоторых реализаций это утверждение может оказаться ошибочным. [3]
Но при многократном повторении процедуры построения реализаций доверительной области для некоторых реализаций такое утверждение может быть ошибочным. [4]
Но при многократном повторении процедуры построения реализации доверительной области для некоторых реализаций такое утверждение может быть ошибочным. [5]
Определяются основные положения методологии, лежащей в основе процедур построения абстрактной реализации Калмана-Месаровича для динамических систем с уравнениями состояния в классе линейных автономных обыкновенных-дифференциальных уравнений в бесконечномерном ненормируемом пространстве Фреше. В этом контексте интерпретируются ключевые подходы к решению классических вопросов теории реализации применительно ( в классе смешанных задач) к линейным диссипативным моделям нормально-гиперболического типа. [6]
Эти понятия являются вспомогательными при исследовании способа, которым группу можно сузить при построении реализации. Пусть преобразование Т ( а) заданного точечного многообразия на себя соответствует элементу а абстрактной группы g в рассматриваемой реализации. [7]
Таким образом, интерпретация реализации доверительного интервала должна быть следующей: Измеряемая величина х находится в пределах интервала If ( z) z tpaz. Но при многократных повторениях процедуры построения реализаций доверительного интервала такое утверждение для некоторых реализаций может быть ошибочным. [8]
Несмотря на то, что изложенный выше прием построения минимальной частичной реализации приводит к уравнениям состояния с сосредоточенными параметрами, он может быть положен в основу синтеза функционального оператора динамической системы с распределенными параметами. С этой целью распределенная в пространстве ФХС представляется в виде совокупности конечного числа подсистем с сосредоточенными параметрами. [9]
Процесс, заданный в форме (6.78), является недифференцируемым, что может вызвать затруднения при оценке показателей риска по математическому ожиданию числа редких выбросов. Кроме того, первая форма задания процесса имеет то преимущество, что этот процесс можно трактовать как результат прохождения нормального белого шума через линейный фильтр второго порядка с постоянными коэффициентами. Это облегчает построение реализаций искусственных акселерограмм путем моделирования на ЭВМ. [10]
Пусть S - какое-нибудь проективное преобразование, переводящее круг х2 уг в себя. Оно переводит точку ( 0 0) в некоторую точку А, полупрямую х 0, у0 - в полупрямую а и полуплоскость у 0 - в некоторую полуплоскость а. А как показано при построении реализации К в § 5 гл. [11]
В данной главе приводятся алгоритмы решения двух ( двумерных по аргументу) задач дискретного программирования ( назначения и коммивояжера) с помощью метода, изложенного в гл. Выбор этих задач не случаен. Как правило, вновь создаваемые общие схемы в дискретном программировании тестируются на рассматриваемых в главе задачах. Рассматривается задача назначения с подробным изложением математической постановки задачи, с построением реализации элементарной операции, конкретизацией последней для задачи, приводящей к точному алгоритму решением модельного примера. Предлагаемый алгоритм решения задачи назначения наиболее близок к алгоритмам венгерской группы, отличаясь от него нетривиальными особенностями. По такой же схеме рассматривается и используется задача коммивояжера с получением точного алгоритма решения этой задачи. Как показывает сравнение с существующими точными алгоритмами решения этой задачи, рассматриваемый алгоритм наиболее близок к алгоритму Балаша - Кристофидеса - наиболее эффективному на сегодняшний день алгоритму решения задачи коммивояжера с асимметричной матрицей расстояний. Так, в частности, с помощью последнего алгоритма к настоящему времени решены задачи размерностей до 325 городов. [12]
Построение заключалось в том, что мы указали систему объектов, условно назвав их точками и прямыми, и систему отношений между ними, для которых выполняются все утверждения, содержащиеся в аксиомах евклидовой геометрии. Вывод, что эти утверждения действительно верны, мы сделали на основании соответствующих теорем, относящихся к теории вещественных чисел. А так как эти теоремы в конечном счете выводятся из аксиом арифметики, то мы можем гарантировать построение декартовой реализации только при условии непротиворечивости системы аксиом арифметики. Таким образом, мы получаем решение вопроса о непротиворечивости системы аксиом евклидовой геометрии в следующей форме. [13]
Этот пример демонстрирует отличие от обычного механизма вызова процедур в языках программирования, отмеченное ранее при обсуждении предиката between. Если мы задаем значения некоторых параметров, то система часто может построить значения остальных. Этот прием срабатывает не всегда, но в общем случае проходит для структур данных. Если, например, мы написали программу на Прологе, проверяющую выполнение некоторого условия путем выбора компонент данной структуры, то эту же программу на Прологе обычно можно использовать и для построения реализаций этой структуры, удовлетворя - юших рассматриваемому условию. [14]