Название Finite Automata, Formal Logic, and Circuit Complexity
Автор Howard Straubing
Издательство Birkhauser
Год 1994
Страниц 237
Формат DJVU
Размер 10,63 МБ
Язык English

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic.

Название: Тепловые, гидравлические и аэродинамические расчеты в электрических машинах: Уч. пособие
Автор: Брандина Е.П., Шелудько О.В.
Издательство: Л.: СЗПИ
Год: 1991
Формат: pdf
Страниц: 92
Размер: 5,5 mb
Язык: Русский

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

Название: Определение траекторий космических аппаратов
Автор: Брандин В.Н., Разоренов Г.Н.
Издательство: М.: Машиностроение
Год: 1978
Формат: djvu
Страниц: 216
Размер: 5,7 mb
Язык: English

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

Название: Наведение в космосе
Автор: Ричард Бэттин
Издательство: М.: Машиностроение
Год: 1966
Формат: djvu
Страниц: 448
Размер: 11,2 mb
Язык: English

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

Название: Применение кватернионов в задачах ориентации твердого тела
Автор: Бранец В.Н., Шмыглевский И.П.
Издательство: М.: Наука
Год: 1973
Формат: pdf
Страниц: 320
Размер: 10,2 mb
Язык: English

Книга посвящена вопросам применения аппарата кватернионов к общим теоретическим проблемам кинематики вращательного движения твердого тела и к практическим задачам управления.

Автор: Pooria Pasbakhsh; A. K. Haghi; G E Zaikov
Название: Applied research on polymer composites
Издательство: Toronto; Waretown, New Jersey: Apple Academic Press
Год: 2015
Язык: English
Формат: pdf
Размер: 13,1 mb
Страниц: 312

This book presents leading-edge research in the rapidly changing and evolving field of polymer science as well as on chemical processing.

Название: Основы программирования станков с ЧПУ
Автор: Бекташов Д.А., Власов А.М.
Издательство: Иваново: Ивановский государственный энергетический университет
Год: 2018
Формат: doc
Страниц: 112
Размер: 18 mb
Язык: Русский

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

Название: Конструкции и наладка токарных станков
Автор: Вереина Л.И., Краснов М.М.
Издательство: Инфра-М
Год: 2017
Страниц: 480
ISBN: 978-5-16-012503-9
Формат: PDF
Размер: 50 Мб
Язык: русский
Качество: приемлемое

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

Название: Обработка сигналов в радиотехнических системах
Автор: Лукошкин А.П.(ред.)
Издательство: Л.: Изд-во Ленингр. ун-та
Год: 1987
Страниц: 400
Формат: PDF
Размер: 52 Мб
Язык: русский

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

Название: Генерирование случайных сигналов и измерение их параметров
Автор: Бобнев М.П.
Издательство: М-Л.: Энергия
Год: 1966
Серия: Библиотека по радиоэлектронике
Формат: djvu
Страниц: 119
Размер: 2 mb
Язык: Русский

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