Заикин, О. С. Технология крупноблочного параллелизма в SAT-задачах [Текст] / О. С. Заикин, А. А. Семенов ; ст. представлена к публ. С. Н. Васильевым // Проблемы управления. - 2008. - N 1. - С. 43-50 : Ил., 4 рис. - Библиогр.: с. 50 (18 назв.). - Прил. . - ISSN 1819-3161
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): логический поиск -- SAT-задачи -- задачи-SAT -- параллелизм -- крупноблочный параллелизм -- вычисления -- параллельные вычисления -- статистическое прогнозирование -- вычислительные эксперименты -- дискретные функции -- прогнозные функции -- криптоанализ Аннотация: Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. в рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов. Доп.точки доступа: Семенов, А. А.; Васильев, С. Н. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Дмитриев, Н. М. Нелинейные законы фильтрации для оротропных пористых сред [Текст] / Н. М. Дмитриев, А. А. Мурадов, А. А. Семенов // Известия РАН. Механика жидкости и газа. - 2008. - N 5. - С. 83-89. : 2 рис. - Библиогр.: с. 89 (11 назв. )
Рубрики: Механика Гидромеханика и аэромеханика Кл.слова (ненормированные): анизотропия -- асимметрия фильтрационных свойств -- нелинейные законы фильтрации -- оротропные пористые среды Аннотация: В инвариантном тензорном виде выписаны нелинейные законы фильтрации для оротропных пористых сред. Даны выражения, определяющие нелинейные фильтрационные сопротивления, и показано, что при переходе от линейных законов фильтрации к нелинейным может проявляться эффект асимметрии, т. е. фильтрационные свойства могут быть различными вдоль одной прямой в положительном и отрицательном направлении. Показано, что по сравнению с линейным законом фильтрации для оротропных сред, когда для задания фильтрационных свойств для трех групп симметрии достаточно лишь одного закона фильтрации, в нелинейных законах проявление анизотропии существенно разнообразнее и каждая группа симметрии описывается своими уравнениями. Доп.точки доступа: Мурадов, А. А.; Семенов, А. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Семенов, А. А. Декомпозиционные представления логических уравнений в задачах обращения дискретных функций [Текст] / А. А. Семенов // Известия РАН. Теория и системы управления. - 2009. - N 5. - С. 47-61. . - Библиогр.: c. 61 (32 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): логические уравнения -- обращение дискретных функций -- системы логических уравнений Аннотация: Рассмотрены задачи обращения дискретных функций, вычислимых детерминированным образом за полиномиальное время. Используется пропозициональный подход, основой которого является техника представления алгоритмов вычисления функций в форме систем логических уравнений. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Семенов, А. А. (сотрудник Центра бюджет. мониторинга). Прогнозирование численности студентов в вузах России [Текст] = The prediction of students` quantity in institutes of higher education in Russia / А. А. Семенов, В. А. Гуртов // Высшее образование в России. - 2010. - N 6. - С. 73-78. . - Библиогр.: с. 77 (9 назв. )
Рубрики: Образование. Педагогика Высшее профессиональное образование--Россия, 21 в. нач. Кл.слова (ненормированные): вузы -- высшие учебные заведения -- численность студентов -- студенты -- выпускники школ Аннотация: Проведен расчет динамики численности студентов в вузах России до 2015 г. с учетом особенностей поведения объясняющих факторов. Доп.точки доступа: Гуртов, В. А. (проф. Центра бюджет. мониторинга) Имеются экземпляры в отделах: всего 1 : н.з. (1) Свободны: н.з. (1) |
Миловидов, С. Л. Организация комплексной проверки лиц, подозреваемых в совершении преступлений, по экспертно-криминалистическим учетам [Текст] / С. Л. Миловидов, А. А. Семенов, Г. В. Павличенко // Эксперт-криминалист. - 2009. - N 4. - С. 19-23 : ил., 2 рис.
Рубрики: Право Криминалистика Кл.слова (ненормированные): экспертно-криминалистические учеты -- информационные карты -- объекты криминалистического учета -- дактилоскопические объекты -- трасологические объекты Аннотация: В статье описаны экспертно-криминалистические учеты, предназначенные для оперативного информационного обеспечения раскрытия и расследования преступлений, а также предупреждения особо опасных, в том числе серийных, преступлений. Доп.точки доступа: Семенов, А. А.; Павличенко, Г. В. Имеются экземпляры в отделах: всего 1 : к.п. (1) Свободны: к.п. (1) |
Семенов, А. А. (студент МГУ им. М. В. Ломоносова). География аэропортов и авиакомпаний Европы в условиях либерализации и конкуренции [Текст] / А. А. Семенов // Региональные исследования. - 2011. - N 1 (31). - С. 76-86 : рис.; табл. - Библиогр.: с. 86 (13 назв.) . - ISSN 1994-5280
Рубрики: Экономика Экономика транспорта--Европа, 21 в. первое десятилетие Кл.слова (ненормированные): аэропорты -- авиакомпании -- европейские авиакомпании -- европейские аэропорты -- европейское авиационное пространство -- авиаперевозки -- виды авиаперевозок -- европейские авиаперевозки -- либерализация авиаперевозок -- авиационный рынок -- рынок авиаперевозок -- пассажирооборот -- внутристрановые авиаперевозки -- классические авиакомпании -- авиаперевозчики -- бюджетные авиакомпании Аннотация: Рассмотрены современное состояние и перспективы развития европейской системы воздушного транспорта (сеть аэропортов, авиакомпаний, сеть авиалиний). Анализируется структура сети аэропортов по трем видам перевозок: внутристрановым, внутриевропейским и дальним международным (неевропейским). Выявлены главные характеристики европейских классических и бюджетных авиакомпаний. Выделено пять типов классических и 4 типа бюджетных авиакомпаний. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Питухин, Е. А. Прогнозирование приемов, выпускников и численности студентов учреждений профессионального образования [Текст] / Е. А. Питухин, А. А. Семенов // Проблемы прогнозирования. - 2012. - № 2. - С. 74-88 : рис. - Библиогр.: с. 87-88 (12 назв.) . - ISSN 0868-6351
Рубрики: Образование. Педагогика Профессиональное образование Кл.слова (ненормированные): математические модели -- статистические данные -- долгосрочное прогнозирование -- долгосрочные прогнозы -- прием студентов -- выпуск студентов -- студенты -- учреждения профессионального образования -- концептуальные модели -- структурные модели Аннотация: В статье предложена математическая модель, позволяющая с высокой точностью на основе статистических данных осуществлять долгосрочное прогнозирование приемов, выпусков и численности обучающихся студентов в учреждениях профессионального образования на период 2020 г. Доп.точки доступа: Семенов, А. А. Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
Семенов, А. А. Об одном классе решающих диаграмм [Текст] / А. А. Семенов, И. В. Отпущенников // Автоматика и телемеханика. - 2016. - № 4. - С. 84-98. - Библиогр.: с. 98 (12 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Кибернетика Математика Математическая кибернетика Кл.слова (ненормированные): ДНФ -- булевы функции -- диаграммы -- дизъюнктивные диаграммы -- дизъюнктивные нормальные формы -- классы решающих диаграмм -- решающие диаграммы -- функции Аннотация: Вводится класс решающих диаграмм, предназначенных для представления нормальных форм булевых функций. В частности, рассматриваются дизъюнктивные диаграммы, представляющие дизъюнктивные нормальные формы (ДНФ). Доп.точки доступа: Отпущенников, И. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Автокаталитический синтез нитевидных нанокристаллов CdTe методом магнетронного осаждения [Текст] / И. П. Сошников [и др.] // Физика твердого тела. - 2016. - Т. 58, вып. 12. - С. 2314-2318 : 7 рис. - Библиогр. в конце ст. (27 назв.) . - ISSN 0367-3294
Рубрики: Физика Физика полупроводников и диэлектриков Кл.слова (ненормированные): CdTe -- Te -- автокаталитический синтез -- магнетронное осаждение -- нанокристаллы -- нитевидные нанокристаллы -- синтез нанокристаллов Аннотация: Продемонстрирована возможность автокаталитического синтеза нитевидных нанокристаллов CdTe методом магнетронного осаждения через отверстия в сверхтонком слое SiO[2]. Доп.точки доступа: Сошников, И. П.; Семенов, А. А.; Белявский, П. Ю.; Штром, И. В.; Котляр, К. П.; Лисак, В. В.; Кудряшов, Д. А.; Павлов, С. И.; Нащекин, А. В.; Цырлин, Г. Э. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Концепция многозадачной грид-системы с гибким распределением свободных вычислительных ресурсов суперкомпьютеров [Текст] / А. П. Афанасьев [и др.] // Известия РАН. Теория и системы управления. - 2017. - № 4. - С. 133-139. - Библиогр.: с. 138-139 (27 назв. ) . - ISSN 0002-3388
Рубрики: Вычислительная техника Распределенные системы обработки данных Кл.слова (ненормированные): вычислительные кластеры -- вычислительные ресурсы -- грид-системы -- многозадачность -- распределенные вычисления -- суперкомпьютеры Аннотация: Предлагается новая концепция многозадачной распределенной разнородной вычислительной системы. Базовые принципы такой системы состоят в том, что она использует только свободные ресурсы суперкомпьютеров и делает это на правах обычного пользователя, тем самым никак не конфликтуя с политикой администрирования. Доп.точки доступа: Афанасьев, А. П.; Бычков, И. В.; Манзюк, М. О.; Посыпкин, М. А.; Семенов, А. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Температурные свойства диэлектрической проницаемости и оптические свойства многослойной структуры вариозонного титаната бария-стронция [Текст] / Л. В. Григорьев, А. А. Семенов, А. А. Иванов, Е. А. Седых // Физика твердого тела. - 2021. - Т. 63, вып. 1. - С. 91-95 : 5 рис. - Библиогр. в конце ст. (10 назв.) . - ISSN 0367-3294
Рубрики: Физика Электрические и магнитные свойства твердых тел Кл.слова (ненормированные): вариозонный титанат бария-стронция -- диэлектрическая проницаемость -- магнетронное распыление -- оптические свойства -- радиофотоника -- сегнетоэлектрики -- титанат бария-стронция -- тонкие пленки Аннотация: Представлены результаты исследования оптических свойств и температурной зависимости диэлектрической проницаемости многослойной структуры вариозонного сегнетоэлектрика титаната бария-стронция, нанесенного на монокристаллическую подложку из лейкосапфира. Доп.точки доступа: Григорьев, Л. В.; Семенов, А. А.; Иванов, А. А.; Седых, Е. А. Имеются экземпляры в отделах: всего 1 : н.з. (1) Свободны: н.з. (1) |