Формализация процесса направленной композиции структур систем автономного электроснабжения при проектировании [Текст] / И. В. Атанов [и др.]> // Электротехника. - 2017. - № 8. - С. 3-7 . - ISSN 0013-5860
Рубрики: Техника Проектирование Кл.слова (ненормированные): автономное электроснабжение -- системы автономного электроснабжения -- морфологические методы -- моделирование -- вычислительная техника -- логические операции -- проектная документация -- электротехнические агрегаты -- аксиоматические теории формализации Аннотация: Рассмотрен морфологический метод синтеза структур систем автономного электроснабжения, являющийся дальнейшим развитием последовательных алгоритмов. Процедура формирования вариантов структур представлена в виде блока исходной информации, а также ряда последовательно выполняемых операций по формированию кортежа электротехнических агрегатов с проверкой наложенных ограничений. Метод основан на моделировании основных правил проектирования, которыми руководствуется разработчик проектной документации. Раскрыто теоретическое содержание метода в виде исходной информации (аксиом) ; правил переработки информации; логических формул, получаемых в результате применения логических операций к исходным положениям. В качестве математической базы рекомендовано использование исчисления предикатов, позволяющих представить основные теоретические положения синтеза, как дедуктивную аксиоматическую теорию со стандартной формализацией. Показаны основные преимущества предлагаемого метода, обусловленные сокращением времени нахождения функционально-необходимых структур за счет исключения полного перебора вариантов и использования вычислительной техники. Доп.точки доступа: Атанов, И. В.; Хорольский, В. Я.; Ершов, А. Б.; Ефанов, А. В. Нет сведений об экземплярах (Источник в БД не найден) |