Семиотическая модель как формализм для автоматизации процессов проектирования изотермических резервуаров и верификации принимаемых проектных решений
В статье проанализирован семиотический подход к автоматизации проектирования изотермических резервуаров. Рассмотрены характеристики предметной области проектирования. Введено понятие семиотической модели как средства описания предметной области. Описана гипотеза автоматизации решения проектных задач и средства ее реализации. Формально определена процедура автоматизации поиска проектных решений для каждого класса разрешимых в семиотической модели задач. Описана процедура автоматизации проектирования изотермических резервуаров средствами семиотического моделирования.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Исследования акустического
канала для передачи забойной технологической информации
// Автоматизация, телемеханизация и связь в нефтяной
промышленности. <...> LITERATURA
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
УДК 681.5:621.642.2
СЕМИОТИЧЕСКАЯ МОДЕЛЬ КАК ФОРМАЛИЗМ ДЛЯ АВТОМАТИЗАЦИИ
ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ИЗОТЕРМИЧЕСКИХ РЕЗЕРВУАРОВ
И ВЕРИФИКАЦИИ ПРИНИМАЕМЫХ ПРОЕКТНЫХ РЕШЕНИЙ
(1ЗАО "ВНИИСТ-Нефтегазпроект", 2ООО "Трансэнергострой")
Введение
А.А. <...> Многообразием математических описаний закономерностей
предметной области и методов,
Автоматизация, телемеханизация и связь в нефтяной промышленности 4/2014
7
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
используемых для решения проектных задач в
предметной области в рамках множества моделей
знаний. <...> Отсутствием интегрированной среды для организации
решения проектных задач и верификации
по заданным критериям результатов – проектных
решений. <...> В статье рассматривается модельный подход, базирующийся
на понятии семиотической модели, позволяющий
построить программную мультимодельную
среду и средства автоматизации решений задач
[1–3]. <...> Семиотическую модель в данной статье будем
представлять в виде сети. <...> За один такт работы семиотическая модель в зависимости
от состояния процессов в некоторой активной
на данный момент вершине либо останавливается в
том же состоянии (в рамках той же формальной системы),
что и ранее, либо перейдет в новое состояние. <...> Модельная гипотеза автоматизации
решения проектных задач и средства ее
реализации
Модельная гипотеза решения проектных задач
трактуется как последовательность следующих шагов: <...> а) задание на проектирование (описание начальной
ситуации или постановка задачи проектирования); <...> в)
поиск в семиотической модели знаний гомоморфного
отображения из "а" в "б"; <...> Шаги "в", "г", "д" реализуются средствами автоматизации
процессов поиска решения проектной задачи
– решателем задач в семиотической модели. <...> Модельная <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: