Формальная метода

Cтраница 2

Излагая в книге формальные методы математического анализа и расчета электрических цепей и электромагнитных полей, авторы сохраняют главную традицию, идущую еще от основателя кафедры теоретических основ электротехники Ленинградского политехнического института и одного из основоположников отечественной школы теоретической электротехники академика В. Ф. Миткевича, заключающуюся в сочетании формальных методов расчета с рассмотрением физических явлений в электромагнитных устройствах. [16]

Излагая н книге формальные методы математического анализа и расчета электрических цепей и электромагнитных полей, авторы сохраняют главную традицию, идущую еще от основателя кафедры теоретических основ электротехники Ленинградского политехнического ишлитута и одного из основоположников отечественной школы теоретической электротехники академика В. Ф. Миткевича, заключающуюся в сочетании формальных методов расчета с рассмотрением физических явлений в электромагнитных устройствах. [17]

При синтезе ЭС формальным методам часто предшествуют эвристические. Соотношение эвристических и формальных методов при синтезе зависит от сложности разрабатываемого ЭУ, этапа синтеза схемы и принадлежности ЭУ к классу цифровых, линейных или нелинейных устройств. [18]

Основные этапы решения задач оперативного управления режимами функционирования МГ. [19]

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

Определение факта затененности точки. [21]

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

Эта аналогия позволяет применять формальные методы квантовой механики к решению задач квантовой электродинамики. [23]

Гипотезу эргодичности трудно проверить формальными методами, и для ее использования должны существовать какие-нибудь здравые интуитивные основания. [24]

Вид минимизируемых функционалов ( я1 при определении iy - оценок ( а. М - оценок ( о и оценок Андрюса ( в. [25]

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

Функциональная схема, которая использует формальные методы описания, такие, как символьная логика. [27]

По мнению многих специалистов, формальные методы оценки проектов можно применять в случае, когда проект не связан с большим риском. В случае долгосрочных проектов этот метод мало применим. [28]

Так как в настоящее время формальные методы описания семантики не получили достаточного развития, то для описания смысла элементов ИЯП ИСС применяется русский язык. [29]

Теория линейных графов позволяет разработать общие формальные методы получения уравнений физической системы, не зависящие от ее сложности и физической природы. Особенно важны такие методы для анализа и проектирования сложных систем, содержащих разнородные элементы и преобразователи. [30]

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