Разработка параллельного алгоритма решения задачи выполнимости для И-ИЛИ дерева в MS VISUAL STUDIO 2010; Технологии Microsoft в теории и практике программирования

Разработка параллельного алгоритма решения задачи выполнимости для И-ИЛИ дерева в MS VISUAL STUDIO 2010; Технологии Microsoft в теории и практике программирования

Bibliografiske detaljer
Parent link:Технологии Microsoft в теории и практике программирования.— 2012.— [С. 52-54]
Hovedforfatter: Алипов В. В.
Institution som forfatter: Национальный исследовательский Томский политехнический университет (ТПУ)
Summary:Заглавие с титульного листа.
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.
Sprog:russisk
Udgivet: 2012
Serier:Математическое моделирование и технологии высокопроизводительных вычислений
Fag:
электронный ресурс
труды учёных ТПУ
параллельные алгоритмы
решение задач
Visual Studio 2010
генетические алгоритмы
выполнимость
Online adgang:http://www.lib.tpu.ru/fulltext/c/2012/C28/016.pdf
Format: Electronisk Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=611342

MARC

LEADER 00000naa2a2200000 4500
001 611342
005 20260529093642.0
035 |a (RuTPU)RU\TPU\conf\9084 
035 |a RU\TPU\conf\9083 
090 |a 611342 
100 |a 20150305d2012 k y0rusy50 ca 
101 0 |a rus 
102 |a RU 
135 |a drcn ---uucaa 
181 0 |a i  
182 0 |a b 
200 1 |a Разработка параллельного алгоритма решения задачи выполнимости для И-ИЛИ дерева в MS VISUAL STUDIO 2010  |f В. В. Алипов 
203 |a Текст  |c электронный 
215 |a 1 файл (505 Кб) 
225 1 |a Математическое моделирование и технологии высокопроизводительных вычислений 
300 |a Заглавие с титульного листа. 
320 |a [Библиогр.: с. 54 (3 назв.)] 
330 |a 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. 
337 |a Adobe Reader 
463 1 |0 (RuTPU)RU\TPU\conf\61  |t Технологии Microsoft в теории и практике программирования  |o сборник трудов IX Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 21-22 марта 2012 г., г.Томск  |f Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики ; отв. ред. А. Р. Вахитов  |v [С. 52-54]  |d 2012 
610 1 |a электронный ресурс 
610 1 |a труды учёных ТПУ 
610 1 |a параллельные алгоритмы 
610 1 |a решение задач 
610 1 |a Visual Studio 2010 
610 1 |a генетические алгоритмы 
610 1 |a выполнимость 
700 1 |a Алипов  |b В. В. 
712 0 2 |a Национальный исследовательский Томский политехнический университет (ТПУ)  |c (2009- )  |3 (RuTPU)RU\TPU\col\15902 
801 2 |a RU  |b 63413507  |c 20150305  |g RCR 
856 4 |u http://www.lib.tpu.ru/fulltext/c/2012/C28/016.pdf 
942 |c BK 

Lignende værker