Проектирование цифровых систем - все книги по дисциплине. Издательство Лань

Учебное пособие содержит основные принципы и методы верификации и тестирования моделей искусственного интеллекта. В нем подробно рассматриваются ключевые аспекты, такие как разработка тестовых наборов данных, методы оценки производительности и точности моделей, а также подходы к выявлению и устранению ошибок. Также обсуждаются вопросы интерпретируемости моделей, что особенно актуально в контексте применения ИИ в критически важных областях.
Кроме того, пособие включает практические рекомендации по внедрению верификации и тестирования в процесс разработки, что помогает обеспечить высокое качество и надежность моделей. Авторы приводят примеры реальных кейсов и анализируют подходы к верификации в различных областях, таких как медицина, финансы и автономные системы.
Может быть использовано в качестве учебного пособия для студентов средних профессиональных учреждений, обучающихся по специальностям направления подготовки «Информационная безопасность» и «Информатика и вычислительная техника».

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

Данное пособие является комплексным ресурсом для тех, кто стремится освоить микросервисную архитектуру, обеспечивающую создание масштабируемых и надежных систем в современном IT-мире.
Отдельные фрагменты из учебного пособия подготовлены с использованием технологии искусственного интеллекта.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.

Изложены подходы к построению и исследованию моделей беспроводных сетей простейшей структурной организации. Дается общее представление о методах и приемах работы в среде OMNeT++ фреймворка INET для решения этих задач. Рассмотрены примеры моделей сетей с учетом мобильности узлов сети, их способности к динамической маршрутизации, а также возможности учета энергопотребления каждым из узлов сети в зависимости от его режима работы. Приведены краткие сведения о протоколах доступа к среде передачи данных в Wi Fi сетях и способах моделирования этих процессов при различных моделях распространения сигналов. Большое число примеров и заданий направлено на привитие устойчивых навыков по формированию моделей беспроводных сетей и исследованию их работы.
Предназначено для студентов средних профессиональных учреждений, обучающихся по специальностям направлений подготовки «Информационная безопасность» и «Информатика и вычислительная техника». Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.

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

В учебном пособии представлены состав и структура современных ПЛИС архитектур CPLD и FPGA. Рассмотрены методы описания цифровых устройств, реализуемых на ПЛИС: схемотехнический, на языке VHDL, на языках программирования высокого уровня. На конкретных примерах рассмотрены этапы проектирования устройств на ПЛИС: исходное описание и моделирование проектируемого устройства; синтез; наложение ограничений; реализация; временной анализ; формирование файла конфигурации.
Учебное пособие предназначено для студентов бакалавриата, обучающихся по направлению «Информатика и вычислительная техника», а также студентов других направлений и специальностей, изучающих микросхемы программируемой логики.

Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, дается обзор тестирования Web-приложений с помощью Selenium. Также в качестве ознакомления рассматривается технология контрактного программирования с .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer. Для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Пособие предназначено для студентов СПО, обучающихся по специальности «Информационные системы» и другим смежным специальностям СПО, а также для самостоятельного обучения

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

Практикум содержит теоретические положения и практические указания по проектированию информационных систем с использованием технологии автоматизированного проектирования. Основное внимание уделено методическим основам структурно параметрического подхода и его реализации средствами AllFusion ERwin Process Modeler и AllFusion Erwin Data Modeler.
Практикум соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.
Практикум предназначен для студентов образовательных учреждений среднего профессионального образования, а также специалистов по информационным системам.

Лабораторный практикум содержит теоретические основы и практические рекомендации по решению задач управления проектной деятельностью, рассматриваются модели управления, позволяющие комплексно ставить и решать проектные задачи. Основное внимание уделено формированию навыков применения современных информационных технологий в процессе управления проектами: рассмотрены основы планирования, текущего контроля и координации проектов информационных систем средствами Microsoft Project.
Практикум соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.
Практикум предназначен для студентов образовательных учреждений среднего профессионального образования, а также специалистов по информационным системам.