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

Cтраница 1

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

Формальные методы при этом выступают как способы обработки результатов опроса экспертов, позволяющие систематизировать всю полученную информацию, снизить неопределенность при оценке возможных предпринимательских рисков. [2]

Формальные методы и модели в определенной степени утратили свою популярность в 80 - е годы. Однако это не означало отказ от них, а выразилось в том, что сегодня методы стратегического анализа применяют с большей осторожностью, с учетом конкретных обстоятельств. [3]

Формальные методы хорошо подходят при работе на стабильных рынках высокостандартизированной продукции. [4]

Формальные методы обычно базируются на анализе топологии ( структуры системы), концептуальные - на функциональных характеристиках в тех или иных аспектах. [5]

Здесь формальные методы оказываются бессильными, основная работа ложится на самого принимающего решение. Таким образом, требуется дальнейшее развитие и совершенствование предложенного подхода. [6]

Формальные метод ы применяют для получения ММ систем при известных математических моделях элементов. [7]

Существуют формальные методы преобразования графов. Практически, однако, они не нашли заметного распространения. Основными инструментами системного проектирования по-прежнему являются опыт и интуиция конструктора. Рассмотренный выше процесс системного проектирования АСУ Метрология практически не заканчивается в один прием. [8]

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

Функциональная схема комбинационного последовательного сумматора.| Функциональная схема сумматора на элементах И. ИЛИ. НЕ. [10]

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

Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE, разработанные в Международной организации стандартов. Третий метод представлен языком ОСА ( описание сетевых архитектур) и предназначается для проектирования и реализации протоколов в MB К Эльбрус. Описание трех указанных языков сопровождается рассмотрением модели расширенного конечного автомата и исчисления взаимодействующих систем, на которых базируются эти языки. Для пояснения работы основных языковых конструкций используются многочисленные примеры. Дается сравнительный анализ и определяется область применимости каждого метода. Приводятся спецификации различными методами транспортного протокола и протокола АВР. [12]

К формальным методам синтеза функциональных операторов ФХС относятся методы построения математического описания объекта в условиях, когда наблюдению доступны только входные и выходные сигналы объекта и отсутствует всякая априорная информация о его внутренней структуре. Если некоторые априорные сведения о системе существуют, но ограничены по объему, или когда реальная система настолько сложна, что даже, располагая априорной информацией о состоянии ее элементов, практически невозможно связать эту информацию с поведением системы в целом, то формальные методы синтеза операторов ФХС становятся единственно возможным средством ее описания. [13]

Необходимость в формальных методах возникла лишь несколько лет назад. Начало систематического технологического прогнозирования может быть отнесено к 1950 г., хотя первые прогнозы появились в 1945 г. Более широкий интерес к специальным методам впервые стал ощущаться десятью годами позже, в 1960 г., хотя первые опыты в этом направлении были начаты в конце 1950 - х гг. Ныне, в середине 1960 - х гг., заметен интерес к более сложным многоуровневым методам и интегрированным моделям, поддающимся программированию для электронно-вычислительных машин. Первые экспериментальные идеи относительно интеграции моделей технологического прогнозирования в будущие системы информационной технологии представлены в неформализованном виде. [14]

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

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