Проектирование. Архитектура вычислительной техники

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

Книга американского философа Х.Дрейфуса посвящена методологическим проблемам кибернетики, а точнее --- вопросу о возможностях и пределах машинной имитации и "усиления" человеческого разума. Может ли машина, робот, вычислительная система заменить человека? Возможна ли формализация человеческого поведения?... (Подробнее)

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

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

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

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

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

Работа предназначена для научных и практических... (Подробнее)

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

Рассмотрена серия практически важных классов... (Подробнее)

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

В книге рассмотрены все типы заметающих поверхностей (Swept Surfaces), которые могут быть построены с помощью инструментов системы CATIA. Кроме описания органов управления поверхностями, приводятся примеры их применения и построения, а также необходимые сведения из геометрии и математического анализа.... (Подробнее)

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

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

На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько... (Подробнее)

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

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

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

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

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

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

Современная печатная книга (Подробнее)

Основы основ кибернетики. Фундаментальный труд известного американского специалиста, автора одного из первых роботов.

BERTRAM RAPHAEL (Stanford Research Institute) THE THINKING COMPUTER: Mind Inside Matter, 1976 (Подробнее)

Работа посвящена анализу профессиональных и массовых человеко-компьютерных интерфейсов с позиций деятельностного подхода. Деятельностный подход к разработке интерфейсов базируется на разработанной отечественными учеными в середине XX века теории деятельности. Этот подход широко распространен... (Подробнее)

В книге проиллюстрировано применение программы Robot structural analysis для решения задач строительной механики. На десяти различных примерах рассмотрен статический расчет плоских стержневых систем.

Robot structural analysis — мощный расчетный комплекс, использующий метод конечных элементов для получения... (Подробнее)

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

Книга посвящена средствам информационного взаимодействия в современных распределенных гетерогенных системах. На основе предложенной авторами концепции Internet-протокола RFPP (Remote File Package Protocol), предназначенного для удаленного взаимодействия агентов в распределенных системах, сформулированы... (Подробнее)

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

Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение... (Подробнее)

Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если → то». Приводится большое число примеров... (Подробнее)

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