|
|
|
|
| LEADER |
00000naa2a2200000 4500 |
| 001 |
611342 |
| 005 |
20231101132643.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
|d eng
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 100zy
|
| 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 Математическое моделирование и технологии высокопроизводительных вычислений
|
| 230 |
|
|
|a Электронные текстовые данные (1 файл : 505 Кб)
|
| 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- )
|2 stltpush
|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
|
