?
Estimating a Polyhedron Method Informativeness in the Problem of Checking the Automaton by the Statistical Properties of the Input and Output Sequences
P. 42–51.
В книге
Vol. 1748: 25th International Conference, DCCN 2022, Moscow, Russia, September 26–29, 2022, Revised Selected Papers. , Springer, 2022.
Таламбуца А. Л., Kolpakov A., Discrete Mathematics 2020 Vol. 343 No. 3 P. 1–8
Добавлено: 15 марта 2020 г.
Изучаются методы использования AVX-векторизации для ускорения вычислений на примере библиотеки генераторов псевдослучайных чисел RNGAVXLIB, в которой содержатся AVX-реализации современных генераторов и функции инициализации до 10^19 независимых потоков псевдослучайных чисел. AVX-реализации генераторов производят в точности те же последовательности псевдослучайных числе, что и исходные алгоритмы и, в то же время, до 40 раз быстрее, чем реализации алгоритмов, ...
Добавлено: 4 октября 2018 г.
Иванова Е. М., Сафонов С. Н., М.: НИУ ВШЭ, 2018.
Целью работы является закрепление теоретических знаний по разделам «Цифровая схемотехника», «Регистры сдвига». В настоящем пособии приводится описание особенностей организации работы регистров сдвига. Приводится краткие теоретические сведения об их назначении, параметрах, способах классификации, правилах построения буферного, сдвигающего и кольцевого регистра и распределителей импульсов. По окончании лабораторной работы студент должен иметь представление о принципах работы регистров и ...
Добавлено: 26 января 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Захаров В. А., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ ...
Добавлено: 12 октября 2017 г.
Сиротин В. П., В кн.: Эконометрика: учебник.: М.: Проспект, 2015. Гл. 11 С. 341–355.
Рассматриваются различные виды систем одновременных ругрессионных уравнений. Анализируется идентифицируемость системы и методы идентификации моделей. ...
Добавлено: 10 марта 2017 г.
Бабаш А. В., Automatic Control and Computer Sciences 2016 Vol. 50 No. 8 P. 749–758
Добавлено: 26 февраля 2017 г.
Ахметсафина Р. З., Ахметсафин Р. Д., Мехатроника, автоматизация, управление 2014 № 11 (164) С. 33–38
Предлагается оптимизация вычислений критерия отбора хромосом (функции выживания) в генетических алгоритмах (ГА), когда допускается рекуррентный пересчет критерия при изменении хромосомы в одном гене. Оптимизация вычислений осуществляется путем решения задачи Штейнера на графах. Задача рассматривается в контексте применения ГА к структурно-параметрической идентификации регрессионных моделей, где: а) ген — регрессор; б) хромосома — набор регрессоров в одной ...
Добавлено: 5 декабря 2014 г.
Урнов М. Ю., Вестник Московской школы политических исследований 1996 № 6 С. 171–182
В статье национальная идентичность рассматривается как подсистема общей идентификационной системы. Говорится об эмоциональной и рациональной составляющих идентификационных систем, об их временной компоненте, о соотношении национальной и политической идентичности, о специфике тоталитарных (коммунистической и нацистской) идентификационных систем. ...
Добавлено: 9 декабря 2012 г.