Поисковый запрос: (<.>R=27.47$<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 20 |
|
1.
|
Пехтерева, Л. В. О численной реализации интегрального уравнения CTRW-модели субдиффузии [Текст] / Л. В. Пехтерева> // Доклады Академии наук высшей школы России. - 2008. - N 2 (11). - С. 46-58. - Библиогр.: с. 58
. - ISSN 1727-2769ББК 22.18 Рубрики: Математика Исследование операций Кл.слова (ненормированные): интегральные уравнения -- CTRW-модели -- субдиффузия -- аномальная диффузия -- неявные схемы -- аномальная кинетика -- имитационные модели -- евклидовое пространство Аннотация: Численные реализации CTRW-модели субдиффузии на решетках в евклидовом пространстве посредством аппроксимации интегрального уравнения этой модели неявными схемами.
Найти похожие
|
2.
|
Зубков, О. В. Нахождение и оценка числа бесповторных булевых функций в базисе {&, V, -} [Текст] / О. В. Зубков> // Известия вузов. Математика. - 2008. - N 10. - С. 17-24 : 2 рис. - Библиогр.: с. 24 (5 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): бесповторные булевы функции -- бесповторные функции -- булевы функции -- число бесповторных функций -- оценки числа бесповторных функций -- базисность функций Аннотация: В статье рассматриваются бесповторные булевы функции в базисе {&, V, -}. Указывается канонический вид формулы для бесповторной функции в этом базисе. Производится построение множества таких формул от переменных x[1],..., x[n] и производится подсчет числа его элементов. Получены верхняя и нижняя оценки для числа бесповторных булевых функций от n переменных в рассматриваемом базисе.
Найти похожие
|
3.
|
Лернер, Э. Ю. Свидетели простоты в алгоритме Шора и в алгоритме Миллера-Рабина [Текст] / Э. Ю. Лернер> // Известия вузов. Математика. - 2008. - N 12. - С. 43-48. - Библиогр.: с. 48 (10 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): алгоритмы -- алгоритм Шора -- Шора алгоритм -- алгоритм Миллера-Рабина -- Миллера-Рабина алгоритм -- свидетели простоты в алгоритмах -- малая теорема Ферма -- Ферма малая теорема Аннотация: Доказано, что свидетели простоты алгоритма Миллера-Рабина есть свидетели простоты алгоритма Шора, для которых выполнено условие малой теоремы Ферма. Описано множество натуральных чисел, для которых свидетели простоты алгоритма Миллера-Рабина совпадают со свидетелями простоты алгоритма Шора. Найдены все такие числа меньшие 100 000 000, и экспериментально исследована скорость роста отношения количества таких чисел к количеству чисел Кармайкла.
Найти похожие
|
4.
|
Воскресенский, Е. В. Управляемость и синтез управления нелинейных систем [Текст] / Е. В. Воскресенский> // Известия вузов. Математика. - 2009. - N 10. - С. 3-13. - Библиогр.: с. 13 (7 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): нелинейные системы дифференциальных уравнений -- дифференциальные уравнения -- функции Ляпунова -- Ляпунова функции -- методы сравнения -- линейные управляемые процессы Аннотация: Решаются задачи управляемости движением с обратной связью, когда уравнения системы имеют линейное приближение, причем за счет малости нелинейной части и управляемости системы линейного приближения это свойство все еще сохраняется при нелинейном возмущении. Исследования проводятся методом функций Ляпунова и методом сравнения за конечное и бесконечное время.
Найти похожие
|
5.
|
Грунская, В. И. Отличимость s-лабиринтов [Текст] / В. И. Грунская> // Известия вузов. Математика. - 2009. - N 10. - С. 14-22 : 4 рис. - Библиогр.: с. 22 (8 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): s-лабиринты -- отличимость лабиринтов -- отличимость вершин -- плоские прямоугольные лабиринты -- плоские прямоугольные s-лабиринты Аннотация: Рассматривается задача об отличимости вершин конечных плоских прямоугольных и s-лабиринтов. Исследуются задачи, аналогичные классическим задачам теории автоматов: отличимости вершин и лабиринтов. Показано, что для изучаемого класса они разрешимы. Найдена оценка длин слов, достаточных для различения вершин лабиринтов. Доказано совпадение отношений изоморфизма и эквивалентности для прямоугольных лабиринтов.
Найти похожие
|
6.
|
Ананичев, Д. С. Порог аннуляции для частично монотонных автоматов [Текст] / Д. С. Ананичев> // Известия вузов. Математика. - 2010. - N 1. - С. 3-13. - Библиогр.: с. 13 (8 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): автоматы (математика) -- синхронизируемые автоматы -- возвратное слово -- частично монотонные автоматы -- частичные автоматы -- монотонные автоматы -- аннулирующее слово -- аннулируемые автоматы -- сильно связные монотонные автоматы Аннотация: Изучаются неполные автоматы специального вида, которые называются частично монотонными. Основной результат работы дает линейную верхнюю оценку порога аннуляции для частично монотонных автоматов.
Найти похожие
|
7.
|
Будзбан, Грегори. Подход к задаче раскраски дорог, основанный на векторных пространствах [Текст] / Г. Будзбан, Ф. Файнсильвер> // Известия вузов. Математика. - 2010. - N 1. - С. 14-20. - Библиогр.: с. 19 (13 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): векторные пространства -- задачи раскраски дорог -- орграф -- синхронизируемые автоматы -- матрицы раскраски -- матрицы смежности -- матричные полугруппы -- специальные матрицы Аннотация: Пусть G - сильно связный апериодический орграф с полустепенью исхода каждой вершины, равной двум, и А - его матрица смежности. Пусть А = R + В, где R и В - матрицы раскраски, т. е. матрицы, представляющие функции, индуцированные раскраской ребер орграфа G.
Доп.точки доступа: Файнсильвер, Филип Найти похожие
|
8.
|
Дросте, М. Взвешенные автоматы и взвешенная логика на бесконечных словах [Текст] / М. Дросте, Г. Рахонис> // Известия вузов. Математика. - 2010. - N 1. - С. 34-58. - Библиогр.: с. 56 (38 назв. ). - Примеч.: с. 34
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): автоматы (математика) -- взвешенные автоматы -- взвешенные автоматы Мюллера -- Мюллера взвешенные автоматы -- взвешенные автоматы Бюхи -- Бюхи взвешенные автоматы -- взвешенная логика -- логика на бесконечных словах -- взвешенная монадическая логика второго порядка -- инфинитарные формальные степенные ряды -- полукольца Аннотация: Вводятся взвешенные автоматы над бесконечными словами с принимающим условием Мюллера. Показывается, что поведение таких автоматов совпадает с семантикой взвешенных ограниченных высказываний монадической логики второго порядка, и устанавливается эквивалентность взвешенных автоматов Мюллера и Бюхи над некоторыми полукольцами.
Доп.точки доступа: Рахонис, Г. Найти похожие
|
9.
|
Мартюгин, П. В. Нижняя оценка длины кратчайших бережно синхронизирующих слов [Текст] / П. В. Мартюгин> // Известия вузов. Математика. - 2010. - N 1. - С. 59-68. - Библиогр.: с. 68 (7 назв. )
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): синхронизируемость -- нижняя оценка длины -- синхронизирующие слова -- конечные автоматы -- частичные конечные автоматы -- полные конечные автоматы -- автоматы (математика) Аннотация: Вводится понятие бережной синхронизируемости для частичных конечных автоматов, которое является естественным обобщением понятия синхронизируемости для полных конечных автоматов. Указывается нижняя оценка величины порога бережной синхронизации для автоматов с данным числом состояний.
Найти похожие
|
10.
|
Петров, И. В. Зеркальный образ языка 2-синхронизирующих слов [Текст] / И. В. Петров> // Известия вузов. Математика. - 2010. - N 1. - С. 69-73. - Библиогр.: с. 73 (2 назв. ). - Примеч.: с. 69
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): синхронизируемое слово -- универсальное синхронизируемое слово -- синхронизируемые автоматы -- зеркальный образ языка -- формальный язык -- детерминированные конечные автоматы Аннотация: Слово w над конечным алфавитом E называется n-синхронизирующим, если для любого детерминированного конечного автомата А = (Q, Е, б) с n + 1 состояниями выполняется равенство.
Найти похожие
|
11.
|
Алехина, М. А. Достаточные условия реализации булевых функций асимптотически оптимальными схемами с ненадежностью 2 [Текст] / М. А. Алехина, А. В. Васин> // Известия вузов. Математика. - 2010. - N 5. - С. 79-82. - Библиогр.: с. 79-82 (5 назв. ). - Примеч. в подстроч. ссылках
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): ненадежные функциональные элементы -- функциональные элементы -- асимптотически оптимальные по надежности схемы -- инверсионные неисправности -- булевы функции -- функции булевы Аннотация: Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в полном конечном базисе B. Предполагается, что все элементы схемы независимо друг от друга с вероятностью подвержены инверсным неисправностям на выходах.
Доп.точки доступа: Васин, А. В. Найти похожие
|
12.
|
Поваров, Г. А. Конечные трансдьюсеры и недетерминированная сложность регулярного языка [Текст] / Г. А. Поваров> // Известия вузов. Математика. - 2010. - N 6. - С. 23-31. - Библиогр.: с. 30-31
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): конечные трансдьюсеры -- трансдьюсеры -- недетерминированные конечные автоматы -- конечные автоматы -- регулярные языки -- дескриптивные сложности -- недетерминированные сложности Аннотация: Изучается недетерминированная сложность применения конечного трансдьюсера к регулярному языку. Получена точная верхняя оценка этой величины.
Найти похожие
|
13.
|
Епифанов, С. П. Применение теории двойственности при моделировании гидравлических систем с регуляторами расхода [Текст] / С. П. Епифанов, В. И. Зоркальцев> // Известия вузов. Математика. - 2010. - N 9. - С. 76-81. - Библиогр.: с. 80-81
. - ISSN 0021-3446ББК 22.18:22.253 Рубрики: Математика Исследование операций Механика Гидромеханика и аэромеханика Кл.слова (ненормированные): теория двойственности -- двойственность -- автоматические регуляторы -- регуляторы расхода -- моделирование гидравлических систем -- потокораспределение -- гидравлические системы -- трубопроводные системы -- гидравлические цепи -- линейные неравенства Аннотация: Рассматриваются математические модели функционирования трубопроводных систем с автоматическими регуляторами расхода на некоторых участках и исследуются задачи потокораспределения в гидравлических системах.
Доп.точки доступа: Зоркальцев, В. И. Найти похожие
|
14.
|
Зыкина, А. В. Двухшаговый экстраградиентный метод для вариационных неравенств [Текст] / А. В. Зыкина, Н. В. Меленьчук> // Известия вузов. Математика. - 2010. - N 9. - С. 82-85 : 1 табл. - Библиогр.: с. 85
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Исследование операций Кл.слова (ненормированные): оптимизация -- вариационные неравенства -- смежные задачи -- двухшаговые экстраградиентные методы -- экстраградиентные методы -- градиенты -- седловые точки -- билинейные функционалы -- билинейные функции -- экстраполяционные методы Аннотация: В работе рассмотрен экстраградиентный метод для решения вариационных неравенств и смежных задач, заключающийся в том, что из исходной точки делаются два пробных шага по градиенту и значение градиента во второй точке используется в качестве направления движения из исходной точки.
Доп.точки доступа: Меленьчук, Н. В. Найти похожие
|
15.
| 519.716 П 180
Парватов, Н. Г. Проблема нижних окрестностей в пространстве с замыканием и теорема о финитарности [Текст] / Н. Г. Парватов> // Известия вузов. Математика. - 2011. - N 2. - С. 65-70. - Библиогр.: с. 70
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): пространства -- пространства с замыканием -- множества с замыканием -- финитарные пространства -- финитарные множества -- слабо финитарные множества -- замыкания -- финитарные замыкания -- теоремы о финитарности -- финитарность -- проблемы полноты (математика) -- проблемы выразимости (математика) -- конечно-порождаемые классы -- конечные нижние окрестности -- нижние окрестности Аннотация: Рассматриваются условия, при которых в множестве с замыканием все конечно-порождаемые классы имеют конечные нижние окрестности. Уточняются теоремы о финитарности, рассматриваются проблемы полноты и выразимости в пространствах.
Найти похожие
|
16.
| 519.71 К 672
Корнеева, Н. Н. Степени асинхронно автоматных преобразований [Текст] / Н. Н. Корнеева> // Известия вузов. Математика. - 2011. - N 3. - С. 30-40. - Библиогр.: с. 40
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): степени асинхронно автоматных преобразований -- степени автоматных преобразований -- покрытие степени (математика) -- асинхронно автоматные преобразования -- автоматные преобразования -- асинхронные автоматы -- асинхронные инициальные автоматы -- автоматы (математика) -- частично упорядоченные множества -- атомы -- континуум атомов -- континуальность (математика) -- начальные сегменты -- сегменты -- методы начальных сегментов Аннотация: В работе изучается частично упорядоченное множество степеней асинхронно автоматных преобразований. Показано существование в нем континуума атомов.
Найти похожие
|
17.
| 519.854 Д 259
Девятерикова, М. В. Анализ устойчивости по целевой функции некоторых алгоритмов целочисленного программирования [Текст] / М. В. Девятерикова, А. А. Колоколов, Н. А. Косарев> // Известия вузов. Математика. - 2011. - N 4. - С. 23-32. - Библиогр.: с. 31
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Исследование операций Кл.слова (ненормированные): дискретная оптимизация -- целочисленное программирование -- целевые функции -- устойчивость алгоритмов -- устойчивость (математика) -- алгоритмы -- декомпозиционные алгоритмы -- метод ветвей и границ -- алгоритмы ветвей и границ -- метод перебора L-классов -- алгоритмы перебора L-классов -- перебор L-классов -- L-классы -- декомпозиция Бендерса -- Бендерса декомпозиция Аннотация: Проведено исследование устойчивости по целевой функции для достаточно широкого класса алгоритмов целочисленного программирования.
Доп.точки доступа: Колоколов, А. А.; Косарев, Н. А. Найти похожие
|
18.
| 519.853 М 207
Малышев, А. В. О взаимосвязи некоторых задач двухуровневой и нелинейной оптимизации [Текст] / А. В. Малышев, авт. А. С. Стрекаловский> // Известия вузов. Математика. - 2011. - N 4. - С. 99-103. - Библиогр.: с. 102-103
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Исследование операций Кл.слова (ненормированные): двухуровневые задачи -- квадратично-линейные двухуровневые задачи -- невыпуклые задачи -- двухуровневая оптимизация -- нелинейная оптимизация -- решения задач -- задачи -- гарантированные решения (математика) -- пессимистические решения (математика) -- редукция (математика) Аннотация: Рассматривается квадратично-линейная двухуровневая задача оптимизации с гарантированным решением, производится ее редукция к семейству двухуровневых задач в оптимистической обстановке.
Доп.точки доступа: Стрекаловский, А. С. Найти похожие
|
19.
| 519.71 К 672
Корнеева, Н. Н. Об автоматных преобразованиях и монадических теориях бесконечных последовательностей [Текст] / Н. Н. Корнеева> // Известия вузов. Математика. - 2011. - N 8. - С. 90-93. - Библиогр.: с. 93
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): автоматные преобразования (математика) -- асинхронно автоматные преобразования -- автоматы (математика) -- монадические теории -- бесконечные последовательности -- полные последовательности -- последовательности (математика) Аннотация: Доказано, что множество степеней асинхронно автоматных преобразований бесконечных последовательностей с разрешимой монадической теорией образует начальный сегмент в множестве степеней асинхронно автоматных преобразований.
Найти похожие
|
20.
| 519.8 Б 480
Берберян, С. Л. О некоторых применениях Р'-последовательностей при исследовании граничных свойств произвольных гармонических функций [Текст] / С. Л. Берберян> // Известия вузов. Математика. - 2011. - N 9. - С. 3-9. - Библиогр.: с. 8-9
. - ISSN 0021-3446ББК 22.18 Рубрики: Математика Исследование операций Кл.слова (ненормированные): произвольные гармонические функции -- произвольные функции -- гармонические функции -- свойства функций -- функции -- граничные свойства -- неевклидовы круги -- P'-последовательности -- Р'-хорды -- Р'-орициклы -- последовательности (математика) -- хорды (математика) -- орициклы (математика) -- орициклические точки -- орициклический угол -- единичный круг Аннотация: Исследуются граничные свойства гармонических функций, определенных в единичном круге, в зависимости от расположения P'-последовательностей на хордах и орициклах. Вводятся понятия P'-хорд и нормальных хорд, P'-орициклов и нормальных орициклов.
Найти похожие
|
|
|