ISSN 1991-2927
 

ACP № 1 (55) 2019

Автор: "Шамшев Алексей Борисович"

УДК 681.518


Соснин Петр Иванович, Ульяновский государственный технический университет, Доктор технических наук, профессор, окончил радиотехнический факультет Ульяновского политехнического института. Заведующий кафедрой «Вычислительная техника». Имеет статьи и монографии в области автоматизации проектирования и искусственного интеллекта. [e-mail: sosnin@ulstu.ru]П.И. Соснин,

Шамшев Алексей Борисович, Ульяновский государственный технический университет, Аспирант, окончил Ульяновский государственный технический университет. Имеет статьи и монографии в области автоматизации проектирования и искусственного интеллекта. [e-mail: alshamshev@yandex.ru]А.Б. Шамшев

Комплекс средств контроля семантики проектных задач и проектных решений21_8.pdf

Представлен комплекс средств, который обеспечивает контроль семантики, используемой и материализуемой в задачах проектирования, за счет оперативного сравнения с реальностью, стоящей за проектом автоматизированной системы (АС). Контроль осуществляется в версии, получившей название «предикатно-онтологический контроль постановок проектных задач и формулировок проектных решений». Потенциал метода предикатно-онтологического контроля способствует обнаружению семантических ошибок, управлению процессом проектирования, а также развитию онтологии проекта и нормативного естественно-профессионального языка, который следует использовать разработчикам АС. Метод предикатно-онтологического контроля реализован программно (C#, .Net 3.5, .Net Remouting) в виде набора средств, встроенных в инструментальную среду моделирования WIQA [1] в составе комплекса расширений (плагинов), обслуживающего в проектировании АС решение логико-лингвистических задач.

Автоматизированное проектирование, контроль семантики, проектные задачи, проектные решения, системная инженерия.

2010_«А

Sections: Системы автоматизации проектирования

Subjects:


© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!