Translation
        Программирование. компьютеры; prog

     Программирование. компьютеры; prog



    Последнее добавление: 01.04.2017     Всего: 45  
[1] [2] [3] [4] [5
Основания программирования (CD прилагается).
Автор:Непейвода Н.Н., Скопин И.Н. Учебное пособие.
Издательство:М. - Ижевск,  
Год:2003 Жанр:Программирование. компьютеры; prog
Страниц:868 с. Формат:Обычный 60х84 1/16
Тираж (экз.):0 Переплет:Твёрдый издательский переплёт.
ISBN:5939722997 Вес (гр.):890
Состояние:Идеальное. Заказ этой книги ТОЛЬКО на условии 50 или 100 % предоплаты. Срок исполнения заказа составляет не более 10 рабочих дней. Цена (руб.): 
ID: 3274udm Уточниться о поступлении письмом (03.04.2013 3:56:44)

Основания программирования (CD прилагается). Основания программирования (CD прилагается). Фото
Книга представляет собой первое издание в серии, предназначенной для студентов, готовящихся к работе по современным информационным технологиям, и специалистов в данной области. Рекомендуется как для первокурсников, уже имеющих начальное знакомство с программированием, так и для специалистов, имеющих лишь практический опыт и желающих получить более основательные теоретические знания.
Сформировать заказ Сформировать заказ

Основания языков программирования.
Автор:Митчелл Дж. Перевод с английского - П.Г. Айткулова и Д.Ю. Котегова; Под научной редакцией - д.ф.-м.н., проф. Н.Н. Непейводы.
Издательство:М. - Ижевск, Серия - Компьютерные науки.
Год:2010 Жанр:Программирование. компьютеры; prog
Страниц:720 с. Формат:Увеличенный 70х100 1/16
Тираж (экз.):0 Переплет:Твёрдый издательский переплёт.
ISBN:9785939727570 Вес (гр.):1081
Состояние:Идеальное. Есть экз. с браком - со скидкой, вмятины и царапины на обложке. По размеру скидки каждого экз. с браком - обращаться отдельным письмом. Цена (руб.):707,00
ID: 2758udm  

Основания языков программирования. Основания языков программирования. Фото
Книга «Основы языков программирования» написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.

СОДЕРЖАНИЕ:

Предисловие редактора перевода.
Предисловие.

Глава 1. Введение.
1.1. Модель языков программирования.
1.2. Л-обозначения.
1.3. Уравнения, редукция и семантики.
1.3.1. Аксиоматическая семантика.
1.3.2. Операционная семантика.
1.3.3. Денотационная семантика.
1.4. Типы и системы типов.
1.5. Обозначения и математические соглашения.
1.6. Введение в теорию множеств.
1.6.1. Основы.
1.6.2. Отношения и функции.
1.7. Синтаксис и семантика.
1.7.1. Объектный язык и метаязык.
1.7.2. Грамматика.
1.7.3. Лексический анализ и разбор.
1.7.4. Пример математической интерпретации.
1.8. Индукция.
1.8.1. Индукция по натуральным числам.
1.8.2. Индукция по выражениям и доказательствам.
1.8.3. Трансфинитная индукция.

Глава 2. Язык ПВФ.
2.1. Введение.
2.2. Синтаксис ПВФ.
2.2.1. Обзор.
2.2.2. Булевские значения и натуральные числа.
2.2.3. Пары и функции.
2.2.4. Объявления и «синтаксический сахар».
2.2.5. Рекурсия и оператор неподвижной точки.
2.2.6. Синтаксис ПВФ и примеры.
2.3. ПВФ-программы и их семантики.
2.3.1. Программы и результаты.
2.3.2. Аксиоматическая семантика.
2.3.3. Денотационная семантика.
2.3.4. Операционная семантика.
2.3.5. Эквивалентность отношений, определяемых каждой формой семантики.
2.4. ПВФ-редукция и символьная интерпретация.
2.4.1. Недетерминированная редукция.
2.4.2. Редукционные стратегии.
2.4.3. Левая и ленивая редукционная стратегия.
2.4.4. Параллельная редукция.
2.4.5. Активная редукция.
2.5. Примеры ПВФ. Выразительная мощь и ограничения.
2.5.1. Записи и кортежи.
2.5.2. Поиск натуральных чисел.
2.5.3. Итерация и хвостовая рекурсия.
2.5.4. Общерекурсивные функции.
2.5.5. Частично рекурсивные функции.
2.5.6. Неопределимость параллельных операций.
2.6. Вариации и расширения ПВФ.
2.6.1. Сводка расширений.
2.6.2. unit тип и сумма типов.
2.6.3. Рекурсивные типы.
2.6.4. Подъем типов.

Глава 3. Универсальные алгебры и алгебраические типы данных.
3.1. Введение.
3.2. Предварительный обзор алгебраических спецификаций.
3.3. Алгебры, сигнатуры и термы.
3.3.1. Алгебры.
3.3.2. Синтаксис алгебраических термов.
3.3.3. Алгебры и интерпретации термов.
3.3.4. Лемма подстановки.
3.4. Уравнения, корректность и полнота.
3.4.1. Уравнения.
3.4.2. Алгебры термов и подстановка.
3.4.3. Семантическое следствие и эквациональная система доказательства.
3.4.4. Формы полноты.
3.4.5. Конгруэнция, фактор-алгебры и выводимая полнота.
3.4.6. Непустые сорта и свойство наименьшей модели.
3.5. Гомоморфизмы и инициальная алгебра.
3.5.1. Гомоморфизмы и изоморфизмы.
3.5.2. Инициальные алгебры.
3.6. Алгебраические типы данных.
3.6.1. Спецификация и абстракция данных.
3.6.2. Семантика инициальной алгебры и индукция типов данных.
3.6.3. Примеры и ошибочные значения.
3.7. Системы переписывания термов.
3.7.1. Основные определения.
3.7.2. Конфлюентность и доказуемое равенство.
3.7.3. Завершаемость.
3.7.4. Критические пары.
3.7.5. Леволинейные неперекрывающиеся системы переписывания термов.
3.7.6. Локальная конфлюентность, завершаемость и пополнение.
3.7.7. Приложения к алгебраическим типам данных.

Глава 4. Строго типизированное Л-исчисление.
4.1. Введение.
4.2. Типы.
4.2.1. Синтаксис.
4.2.2. Интерпретация типов.
4.3. Термы.
4.3.1. Контекстно-зависимый синтаксис.
4.3.2. Синтаксис Л-термов.
4.3.3. Термы с произведением, суммой и родственными типами.
4.3.4. Формулы как типы.
4.3.5. Алгоритм типизации.
4.4. Формальные системы.
4.4.1. Равенства и теории.
4.4.2. Правила редукции.
4.4.3. Дополнительные правила редукции.
4.4.4. Методы теории доказательств для непротиворечивости и консервативности.
4.5. Модели Хенкина, корректность и полнота.
4.5.1. Общие модели и смысл термов.
4.5.2. Аппликативные структуры, экстенсиональность и шаблоны.
4.5.3. Условие модели окружения.
4.5.4. Корректность типов и равенств.
4.5.5. Полнота моделей Хенкина, не содержащих пустые типы.
4.5.6. Полнота с пустыми типами.
4.5.7. Комбинаторы и условие комбинаторной модели.
4.5.8. Комбинаторные и Л-алгебры.
4.5.9. Модели Хенкина других типов.

Глава 5. Модели типизированного ?-исчисления.
5.1. Введение.
5.2. Модели Скотта и неподвижные точки.
5.2.1. Рекурсивные определения и операторы неподвижной точки.
5.2.2. Полные частично упорядоченные множества, подъем и декартовы произведения.
5.2.3. Непрерывные функции.
5.2.4. Неподвижные точки и полная непрерывная иерархия.
5.2.5. СРО-модели для ПВФ.
5.3. Индукция по неподвижным точкам.
5.4. Вычислительная корректность и полная абстракция.
5.4.1. Теорема аппроксимации и вычислительная корректность.
5.4.2. Полная абстракция для ПВФ с параллельными операциями.
5.5. Теоретико-рекурсивные модели.
5.5.1. Введение.
5.5.2. Нумерованные множества.
5.5.3. Полная рекурсивная иерархия.
5.6. Отношения частичной эквивалентности и рекурсия.
5.6.1. Интерпретация типов через отношения частичной эквивалентности.
5.6.2. Обобщение до частичных комбинаторных алгебр.
5.6.3. Подъем, частично вычислимые функции и рекурсия.
5.6.4. Рекурсия и собственный порядок.
5.6.5. Подъем, произведения и функциональные пространства вычислимо полных СРО.

Глава 6. Императивные программы.
6.1. Введение.
6.2. while-программы.
6.2.1. L-значения и R-значения.
6.2.2. Синтаксис whilе-программ.
6.3. Операционная семантика.
6.3.1. Базовые символы в выражениях.
6.3.2. Адреса и регистры.
6.3.3. Вычисление выражения.
6.3.4. Выполнение команд.
6.4. Денотационная семантика.
6.4.1. Типизированное Л-исчисление с регистрами.
6.4.2. Семантика функций.
6.4.3. Эквивалентность операционной и денотационной семантик.
6.5. Пред- и постусловия для while-программ.
6.5.1. Утверждения первого порядка и частичная корректность.
6.5.2. Правила вывода.
6.5.3. Корректность.
6.5.4. Относительная полнота.
6.6. Семантика дополнительных программных конструктов.
6.6.1. Обзор.
6.6.2. Блоки с локальными переменными.
6.6.3. Процедуры.
6.6.4. Комбинирование блоков и описаний процедур.

Глава 7. Категории и рекурсивные типы.
7.1. Введение.
7.2. Декартово замкнутые категории.
7.2.1. Теория категорий и типовые языки.
7.2.2. Категории, функторы и естественные преобразования.
7.2.3. Определение декартово замкнутых категорий.
7.2.4. Непротиворечивость и интерпретация термов.
7.2.5. Модели Хенкина как декартово замкнутые категории.
7.2.6. Категорийная характеризация функции значения.
7.3. Ламбда-модели Крипке и категории функторов.
7.3. 1. Обзор.
7.3.2. Возможные миры.
7.3.3. Аппликативные структуры.
7.3.4. Экстенсиональность, комбинаторы и категории функторов.
7.3.5. Окружения и значения термов.
7.3.6. Непротиворечивость и полнота.
7.3.7. Ламбда-модели Крипке как декартово замкнутые категории.
7.4. Модели областей рекурсивных типов.
7.4.1. Пример идеи.
7.4.2. Диаграммы, конусы и пределы.
7.4.3. F-алгебры.
7.4.4. w-цепи и начальные F-алгебры.
7.4.5. О-категории и вложения.
7.4.6. Копределы и О-копределы.
7.4.7. Локально непрерывные функторы.
7.4.8. Примеры общего метода.

Глава 8. Логические отношения.
8.1. Введение в логические отношения.
8.2. Логические отношения на аппликативных структурах.
8.2.1. Определение логического отношения.
8.2.2. Основная лемма.
8.2.3. Не всюду определенные функции и теории моделей.
8.2.4. Логическое отношение частичной эквивалентности.
8.2.5. Факторизация и объемность.
8.3. Результаты теории доказательств.
8.3.1. Полнота моделей Хенкина.
8.3.2. Нормализация.
8.3.3. Сходимость и другие редукционные свойства.
8.3.4. Редукция с fix и дополнительными операциями.
8.4. Частичные сюръективности и особые модели.
8.4.1. Частичная сюръективность и классическая иерархия.
8.4.2. Рекурсивная иерархия.
8.4.3. Непрерывная иерархия.
8.5. Независимость от представления.
8.5.1. Обоснование.
8.5.2. Пример языка.
8.5.3. Общая независимость от представления.
8.6. Обобщения логических отношений.
8.6.1. Введение.
8.6.2. Мотивирующие примеры: СРО и модели Крипке.
8.6.3. Уплощение и отношения.
8.6.4. Сравнение с логическими отношениями.
8.6.5. Общий случай и приложения особых категорий.

Глава 9. Полиморфизм и модульность.
9.1. Введение.
9.1.1. Обзор.
9.1.2. Типы как аргументы функции.
9.1.3. Обобщенные произведения и суммы.
9.1.4. Типы как спецификации.
9.2. Предикативное полиморфное исчисление.
9.2.1. Синтаксис типов и термов.
9.2.2. Сравнение с другими формами полиморфизма.
9.2.3. Алгебраическая система доказательств и редукция.
9.2.4. Модель предикативного полиморфизма.
9.2.5. Полиморфные объявления в М L-стиле.
9.3. Импредикативный полиморфизм.
9.3.1. Введение.
9.3.2. Достаточная выразительность и свойства теорий.
9.3.3. Завершаемость редукции.
9.3.4. Обобщение семантических моделей.
9.3.5. Модели, основанные на универсальных доменах.
9.3.6. Модели частичного отношения эквивалентности.
9.4. Абстрактные типы данных и объемные типы.
9.5. Обобщенные произведения, суммы и программные модули.
9.5.1. Модули языка ML.
9.5.2. Предикативное исчисление с произведениями и суммами.
9.5.3. Представление модулей с произведениями и суммами.
9.5.4. Предикативность и отношения между универсумами.

Глава 10. Подтипы и связанные с ними понятия.
10.1. Введение.
10.2. Строго типизированное ?-исчисление с подтипами.
10.3. Записи.
10.3.1. Общие свойства подтипов для записей.
10.3.2. Типизированные исчисления с записями и подтипами.
10.4. Семантические модели для подтипов.
10.4.1. Обзор.
10.4.2. Интерпретация подтипов через преобразования.
10.4.3. Подмножественная интерпретация типов.
10.4.4. Отношения частичной эквивалентности как типы.
10.5. Рекурсивные типы и модель объектов через записи.
10.6. Полиморфизм с ограничениями на подтипы.

Глава 11. Вывод типов.
11.1. Введение.
11.2. Вывод типов для Л- с типовыми переменными.
11.2.1. Язык Лt -.
11.2.2. Подстановка, варианты и унификация.
11.2.3. Алгоритм основной типизации Карри.
11.2.4. Неявная типизация.
11.2.5. Эквивалентность типизации и унификации.
11.3. Вывод типов с полиморфными объявлениями.
11.3.1. Вывод типов и полиморфные переменные в ML.
11.3.2. Два множества правил неявной типизации.
11.3.3. Алгоритмы вывода типов.
11.3.4. Эквивалентность МL1 и ML2.
11.3.5. Сложность МL-вывода типов.

Литература.
Предметный указатель.
Сформировать заказ Сформировать заказ

Основы алгоритмики.
Автор:Бабич О.В. Методическое пособие.
Издательство:Ижевск,  
Год:2008 Жанр:Программирование. компьютеры; prog
Страниц:60 с. Формат:Обычный 60х84 1/16
Тираж (экз.):80 Переплет:Издательский переплёт.
ISBN:  Вес (гр.):0
Состояние:  Цена (руб.): 
ID: 5932udm Уточниться о поступлении письмом (25.06.2014 12:18:37)

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

СОДЕРЖАНИЕ:

Предисловие.
Введение.
1. Краткое описание среды «Исполнители».
2. Один из способов решения задачи лабиринта с посадкой цветов.
3. Рекурсия и итерация.
4. Подпрограммы с параметрами.
5. Ключевые примеры программ на языке Паскаль.
Список литературы.
Сформировать заказ Сформировать заказ

Основы организации высокопроизводительных вычислений в Windows HPC Server 2008.
Автор:  Учебно-методическое пособие. Составитель - М.А. Клочков; Рецензент: старший научный сотрудник УНЛ «Параллельных вычислений», канд.ф.-м. наук, доцент Ю.С. Митрохин.
Издательство:Ижевск,  
Год:2010 Жанр:Программирование. компьютеры; prog
Страниц:62 с. Формат:Обычный 60х84 1/16
Тираж (экз.):25 Переплет:Издательский переплёт.
ISBN:  Вес (гр.):0
Состояние:  Цена (руб.): 
ID: 5948udm Уточниться о поступлении письмом (27.06.2014 8:37:55)

Основы организации высокопроизводительных вычислений в Windows HPC Server 2008. Основы организации высокопроизводительных вычислений в Windows HPC Server 2008. Фото
Учебно-методическое пособие содержит задания, которые могут быть использованы для проведения практических занятий по учебным курсам «Операционные системы», «Системное администрирование», «Технология программирования и перепрограммирования», «Архитектура ЭВМ», «Параллельное программирование», «Распределенные системы обработки информации». В помощь студенту большинство примеров представлено в виде рисунков и листинга кода программ. Пособие может быть рекомендовано студентам, а также преподавателям для проведения практических занятий и организации самостоятельной работы студентов.

СОДЕРЖАНИЕ:

Предисловие.
Введение.
Краткое описание технических характеристик и основных элементов управления вычислительным процессом в ОС WINDOWS HPC SERVER 2008.
Организация запуска программ на созданном вычислительном кластере под управлением ОС HPCS 2008.
Выполнение и отладка параллельной программы для вычисления числа ? на вычислительном кластере под управлением операционной системы WINDOWS HPC SERVER 2008.
Задания для самостоятельной работы.
Список полезных источников информации.
Сформировать заказ Сформировать заказ

Основы теории информации.
Автор:Кропачев Л.А. Учебное пособие. Рецензенты: И.З. Климов, доктор технических наук, профессор кафедры «Радиотехника» ИжГТУ; В.И. Заболотских, доктор технических наук, старший научный сотрудник Физико-технического института УрО РАН, г. Ижевск.
Издательство:Ижевск,  
Год:2011 Жанр:Программирование. компьютеры; prog
Страниц:368 с. Формат:Обычный 60х84 1/16
Тираж (экз.):100 Переплет:Твёрдый издательский переплёт.
ISBN:9785752604799 Вес (гр.):430
Состояние:Идеальное. Цена (руб.):830,00
ID: 6245udm  

Основы теории информации. Основы теории информации. Фото
Учебное пособие соответствует государственному образовательному стандарту для данной дисциплины специальностей 090105 «Комплексное обеспечение информационной безопасности автоматизированных систем», 230101 «Вычислительные машины, комплексы, системы и сети» и направления 230100 «Информатика и вычислительная техника». Пособие охватывает классические разделы теории информации: представления информации и передачи по каналам связи, вопросы аналого-цифрового преобразования и основы теории кодирования. В соответствии с направленностью учебного пособия обращается внимание на информационные основы криптографии. Пособие может представлять интерес для родственных специальностей по информационной безопасности, а также может быть полезным для всех интересующихся вопросами теории информации и кодирования. Рекомендовано учебно-методической комиссией факультета «Информатика и вычислительная техника» в качестве учебного пособия для студентов вузов специальностей 090105 «Комплексное обеспечение информационной безопасности автоматизированных систем», 230101 «Вычислительные машины, комплексы, системы и сети» и направления 230100 «Информатика и вычислительная техника».

СОДЕРЖАНИЕ:

Предисловие.
Введение.

Глава 1. Меры и количественные оценки информации.
1.1. Математическое введение.
1.2. Информационные процессы в АСОИ.
1.3. Мера Хартли и мера Шеннона.
1.4. Свойства энтропии.
1.5. Энтропия и информация сложных систем.
1.6. Энтропия непрерывных источников информации.
1.7. Элементы семантического подхода. Ценность, старение и диссипация информации.
1.8. Выводы.
1.9. Контрольные вопросы.

Глава 2. Временное и спектральное представление сигналов.
2.1. Математическое введение.
2.2. Временное представление сигналов.
2.3. Спектры периодических сигналов.
2.4. Спектры непериодических сигналов.
2.5. Практическая ширина спектров.
2.6. Функция автокорреляции и спектральная плотность детерминированных сигналов.
2.7. Спектральное представление случайных сигналов.
2.8. Модуляция непрерывных сигналов.
2.9. Манипуляция сигналов.
2.10. Импульсные виды модуляции.
2.11. Выводы.
2.12. Контрольные вопросы.

Глава 3. Аналого-цифровое преобразование сигналов.
3.1. Математическое введение.
3.2. Дискретизация и квантование информации.
3.3. Критерии выбора интервалов отсчетов.
3.4. Теорема Котельникова. Выбор частоты дискретизации.
3.5. Корреляционный способ дискретизации.
3.6. Восстановление непрерывного сигнала по выборкам.
3.7. Квантование сигналов. Погрешности квантования.
3.8. Выбор числа разрядов АЦП и скорости преобразования.
3.9. Выводы.
3.10. Контрольные вопросы.

Глава 4. Передача информации по каналам связи.
4.1. Математическое введение. Эргодические источники информации.
4.2. Виды каналов и их характеристика. Помехи в каналах связи.
4.3. Физические характеристики сигналов и каналов. Согласование сигналов и каналов по физическим характеристикам.
4.4. Информационные характеристики каналов и сигналов. Согласование сигналов и каналов по информационным характеристикам.
4.5. Пропускная способность канала связи без помех.
4.6. Пропускная способность дискретных каналов с шумами.
4.7. Пропускная способность непрерывных каналов с шумами.
4.8. Выводы.
4.9. Контрольные вопросы.

Глава 5. Оптимальное (статистическое) кодирование сигналов.
5.1. Математическое введение. Принципы построения статистических кодов.
5.2. Оптимальные коды Шеннона - Фано.
5.3. Оптимальный код Хаффмана.
5.4. Сжатие данных.
5.5. Выводы.
5.6. Контрольные вопросы.

Глава 6. Помехоустойчивое кодирование.
6.1. Математическое введение.
6.2. Принципы построения помехоустойчивых кодов. Классификация и основные характеристики кодов.
6.3. Коды, обнаруживающие ошибки.
6.4. Коды Хемминга. Декодирование по синдрому ошибки.
6.5. Линейные блоковые коды.
6.6. Принципы построения циклических кодов.
6.7. Технические средства кодирования и декодирования циклических кодов.
6.8. Мажоритарное (пороговое) декодирование.
6.9. Коды Боуза - Рой - Чоудхури-Хоквингема (БЧХ).
6.10. Сверточные коды и рекуррентные коды.
6.11. Новые направления в корректирующем кодировании.
6.12. Выводы.
6.13. Контрольные вопросы.

Глава 7. Информационные основы криптографии.
7.1. Математическое введение.
7.2. Расстояние единственности.
7.3. Теоретическая и практическая стойкость шифров.
7.4. Шифрование в телефонии.
7.5. Выводы.
7.6. Контрольные вопросы.

Заключение.
Список литературы.
Алфавитно-предметный указатель.
Сформировать заказ Сформировать заказ

Параллельное программирование в MPI.
Автор:Корнеев В.Д.  
Издательство:М. - Ижевск,  
Год:2003 Жанр:Программирование. компьютеры; prog
Страниц:304 с.   Формат:Обычный 60х84 1/16
Тираж (экз.):600 Переплет:Мягкий издательский переплёт.
ISBN:5939722393 Вес (гр.):230
Состояние:Идеальное. Заказ этой книги ТОЛЬКО на условии 50 или 100 % предоплаты. Срок исполнения заказа составляет не более 10 рабочих дней. Цена (руб.): 
ID: 1034udm Уточниться о поступлении письмом (03.04.2013 4:16:24)

Параллельное программирование в MPI. Параллельное программирование в MPI. Фото
Книга посвящена параллельному программированию на базе системы с передачей сообщений MPI. Система MPI является основным средством программирования таких современных высокопроизводительных мультикомпьютеров, как Silicon Graphics Origin 2000, Cray T3D, Cray T3E, IBM SP2 и многих других. Рассмотрены многочисленные примеры паралелльного программирования алгоритмов решения различных стандартных задач: умножения матрицы на матрицу, задача Дирихле, решение систем линейных уравнений (СЛАУ) методом Гаусса и решение СЛАУ методом простой итерации, разделения множеств и других. Описана модифицированная версия 1.1 MPI стандарта, приведено описание основных функций MPI. Книга может служить практическим руководством по системе параллельного программирования с передачей сообщений. Изучение строится на практической основе: описываются средства параллельного программирования, предлагается ряд конкретных задач, в ходе которых рассматриваются как средства языка, так и методы программирования. Для научных работников и инженеров, использующих параллельные ЭВМ, и для студентов и аспирантов, изучающих параллельное программирование.  

СОДЕРЖАНИЕ:

1. Схемы параллельных алгоритмов задач
2. Переключатели каналов
3. Виртуальные топологии
4. Point-to-Point взаимодействия
5. Коллективные взаимодействия
6. Определяемые пользователем типы данных и упаковка данных
7. Управление окружающей средой
8. Примеры параллельных программ
Сформировать заказ Сформировать заказ

Практикум по работе в Microsoft Office.
Автор:  Учебно - методическое пособие. Составители: И.Г. Чекина, О.И. Шардакова; Рецензент: к.т.н., к.п.н., доцент С.Ю. Купчинаус.
Издательство:Ижевск,  
Год:2012 Жанр:Программирование. компьютеры; prog
Страниц:88 с. Формат:Обычный 60х80 1/16
Тираж (экз.):50 Переплет:Издательский переплёт.
ISBN:  Вес (гр.):0
Состояние:  Цена (руб.): 
ID: 5367udm Уточниться о поступлении письмом (19.07.2013 7:36:00)

Практикум по работе в Microsoft Office. Практикум по работе в Microsoft Office. Фото
Учебно - методическое пособие предназначено для студентов бакалавриата гуманитарных и естественно - научных направлений, СПО и начинающих пользователей ПК, желающих овладеть практическими навыками работы с программами из пакета Microsoft Office. Пособие предназначено для аудиторных и самостоятельных работ по дисциплинам «Информатика» и «Информационные технологии». Пособие содержит краткое методическое руководство и множество практических заданий, позволяющих познакомиться с основными принципами работы редакторов MS Word, MS Excel, MS PowerPoint, MS Access.

Предисловие.

С внедрением новых информационных технологий во все сферы современной жизни умение работать на компьютере является необходимым атрибутом профессиональной деятельности любого выпускника вуза. В программах и стандартах высших учебных заведений независимо от направления подготовки предусмотрено овладение технологиями работы на компьютере, умением использовать офисные технологии и современные средства телекоммуникаций при выполнении студентами лабораторных и контрольных работ, во время самоподготовки, а также
в дальнейшей учебной и профессиональной деятельности. Пособие разработано на основе ФГОС ВПО для любых направлений бакалавриата. Оно адресовано студентам I и II курсов гуманитарных и естественно - научных факультетов, а также студентам - заочникам филологического факультета. Читателями могут быть студенты профессионального образования и слушатели курсов повышения квалификации. Актуальность издания в том, что несмотря на уже появившиеся новые версии данного программного обеспечения, до сих пор многие пользователи применяют именно этот пакет, и в учебных компьютерных классах установлен также он. Навыки же, полученные при работе с ним, позволяют легко адаптироваться с новыми версиями, а также другими аналогичными программами. Особенностью данного пособия является то, что в нем собрано большое количество разнообразных примеров, наглядно демонстрирующих приемы работы в программах, в отличие от многих учебных материалов, в которых много внимания уделяется рассмотрению теоретической части работы и мало практики. Пособие отличает четко выстроенная структура расположения материала, которая позволяет студентам лучше ориентироваться в изучаемом материале. Основная часть практикума содержит четыре раздела, посвященные изучению различных программных средств. Каждое задание снабжено кратким изложением теоретического материала и несколькими практическими заданиями с подробным описанием работы и графическим материалом. В каждом разделе нумерация заданий начинается с первого номера для того, чтобы можно было отследить количество выполненных заданий по каждой теме. Данное учебно - методическое пособие позволяет последовательно, систематизировано изучить основные принципы функционирования программ и приемы работы с ними. Исходя из структуры и содержания пособие рассчитано на следующие категории обучающихся:
• студентам гуманитарных и естесственно - научных специальностей вузов;
• студентам профессионального образования;
• учащимся старших классов средних общеобразовательных школ;
• слушателям курсов повышения квалификации;
• лицам, самостоятельно осваивающим программные средства вычислительной техники.

СОДЕРЖАНИЕ:

Предисловие.
Введение.
Текстовый редактор Microsoft Word.
Запуск Word и правила набора текста.
Форматирование.
Работа с таблицами.
Создание списков.
Вставка объектов.
Работа с документом большого объема.
Табличный редактор Microsoft Excel.
Запуск и завершение работы, правила ввода.
Ввод формул.
Создание диаграмм.
Сортировка и фильтры.
Функции.
Редактор презентаций Microsoft Powerpoint.
Запуск и завершение работы программы.
Создание презентации.
Базы данных Microsoft Access.
Создание базы данных.
Запросы.
Формы.
Отчеты.
Список рекомендуемой литературы.
Сформировать заказ Сформировать заказ

Практические работы по Microsoft Office 2010.
Автор:  Учебно-методическое пособие. Сост.: И.Г. Чекина, О.И. Шардакова. Рецензент: к.т.н., к.п.н., доцент С.Ю. Купчинаус.
Издательство:Ижевск,  
Год:2013 Жанр:Программирование. компьютеры; prog
Страниц:96 с., ил.. табл. Формат:Обычный 60х84 1/16
Тираж (экз.):30 Переплет:Издательский переплёт.
ISBN:  Вес (гр.):0
Состояние:  Цена (руб.): 
ID: 5876udm Уточниться о поступлении письмом (04.05.2014 16:34:16)

Практические работы по Microsoft Office 2010. Практические работы по Microsoft Office 2010. Фото
Учебно-методическое пособие предназначено для аудиторных и самостоятельных работ по дисциплинам «Информатика» и «Информационные технологии». Пособие содержит краткое методическое руководство и множество практических заданий, позволяющих познакомиться с основными принципами работы редакторов MS Word, MS Excel, MS PowerPoint, MS Access. Пособие предназначено для студентов бакалавриата гуманитарных и естественно-научных направлений, СПО и начинающих пользователей ПК, желающих овладеть практическими навыками работы с программами из пакета Microsoft Office.

СОДЕРЖАНИЕ:

Предисловие.
Введение.

Текстовый редактор MICROSOFT WORD.
Запуск Word и правила набора текста.
Форматирование.
Работа с таблицами.
Создание списков.
Вставка объектов.
Работа с документом большого объема.

Редактор электронных таблиц MICROSOFT EXCEL.
Запуск программы, правила ввода.
Ввод формул.
Создание диаграмм.
Сортировка и фильтры.
Функции.

Редактор презентаций MICROSOFT POWERPOINT.
Запуск и режимы работы программы.
Создание презентации.

Базы данных MICROSOFT ACCESS.
Создание базы данных.
Запросы.
Формы.
Отчеты.

Список рекомендуемой литературы.
Сформировать заказ Сформировать заказ

Прикладной интервальный анализ. С примерами по оцениванию параметров и состояний, робастному управлению и работотехнике. / Applied Interval Analysis. With Examples in Parameter and State Estimation, Robust Control and Robotics.
Автор:Жолен Л., Кифер М., Дидри О., Вальтер Э. Со 125 иллюстрациями. 2-ое изд., исправленное. Перевод с анг. - к.т.н. С.И. Кумкова; Под ред. - д.т.н. Б.Т. Поляка.
Издательство:М. - Ижевск, Серия - Интервальный анализ и его приложения.
Год:2007 Жанр:Программирование. компьютеры; prog
Страниц:468 с., ил. Формат:Обычный 60х84 1/16
Тираж (экз.):0 Переплет:Твёрдый издательский переплёт.
ISBN:5939725856 Вес (гр.):553
Состояние:Идеальное. Есть экз. с браком - со скидкой, потёртости и царапины на обложке. По размеру скидки каждого экз. с браком - обращаться отдельным письмом. Цена (руб.):513,00
ID: 1340udm  

Прикладной интервальный анализ. С примерами по оцениванию параметров и состояний, робастному управлению и работотехнике. / Applied Interval Analysis. With Examples in Parameter and State Estimation, Robust Control and Robotics. Прикладной интервальный анализ. С примерами по оцениванию параметров и состояний, робастному управлению и работотехнике. / Applied Interval Analysis. With Examples in Parameter and State Estimation, Robust Control and Robotics. Фото
Книга посвящена теории и численным методам гарантированного оценивания и аппроксимации множеств. Техника и математический аппарат интервального анализа строго обобщаются на процедуры работы с множествами. Впервые в монографической литературе детально рассматривается приложение разработанных методов к решению систем нелинейных уравнений и неравенств, задачам оптимизации, оценивания параметров и состояний, робастного управления и робототехники. Приводится подборка примеров и упражнений. Книга рассчитана на широкий круг читателей, студентов, аспирантов, инженеров и научных работников, занятых исследованием и проектированием систем обработки информации и систем управления, а также на математиков, вычислителей и программистов.

Предисловие.

В основе многих инженерных задач лежит решение систем уравнений, неравенств и оптимизация целевых функций. К сожалению, за исключением особых случаев, в которых система уравнений линейна относительно неизвестных или когда минимизируемая целевая функция выпукла, а минимизация выполняется при выпуклыx ограничениях, результаты, получаемые с помощью обычных численных методов, носят локальный характер и не являются гарантированными оценками. Это может означать, например, что действительный глобальный минимум целевой функции может и не быть найден, или что процедуры поиска глобального минимума его не находят. В противоположность этому, интервальный анализ дает возможность получать гарантированные аппроксимации множества все действительных (допустимых) решений рассматриваемой задачи. Это, вместе с отсутствием литературы, где методы интервального анализа представлялись бы в виде, который позволил бы им стать частью удобных инженерных численных методов, побудило авторов к написанию данной книги. Начало было положено в 1991 году Люком Жоленом при подготовке им своей диссертации под руководством Эрика Вальтера. Под их совместным руководством работа была продолжена при подготовке диссертаций Оливье Дидри и Мишеля Кифера. Более двух лет назад, когда проект нашей книги был представлен в издательство Springer, мы наивно полагали, что ее подготовка к печати будет простой на основе того, что было уже сделано ... В действительности же, эта книга является результатом острых дискуссий между авторами о том, что и как должно быть написано! Временами мы опасались, что можем вообще не написать эту книгу, но мы чувствовали, что в процессе работы результаты улучшались. Однако было по крайней мере две идеи, по которым мы легко пришли к согласию. Во-первых, книга должна быть как можно более простой и понятной, вот почему в ней так много иллюстраций и примеров. Во-вторых, читателю, который захочет поупражняться в интервальном анализе применительно к своим задачам, нужно дать конкретный инструмент, чтобы он мог это сделать. Многие коллеги помогали нам приобщиться к интервальному анализу, и невозможно упомянуть их всех, но, во всяком случае, мы хотели бы поблагодарить Владика Крейновича за всю его энергию, которую он вложил в подготовку web-сайта Interval Computations, и за все, чему мы там научились. Особо мы благодарны Мишелю Петито за его помощь в постижении тайн языка ADA и платформы Стюарта-Гофа, Доминику Майзелю за ознакомление с задачами слежения за роботом и определения его местоположения, Олафу Кнюппелю и Зигфриду М. Румпу за адаптацию PROFIL/BIAS и INTLAВ, Изабель Брэм, Мартине Себерио, Рамону Муру, Стефану Ратшану и Натали Риволь за их конструктивные замечания при вычитке рукописи и нашему редактору Оливеру Джексону, чья дружеская требовательность была конструктивной для выхода в свет данной книги в этом тысячелетии. Мы хотели бы выразить нашу признательность Гаю Деноману, руководителю Лаборатории сигналов и систем, и Жан-Луи Ферье, руководителю Лаборатории проектирования автоматизированных систем, за их поддержку и создание условий для работы. Мы признательны также Национальному центру научных исследований Франции за создание идеальной рабочей обстановки, и частичная поддержка гранта ИНТАС также была полезна.

СОДЕРЖАНИЕ:

Предисловие.
Обозначения.

Раздел I. Введение.

Глава 1. Введение.

1.1. Введение.
1.2. Основные идеи.
1.3. Предыстория.
1.4. О сложности вычислений.
1.5. Структура книги.

Раздел II. Аппарат интервального анализа.

Глава 2. Основные понятия интервального анализа.
2.1. Введение.
2.2. Операции над множествами.
2.2.1. Теоретико-множественные операции.
2.2.2. Расширенные операции.
2.2.3. Свойства операторов над множествами.
2.2.4. Оболочки.
2.3. Интервальный анализ.
2.3.1. Интервалы.
2.3.2. Интервальные вычисления.
2.3.3. Замкнутые интервалы.
2.3.4. Интервальные векторы.
2.3.5. Интервальные матрицы. Функции включения.
2.4.1. Определения.
2.4.2. Естественные функции включения.
2.4.3. Центрированные функции включения.
2.4.4. Смешанные центрированные функции включения.
2.4.5. Тейлоровские функции включения.
2.4.6. Сравнение.
2.5. Проверки включения.
2.5.1. Интервальные булевские переменные.
2.5.2. Проверки.
2.5.3. Проверки включений для множеств.
2.6. Выводы.

Глава 3. Покрытия.
3.1. Введение.
3.2. Топология множеств.
3.2.1. Расстояние между компактными множествами.
3.2.2. Помещение компактных множеств между покрытиями Регулярные покрытиями.
3.3. Регулярные покрытия.
3.3.1. Покрытия и подпокрытия.
3.3.2. Представление регулярного покрытия в виде двоичного дерева.
3.3.3. Основные операции на регулярных покрытиях.
3.4. Выполнение вычислений с множествами.
3.4.1. Обращение множества.
3.4.2. Оценивание образа.
3.5. Выводы.

Глава 4. Сжимающие операторы.
4.1. Введение.
4.2. Основные сжимающие операторы.
4.2.1. Конечные разрешающие операторы.
4.2.2. Интервальные конечные разрешающие операторы.
4.2.3. Метод неподвижной точки.
4.2.4. Метод вперед-назад.
4.2.5. Подход на основе линейного прогpаммирования.
4.3. Внешняя аппроксимация.
4.3.1. Основная идея.
4.3.2. Предобуславливание.
4.3.3. Ньютоновский сжимающий оператор.
4.3.4. Параллельная линеаризация.
4.3.5. Использование формальных преобразований.
4.4. Взаимодействие между сжимающими операторами.
4.4.1. Основная идея.
4.4.2. Сжимающие операторы и функции включения.
4.5. Сжимающие операторы на множествах.
4.5.1. Определения.
4.5.2. Множества, определяемые ограничениями в виде равенств и неравенств.
4.5.3. Улучшение операторов сжатия при использовании локального поиска.
4.6. Выводы.

Глава 5. Разрешающие операторы.
5.1. Введение.
5.2. Решение квадратных систем нелинейных уравнений.
5.3. Описание свойств множеств, определяемых неравенствами.
5.4. Интервальная оболочка множества, задаваемого неравенствами.
5.4.1. Первый подход.
5.4.2. Второй подход.
5.5. Глобальная оптимизация.
5.5.1. Алгоритм Мура-Скелбо.
5.5.2. Алгоритм Хансена.
5.5.3. Использование метода вперед-назад. Минимаксная оптимизация.
5.6.1. Случай отсутствия ограничений.
5.6.2. Случай наличия ограничений.
5.6.3. Работа с кванторами.
5.7. Множества уровня целевой функции.
5.8. Выводы.

Раздел III. Приложения.

Глава 6. Оценивание.
6.1. Введение.
6.2. Оценивание параметров с помощью оптимизации.
6.2.1. Оценивание параметров методом наименьших квадратов при моделировании структур.
6.2.2. Минимаксное оценивание параметров.
6.3. Гарантированное оценивание параметров.
6.3.1. Введение.
6.3.2. Случай известныx независимых переменныx.
6.3.3. Защита от выбросов.
6.3.4. Случай неопределенности независимых переменныx.
6.3.5. Вычисление интервальной оболочки апостериорного допустимого множества.
6.4. Гарантированное оценивание состояний.
6.4.1. Введение.
6.4.2. Оценивание начального состояния.
6.4.3. Оценивание всех переменных состояния.
6.4.4. Гарантированное оценивание на основе метода вперед-назад.
6.5. Выводы.

Глава 7. Робастное управление.
7.1. Введение.
7.2. Устойчивость детерминированных линейных систем.
7.2.1. Характеристический полином.
7.2.2. Критерий Рауса.
7.2.3. Степень устойчивости.
7.3. Основные проверки робастной устойчивости.
7.3.1. Интервальные полиномы.
7.3.2. Афинное семейство полиномов.
7.3.3. Нелинейная зависимость от параметров.
7.3.4. Заключение.
7.4. Анализ робастной устойчивости.
7.4.1. Области устойчивости.
7.4.2. Степень устойчивости.
7.4.3. Подход на основе множества значений полинома.
7.4.4. Запасы робастной устойчивости.
7.4.5. Радиус устойчивости.
7.5. Синтез регулятора.
7.6. Выводы.

Глава 8. Робототехника.
8.1. Введение.
8.2. Расширенная кинематическая задача для платформ Стюарта – Гоффа.
8.2.1. Платформы Стюарта-Гофа.
8.2.2. Переход от системы координат подвижной платформы к системе координат основания.
8.2.3. Решаемые уравнения.
8.2.4. Решение.
8.3. Планирование маршрута.
8.3.1. Графическая дискретизация пространства конфигураций.
8.3.2. Алгоритмы нахождения допустимого маршрута.
8.3.3. Тестовый пример.
8.4. Определение местоположения и слежение за мобильным роботом.
8.4.1. Формулировка статической задачи определения местоположения робота.
8.4.2. Модель процесса измерения.
8.4.3. Обращение множеств.
8.4.4. Обработка выбросов.
8.4.5. Пример статической задачи определения местоположения.
8.4.6. Слежение.
8.4.7. Пример.
8.5. Выводы.

Раздел IV. Реализация.

Глава 9. Автоматическое дифференцирование.
9.1. Введение.
9.2. Прямое и обратное дифференцирование.
9.2.1. Прямое дифференцирование.
9.2.2. Обратное дифференцирование.
9.3. Дифференцирование алторитмов.
9.3.1. Первое предположение.
9.3.2. Второе предположение.
9.3.3. Третье предположение.
9.4. Примеры.
9.4.1. Пример 1.
9.4.2. Пример 2.
9.5. Выводы.

Глава 10. Гарантированные вычисления с числами с плавающей точкой.
10.1. Введение.
10.2. Числа с плавающей точкой и стандарт IEЕЕ 754.
10.2.1. Представление.
10.2.2. Округление.
10.2.3. Специальные величины.
10.3. Интервалы и стандарт IЕЕЕ 754.
10.3.1. Машинные интервалы.
10.3.2. Арифметика замкнутых интервалов.
10.3.3. Работа с элементарными функциями.
10.3.4. Улучшение интервальных оценок.
10.4. Источники программного обеспечения для интервальных вычислений.
10.5. Выводы.

Глава 11. Материал для самостоятельных упражнений.
11.1. Введение.
11.2. Сведения о С++.
11.2.1. Структура программы.
11.2.2. Стандартные типы.
11.2.3. Указатели.
11.2.4. Передача параметров в функцию.
11.3. Класс INTERVAL.
11.3 .1. Конструкторы и деструкторы.
11.3.2. Другие члены-функции.
11.3.3. Математические функции.
11.4. Интервалы с использованием библиотеки PROFIL/ВIAS.
11.4.1. ВIAS.
11.4.2. PROFIL.
11.4.3. Первое знакомство.
11.5. Упражнения на вычисление интервалов.
11.6. Интервальные векторы.
11.6.1. Класс INTERVAL_VECTOR.
11.6.2. Конструкторы, операторы присваивания и вызова функции.
11.6.3. Функции-друзья.
11.6.4. Сервисные процедуры (утилиты).
11.7. Векторы с использованием библиотеки PROFIL/ВIAS.
11.8. Упражнения на интервальные векторы.
11.9. Интервальные матрицы.
11.10. Матрицы с использованием библиотеки PROFIL/ВIAS.
11.11. Упражнения на интервальные матрицы.
11.12. Регулярные покрытия с использованием библиотеки PROFIL/ВIAS.
11.12.1. Класс NODE.
11.12.2. Обращение множеств с покрытиями.
11.12.3. Оценивание образов с помощью покрытий.
11.12.4. Моделирование системы и оценивание ее состояния с помощью покрытий.
11.13. Обработка ошибок.
11.13.1. Использование оператора Exit.
11.13.2. Обработка исключений.
11.13.3. Обработка ошибок математических вычислений.

Литература.
Дополнительная литература.
Предметный указатель.
Сформировать заказ Сформировать заказ

Твердотельные квантовые компьютеры на ядерных спинах.
Автор:Кокин А.А.  
Издательство:М. - Ижевск,  
Год:2004 Жанр:Программирование. компьютеры; prog
Страниц:204 с.   Формат:Обычный 60х84 1/16
Тираж (экз.):0 Переплет:Мягкий издательский переплёт.
ISBN:5939723195 Вес (гр.):210
Состояние:Идеальное. Цена (руб.):170,00
ID: 886udm  

Твердотельные квантовые компьютеры на ядерных спинах. Твердотельные квантовые компьютеры на ядерных спинах. Фото
Предлагаемая читателю книга посвящена рассмотрению перспективных с точки зрения возможной реализации полномасштабного квантового компьютера твердотельных вариантов ядерных магнито-резанансных (ЯРМ) квантовых компьютеров. Детально рассматриваются физические основы ЯРМ квантового компьютера, общие требования, предъявляемые к полномасштабному квантовому компьютеру, к многоспиновой системе, представляющей элементарную базу квантового компьютера. Описываются принципы построения ЯРМ квантового компьютера и способы организации квантовых логических операций. Дается обзор предложенных твердотельных вариантов ЯРМ квантовых компьютеров, анализируются преимущества и недостатки отдельных вариантов и оценивается их перспективность. Основное внимание уделяется полупроводниковому ансамблевому варианту с полосковыми затворами на ядерных спинах донорных атомов фосфора и варианту ансамблевого ЯРМ квантового компьютера на основе антиферромагнитной структуры с использованием принципов клеточного автомата. Книга рассчитана на широкий круг читателей, интересующихся физическими принципами квантовых вычислений, новыми возможностями в квантовой информатике. Она будет полезна студентам старших курсов физических специальностей и аспирантам, специализирующимся в области квантовой информатики.

СОДЕРЖАНИЕ:

Предисловие.
Введение.
Литература к введению.

Часть 1. Физические основы ЯМР квантовых компьютеров.

1. Ядерный спин - естественная двухуровневая квантовая информационная ячейка.
1.1. Вектор состояния и матрица плотности кубита.
1.2. Динамические процессы в однокубитовом ансамбле. Уравнение Блоха и его обобщение.
1.3. Обобщенное уравнение Блоха для немарковского случайного процесса.

2. Квантовый регистр в структуре квантового компьютера.
2.1. Основные принципы работы квантового компьютера.
2.2. Основные одно- и двухкубитовые квантовые операции.
2.3. Квантовое дискретное фурье-преобразование и трудности его реализации на ЯМР квантовых компьютерах.
2.4. Общие требования к полномасштабным квантовым компьютерам.
2.5. Чистые состояния двухкубитового квантового регистра.
2.6. Парные запутанные состояния в цепочках спинов с антиферромагнитным взаимодействием.
2.7. Парная запутанность основного квантового состояния антиферромагнитного кольца.

3. Динамические процессы в ансамбле спиновых систем.
3.1. Динамические уравнения для ансамбля двухкубитовых систем.
3.2. Декогерентизация состояний кубитов и способы ее описания.
3.3. Полуклассическая модель адиабатической декогерентизации.
3.3.1. Адиабатическая декогерентизация в однокубитовом ансамбле.
3.3.2. Адиабатическая декогерентизация в многокубитовом ансамбле.
3.3.3. Адиабатическая декогерентизация состояний ядерных спинов, взаимодействующих с магнитными моментами примесных атомов.
3.4. Квантовые модели адиабатической декогерентизации.
3.4.1. Точно решаемая квантовая модель адиабатической декогерентизации однокубитового состояния.
3.4.2. Адекватность точно решаемой квантовой модели адиабатической декогерентизации.
3.4.3. Модель адиабатической декогерентизации состояния ядерного спина-кубита на основе двухбозонных процессов рассеяния.

Приложение П.1 Алгоритм факторизации Шора на основе квантового фурье-преобразования.
Литература к части.

Часть 2. Перспективные варианты твердотельных ЯМР квантовых компьютеров.

4. Общие проблемы реализации полномасштабного квантового компьютера.
4.1 Жидкостные прототипы ансамблевых ЯМР квантовых компьютеров и их ограниченность.
4.2. Проблемы приготовления базисных состояний многокубитового квантового регистра.
4.2.1. Влияние однокубитовых случайных воздействий на состояния квантового регистра.
4.2.2. Проблемы, связанные со случайными фазовыми множителями в базисных состояниях квантового регистра.
4.3. Проблема уменьшения вычислительной ошибки для состояний квантового регистра, представляющих высшие разряды.
4.4. Некоторые проблемы, связанные с вычислительными операциями и измерениями состояний кубитов.

5. Многокубитовые твердотельные ЯМР квантовые компьютеры.
5.1. Кремниевый многокубитовый ЯМР квантовый компьютер по схеме Кейна и проблемы его реализации.
5.2. Дальнейшее развитие схемы Кейна кремниевых ЯМР квантовых компьютеров.
5.2.1. Эффект усиления сигнала ЯМР.
5.2.2. Энергетический спектр электронно-ядерной спиновой системы двух доноров.
5.2.3. Электрический контроль состояний кубитов.
5.3. Некоторые варианты многокубитовых ансамблевых твердотельных ЯМР квантовых компьютеров.
5.3.1. Ансамблевый твердотельный ЯМР квантовый компьютер с двухмерным электронным газом.
5.3.2. Ансамблевый ЯМР квантовый компьютер на естественных кристаллах.
5.4. Многокубитовый ансамблевый кремниевый ЯМР квантовый компьютер.
5.4.1. Кремниевый ансамблевый ЯМР квантовый компьютер с полосковыми затворами.
5.4.2. Отношение сигнал-шум ансамблевого ЯМР квантового компьютера.
5.4.3. Охлаждение ядерных спи новых систем и инициализация ядерных спиновых состояний путем динамической поляризации.
5.4.4. Отношение сигнал-шум для ансамблевого кремниевого квантового компьютера.
5.4.5. Адиабатическая декогерентизация состояний ядерных спинов, обусловленная модуляцией секулярной части сверхтонкого взаимодействия.
5.4.б. Адиабатическая декогерентизация состояний ядерных спинов, обусловленная взаимодействием с ядерными спинами примесных атомов.

6. Многокубитовые ЯМР квантовые клеточные автоматы.
6.1. Основные принципы работы ЯМР квантовых клеточных автоматов.
6.2. ЯМР квантовый клеточный автомат на основе одномерного изинговского антиферромагнетика.
6.3. Организация логических операций в квантовом ЯМР клеточном автомате.
6.4. ЯМР квантовый клеточный автомат снесимметричным взаимодействием ядерного спина с соседними спинами.
6.5. ЯМР квантовый клеточный автомат на периодической структуре из эндоэдрально легированных фуллеренов.
6.6. ЯМР квантовые клеточные автоматы на антиферромагнитных кристаллах.
6.6.l. Гамильтониан электрон-ядерной системы спинов для одноосного антиферромагнетика.
6.6.2. Косвенное взаимодействие между ядерными спинами в антиферромагнетике.
6.6.3. Декогерентизация состояний ядерных спинов в легкоосных антиферромагнетиках.
6.6.4 Основные требования к антиферромагнитным кристаллам.

Заключение.
Приложение П2. Сигнал ЯМР от ансамбля ядерных спинов.
Приложение П3. Двухкубитовая операция CNOT в одномерном ЯМР квантовом клеточном автомате.
Приложение П4. Спин-волновое приближение для подсистемы электронных спинов в антиферромагнетике и приближение Тябликова.
Литература к части 2.
Предметный указатель.
Сформировать заказ Сформировать заказ

[1] [2] [3] [4] [5

Программное обеспечение сайта, дизайн, оригинальные тексты, идея принадлежат авторам и владельцам сайта www.alibudm.ru
Информация о изданиях, фотографии обложек, описание и авторские рецензии принадлежат их авторам, издателям и рецензентам.
Copyright © 2007 - 2017      Проект:   Книги Удмуртии - почтой



Рейтинг@Mail.ru www.izhevskinfo.ru