Вид документа : Статья из журнала Шифр издания : Автор(ы) : Башлыков, Александр Александрович (кандидат технических наук; доцент), Рахманин, Артем Игоревич Заглавие : Семиотическая модель как формализм для автоматизации процессов проектирования изотермических резервуаров и верификации принимаемых проектных решений Серия: Математическое моделирование и программное обеспечение Место публикации : Автоматизация, телемеханизация и связь в нефтяной промышленности. - 2014. - № 4. - С.7-14: 4 рис. (Шифр А55/2014/4) Примечания : Библиогр.: с. 14 (13 назв. ) УДК : 681.5 + 622.276 ББК : 32.81 + 33.36 Предметные рубрики: Радиоэлектроника Кибернетика Горное дело Разработка нефтяных и газовых месторождений Ключевые слова (''Своб.индексиров.''): автоматизация процессов--верификация данных--изотермические резервуары--интеллектуальные решатели задач--логические модели знаний--модели предметной области--программное обеспечение--семиотическое моделирование--субд--системы управления базами данных--субз--системы управления базами знаний--трубопроводный транспорт Аннотация: В статье проанализирован семиотический подход к автоматизации проектирования изотермических резервуаров. Рассмотрены характеристики предметной области проектирования. Введено понятие семиотической модели как средства описания предметной области. Описана гипотеза автоматизации решения проектных задач и средства ее реализации. Формально определена процедура автоматизации поиска проектных решений для каждого класса разрешимых в семиотической модели задач. Описана процедура автоматизации проектирования изотермических резервуаров средствами семиотического моделирования. Держатели документа: Тюменская ОНБ : ул. Орджоникидзе, 59 Доп. точки доступа: Рахманин, Артем Игоревич