Машинонезависимая оптимизация исходных программ
В настоящее время навыки и квалификация как разработчиков, так и пользователей систем вычислительной техники, степень их овладения теорией и практикой программирования очень различаются. В книге подробно рассмотрены вопросы выбора места выполнения оптимизации, промежуточного представления программы, удобного для анализа и оптимизации, анализа логических и информационных связей в программах и собственно оптимизации. Изложены теоретические и практические основы глобальной машинонезависимой оптимизации исходных программ, написанных на языках программирования высокого уровня. В книге рассмотрены также технологические возможности системы оптимизации и предпосылки создания на ее основе автоматизированной системы повышения качества программного продукта. Книга рекомендуется для инженеров, занимающихся вопросами создания программного обеспечения вычислительных систем и АСУ; может быть полезна научным работникам.
Название: Машинонезависимая оптимизация исходных программ
Автор: Саркисян A.A.
Издательство: М.: Радио и связь
Год: 1985
Страниц: 208
Язык: Русский
Формат: djvu
Размер: 14,3 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Книги по программированию
- Автор темы Egoizte
- Дата начала
-
- Теги
- book
Теория процессов
Основу настоящей книги составляют курсы лекций по математической теории программирования, читавшиеся автором в течение ряда лет для студентов механико-математического факультета и факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. В книге дано подробное изложение основных понятий и результатов исчисления взаимодействующих систем Р. Милнера и приведён один из возможных вариантов его обобщения для решения задач формального описания и анализа процессов с передачей сообщений. Изложение теоретических понятий и результатов в книге сопровождается иллюстрациями их применения к решению различных задач верификации процессов.
Краткое содержание
1 Введение
2 Понятие процесса
3 Операции на процессах
4 Эквивалентность процессов
5 Рекурсивные определения процессов
6 Примеры доказательства свойств процессов
7 Процессы с передачей сообщений
8 Примеры процессов с передачей сообщений
9 Представление структур данных в виде процессов
10 Семантика языка параллельного программирования
11 Исторический обзор и современное состояние дел.
Название: Теория процессов
Автор: Миронов А.М.
Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем
Год: 2008
Страниц: 346
Язык: Русский
Формат: djvu
Размер: 12,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Основу настоящей книги составляют курсы лекций по математической теории программирования, читавшиеся автором в течение ряда лет для студентов механико-математического факультета и факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. В книге дано подробное изложение основных понятий и результатов исчисления взаимодействующих систем Р. Милнера и приведён один из возможных вариантов его обобщения для решения задач формального описания и анализа процессов с передачей сообщений. Изложение теоретических понятий и результатов в книге сопровождается иллюстрациями их применения к решению различных задач верификации процессов.
Краткое содержание
1 Введение
2 Понятие процесса
3 Операции на процессах
4 Эквивалентность процессов
5 Рекурсивные определения процессов
6 Примеры доказательства свойств процессов
7 Процессы с передачей сообщений
8 Примеры процессов с передачей сообщений
9 Представление структур данных в виде процессов
10 Семантика языка параллельного программирования
11 Исторический обзор и современное состояние дел.
Название: Теория процессов
Автор: Миронов А.М.
Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем
Год: 2008
Страниц: 346
Язык: Русский
Формат: djvu
Размер: 12,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Методы стохастического программирования
В книге на примере различных задач указаны способы построения стохастических квазиградиентов, причем основное внимание уделяется задачам стохастического программирования. Книга посвящена численным методам решения нелинейных экстремальных задач вероятностной природы. Основное внимание уделяется развитию стохастических процедур поиска экстремума в задачах с ограничениями, для решения которых невозможно применить известные методы нелинейного программирования. В книге обсуждаются приложения к вопросам перспективного планирования в условиях неопределенности, оптимизации систем обслуживания, вопросам складирования, управления случайными процессами и запасами, к задачам математической статистики. Книга может быть полезна как специалистам-прикладникам, использующим в своей работе теорию оптимизации, так и научным работникам, аспирантам и студентам, специализирующимся в этой области.
Краткое содержание
Предисловие
Глава I. Вспомогательные сведения
Глава II. Непрямые методы стохастического программирования
Глава III. Стохастические квазиградиентные методы
Глава IV. Прямые методы стохастического программирования
Глава V. Обобщения
Библиографические указания
Литература.
Название: Методы стохастического программирования
Автор: Ермольев Ю.
Издательство: М.: Наука
Год: 1976
Страниц: 240
Серия: Оптимизация и исследование операций
Язык: Русский
Формат: djvu
Размер: 25,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
В книге на примере различных задач указаны способы построения стохастических квазиградиентов, причем основное внимание уделяется задачам стохастического программирования. Книга посвящена численным методам решения нелинейных экстремальных задач вероятностной природы. Основное внимание уделяется развитию стохастических процедур поиска экстремума в задачах с ограничениями, для решения которых невозможно применить известные методы нелинейного программирования. В книге обсуждаются приложения к вопросам перспективного планирования в условиях неопределенности, оптимизации систем обслуживания, вопросам складирования, управления случайными процессами и запасами, к задачам математической статистики. Книга может быть полезна как специалистам-прикладникам, использующим в своей работе теорию оптимизации, так и научным работникам, аспирантам и студентам, специализирующимся в этой области.
Краткое содержание
Предисловие
Глава I. Вспомогательные сведения
Глава II. Непрямые методы стохастического программирования
Глава III. Стохастические квазиградиентные методы
Глава IV. Прямые методы стохастического программирования
Глава V. Обобщения
Библиографические указания
Литература.
Название: Методы стохастического программирования
Автор: Ермольев Ю.
Издательство: М.: Наука
Год: 1976
Страниц: 240
Серия: Оптимизация и исследование операций
Язык: Русский
Формат: djvu
Размер: 25,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Алгоритмы и структуры данных. Потоковые алгоритмы
В пособии приводится реализация полученных алгоритмов на языке программирования C++. Язык C++ в пособии был выбран по причине его высокой популярности в среде «олимпиадников». Перевод же реализаций алгоритмов на другие языки программирования не составляет особого труда. Теория графов находит широкое применение в большом количестве прикладных задач и алгоритмы обработки графов очень важны. Методическое пособие составлено в соответствии с рабочей программой курса «Теория графов. Потоковые алгоритмы». В пособие включены базовые определения теории графов и основные результаты теории потоков на взвешенных однородных сетях. В пособии описаны алгоритмы нахождения максимального потока в сети и максимального паросочетания в двудольном графе. Пособие может быть рекомендовано студентам и магистрантам технических специальностей для изучения основ теории потоков.
Краткое содержание
Введение
1. Основные понятия теории графов
2. Структуры данных и базовые алгоритмы
3. Максимальный поток в сети
4. Паросочетания в двудольных графах
Литература.
Название: Алгоритмы и структуры данных. Потоковые алгоритмы: методическое пособие по курсу «Теория графов. Потоковые алгоритмы» для студентов специальности I-31 03 04 «Информатика» всех форм обучения
Автор: Актанорович С.В., Волосевич А.А., Сиротко С.И.
Издательство: Минск: Белорусский государственный университет информатики и радиоэлектроники
Год: 2011
Страниц: 47
Язык: Русский
Формат: djvu
Размер: 22,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
В пособии приводится реализация полученных алгоритмов на языке программирования C++. Язык C++ в пособии был выбран по причине его высокой популярности в среде «олимпиадников». Перевод же реализаций алгоритмов на другие языки программирования не составляет особого труда. Теория графов находит широкое применение в большом количестве прикладных задач и алгоритмы обработки графов очень важны. Методическое пособие составлено в соответствии с рабочей программой курса «Теория графов. Потоковые алгоритмы». В пособие включены базовые определения теории графов и основные результаты теории потоков на взвешенных однородных сетях. В пособии описаны алгоритмы нахождения максимального потока в сети и максимального паросочетания в двудольном графе. Пособие может быть рекомендовано студентам и магистрантам технических специальностей для изучения основ теории потоков.
Краткое содержание
Введение
1. Основные понятия теории графов
2. Структуры данных и базовые алгоритмы
3. Максимальный поток в сети
4. Паросочетания в двудольных графах
Литература.
Название: Алгоритмы и структуры данных. Потоковые алгоритмы: методическое пособие по курсу «Теория графов. Потоковые алгоритмы» для студентов специальности I-31 03 04 «Информатика» всех форм обучения
Автор: Актанорович С.В., Волосевич А.А., Сиротко С.И.
Издательство: Минск: Белорусский государственный университет информатики и радиоэлектроники
Год: 2011
Страниц: 47
Язык: Русский
Формат: djvu
Размер: 22,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Креативное программирование
Данное учебное пособие рассчитано в первую очередь на людей творческих профессий, прежде далеких от программирования и точных наук. Это учебное пособие знакомит с понятием креативного программирования на примере двух современных сред - Processing и VVVV. Представлены текстовая и кодовая фундаментальные парадигмы программирования. Материал по каждой среде программирования содержит основы взаимодействия с интерфейсом, синтаксис, создание анимации, импорт и экспорт данных, работу с цветом, текстом, двухмерной и трехмерной графикой. Уделено внимание такой актуальной технологии, как программирование шейдеров, на примере двух наиболее распространенных языков - GLSL и HLSL. Рассмотрены механизмы взаимодействия программ и устройств. В заключительной части продемонстрированы четыре разных технологических подхода к программированию конкретной задачи.
[Краткое содержание]
Введение
Тема I. Основы креативного программирования
Тема II. Основы текстового программирования в Processing
Тема III. Основы нодового программирования в VVVV
Тема IV. Взаимодействие программ и устройств
Тема V. Практикум. Проектирование и реализация программ.
Название: Креативное программирование: учебное пособие
Автор: Липовка А.Ю., Бундова Е.С., Жоров Ю.В.
Издательство: Красноярск: Сиб. федер. Ун-т
Год: 2015
Страниц: 280
ISBN: 978-5-7638-3356-0
Язык: Русский
Формат: djvu
Размер: 23,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Данное учебное пособие рассчитано в первую очередь на людей творческих профессий, прежде далеких от программирования и точных наук. Это учебное пособие знакомит с понятием креативного программирования на примере двух современных сред - Processing и VVVV. Представлены текстовая и кодовая фундаментальные парадигмы программирования. Материал по каждой среде программирования содержит основы взаимодействия с интерфейсом, синтаксис, создание анимации, импорт и экспорт данных, работу с цветом, текстом, двухмерной и трехмерной графикой. Уделено внимание такой актуальной технологии, как программирование шейдеров, на примере двух наиболее распространенных языков - GLSL и HLSL. Рассмотрены механизмы взаимодействия программ и устройств. В заключительной части продемонстрированы четыре разных технологических подхода к программированию конкретной задачи.
[Краткое содержание]
Введение
Тема I. Основы креативного программирования
Тема II. Основы текстового программирования в Processing
Тема III. Основы нодового программирования в VVVV
Тема IV. Взаимодействие программ и устройств
Тема V. Практикум. Проектирование и реализация программ.
Название: Креативное программирование: учебное пособие
Автор: Липовка А.Ю., Бундова Е.С., Жоров Ю.В.
Издательство: Красноярск: Сиб. федер. Ун-т
Год: 2015
Страниц: 280
ISBN: 978-5-7638-3356-0
Язык: Русский
Формат: djvu
Размер: 23,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Оптимизация в среде MATLAB
Для системы компьютерной математики Matlab основным инструментом являются функции, которые реализуют определенные операции и алгоритмы. Имеются встроенные функции, в том числе все элементарные, и внешние, оформленные в виде так называемых m-файлов. Внешние функции могут пополняться собственными функциями пользователя. В учебном пособии рассмотрены возможности системы компьютерной математики MatLab в части решения оптимизационных задач. Достаточно подробно в учебном пособии описаны функции пакетов расширения Toolbox Optimization и Toolbox Global Optimization. В учебном пособии приведены многочисленные примеры решения задач оптимизации в режиме командной строки, иллюстрированные двумерными и трехмерными графиками, а также задания для восьми лабораторных работ. Учебное пособие предназначено для студентов (бакалавров и магистров), изучающих курс «Методы оптимизации». Пособие также может быть полезно тем, кто сталкивается с необходимостью решать задачи оптимизации.
Краткое содержание
Введение
1. Одномерная минимизация в MATLAB
2. Безусловная минимизация функций многих переменных
3. Условная оптимизация
4. Глобальная оптимизация
5. Многокритериальная оптимизация
6. Линейное программирование. Функция linprog
7. Целочисленное программирование. Функция bintprog
8. Квадратичное программирование. Функция quadprog
9. Другие функции пакета Toolbox Optimization
Список рекомендуемой литературы
Приложения.
Название: Оптимизация в среде MATLAB: учебное пособие
Автор: Гольдштейн А.Л.
Издательство: Пермь: Изд-во Пермского национального исследовательского политехнического университета
Год: 2015
Страниц: 192
ISBN: 978-5-398-01361-0
Язык: Русский
Формат: djvu
Размер: 22,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Для системы компьютерной математики Matlab основным инструментом являются функции, которые реализуют определенные операции и алгоритмы. Имеются встроенные функции, в том числе все элементарные, и внешние, оформленные в виде так называемых m-файлов. Внешние функции могут пополняться собственными функциями пользователя. В учебном пособии рассмотрены возможности системы компьютерной математики MatLab в части решения оптимизационных задач. Достаточно подробно в учебном пособии описаны функции пакетов расширения Toolbox Optimization и Toolbox Global Optimization. В учебном пособии приведены многочисленные примеры решения задач оптимизации в режиме командной строки, иллюстрированные двумерными и трехмерными графиками, а также задания для восьми лабораторных работ. Учебное пособие предназначено для студентов (бакалавров и магистров), изучающих курс «Методы оптимизации». Пособие также может быть полезно тем, кто сталкивается с необходимостью решать задачи оптимизации.
Краткое содержание
Введение
1. Одномерная минимизация в MATLAB
2. Безусловная минимизация функций многих переменных
3. Условная оптимизация
4. Глобальная оптимизация
5. Многокритериальная оптимизация
6. Линейное программирование. Функция linprog
7. Целочисленное программирование. Функция bintprog
8. Квадратичное программирование. Функция quadprog
9. Другие функции пакета Toolbox Optimization
Список рекомендуемой литературы
Приложения.
Название: Оптимизация в среде MATLAB: учебное пособие
Автор: Гольдштейн А.Л.
Издательство: Пермь: Изд-во Пермского национального исследовательского политехнического университета
Год: 2015
Страниц: 192
ISBN: 978-5-398-01361-0
Язык: Русский
Формат: djvu
Размер: 22,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Дискретное программирование
Авторы предприняли попытку дать сводное изложение основных достижений в области дискретного программирования. Читатель, не ставящий перед собой целью активно овладеть методами дискретного программирования, а желающий получить лишь первоначальное представление о предмете и освоить технику формулирования задач, может ограничиться изучением только первой части книги. Задачи дискретного программирования, заключающиеся в нахождении условных экстремумов на конечных множествах (или на целочисленных решетках), являются источником интересных теоретических исследований. С другой стороны, в терминах дискретного программирования формализовано много важных прикладных задач оптимизации, связанных с наличием неделимых факторов, стандартов при проектировании, условий «логического» типа, фиксированных доплат и т. п. Книга состоит из пяти частей (подразделенных на главы), в которых излагаются основные разделы дискретного программирования. Желательно, чтобы читатель владел основными понятиями математического программирования. Однако все необходимые сведения сообщаются в тексте. Книга предназначена для математиков, экономистов, инженеров, специалистов в области управления и военного дела. Книга может быть также полезна студентам и аспирантам соответствующих специальностей.
Краткое содержание
Предисловие редактора
Предисловие авторов
Часть I. Предмет и модели дискретного программирования
Часть II. Метод отсечения
Часть III. Комбинаторные методы
Часть IV. Приближенные методы
Часть V. Некоторые теоретические вопросы
Литература
Предметный указатель.
Название: Дискретное программирование: монография
Автор: Корбут А.А., Финкельштейн Ю.Ю.
Издательство: М.: Наука
Год: 1969
Страниц: 368
Серия: Экономико-математическая библиотека
Язык: Русский
Формат: djvu
Размер: 14,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Авторы предприняли попытку дать сводное изложение основных достижений в области дискретного программирования. Читатель, не ставящий перед собой целью активно овладеть методами дискретного программирования, а желающий получить лишь первоначальное представление о предмете и освоить технику формулирования задач, может ограничиться изучением только первой части книги. Задачи дискретного программирования, заключающиеся в нахождении условных экстремумов на конечных множествах (или на целочисленных решетках), являются источником интересных теоретических исследований. С другой стороны, в терминах дискретного программирования формализовано много важных прикладных задач оптимизации, связанных с наличием неделимых факторов, стандартов при проектировании, условий «логического» типа, фиксированных доплат и т. п. Книга состоит из пяти частей (подразделенных на главы), в которых излагаются основные разделы дискретного программирования. Желательно, чтобы читатель владел основными понятиями математического программирования. Однако все необходимые сведения сообщаются в тексте. Книга предназначена для математиков, экономистов, инженеров, специалистов в области управления и военного дела. Книга может быть также полезна студентам и аспирантам соответствующих специальностей.
Краткое содержание
Предисловие редактора
Предисловие авторов
Часть I. Предмет и модели дискретного программирования
Часть II. Метод отсечения
Часть III. Комбинаторные методы
Часть IV. Приближенные методы
Часть V. Некоторые теоретические вопросы
Литература
Предметный указатель.
Название: Дискретное программирование: монография
Автор: Корбут А.А., Финкельштейн Ю.Ю.
Издательство: М.: Наука
Год: 1969
Страниц: 368
Серия: Экономико-математическая библиотека
Язык: Русский
Формат: djvu
Размер: 14,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Граф-схемы и алгоритмы
Под алгоритмом понимают точное предписание, которое задает вычислительный процесс, начинающийся с произвольного исходного данного из некоторой совокупности возможных для этого процесса данных и направленный на получение полностью определяемого этими исходными данными результата. Классические алгоритмические системы были в основном разработаны до появления электронных вычислительных машин, исходя из потребностей самой математики. В книге излагаются основные сведения по теории граф-схем, рассматриваются классические алгоритмические системы, вопросы построения алгоритмов и их программ. Пособие может быть полезно студентам математических специальностей вузов, а также преподавателям математики и информатики средней школы.
Краткое содержание
Предисловие
1. Граф-схемы
2. Эффективная вычислимость
3. Алгоритмы и программы
4. Построение алгоритмов по неполной информации
Рекомендуемая литература.
Название: Граф-схемы и алгоритмы: Учебное пособие для физико-математических факультетов педагогических институтов
Автор: Блох А.Ш.
Издательство: Минск: Вышэйшая школа
Год: 1987
Страниц: 144
Язык: Русский
Формат: djvu
Размер: 23,0 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Под алгоритмом понимают точное предписание, которое задает вычислительный процесс, начинающийся с произвольного исходного данного из некоторой совокупности возможных для этого процесса данных и направленный на получение полностью определяемого этими исходными данными результата. Классические алгоритмические системы были в основном разработаны до появления электронных вычислительных машин, исходя из потребностей самой математики. В книге излагаются основные сведения по теории граф-схем, рассматриваются классические алгоритмические системы, вопросы построения алгоритмов и их программ. Пособие может быть полезно студентам математических специальностей вузов, а также преподавателям математики и информатики средней школы.
Краткое содержание
Предисловие
1. Граф-схемы
2. Эффективная вычислимость
3. Алгоритмы и программы
4. Построение алгоритмов по неполной информации
Рекомендуемая литература.
Название: Граф-схемы и алгоритмы: Учебное пособие для физико-математических факультетов педагогических институтов
Автор: Блох А.Ш.
Издательство: Минск: Вышэйшая школа
Год: 1987
Страниц: 144
Язык: Русский
Формат: djvu
Размер: 23,0 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
