Аблаев, Ф. М. Уточнение иерархии класса булевых функций, представимых в моделях k-OBDD ветвящихся программ [Текст] / Ф. М. Аблаев, К. Р. Хадиев> // Известия вузов. Математика. - 2013. - № 3. - С. 56-61. - Библиогр.: с. 61 . - ISSN 0021-3446
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): Bolling - Sauerhoff - Sieling - Wegener иерархия -- OBDD -- k-OBDD -- автоматные коммуникационные протоколы -- булевы функции -- ветвящиеся программы -- иерархия Bolling - Sauerhoff - Sieling - Wegener -- классы сложности -- коммуникационные протоколы -- теорема об иерархии Аннотация: Рассматривается известная модель ветвящихся программ - k-OBDD. Разработан метод представления процесса вычисления в k-OBDD в виде (определяемого в работе) автоматного коммуникационного протокола, который позволяет продолжить иерархию Bolling - Sauerhoff - Sieling - Wegener с ограничениями на ширину. Доп.точки доступа: Хадиев, К. Р. Нет сведений об экземплярах (Источник в БД не найден) |
Востриков, А. А. Прохождение туристами-спортсменами эталонной дистанции 2-го класса сложности [Текст] / А. А. Востриков> // Теория и практика физической культуры. - 2015. - № 4. - С. 17. - Библиогр.: с. 17 (1 назв.) . - ISSN 0040-3601
Рубрики: Физическая культура и спорт Туризм Кл.слова (ненормированные): второй класс сложности -- классы сложности -- пешеходные дистанции -- спортивные достижения -- спортсмены -- эталонные дистанции Аннотация: Изучение результатов прохождения туристами-спортсменами эталонной пешеходной дистанции второго класса сложности. Выявление причин, влияющих на достижения спортсменов. Нет сведений об экземплярах (Источник в БД не найден) |