Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=аксиоматические теории формализации<.>)

Общее количество найденных документов : 1

Формализация процесса направленной композиции структур систем автономного электроснабжения при проектировании [Текст] / И. В. Атанов [и др.] // Электротехника. - 2017. - № 8. - С. 3-7 . - ISSN 0013-5860

УДК

^a62.001.63

ББК 30.2
Рубрики: Техника
Проектирование
Кл.слова (ненормированные):
автономное электроснабжение -- системы автономного электроснабжения -- морфологические методы -- моделирование -- вычислительная техника -- логические операции -- проектная документация -- электротехнические агрегаты -- аксиоматические теории формализации
Аннотация: Рассмотрен морфологический метод синтеза структур систем автономного электроснабжения, являющийся дальнейшим развитием последовательных алгоритмов. Процедура формирования вариантов структур представлена в виде блока исходной информации, а также ряда последовательно выполняемых операций по формированию кортежа электротехнических агрегатов с проверкой наложенных ограничений. Метод основан на моделировании основных правил проектирования, которыми руководствуется разработчик проектной документации. Раскрыто теоретическое содержание метода в виде исходной информации (аксиом) ; правил переработки информации; логических формул, получаемых в результате применения логических операций к исходным положениям. В качестве математической базы рекомендовано использование исчисления предикатов, позволяющих представить основные теоретические положения синтеза, как дедуктивную аксиоматическую теорию со стандартной формализацией. Показаны основные преимущества предлагаемого метода, обусловленные сокращением времени нахождения функционально-необходимых структур за счет исключения полного перебора вариантов и использования вычислительной техники.

Доп.точки доступа:
Атанов, И. В.; Хорольский, В. Я.; Ершов, А. Б.; Ефанов, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

Статистика за 02.08.2024
Число запросов	58321
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)