Приведены результаты разработки и исследования стенда магнитной локации.

В работе предложен метод построения таксономии онтологии предметной области, ориентированный на автоматизацию процесса с максимальным использованием знаний эксперта и основанный на двух подходах – методе анализа формальных понятий и методе задания бинарных отношений на множестве атрибутов.

Изучается динамическая система, которая описывает движение механических систем с качением, или колесных систем (КС). КС относится к классу неголономных механических систем. Исследование ограничивается кинематическими моделями. В работе получено решение важного частного случая, когда требуется стабилизировать движение системы вдоль заданной плоской кривой. Показано, что замкнутая система является стабилизируемой по существу в целом. Это будет также верно, если дополнительно учитываются возмущения - погрешности измерения состояния колесной системы.

В работе показано как поэтапно создать программу контроллера с помощью СД2С2 моделирования для оборудования с дискретным поведением. Кратко изложим суть этапов: • На первом этапе объект формализуется в виде коллекции независимых КА моделирующих неуправляемое поведение объекта, язык этих автоматов структурируется на управляемые и ожидаемые события. • На втором этапе создается спецификация, которая задается в виде последовательности команд на объект управления. • На третьем этапе проверяется совместимость модели объекта и спецификации, полученные данные являются основой для синтеза управляющего КА – супервизора. • На четвертом этапе осуществляется переход от алфавита системных событий к алфавиту целевой платформы ПЛК. • На пятом этапе супервизор переносится в ПЛК. Учет структурных особенностей технологического объекта позволяет на этапе верификации отказаться традиционной процедуры параллельной композиции, и задать спецификацию более компактно. Что в свою очередь позволяет гарантированно синтезировать программу ПЛК меньшими затратами.

Предложена систематизация когнитивных карт и методов их анализа. В качестве систематизирующих признаков выбраны: метод экспертного измерения значений факторов и силы причинно-следственного отношения между факторами метод интерпретации значений факторов и силы влияния между ними методы анализа когнитивной карты. В результате систематизации когнитивных карт были выделены 12 различных типов когнитивных карт. Рассмотрены существующие методы анализа различных типов когнитивных карт.