В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов)...
ISBN: 978-5-9710-3937-2
Издательство:
Ленанд
Дата выхода: апрель 2017
Учебное пособие является вводным курсом к изучению основ геометрического моделирования для 3D-печати с применением языка программирования OpenSCAD и построено на основе описаний инструкций по созданию примитивов, определению их свойств, проведению трансформаций и других сервисных операций. Содержит большое число примеров с подробными комментариями и описанием выполняемых действий, что позволяет...
ISBN: 978-5-16-021246-3
Издательство:
Инфра-М
Дата выхода: июль 2025
Рассмотрены основные понятия и определения системных исследований и моделирования систем. Подробно представлены методология построения моделей, задачи математического моделирования (детерминированного, стохастического и адаптивного управления и задачи оценки и идентификации), имитационное моделирование, начиная с изучения объекта и подбора методов воспроизведения входных воздействий и...
ISBN: 978-5-8114-1886-2
Издательство:
Лань
Дата выхода: сентябрь 2015
Учебное пособие посвящено моделированию Интернета, который был диковинкой для большинства из нас еще каких-то 15 лет назад. Сейчас мы ежедневно пользуемся ресурсами Интернета - поиском, электронной почтой, блогами и др. Сеть динамично развивается, растет и усложняется, а потому рядовому пользователю может казаться, что в Интернете царит полный хаос. Однако в реальности все устроено намного интереснее. ...
ISBN: 978-5-91559-260-4
Издательство:
Интеллект
Дата выхода: февраль 2019
Рассматриваются вопросы моделирования систем автоматического регулирования. Предназначено для студентов направления подготовки 15.03.04 "Автоматизация технологических процессов и производств" и других инженерно-технических направлений подготовки, а также магистров и аспирантов по специальности 15.04.04 "Автоматизация технологических процессов и производств". Также будет полезна студентам, аспирантам,...
ISBN: 978-5-16-019422-6
Издательство:
Инфра-М
Дата выхода: ноябрь 2023
Монография имеет целью ознакомление научно-педагогических работников с возможностями применения теории нечетких множеств и нечеткой логики для решения различных задач исследования операций, теории графов и теории игр, реализуемых в процессе принятия решений в организационных и технических системах управления. Работа может оказаться полезной для студентов, аспирантов, научных сотрудников и лиц,...
ISBN: 978-5-507-47841-5
Издательство:
Лань
Дата выхода: август 2023
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого...
ISBN: 978-5-9912-0787-4
Издательство:
Горячая линия - Телеком
Дата выхода: февраль 2019
В настоящем курсе рассматривается набор методик решения задач, которые часто решают инженеры и проектировщики различных электронных систем. Р ассматриваются задачи моделирования сигналов, систем и измерительных комплексов, а также подключением различных аппаратных устройств к компьютеру. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего...
ISBN: 9785534136814
Издательство:
Юрайт
Дата выхода: январь 2021
Благодаров А. В., Пылькин А. Н., Скуднев Д. М., Шибанов А. П.
Рассмотрены вопросы автоматизации проектирования локальных сетей Ethernet. Предложено решение задачи имитационного моделирования работы сети Ethernet с заданной структурой с целью выявления ее производительности. Рассмотрена проблема синтеза оптимальной по стоимости структуры сети Ethernet и ее решение с помощью генетических алгоритмов. Для специалистов в области проектирования компьютерных сетей, будет...
ISBN: 978-5-9912-0184-1
Издательство:
Горячая линия - Телеком
Дата выхода: январь 2014
Учебное пособие является вводным курсом к изучению основ геометрического моделирования для 3D-печати с применением языка программирования «OpenSCAD» и построено на основе описаний инструкций по созданию примитивов, определению их свойств, проведению трансформаций и других сервисных операций. Содержит большое число примеров с подробными комментариями и описанием выполняемых действий, что позволяет...
ISBN: 978-5-16-016162-4
Издательство:
Инфра-М
Дата выхода: июнь 2020
Учебное пособие посвящено проблеме построения оригинальных численных методов решения задачи Коши для жестких режимов событийно-непрерывных систем. Особое внимание уделяется контролю точности вычислений и устойчивости численной схемы, а также созданию алгоритмов интегрирования переменного порядка, шага и адаптивного алгоритма с контролем жесткости. Подробно рассматривается методология...
ISBN: 978-5-8114-3523-4
Издательство:
Лань
Дата выхода: апрель 2019
В пособии приведены этапы идентификации статических и динамических объектов, объектов с распределенными и сосредоточенными параметрами. Пособие содержит подробные примеры в Matlab, может быть полезно при проведении лабораторных работ по курсу «Моделирование систем и процессов» с применением моделирующих программ. Соответствует современным требованиям Федерального государственного образовательного...
ISBN: 978-5-507-45760-1
Издательство:
Лань
Дата выхода: февраль 2023
В книге детально рассмотрен интерфейс программы Femap, в том числе средства построения геометрической модели и автоматизированного создания конечно-элементных сеток. Большое внимание уделено описанию библиотеки конечных элементов, способам задания внешних воздействий и граничных условий. Эффективная работа с подобной программой требует, кроме знания интерфейса, также обширных знаний в предметной...
ISBN: 978-5-97060-421-2
Издательство:
ДМК Пресс
Дата выхода: июнь 2016
Представлен минимальный базовый теоретический материал по моделированию бизнес-процессов. Основную часть пособия занимают три практикума по аналитическому моделированию процессов с использованием популярных, признанных мировым сообществом нотаций BPMN, EPC, IDEF0 c помощью современных программных продуктов Bizagi Modeler, ARIS Express, Visio. Соответствует ФГОС ВО последнего поколения. Для студентов бакалавриата,...
ISBN: 978-5-406-11869-6
Издательство:
КноРус
Дата выхода: май 2023
На основе структурно-информационного анализа систематизированы организационные и технологические структуры поверочной деятельности по контролю признаков качества программных изделий. Даны основные определения, касающиеся задачи оценки качества программного обеспечения. Предложены методы и направления совершенствования моделей и алгоритмов контроля качества программных изделий при разработке...
ISBN: 978-5-9912-0815-4
Издательство:
Горячая линия - Телеком
Дата выхода: август 2019
В этом руководстве всесторонне освещается ра-бота в AutoCAD 2021 - системе автоматического проектирования, предназначенной для облегчения и автоматизации процесса разработки изделий.От описания базовых операций - начиная с уста-новки программы, настройки параметров чертежа и построения простейших объектов - автор книги постепенно переходит к рассмотрению более сложных тем: изменению объектов и их свойств,...
ISBN: 978-5-97060-941-5
Издательство:
ДМК Пресс
Дата выхода: апрель 2021
Книга содержит основные сведения по математическому моделированию мехатронных модулей движения, краткое описание используемого программного обеспечения SimInTech и элементы проектирования электромеханических модулей движения в его среде. Пособие предназначено для студентов технических вузов и факультетов, а также может быть рекомендовано аспирантам, научно-техническим работникам и конструкторам...
ISBN: 978-5-97060-693-3
Издательство:
ДМК Пресс
Дата выхода: сентябрь 2020
В пособии изложены разделы регрессионного анализа и планирования эксперимента производственных процессов, оптимизации процесса управления итеративными методами и линейного программирования, организация систем массового обслуживания и замены оборудования, принципы системного анализа и синтеза многосвязных систем управления, а также методы теории оптимального управления по переходному режиму....
ISBN: 978-5-8114-8770-7
Издательство:
Лань
Дата выхода: октябрь 2021
Дается систематическое изложение моделей представления данных и знаний, в том числе рассматриваются классические модели баз данных и модели баз данных NoSQL. Рассматриваются классические модели представления знаний (семантические сети, фреймы, четкие и нечеткие продукционные системы, логические модели), а также современные модели: дескриптивная логика и онтологии, сверточные нейронные сети. Описываются...
ISBN: 978-5-8114-3675-0
Издательство:
Лань
Дата выхода: июнь 2019
Рассматриваются основные положения моделирования бизнес-процессов, используемые для решения экономических задач управления и планирования, рассматриваются различные аспекты экономико-математического моделирования в деятельности предприятий АПК. Материалы учебного пособия способствуют формированию у студентов компетенций, определенных в Федеральном государственном стандарте высшего...
ISBN: 978-5-507-44528-8
Издательство:
Лань
Дата выхода: июнь 2022
В разговорах о технологиях постоянно упоминаются контейнеры, микросервисы и распределенные системы, однако большинство приложений по-прежнему работают на базе монолитных архитектур, основанных на традиционных процессах разработки. Давайте поближе познакомимся с хорошо зарекомендовавшими себя моделями на основе Java и разберемся, как перенести эти монолитные приложения в будущее. Опираясь на...
ISBN: 978-5-4461-2002-4
Издательство:
Питер
Дата выхода: июнь 2023
Книга дает наглядные практические советы по сохранению анонимности в Интернете, а также предотвращению утечки конфиденциальных данных для пользователей мобильных телефонов, ноутбуков, настольных компьютеров и планшетных устройств. Рассмотрены способы предотвратить “слежку” за пользователем со стороны различных веб-сайтов и сервисов. Даны рекомендации по настройкам популярных ОС. Приводится...
ISBN: 978-5-9775-1198-8
Издательство:
BHV-СПб
Дата выхода: январь 2023
Мониторинг PostgreSQL составляет важную часть работы администратора, помогая отвечать на многие вопросы, связанные с производительностью. Эта книга всесторонне охватывает обширную тему мониторинга, соединяя в себе справочные материалы об инструментарии, практические приемы его использования и способы интерпретации полученных данных. Знание внутреннего устройства PostgreSQL и особенностей...
ISBN: 978-5-907754-42-3
Издательство:
ДМК Пресс
Дата выхода: апрель 2024
