МГТУ им. Н.Э. Баумана. Информатика и управление. 2024.

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведе- ния агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации муль- тиагентных интеллектуальных систем, используя предварительно со- ставленную спецификацию и сформулированные на языке модальной логики условия их корректности.

Лабораторная работа по дисциплине «Распределенные информационные системы» предназначена для изучения принципов построения распределенных систем и закрепления полученных теоретических знаний на практике путем разработки проекта с использованием протокола удаленного вызова процедур JSON — RPC. Рассмотрено применение языков программирования Java и Python для создания серверной и клиентской частей приложения. Приведены теоретическая часть, порядок выполнения лабораторной работы, требования к отчету.

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

Рассмотрены требования и рекомендации по курсовому проектированию защищенных систем баз данных.

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

Приведены необходимые пояснения и рекомендации для выполнения курсовой работы по дисциплине «Основы теории управления и цифровой обработки сигналов». В рамках курсовой работы предусмотрено создание программы, выполняющей функции фильтрации и модификации звукового сигнала.

В издании описан процесс программирования промышленных роботов компании KUKA на языке программирования высокого уровня KRL. Рассмотрены устройство робота и его основных компонентов, различные системы координат робота, способы их юстировки и калибровки, особенности программирования движений робота, работа с логическими операторами, а также со схватом.

Приведены методические указания, необходимые при выполнении лабораторных работ в среде программирования Turbo Delphi. В описании каждой лабораторной работы представлены краткие теоретические сведения, примеры приложений, задания для выполнения работ по вариантам одинакового уровня сложности. Материал пособия авторы используют при проведении практических занятий в МГТУ им. Н.Э. Баумана.

Приведены краткие теоретические сведения по организации программ циклической структуры на примере алгоритмов вычисления сумм, произведений, суммы бесконечного ряда, определенного интеграла, уточнения корней уравнений. Рассмотрена организация вложенных циклов, показано решение таких задач, как вычисление определенного интеграла с заданной точностью, поиск наибольшего (наименьшего) значения функции с требуемой точностью, обработка матриц, сортировка элементов массива. Приведены примеры программной реализации изучаемых алгоритмов, задания для выполнения лабораторных работ по каждой из рассматриваемых тем. Представлены полные комплекты заданий (не менее 25 вариантов), разных по характеру, но одинакового уровня сложности.

Представлены основные теоретические сведения и практические рекомендации для выполнения лабораторной работы № 1 по сертификационным испытаниям межсетевых экранов дисциплины «Сертификационные испытания программного обеспечения». Приведены основные характеристики такого типа средств защиты информации, как межсетевые экраны. Изложены требования безопасности обращения с ними. Указаны особенности подготовки к сертификационным испытаниям межсетевых экранов, их проведения и оформления полученных результатов.

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

Представлены методические указания по организации самостоятельной работы студентов при проведении учебной практики по разработке распределенных систем обработки информации. Даны рекомендации по выбору и использованию методологии и технологии программной инженерии для разработки распределенных систем обработки информации. Сформулированы основные этапы учебной практики и требования к оформлению отчета по итогам практики.

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

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

Учебно-методическое пособие предназначено для подготовки к семинарским занятиям в рамках изучения курса «Политологические основы информационной безопасности» по специальности 10.05.07 «Противодействие техническим разведкам». Изложены рекомендации и примерное наполнение семинарских занятий, приведены вопросы для обсуждения материала лекционного курса дисциплины «Политологические основы информационной безопасности».

Рассмотрены основы проектирования микрополосковых устройств СВЧ с помощью пакета программ Microwave Office 2009 производства компании Applied Wave Research. На примере балансных смесителей описаны основные операции, которые необходимо выполнить при проектировании электрической принципиальной схемы устройства, создании его топологии, расчете и оптимизации рабочих параметров.

Приведены варианты задания по проектированию синхронного счетчика mod7 с произвольным порядком счета для использования в автомате управления технологическим процессом и пример поэтапного выполнения расчета и последующего моделирования его функционирования в программной среде NI Multisim 10.1. Дана последовательность сборки схем и проведения моделирования в виртуальной лаборатории. Практические занятия выполняются с целью закрепления теоретических знаний и приобретения навыков работы в программной среде моделирования цифровых устройств Multisim 10.1 по дисциплине «Электротехника и электроника».

Приведены сведения о применении современных технологий, в первую очередь географических информационных систем (ГИС) и систем виртуального окружения, для пространственно-временного моделирования объекта. Рассмотрены вопросы, связанные с анализом данных дистанционного зондирования, а также стереовидеосъемки.

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

Изложены вопросы программирования и конфигурирования промышленных сетей Modbus, Modbus Plus, Ethernet и др. Для студентов, изучающих курсы «Управление в технических системах», «Основы автоматики и системы автоматического управления», «Проектирование интегрированных систем управления производственными процессами», «Управляющие ЭВМ и комплексы», «Алгоритмическое и программное обеспечение систем управления». Настоящее издание будет полезным также для научных работников, инженеров, аспирантов и студентов старших курсов технических университетов.

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

Приведены подробные сведения по использованию программных средств обработки результатов инженерных расчетов. Рассмотрены возможности и описания функций интерфейса программных средств Ansys CFX и Abaqus. Описаны методы визуализации результатов расчетов на примерах высокоуровневых библиотек Avango и Open Inventor. Приведены подробные примеры использования указанных средств разработки.

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

Рассмотрены вопросы проектирования АСУ ТП как с методологических позиций, так и с позиций их практической реализации. Материал изложен на примере отечественного программно-технического комплекса Контар (KONTAR).

Изложены краткие сведения по структурированным типам данных языка Object Pascal (строки, множества, записи, файлы). Излагаемый материал проиллюстрирован примерами решения задач в консольном приложении среды Delphi. Для каждого типа данных приведены задания для самостоятельной работы студентов.

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

В методических указаниях содержится описание лабораторных работ по изучению архитектуры и особенностей программирования современных однокристальных ЭВМ. Приведен исчерпывающий теоретический материал, по каждой теме даны примеры программ, способствующие самостоятельному освоению предмета.

Рассмотрены вопросы представления числовой информации в позиционных системах счисления. На основе битовой логики описаны алгоритмы преобразования целых и вещественных чисел, на конкретных примерах приведена их программная реализация.

Рассмотрены вопросы, связанные с использованием методов и средств автоматической и автоматизированной настройки систем управления. Изложены вопросы автоматизации настройки ПИД-регуляторов как с методологической зрения, так и с точки зрения их практической реализации. Значительное внимание уделено существующим пакетам прикладных программ, реализующим оптимальную настройку: Concept, Unity Pro, Трейс Моуд и др.

Рассмотрены средства проектирования основных объектов баз данных на основе системы управления базами данных Access. Описаны альтернативные способы построения таблиц, запросов, форм, отчетов, макросов в среде Access. Даны рекомендации по использованию средств проектирования баз данных в процессе решения реальных задач. Содержание учебного пособия соответствует разделу курса лекций, которые авторы читают в МГТУ им. Н.Э. Баумана, а также лабораторным и курсовым работам.