Исследована сложная доменная структура в магнитной плёнке с наклонной анизотропией

Рассматривается проблема учета влияния человеческого фактора на обеспечение безопасности и эффективности функционирования крупных автоматизированных объектов. Анализируются причины ошибок человека-оператора, особенно существенных в режимах отклонения от нормального функционирования.

Рассмотрена организация работы диспетчерской службы такси с применением современных технологий: глобальной спутниковой навигации, технологии распознавания речи, электронных платежных систем.

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

Рассматриваются современные возможности для создания и использования онтологий, в том числе, средства представления данных с помощью RDF-модели и OWL DL, построение стандартных и расширенных запросов. Приводится обоснование и практическое применение современного инструментария для разработки онтологии в среде Protege