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

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

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

Настоящая книга является учебником повышенного уровня сложности по компьютерной геометрии — молодой и бурно развивающейся области прикладной математики. Книга написана коллективом авторов из МГУ имени М.В.Ломоносова и из математического отдела российской фирмы АСКОН, разрабатывающей компьютерную систему... (Подробнее)

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

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

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

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

Методология: Основания методологии. Методология научного исследования. Методология практической деятельности. Введение в методологию художественной деятельности. Методология учебной деятельности. Введение в методологию игровой деятельности. (Твёрдый переплёт).

В книге с позиций... (Подробнее)

Практикум по компьютерной геометрии является частью обязательной программы 2-го и 3-го курсов механико-математического факультета МГУ с 2009 года и пользуется заслуженной популярностью. Цель практикума — познакомить студентов с основами компьютерного моделирования на базе популярной системы... (Подробнее)

Целью учебного курса является знакомство читателей с практикой параллельного программирования при реализации параллельных алгоритмов решения вычислительно ёмких научных задач. Особенности программной реализации изучаемых алгоритмов демонстрируются с использованием языка программирования Python... (Подробнее)

1. КОМПЬЮТЕРНАЯ ГЕОМЕТРИЯ: Основы дифференциальной геометрии и топологии. Основные понятия компьютерной геометрии. Геометрическое моделирование. Мягкая обложка. 504 стр.

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

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

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

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

В книге рассмотрены все типы заметающих поверхностей (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), предназначенного для удаленного взаимодействия агентов в распределенных системах, сформулированы... (Подробнее)

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