Метод - формализация
Cтраница 2
В книге предпринята попытка дать систематическое изложение методов формализации и алгоритмизации задач синтеза информационного обеспечения АСУ, его отдельных подсистем и элементов. Основное содержание книги составляют разработанные авторами модели и методы, позволяющие типизировать, формализовать и автоматизировать в конечном итоге процесс проектирования системы информационного обеспечения АСУ. [16]
Метод аксиоматики находится в тесной связи с методом формализации. Характерным для метода формализации является замена высказывания об изучаемом объекте или системе на естественном языке специализированными научными символами на языке науки. Образ такого высказывания называется формулой. [17]
Рассмотренная математическая модель магнитной цепи является наглядной демонстрацией методов формализации и алгоритмизации объективных взаимосвязей и их идентификации. [18]
Впервые в отечественной литературе предприняты попытки дать систематическое изложение методов формализации и автоматизации синтеза АСУ. [19]
Еще одним вспомогательным средством программирования, позволяющим отказаться от использования методов формализации и обеспечивающим минимизацию ошибок на начальном этапе программирования, являются так называемые таблицы принятия решений. [20]
Предложенная в рамках данного направления неклассическая концепция структурной идентификации нацеливает исследователей на разработку методов формализации процесса перехода от содержательной постановки прикладной задачи к ее адекватному математическому аналогу на основе постановки и решения математических задач предварительного выбора. При этом главная творческая задача видится в том, чтобы сделать возможным применение математического аппарата там, где он до сих пор не применялся или применялся несистемно, эпизодически, иррационально. Ввиду этого исключительное значение для фундаментальной науки имеют такие области исследования, как разработка концептуальных основ теории управления, особенно тематики системных и общесистемных закономерностей функционирования глобальных систем; разработка методов построения нормативных схем структурной идентификации; разработка методов идентификации организационных и социально-экономических систем. Имеются веские основания считать, что развитие всех направлений теории идентификации позволит в полном объеме технически реализовать концепцию адаптивных систем с идентификатором, разработанную Н.С. Райбманом и ведущими сотрудниками его лаборатории. [21]
Связь качественного описания поведения параметров технологических процессов и нечетко определенных характеристик с числовыми системами лежит в основе методов формализации нечетких терминов. Дальнейшую переработку качественной информации выполняют, применяя математические методы, основанные на теории обычных множеств [14] и нечетких множеств [7,8,11, 18], которые обеспечивают решение задачи по переработке формализованной информации. Метод нечетких множеств в отличие от подхода обычных множеств позволяет оперировать более гибкой информацией. [22]
Методы математической логики в решении доказательных задач, логической систематизации теснейшим образом связаны с аксиоматическим методом и методом формализации. Такая исходная связь позволяет проводить строгое доказательство путем последовательного применения тех или иных логических средств к определенным исходным положениям и создавать математические системы, выражающие логические отношения понятий, свободные от неясностей их толкования. [23]
На разработку математической модели каждого блока переработки информации оказывают влияние следующие три основных фактора: уровень развития математической теории и методов формализации процессов; возможности технических средств автоматизации; реальные ресурсы труда и времени, имеющиеся для разработки подсистемы специального математического обеспечения управления. [24]
Характерными особенностями организации разработок являются: централизация руководства программами; единство научного подхода и методологической основы разработок всех частей ( подсистем и задач) АСУ всех уровней и назначений; использование методов формализации и стандартизации, координации. [25]
При сложной кинематике и наличии нескольких механизмов синтез структурной схемы автоматического управления ПТМ может представлять некоторые трудности. Ниже предлагается метод формализации синтеза структурных схем автоматического управления ПТМ. [26]
 |
Распределение температур в поверхностном слое стекломассы под шихтой и варочной пеной. [27] |
Вторым этапом решения задачи является оценка поля температур в расплаве стекла варочного бассейна печи при заданных граничных условиях. Решение задачи выполняется отдельно для каждого продольного сечения методом формализации качественной информации с учетом зависимости коэффициента эффективной теплопроводности стекломассы от температуры, так как результаты моделирования поля температур без учета этой зависимости существенно расходятся с экспериментальными данными. [28]
Что же касается науки, то в ней эти термины наполнены иным содержанием. Они характеризуют определенный подход к исследованию различных объектов, известный под названием метода формализации. [29]
Разработка формализованных моделей и методов оптимального синтеза программного и информационного обеспечения модульных систем обработки данных в автоматизированных информационно-управляющих системах, автоматизация проектирования оптимальных по заданным критериям систем обработки данных на этапе технического проектирования значительно повышают эффективность и качество создаваемых систем, сокращают сроки разработки и внедрения систем в эксплуатацию на 30 - 50 % по сравнению с традиционным проектированием. Большие масштабы работ по созданию и внедрению автоматизированных информационно-управляющих систем в различных областях народного хозяйства и в то же время отсутствие теоретических основ, моделей и методов формализации и автоматизации разработки оптимальных модульных систем обработки данных ( СОД) обусловливают актуальность предлагаемой работы, основной целью которой является создание теоретических основ, формализованных моделей и методов анализа и синтеза оптимальных модульных систем обработки данных в автоматизированных информационно-управляющих системах ( АИУС) различного класса и назначения. [30]
Страницы: 1 2 3