Разработка параллельного алгоритма решения задачи выполнимости для И-ИЛИ дерева в MS VISUAL STUDIO 2010; Технологии Microsoft в теории и практике программирования
| Parent link: | Технологии Microsoft в теории и практике программирования.— 2012.— [С. 52-54] |
|---|---|
| 主要作者: | Алипов В. В. |
| 企業作者: | Национальный исследовательский Томский политехнический университет (ТПУ) |
| 總結: | Заглавие с титульного листа. The satisfiability problem (SAT) is a decision problem that is known to be NP-complete. SAT is of central importance in various areas of computer science. There are numerous works devoted to the subject but most of them put strict constraints on the form of the Boolean expression. In this paper we develop a simple and fast genetic algorithm applicable to any Boolean formula or even combinational circuit. At the core of this algorithm lies universal and effective objective function based on AND/OR trees. The parallel implementation of this algorithm using PPL in Microsoft Visual Studio 2010 is described and studied. |
| 語言: | 俄语 |
| 出版: |
2012
|
| 叢編: | Математическое моделирование и технологии высокопроизводительных вычислений |
| 主題: | |
| 在線閱讀: | http://www.lib.tpu.ru/fulltext/c/2012/C28/016.pdf |
| 格式: | 電子 Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=611342 |
相似書籍
Введение в .NET 4.0 и Visual Studio 2010 для профессионалов: пер. с англ.
由: Макки А. Алекс
出版: (Москва, Вильямс, 2010)
由: Макки А. Алекс
出版: (Москва, Вильямс, 2010)
Использование Visual Studio для разработки приложений параллельной сегментации изображений с использованием графических ускорителей; Технологии Microsoft в теории и практике программирования
由: Овчинникова О. И.
出版: (2014)
由: Овчинникова О. И.
出版: (2014)
Знакомство с Microsoft Visual Studio 2005 Team System: пер. с англ.
由: Хандхаузен Р. Ричард
出版: (СПб., Питер, 2006)
由: Хандхаузен Р. Ричард
出版: (СПб., Питер, 2006)
Организация обмена данными между Ms Excel и базой данных Oracle; Технологии Microsoft в теории и практике программирования
由: Вашкина Е. И. Евгения Ивановна
出版: (2013)
由: Вашкина Е. И. Евгения Ивановна
出版: (2013)
С#. Разработка компонентов в MS Visual Studio 2005/2008
由: Агуров П. В. Павел Владимирович
出版: (Санкт-Петербург, БХВ-Петербург, 2008)
由: Агуров П. В. Павел Владимирович
出版: (Санкт-Петербург, БХВ-Петербург, 2008)
Обработка видеоинформации средствами Visual Studio; Технологии Microsoft в теории и практике программирования
由: Гориченко А. В.
出版: (2013)
由: Гориченко А. В.
出版: (2013)
Использование модульных тестов для повышения качества кода в среде Microsoft Visual Studio; Технологии Microsoft в теории и практике программирования
由: Турдубаев А. М.
出版: (2013)
由: Турдубаев А. М.
出版: (2013)
Visual Basic 2010
由: Дукин А. Н. Алексей Николаевич
出版: (СПб., БХВ-Петербург, 2012)
由: Дукин А. Н. Алексей Николаевич
出版: (СПб., БХВ-Петербург, 2012)
Использование нагрузочного тестирования для увеличения производительности приложений в Visual Studio; Технологии Microsoft в теории и практике программирования
由: Лайком Д. Н. Дмитрий Николаевич
出版: (2013)
由: Лайком Д. Н. Дмитрий Николаевич
出版: (2013)
Исследование робастных параметров для классификации данных ДЗЗ; Современные техника и технологии; Т. 2
由: Аникина П. В.
出版: (2012)
由: Аникина П. В.
出版: (2012)
Поиск ключевых кадров средствами Visual Studio; Технологии Microsoft в теории и практике программирования
由: Гориченко А. В.
出版: (2014)
由: Гориченко А. В.
出版: (2014)
The Development of Parallel Applications using Libraries TPL and MPI in the . NET Framework; Технологии Microsoft в теории и практике программирования
由: Laykom D. N. Dmitriy Nikolaevich
出版: (2012)
由: Laykom D. N. Dmitriy Nikolaevich
出版: (2012)
Использование нагрузочного тестирования для увеличения производительности приложений в Visual Studio; Молодежь и современные информационные технологии
由: Лайком Д. Н. Дмитрий Николаевич
出版: (2013)
由: Лайком Д. Н. Дмитрий Николаевич
出版: (2013)
Использование Visual Studio в разработки приложения для удаленного управления компьютером (Network bridge); Технологии Microsoft в теории и практике программирования
由: Комаров А. Ю.
出版: (2014)
由: Комаров А. Ю.
出版: (2014)
Основы программирования на Visual Basic .NET учебное пособие
由: Головина Е. Ю.
出版: (Уфа, УГНТУ, 2019)
由: Головина Е. Ю.
出版: (Уфа, УГНТУ, 2019)
Информационная система для инвентаризации источников загрязнения атмосферы; Молодежь и современные информационные технологии; Т. 2
由: Паршина Д. М.
出版: (2014)
由: Паршина Д. М.
出版: (2014)
Программирование на языке высокого уровня. Программирование на языке C++: учебное пособие
由: Немцова Т. И. Тамара Игоревна
出版: (Москва, Форум, 2012)
由: Немцова Т. И. Тамара Игоревна
出版: (Москва, Форум, 2012)
Программирование на языках высокого уровня учебное пособие
由: Бедердинова О. И.
出版: (Архангельск, САФУ, 2019)
由: Бедердинова О. И.
出版: (Архангельск, САФУ, 2019)
Программирование методические рекомендации
由: Шмелева А. Г.
出版: (Москва, РТУ МИРЭА, 2021)
由: Шмелева А. Г.
出版: (Москва, РТУ МИРЭА, 2021)
Применение MS Visual Studio (C\C++), MS Windows SDK (WinAPI), MS DirectX SDK (Direct3D) для разработки системы трехмерной визуализации резки заготовки на фрезерном станке с ЧПУ; Технологии Microsoft в теории и практике программирования
由: Бессараб А. С.
出版: (2013)
由: Бессараб А. С.
出版: (2013)
Лабораторный практикум по информатике: учебное пособие
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2014)
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2014)
Visual Basic .NET: Справочник
由: Штайнер Г. Гюнтер
出版: (Москва, Лаборатория Базовых Знаний, 2002)
由: Штайнер Г. Гюнтер
出版: (Москва, Лаборатория Базовых Знаний, 2002)
Создание программы "Библиотека" в среде SQL 2008 и Microsoft Visual Studio; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 2
由: Чан Тхюи Зунг
出版: (2014)
由: Чан Тхюи Зунг
出版: (2014)
Программирование на языке C# в среде Microsoft Visual Studio практикум
由: Данилина И. И.
出版: (Екатеринбург, 2018)
由: Данилина И. И.
出版: (Екатеринбург, 2018)
Объектно-ориентированное программирование на Visual Basic в среде Visual Studio .NET: учебное пособие для вузов
由: Шакин В. Н. Виктор Николаевич
出版: (Москва, Форум, 2015)
由: Шакин В. Н. Виктор Николаевич
出版: (Москва, Форум, 2015)
Основы объектного программирования на С#(С# 3.0, Visual Studio 2008): учебное пособие
由: Биллиг В. А. Владимир Арнольдович
出版: (Москва, Интернет-Университет Информационных Технологий, 2010)
由: Биллиг В. А. Владимир Арнольдович
出版: (Москва, Интернет-Университет Информационных Технологий, 2010)
Многопоточная фильтрация изображений в среде VISUALSTUDIO 2010; Технологии Microsoft в теории и практике программирования
由: Белоцерковский А. В.
出版: (2011)
由: Белоцерковский А. В.
出版: (2011)
Лабораторный практикум по информатике: учебное пособие
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2014)
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2014)
Основы алгоритмизации и программирования в среде Visual C++ 2005
由: Шелупанов А. А.
出版: (Москва, ТУСУР, 2008)
由: Шелупанов А. А.
出版: (Москва, ТУСУР, 2008)
Объектно-ориентированный анализ и программирование на VISUAL BASIC 2013: учебник для прикладного бакалавриата
由: Казанский А. А. Александр Анатольевич
出版: (Москва, Юрайт, 2016)
由: Казанский А. А. Александр Анатольевич
出版: (Москва, Юрайт, 2016)
Программирование по объектно-ориентированной технологии на С++ для Visual Studio 2019/2022.jpg учебное пособие по направлениям 09.03.01 "информатика и вычислительная техника" и 09.03.04 "программная инженерия"
由: Новиков П. В.
出版: (Москва, МАИ, 2025)
由: Новиков П. В.
出版: (Москва, МАИ, 2025)
Основы программирования на C#. Лабораторный практикум: учебно-методическое пособие
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2025)
由: Дёмин А. Ю. Антон Юрьевич
出版: (Томск, Изд-во ТПУ, 2025)
Оценка эффективности параллельного алгоритма совместного геостатистического моделирования; Молодежь и современные информационные технологии; Т. 1
由: Шестаков В. В. Валерий Владимирович
出版: (2016)
由: Шестаков В. В. Валерий Владимирович
出版: (2016)
Информатика. Лабораторный практикум: учебное пособие для прикладного бакалавриата
由: Дёмин А. Ю. Антон Юрьевич
出版: (Москва, Юрайт, 2016)
由: Дёмин А. Ю. Антон Юрьевич
出版: (Москва, Юрайт, 2016)
Основы программирования на языке С++ учебное пособие
由: Давыдов А. И.
出版: (Омск, ОмГУПС, 2022)
由: Давыдов А. И.
出版: (Омск, ОмГУПС, 2022)
Реализация метода марширующих квадратов на языке С#; Технологии Microsoft в теории и практике программирования
由: Русакович Н. А.
出版: (2016)
由: Русакович Н. А.
出版: (2016)
Теория параллельного диагностирования. Дискретные объекты монография
由: Никифоров С. Н.
出版: (Санкт-Петербург, Лань, 2020)
由: Никифоров С. Н.
出版: (Санкт-Петербург, Лань, 2020)
Автоматизация процесса оценки сервиса розничной сети; Технологии Microsoft в теории и практике программирования
由: Скотникова Е. В.
出版: (2015)
由: Скотникова Е. В.
出版: (2015)
Отладка приложений для Microsoft .NET: пер. с англ.
由: Роббинс Дж. Джон
出版: (Москва, Русская Редакция, 2008)
由: Роббинс Дж. Джон
出版: (Москва, Русская Редакция, 2008)
Информатика. Лабораторный практикум: учебное пособие для прикладного бакалавриата
由: Дёмин А. Ю. Антон Юрьевич
出版: (Москва, Юрайт, 2019)
由: Дёмин А. Ю. Антон Юрьевич
出版: (Москва, Юрайт, 2019)
相似書籍
-
Введение в .NET 4.0 и Visual Studio 2010 для профессионалов: пер. с англ.
由: Макки А. Алекс
出版: (Москва, Вильямс, 2010) -
Использование Visual Studio для разработки приложений параллельной сегментации изображений с использованием графических ускорителей; Технологии Microsoft в теории и практике программирования
由: Овчинникова О. И.
出版: (2014) -
Знакомство с Microsoft Visual Studio 2005 Team System: пер. с англ.
由: Хандхаузен Р. Ричард
出版: (СПб., Питер, 2006) -
Организация обмена данными между Ms Excel и базой данных Oracle; Технологии Microsoft в теории и практике программирования
由: Вашкина Е. И. Евгения Ивановна
出版: (2013) -
С#. Разработка компонентов в MS Visual Studio 2005/2008
由: Агуров П. В. Павел Владимирович
出版: (Санкт-Петербург, БХВ-Петербург, 2008)