Название: Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Автор: Mohammad Reza Heidari Iman
Издательство: Springer
Год: 2025
Страниц: 103
Язык: английский
Формат: pdf (true), epub
Размер: 16.3 MB

This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of these systems. By focusing on advanced verification and security verification methods, the author addresses the critical need to detect and prevent potential bugs, errors, and vulnerabilities such as Hardware Trojans in embedded systems. With an emphasis on innovative approaches to assertion-based verification, this book provides valuable insights for engineers, researchers, and professionals dedicated to enhancing the functional verification, security, and trustworthiness of critical technological systems. The methods described in this book address key shortcomings in current automatic assertion miners used for assertion-based verification, such as long execution times, excessive and redundant assertion generation, and inconsistency among generated assertions. Additionally, novel techniques are introduced for security verification, including a security-based assertion miner for RISC-V processors and ADAssure for debugging and bug localization in autonomous driving control algorithms of autonomous vehicles.

Название: Mac User Manual - 25th Edition 2025
Автор: Papercut
Издательство: Papercut
Год выхода: 2025
Страниц: 148
Формат: PDF
Размер: 92,1 MB
Язык: английский

Полное руководство Mac покажет вам все, что вам нужно знать о вашем настольном компьютере или ноутбуке Mac. Если вы еще не приобрели свой Mac, мы покажем вам различия между различными моделями. Затем мы проведем вас через процесс настройки, включая выход в Интернет и настройку электронной почты, а затем покажем вам основные функции и расширенные возможности всех основных предустановленных приложений Mac. Мы также покажем вам, как использовать операционную систему, с помощью обучающих программ по Finder, Dock, уведомлениям, Siri и многому другому. 100% неофициально.

Название: Схемотехника усилительных устройств
Автор: Перепелкин Д. А.
Издательство: Горячая линия-Телеком
Год: 2020 - 2-е изд., испр. и перераб.
Cтраниц: 240
Формат: pdf
Размер: 44 мб
Язык: русский

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

Название: Радиолокационные методы селекции движущихся целей
Автор: Бакулев П.А.
Издательство: Оборонгиз
Год издания: 1958
Количество страниц: 103
Язык: русский
Формат: DjVu, PDF
Размер: 22,06 Мб

В учебном пособии излагаются основные радиолокационные методы селекции движущихся целей (СДЦ) и их применение в системах селекции движущихся целей. Дается характеристика сигналов движущихся и неподвижных целей и мешающих сигналов. Рассматриваются способы компенсации сигналов неподвижных объектов. Дается анализ особенностей работы различных систем СДЦ и рассматриваются различные факторы, влияющие на качество работы устройств селекции, а также способы повышения качества селекции в радиолокаторах СДЦ.

Название: Основы конструирования и технологии производства электронных и электрических средств автоматизации
Автор: Бабаянц С.С., Семенков Е.А.
Издательство: Высшая школа
Год издания: 1977
Количество страниц: 266
Язык: русский
Формат: DjVu
Размер: 10,11 Мб

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

Название: Радиопомехи
Автор: Перфилов О. Ю.
Издательство: Горячая линия-Телеком
Год: 2017
Формат: pdf
Размер: 22 мб
Язык: русский

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

Название: Основы нелинейной радиотехники
Автор: Асеев Б.П.
Издательство: Связьиздат
Год издания: 1943
Количество страниц: 190
Язык: русский
Формат: DjVu
Размер: 10,29 Мб

Настоящий труд представляет собой обработанные лекции по одному из разделов "Основ теории радиотехники", читанные автором в Московском институте инженеров связи.
Цель данной книги - привлечь внимание инженерно-технических работников к основным вопросам нелинейной радиотехники.

Название: Arduino VIII: Portenta Machine Control
Автор: Steven F. Barrett
Издательство: Springer
Год: 2026
Страниц: 344
Язык: английский
Формат: pdf (true)
Размер: 26.6 MB

This book is about the Arduino microcontroller and the Arduino concept. This book, “Arduino VIII: Portenta Machine Control,” is an accessible primer on industrial control and programmable logic controller concepts for those without a deep instrumentation background. The Portenta Machine Control (PMC) is designed as an industrial control for equipment and machines. It couples a powerful dual processor microcontroller with industrial grade inputs and outputs. It also is equipped with a rich complement of onboard systems. An understanding of basic circuit theory is an appropriate prerequisite for the book. The three main goals for the book are: explore accessible Arduino Portenta Machine Control industrial control products; learn the fundamentals of programming using ladder logic; and explore related sensors and interface concepts. We use multiple examples throughout the book and conclude with an instrumented greenhouse project.

Название: Experimental Methodology for Human–Robot Interaction: Guidelines and Case Studies for Human-Centred and Ethical Robotics Research
Автор: Leimin Tian, Tina L.Y. Wu, Nicole L. Robinson, Pamela Carreno-Medrano, Wesley P. Chan, Maram Sakr, Elahe Abdi, Elizabeth A. Croft, Dana Kulić
Издательство: CRC Press
Год: 2025
Страниц: 333
Язык: английский
Формат: pdf (true), epub
Размер: 28.8 MB

Leading figures in Australian robotics research provide an overview and guidance for human–robot interaction (HRI) experimental design and evaluation methodologies that consider the ethical implications of the research and its applications from a human-centred and contextual perspective. The authors explain introductory and advanced topics in HRI with a focus on human-centred evaluation and ethical practices. They also provide an online interactive checklist tool for novice HRI researchers and students to deploy when designing their own studies. The book is structured into three parts. In Part I, the authors first review fundamental methodologies and provide an interactive checklist tool of the HRI experimental study life cycle to guide beginners to the field. Part II introduces an expanded set of approaches to support researchers and practitioners to create high-quality study designs that draw on practices from human-computer interaction, human-centred Artificial Intelligence, psychology and social science, and advance ethical HRI research. Finally, in Part III, the authors discuss a selection of HRI studies as examples of how the introduced methodologies are adopted, which will support the readers to further understand the fundamental and advanced methodologies described in Parts I and II.

Название: Robotics: From Theory to Practice
Автор: Chao Chen, Wesley Au, Shao Liu
Издательство: CRC Press
Год: 2025
Страниц: 459
Язык: английский
Формат: pdf (true), epub
Размер: 75.1 MB

Robotics: From Theory to Practice introduces robotic theories and technologies to audiences, including university students, professionals with engineering backgrounds, and even high-school students interested in building their own robots. We aim to bridge the gap between classic theories and real-world applications of robotic manipulators, which, to date, have far exceeded the domain of conventional industry. The contents are divided into three parts. The first two cover classic theories of robotics, including kinematics, dynamics, path planning, control, and programming. Specifically, Part I is an introduction targeting junior students, featuring more simplistic topics and examples. Part II provides the senior students and professionals with more in-depth discussions on critical topics and more comprehensive examples. In Part III, we demonstrate how classic robotics theory can be extended to more advanced theoretical frameworks and adopted in real-world applications beyond conventional industries. Many development environments and programming languages are used in the industry, research, and broader hobby and enthusiast environments. However, in the context of introductory robotics, we will focus on software and programming languages that are already familiar to undergraduate students: MATLAB, C++, and Python. Furthermore, we introduce the Robot Operating System (ROS), which is a commonly used middleware for programming and controlling a physical robot.