Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению “умозрительных” экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте.
Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.
В третьей части монографии представлена практическая реализация теоретических исследований в виде комплекса алгоритмов и программ для автоматизации этапов поискового и эскизного проектирования. Использование программного комплекса позволило получить новые технические решения, подтвержденные патентами.
Предназначена для научных и инженерно-технических работников, занимающихся проектированием датчиков, преподавателей, аспирантов и студентов технических вузов.
В ходе исторического развития экономик различных стран мира наиболее
интенсивное развитие получил потребительский рынок. Потребительский рынок на сегодняшний день является сферой непосредственного экономического воздействия на человека и фактором политической стабильности в обществе. Немаловажную роль в успешном развитии экономики России играет розничная торговля.
Российский рынок розничной торговли является в настоящее время одним из крупнейших в Европе. По данным Росстата, оборот розничной торговли в 2013 году составил 23,7 трлн руб. Российский розничный рынок на протяжении последних лет демонстрирует высокую динамику роста и инвестиционную привлекательность
В монографии рассмотрены принципы формирования структуры и описание математических моделей объектов автоматизации технологических процессов пневмотранспортироваия и пневмодозирования, разработаны методологические их принципы построения, требования к структуре, критериальным функциям и необходимым функциональным связям систем автоматизации. Это наиболее значимый момент постановки самой проблемы и выбранных методов исследования. Специфической особенностью процессов пневматической транспортировки порошкообразных и сыпучих материалов с использованием различных средств загрузки является их быстротечность, не позволяющая эффективно поддерживать режим устойчивого транспортирования аэросмеси с помощью традиционных систем регулирования по отклонению. Поэтому исследования, выполненные в монографии и связанные с решением задачи управления процессом устойчивого пневмотранспортирования с использованием оптимальных по быстродействию автоматических систем регулирования с учетом ограничений на мощность вентиляторной установки, являются актуальными. Полученные в монографии результаты являются базой для научно обоснованного проектирования систем комплексной автоматизации сложных технологических структур и выбора оптимальных параметров локальных систем автоматики в схемах пневмодозирования сыпучих и мелкодисперсных строительных материалов. Монография будет полезна для научных и инженерно-технических работников, занимающихся изучением методов и средств строительного производства, а также студентов старших курсов, бакалавров, магистров и аспирантов, специализирующихся в области управления строительными технологиями.
Содержит краткую характеристику расчетных модулей системы SolidWorks. Отмечены особенности применения различных инструментов SolidWorks. Приведены примеры исследования процессов в механизмах различного уровня сложности. Предназначено для магистрантов очной формы обучения
Основной целью освоения дисциплины является формирование совокупности теоретических знаний и практических навыков в области оценке надежности технических систем и осуществлению мероприятий по её повышению. Методическое пособие формирует способность к принятию организационно-управленческих решений и готовность нести за них ответственность, а также использованию основных законов естественнонаучных дисциплин в профессиональной деятельности, применение методов математического анализа и моделирования, а также навыкам разработки и использования графической технической документации в соответствии с формируемыми компетенциями. Основные понятия и определения теории надежности. Структура и понятие надежности и технических систем, основные свойства надежности и их параметры. Сбор и обработка опытной информации о работоспособности технических систем при эксплуатации. Основные закономерности изнашивания объектов, классификация отказов. Изучение методов статистической обработки информации при управлении качеством продукции. Математическая обработка опытной информации. Графические методы обработки информации. Конструктивные, технологические и эксплуатационные мероприятия повышения надёжности.
Рассматриваются различные способы оценки эффективности циклов холодильных машин на примере циклов парокомпрессионных холодильных машин, получивших в настоящее время наибольшее распространение. Пособие в основном предназначено для бакалавров направлений «Технология пищевых производств», «Химическая технология и биотехнология», «Технологические машины и оборудование», может быть полезным студентам других направлений и специальностей.
Излагаются: основные положения информационных CALS-технологий сквозной поддержки сложной наукоемкой продукции; методологии структурного моделирования; разработки функциональной модели предметной области в Design/IDEF; использования методологии SADT для планирования научно-исследовательских работ. Даны методические указания к выполнению лабораторных работ. Предназначено для студентов вузов, обучающихся по направлению магистерской подготовки 150900.68 - Конструкторско-технологическое обеспечение машиностроительных производств, по магистерской программе «Системы автоматизированной поддержки инженерных решений в машиностроении».
Дается характеристика, и подробно рассматриваются отдельные виды композиционных материалов. Приведены свойства некоторых КМ и области их применения. Предназначено для студентов, обучающихся по направлениям 23.05.01 «Наземные транспортные системы» и 22.03.01 «Материаловедение и техно-логии материалов».
Рассмотрены современные методы планирования, организации и управления перевозками грузов автомобильным транспортом. Большое внимание уделено современному состоянию организации работы автомобильного транспорта и перспективным направлениям его развития. Предназначено для бакалавров направления подготовки 190700.62 -«Технология транспортных процессов», магистров и аспирантов вузов, обучающихся по специальности «Организация перевозок и управление на транспорте». Может использоваться специалистами автомобильного транспорта в их практической деятельности и в целях повышения квалификации.
