Relevant bibliographies by topics / Контрпример / Journal articles
To see the other types of publications on this topic, follow the link: Контрпример.

Journal articles on the topic 'Контрпример'

Author: Grafiati
Published: 5 June 2025
Last updated: 16 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Контрпример.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Oja, E., та O. Reinov. "КОНТРПРИМЕР А. ГРОТЕНДИКУ". Proceedings of the Academy of Sciences of the Estonian SSR. Physics. Mathematics 37, № 1 (1988): 14. http://dx.doi.org/10.3176/phys.math.1988.1.03.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Youssef, A. "Контрпример к гипотезе Андреотти - Грауэрта". Владикавказский математический журнал, № 2 (22 червня 2022): 14–24. http://dx.doi.org/10.46698/a8931-0543-3696-o.

Full text
Abstract:
In 1962, Andreotti and Grauert showed that every $q$-completecomplex space $X$ is cohomologically $q$-complete, that is for every coherent analytic sheaf${\mathcal{F}}$ on $X$, the cohomology group $H^{p}(X, {\mathcal{F}})$ vanishes if $p\geq q$.Since then the question whether the reciprocal statements of these theorems are true have been subject to extensive studies, where more specific assumptions have been added. Until now it is not known if these two conditions are equivalent. Using test cohomology classes, it was shown however that if $X$ is a Stein manifold and, if $D\subset X$ is an open subset which has $C^{2}$ boundary such that $H^{p}(D, {\mathcal{O}}_{D})=0$ for all $p\geq q$, then $D$ is $q$-complete.The aim of the present article is to give a counterexample tothe conjecture posed in $1962$ by Andreotti and Grauert [1]to show that a~cohomologically $q$-complete space is not necessarily $q$-complete.More precisely, we show that there exist for each $n\geq 3$ open subsets$\Omega\subset\mathbb{C}^{n}$ such that for every ${\mathcal{F}}\in coh(\Omega)$,the cohomology groups $H^{p}(\Omega, {\mathcal{F}})$ vanish for all $p\geq n-1$but $\Omega$ is not $(n-1)$-complete.
APA, Harvard, Vancouver, ISO, and other styles
3

Белошапка, Валерий Константинович, та Valerii Konstantinovich Beloshapka. "Контрпример к гипотезе о размерности". Matematicheskie Zametki 81, № 1 (2007): 136–39. http://dx.doi.org/10.4213/mzm3524.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Горбацевич, Владимир Витальевич, та Vladimir Vitalyevich Gorbatsevich. "О максимальных расширениях нильпотентных алгебр Ли". Функциональный анализ и его приложения 56, № 4 (2022): 25–34. http://dx.doi.org/10.4213/faa4005.

Full text
Abstract:
В статье рассматриваются расширения конечномерных нильпотентных алгебр Ли, в частности, разрешимые расширения. Доказаны некоторые свойства максимальных среди такого рода расширений. Построен контрпример к гипотезе Л. Шнобля о единственности максимальных разрешимых расширений.
APA, Harvard, Vancouver, ISO, and other styles
5

Слюсарчук, Василий Ефимович, та Vasilii Efimovich Slyusarchuk. "Контрпример к одной гипотезе о гладком отображении". Uspekhi Matematicheskikh Nauk 53, № 2 (1998): 135–36. http://dx.doi.org/10.4213/rm46.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Tumanov, Sergey Nickolaevich. "О критерии Молчанова компактности резольвенты для несамосопряженного оператора Штурма-Лиувилля". Математический сборник 215, № 9 (2024): 125–46. http://dx.doi.org/10.4213/sm10066.

Full text
Abstract:
Рассматривается условие типа Молчанова в применении к обыкновенным дифференциальным операторам произвольного порядка с комплекснозначными коэффициентами. Доказывается, что оно является необходимым условием компактности резольвенты для широкого класса таких операторов. Приводится контрпример, показывающий, что это условие не является достаточным для компактности резольвенты оператора Штурма-Лиувилля с потенциалом, имеющим неотрицательную вещественную часть. Критерий Молчанова обобщается на случай потенциалов, принимающих значения в более узком секторе, чем полуплоскость, отделенном от отрицательной полуоси. Библиография: 18 названий.
APA, Harvard, Vancouver, ISO, and other styles
7

Белинский, А. В. "КВАНТОВАЯ НЕОПРЕДЕЛЕННОСТЬ И КОНТРПРИМЕР НЕЛОКАЛЬНОГО КЛАССИЧЕСКОГО “РЕАЛИЗМА”, "Оптика и спектроскопия"". Оптика и спектроскопия, № 3 (2017): 393–99. http://dx.doi.org/10.7868/s0030403417090070.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Тран, Минь-Фуонг, Minh-Phuong Tran, Тхань-Нян Нгуен та Thanh-Nhan Nguyen. "Замечание к интерполяционному неравенству между пространствами Соболева и Морри". Функциональный анализ и его приложения 54, № 3 (2020): 63–72. http://dx.doi.org/10.4213/faa3628.

Full text
Abstract:
Интерполяционные неравенства играют важную роль в изучении дифференциальных уравнений в частных производных и их приложениях. Здесь все еще имеются интересные открытые вопросы, связанные с интегральными оценками или регулярностью решений эллиптических и параболических уравнений. Основной результат нашей работы - наблюдение об ограниченности $L^p$-нормы в контексте интерполяционного неравенства между пространствами Соболева и Морри, которое может оказаться полезным в исследованиях. В этой связи мы также строим нетривиальный контрпример, который показывает в определенном смысле оптимальность интервала для допустимых показателей $p$. Наши доказательства опираются на интегральные представления и свойства максимальных функций Харди-Литтлвуда и Феффермана-Стейна.
APA, Harvard, Vancouver, ISO, and other styles
9

Вьюгин, Илья Владимирович, та Il'ya Vladimirovich Vyugin. "Неприводимый набор данных Стокса, доставляющий контрпример к обобщенной проблеме Римана - Гильберта". Matematicheskie Zametki 82, № 2 (2007): 305–9. http://dx.doi.org/10.4213/mzm3807.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Скутин, Александр Андреевич, та Alexander Andreevich Skutin. "Максимальные алгебры Ли среди локально нильпотентных дифференцирований". Математический сборник 212, № 2 (2021): 138–46. http://dx.doi.org/10.4213/sm9360.

Full text
Abstract:
Исследуются максимальные подалгебры Ли среди локально нильпотентных дифференцирований алгебры многочленов. Дж. Фройденбургом была высказана гипотеза о том, что треугольная алгебра Ли локально нильпотентных дифференцирований алгебры многочленов является максимальной алгеброй Ли, содержащейся в множестве локально нильпотентных дифференцирований, и гипотеза о том, что каждая максимальная алгебра Ли, содержащаяся в множестве локально нильпотентных дифференцирований, сопряжена треугольной алгебре Ли. В настоящей работе мы доказываем справедливость первой части гипотезы и приводим контрпример ко второй ее части. Также мы покажем, что при некотором естественном условии, наложенном на максимальную алгебру Ли, существует сопряжение, переводящее эту алгебру Ли в треугольную алгебру Ли. Библиография: 2 названия.
APA, Harvard, Vancouver, ISO, and other styles
11

Местецкий, Михаил А., Mikhail A. Mestetskiy, Михаил Сергеевич Шуплецов та Mikhail Sergeevich Shupletsov. "О соотношениях между активностью схем из функциональных элементов и положительной чувствительностью функций алгебры логики". Diskretnaya Matematika 35, № 1 (2023): 71–81. http://dx.doi.org/10.4213/dm1750.

Full text
Abstract:
Рассматривается связь между нижними оценками статической активности $E(\Sigma)$ и динамической активности $S(\Sigma)$ приведенной схемы из функциональных элементов $\Sigma$ и положительной чувствительностью $\operatorname{ps}(f)$ функции алгебры логики $f$, реализуемой данной схемой. Для достаточно широкого класса базисов, состоящих из монотонных функций алгебры логики от не более чем $m$ переменных, элемента отрицания и булевских констант $0$ и $1$, доказана нижняя оценка $E(\Sigma)\geqslant \lfloor\frac{\operatorname{ps}(f)-1}{m}\rfloor$. Для динамической активности схем построен контрпример, показывающий, что для стандартного базиса из элементов дизъюнкции, конъюнкции и отрицания не существует линейной по $\operatorname{ps}(f)$ нижней оценки динамической активности.
APA, Harvard, Vancouver, ISO, and other styles
12

Кравцов, Михаил Константинович, та Mikhail Konstantinovich Kravtsov. "Контрпример к гипотезе о максимальном числе целочисленных вершин многоиндексного аксиального транспортного многогранника". Diskretnaya Matematika 12, № 1 (2000): 107–12. http://dx.doi.org/10.4213/dm315.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Ponosov, Arcady V. "A counterexample to the stochastic version of the Brouwer fixed point theorem." Russian Universities Reports. Mathematics, no. 134 (2021): 143–50. http://dx.doi.org/10.20310/2686-9667-2021-26-134-143-150.

Full text
Abstract:
It is shown that the stochastic counterpart of the classical fixed point theorem for continuous maps in a finite dimensional Euclidean space (“Brouwer’s theorem”) is not, in general, true. This result implies, in particular, that a careful choice of invariant sets in the stochastic version of Brouwer’s theorem is necessary in the theory of stochastic nonlinear operators.
APA, Harvard, Vancouver, ISO, and other styles
14

Домрина, Александра Владимировна, та Aleksandra Vladimirovna Domrina. "Описание решений с унитонным числом $3$ в случае одного собственного значения. Контрпример к гипотезе о размерности". Teoreticheskaya i Matematicheskaya Fizika 201, № 1 (2019): 3–16. http://dx.doi.org/10.4213/tmf9700.

Full text
Abstract:
Дается явное описание решений некоммутативной унитарной $U(1)$ сигма-модели, которые представляют собой конечномерные возмущения тождественного оператора, имеют единственное собственное значение и минимальное унитонное число, равное $3$. Также показано, что множество решений $M(e,r,u)$ энергии $e$, канонического ранга $r$, с минимальным унитонным числом $u=3$ имеет при $e=4n-1$ и $r=n+1$, где $n\geq 3$, комплексную размерность больше $r$, что опровергает гипотезу о размерности, справедливую при $u\in\{1,2\}$.
APA, Harvard, Vancouver, ISO, and other styles
15

Apakov, Yusupzhon Pulatovich, та Raxmatilla Akramovich Umarov. "Решение одной краевой задачи для уравнения третьего порядка с переменными коэффициентами". Вестник Самарского государственного технического университета. Серия «Физико-математические науки» 28, № 1 (2024): 171–85. http://dx.doi.org/10.14498/vsgtu2030.

Full text
Abstract:
В прямоугольной области рассматривается вторая краевая задача для неоднородного дифференциального уравнения в частных производных третьего порядка с кратными характеристиками и с переменными коэффициентами. Единственность решения поставленной задачи доказана методом интегралов энергии. Для случая нарушения условий теоремы единственности построен контрпример. Решение задачи ищется в виде произведения двух функций $X(x)$ и $Y(y)$ с использованием метода разделения переменных. Для определения $Y(y)$ получено обыкновенное дифференциальное уравнение второго порядка с двумя граничными условиями на границах сегмента $[ 0, q ]$. Для этой задачи найдены собственные значения и соответствующие им собственные функции при $n=0$ и $n\in \mathbb N$. Для определения $X(x)$ получено обыкновенное дифференциальное уравнение третьего порядка с тремя граничными условиями на границах сегмента $[ 0, p ]$. Решение указанной задачи построено методом функции Грина. Отдельная функция Грина была построена для $n=0$ и отдельная функция Грина для случая, когда $n$ натуральное. Проверено, что найденные функции Грина удовлетворяют граничным условиям и свойствам функции Грина. Решение для $X(x)$ выписано через построенную функцию Грина. После некоторых преобразований получено интегральное уравнение Фредгольма второго рода, решение которого выписано через резольвенту. Получены оценки резольвенты и функции Грина. Доказана равномерная сходимость решения и возможность его почленного дифференцирования при некоторых условиях на заданные функции. Сходимость производной третьего порядка решения по переменной $x$ доказывается с помощью неравенств Коши-Буняковского и Бесселя. При обосновании равномерной сходимости решения доказывается отсутствие "малого знаменателя".
APA, Harvard, Vancouver, ISO, and other styles
16

Канунников, Андрей Леонидович, та Andrey Leonidovich Kanunnikov. "Примеры и контрпримеры". Квант, № 4 (квітень 2020): 23–26. http://dx.doi.org/10.4213/kvant20200403.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Белов, Алексей Яковлевич, та Aleksei Yakovlevich Belov. "Контрпримеры к проблеме Шпехта". Математический сборник 191, № 3 (2000): 13–24. http://dx.doi.org/10.4213/sm460.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Степанова, Мария Александровна, та Mariya Aleksandrovna Stepanova. "Гипотеза о размерности: решение и дальнейшие перспективы". Matematicheskie Zametki 112, № 5 (2022): 784–800. http://dx.doi.org/10.4213/mzm13458.

Full text
Abstract:
Построены контрпримеры к гипотезе о размерности в CR-геометрии. Данная гипотеза органически связана с техникой метода модельной поверхности и уточнялась по мере развития метода. С одной стороны, найденные контрпримеры дают окончательное отрицательное решение гипотезы в том виде, в котором она была сформулирована. С другой стороны, они позволяют выделить естественный класс многообразий (невырожденные многообразия), для которого гипотеза имеет смысл и представляет интерес. Сформулированы основные вопросы, возникающие в этом направлении. Также рассмотрена серия примеров, интересных с точки зрения метода модельной поверхности. Библиография: 19 названий.
APA, Harvard, Vancouver, ISO, and other styles
19

Половинкин, Евгений Сергеевич, та Evgenii Sergeevich Polovinkin. "Об одном контрпримере в анализе". Matematicheskie Zametki 95, № 1 (2014): 123–28. http://dx.doi.org/10.4213/mzm10209.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Угланов, Алексей Владимирович, та Alexei Vladimirovich Uglanov. "Четыре контрпримера к теореме Фубини". Matematicheskie Zametki 62, № 1 (1997): 124–27. http://dx.doi.org/10.4213/mzm1595.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Шлосман, Семен Бенсионович, та Semen Bensionovich Shlosman. "Топологическая теорема Тверберга: доказательства и контрпримеры". Uspekhi Matematicheskikh Nauk 73, № 2(440) (2018): 175–82. http://dx.doi.org/10.4213/rm9820.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Романов, Александр Владимирович, та Alexandr Vladimirovich Romanov. "Три контрпримера в теории инерциальных многообразий". Matematicheskie Zametki 68, № 3 (2000): 439–47. http://dx.doi.org/10.4213/mzm961.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Просанов, Роман Игоревич, та Roman Igorevich Prosanov. "Контрпримеры к гипотезе Борсука, имеющие большой обхват". Matematicheskie Zametki 105, № 6 (2019): 890–98. http://dx.doi.org/10.4213/mzm12000.

Full text
Abstract:
Известная опровергнутая гипотеза Борсука может быть сформулирована следующим образом: существует ли в $\mathbb{R}^n$ граф диаметров, хроматическое число которого больше $n+1$? В настоящей работе мы показываем существование контрпримеров к гипотезе Борсука, дополнительно обладающих большим обхватом. Данное исследование лежит в духе работ О'Донелла и Купавского, изучавших вопросы существования дистанционных графов с большим обхватом. Мы разбираем случаи как строгого, так и нестрогого графов диаметров. Дополнительно мы покажем существование контрпримеров с большим обхватом к одному утверждению Ловаса о дистанционных графах на сфере. Библиография: 37 названий.
APA, Harvard, Vancouver, ISO, and other styles
24

Горбацевич, Владимир Витальевич, та Vladimir Vitalyevich Gorbatsevich. "О расслоенной структуре компактных однородных пространств". Известия Российской академии наук. Серия математическая 87, № 6 (2023): 49–75. http://dx.doi.org/10.4213/im9359.

Full text
Abstract:
В статье рассматриваются свойства нескольких расслоений, связанных с компактными однородными пространствами, - натурального, структурного и борелевского. Доказаны некоторые утверждения об элементах этих расслоений, приведены иллюстрирующие их примеры, а также и контрпримеры к некоторым естественно возникающим предположениям. Библиография: 29 наименований.
APA, Harvard, Vancouver, ISO, and other styles
25

Соколов, Артемий Алексеевич, та Андрей Михайлович Райгородский. "О рациональных аналогах проблем Нелсона - Хадвигера". Чебышевский сборник 19, № 3 (2019): 270–81. http://dx.doi.org/10.22405/2226-8383-2018-19-3-270-281.

Full text
Abstract:
В этой статье мы рассматриваем аффинно-рациональные аналоги задачи Нелсона-Хадвигера о нахождении хроматического числа рационального пространства и задачи Борсука о разбиении на части меньшего диаметра. Доказаны новые нижние оценки, в частности улучшены оценки минимального контрпримера для гипотезы Борсука.
APA, Harvard, Vancouver, ISO, and other styles
26

Давыдов, Юрий Александрович, Yurii Aleksandrovich Davydov, Святослав Максимович Новиков та Svyatoslav Novikov. "Замечания об асимптотической независимости". Teoriya Veroyatnostei i ee Primeneniya 66, № 1 (2021): 55–72. http://dx.doi.org/10.4213/tvp5373.

Full text
Abstract:
В данной работе вводятся несколько определений асимптотической независимости двух последовательностей случайных элементов. Обсуждаются их базовые свойства, некоторые простые взаимосвязи между ними и связи с условиями слабой зависимости. В частности, рассматривается в деталях случай плотных последовательностей. В заключение, чтобы прояснить взаимоотношения между различными определениями, приводятся некоторые контрпримеры.
APA, Harvard, Vancouver, ISO, and other styles
27

Еден, Альп, Al'p Eden, Сергей Витальевич Зелик, Sergey Vital'evich Zelik, Варга К. Калантаров та Varga K. Kalantarov. "Контрпримеры к регулярности проекций Мане в теории аттракторов". Uspekhi Matematicheskikh Nauk 68, № 2(410) (2013): 3–32. http://dx.doi.org/10.4213/rm9512.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Токарев, А. Г., та A. G. Tokarev. "Контрпримеры к формуле Троттера в локально выпуклых пространствах". Matematicheskie Zametki 59, № 6 (1996): 947–50. http://dx.doi.org/10.4213/mzm1797.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Raigorodskii, Andrei Mikhailovich, та Konstantin Andreevich Smolenskii. "О двухдистанционных (0,1)-контрпримерах к гипотезе Борсука в метриках $l_p$". Математические заметки 118, № 1 (2025): 127–34. https://doi.org/10.4213/mzm14494.

Full text
Abstract:
Обсуждаются различные оценки величины числа Борсука. Рассматривается метод построения двухдистанционных контрпримеров к гипотезе Борсука с помощью $(0,1)$-векторов в пространствах с метрикой $l_p$. Библиография: 29 названий.
APA, Harvard, Vancouver, ISO, and other styles
30

Гольдман, Н. Л. "Об одном контрпримере обратных параболических задач с финальным переопределением". Доклады Академии наук 453, № 5 (2013): 479–81. http://dx.doi.org/10.7868/s0869565213350041.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Дьяченко, Михаил Иванович, Mikhail Ivanovich Dyachenko, Кристина Артаковна Оганесян та Kristina Artakovna Oganesyan. "Контрпримеры к теореме Харди-Литтлвуда для обобщенно-монотонных последовательностей". Matematicheskie Zametki 113, № 3 (2023): 466–71. http://dx.doi.org/10.4213/mzm13786.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Костин, А. Б. "Контрпримеры в обратных задачах для параболических, эллиптических и гиперболических уравнений". Журнал вычислительной математики и математической физики 54, № 5 (2014): 779–92. http://dx.doi.org/10.7868/s0044466914020100.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Chushkin, M. S. "Sketch completion for predicate programs by counterexamples guided synthesis." Prikladnaya diskretnaya matematika. Prilozhenie, no. 10 (September 1, 2017): 151–53. http://dx.doi.org/10.17223/2226308x/10/59.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Макар-Лиманов, Леонид Григорьевич, та Leonid Grigor'evich Makar-Limanov. "О многограннике Ньютона якобиевой пары". Известия Российской академии наук. Серия математическая 85, № 3 (2021): 127–37. http://dx.doi.org/10.4213/im9067.

Full text
Abstract:
В этой статье вводится и описывается многогранник Ньютона, связанный с "минимальным" контрпримером к гипотезе о якобиане. Это описание позволяет получить более точную оценку геометрической степени полиномиального отображения, заданного парой многочленов с якобианом, равным единице, и дать новое доказательство для случая двух характеристических пар, рассмотренного Абъянкаром. Библиография: 29 наименований.
APA, Harvard, Vancouver, ISO, and other styles
35

Osipov, D. Yu. "On a counterexample for a T-irreducible extensions of starlike trees." Prikladnaya diskretnaya matematika, no. 25 (September 1, 2014): 98–102. http://dx.doi.org/10.17223/20710410/25/9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Абрамов, С. А., А. А. Рябенко та Д. Е. Хмельнов. "Контрпримеры к предположению о возможности продолжения усеченных решений усеченного линейного обыкновенного дифференциального уравнения". Журнал вычислительной математики и математической физики 63, № 1 (2023): 85–92. http://dx.doi.org/10.31857/s0044466923010027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Khoroshilov, A. V., M. U. Mandrykin, and V. S. Mutilin. "Introduction to CEGAR — Counter-Example Guided Abstraction Refinement." Proceedings of the Institute for System Programming of RAS 24 (2013): 219–92. http://dx.doi.org/10.15514/ispras-2013-24-12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Makarov, Maksim Sergeevich, та Vladimir Yur'evich Protasov. "Автополярные конические тела и многогранники". Математический сборник 216, № 3 (2025): 156–76. https://doi.org/10.4213/sm10202.

Full text
Abstract:
Антинорма в линейном пространстве является вогнутым аналогом нормы. Она, в отличие от нормы, определена не на всем пространстве $\mathbb R^d$, а на произвольном конусе $K\subset \mathbb R^d$. Антинормы применяются в функциональном анализе, оптимальном управлении, динамических системах. Множества уровня антинормы называются коническими телами и (для кусочно линейных антинорм) коническими многогранниками. Основные факты и понятия "вогнутого анализа" антинорм такие, как теоремы отделимости, двойственность, поляры, функционал Минковского и т.д., подобны своим аналогам в выпуклом анализе. Есть, однако, и существенные отличия. Одно из них - существование множества самодвойственных объектов. Мы покажем, что существует бесконечное множество семейств автополярных конических тел и многогранников в конусе $K=\mathbb R^d_+$, и получим алгоритм их построения. При $d=2$ он дает полную классификацию самодвойственных антинорм, в то время как при $d\ge 3$ построены соответствующие контрпримеры. Библиография: 29 названий.
APA, Harvard, Vancouver, ISO, and other styles
39

Lerner, Eduard Yulevich. "Instances of small size with no stable matching for three-sided problem with complete cyclic preferences." Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, no. 6 (2022): 26–36. http://dx.doi.org/10.26907/0021-3446-2022-6-26-36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Erovenko, V. A., and V. A. Prokasheva. "Methodical functions of examples and counter-examples in cognitive-reflexive style of understanding higher mathematics." Mathematical structures and modeling, no. 3 (2022): 97–100. http://dx.doi.org/10.24147/2222-8772.2022.3.97-100.

Full text
Abstract:
The problem of methodological functions of examples and counterexamples in cognitive-reflexive problem situations in the study of meaningful sections of higher mathematics has not been specifically studied in terms of understanding mathematics. On the one hand, examples and counterexamples help to comprehend the abstract formulation of mathematical definitions, and on the other hand, with their help you can test the mathematical statement for its truth. The article analyzes the essence of the counterexample as the most important cognitive-reflective concept of mathematical knowledge. Its educational role in cognition is methodically underestimated not only by non-mathematicians, but even by teachers of higher mathematicians.
APA, Harvard, Vancouver, ISO, and other styles
41

Белов-Канель, Алексей Яковлевич, Андрей Михайлович Елишев, Фаррох Разавиниа, Джи-Тай Ю та Жэнг Венчао. "Некоммутативная теорема Бялыницкого — Бирули". Чебышевский сборник 21, № 1 (2020): 51–61. http://dx.doi.org/10.22405/2226-8383-2020-21-1-51-61.

Full text
Abstract:
Изучение действий алгебраических групп на алгебраических многообразиях и их координатных алгебрах является важной областью исследований в алгебраической геометрии и теории колец. Эта область связана с теорией полиномиальных отображений, ручных и диких автоморфизмов, проблемой якобиана, теорией бесконечномерных многообразий по Шафаревичу, проблемой сокращения (вместе с другими подобными вопросами), теорией локально нильпотентных дифференцирований. Одной из центральных задач теории действий алгебраических групп является проблема линеаризации, изученная в работе Т. Камбаяши и П. Расселла, утверждающая, что всякое действие тора на аффинном пространстве линейно в некоторой системе координат. Гипотеза о линеаризации была основана на хорошо известной классической теореме А. Бялыницкого — Бирули, которая гласит, что всякое эффективное регулярное действие тора максимальной размерности на аффинном пространстве над алгебраически замкнутым полем допускает линеаризацию.Несмотря на то что гипотеза о линеаризации оказалась отрицательной в ее общем виде — контрпримеры в положительной характеристике были построены Т. Асанума — теорема Бялыницкого — Бирули остается важным результатом теории благодаря ее связи с теорией полиномиальных автоморфизмов. Недавние продвижения в последней мотивировали поиск различных некоммутативных разновидностей теоремы Бялыницкого — Бирули. В данной статье мы приведем доказательство теоремы о линеаризации эффективного действия максимального тора автоморфизмами свободной ассоциативной алгебры, являющейся таким образом свободным аналогом теоремы Бялыницкого — Бирули.
APA, Harvard, Vancouver, ISO, and other styles
42

Shcherbakov, Viktor Innokent'evich. "A comparision of the V- and S-Dini tests. A counterexamples on the symmetrical Dini tests by a type Haar and Walsh systems." Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, no. 9 (2019): 73–95. http://dx.doi.org/10.26907/0021-3446-2019-9-73-95.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Гончарко, О. Ю., Я. А. Слинин та Д. А. Черноглазов. "Логические идеи Феодора Продрома: «О великом и малом»". Logical Investigations 24, № 2 (2018): 11–35. http://dx.doi.org/10.21146/2074-1472-2018-24-2-11-35.

Full text
Abstract:
В данной статье второй в историко-философском цикле статей о логических трудах Феодора Продрома, византийского автора XII века, рассматривается трактат Феодора Продрома «О великом и малом», адресованный Михаилу Италику и написанный в лучших традициях неоплатонического комментария к «Категориям» Аристотеля. Цель статьи познакомить современного читателя с логическими идеями Феодора Продрома, а также оценить оригинальность его комментария. Этот небольшой трактат посвящен вопросу отнесения понятий «великого» и «малого», а также «многого» и «немногого» к какой-либо из десяти категорий Аристотеля. Однако аристотелевское решение не устраивает Феодора Продрома по той причине, что Аристотель не относит эти понятия к какой-то отдельной категории, но допускает возможность их отнесения к разным категориям (количества и отношения) с разных точек зрения. В статье приводится ряд аргументов Феодора Продрома, с помощью которых он пытается показать, что понятия «великого» и «малого» не относятся к категории отношения. Аргументация Феодора Продрома довольно подробна и разнообразна: он приводит контрпримеры аристотелевским рассуждениям, критикует сами критерии отнесения понятий к категориям, анализирует практику словоупотребления понятий и их сравнительных степеней, практику использования падежей в греческом языке, порядок категорий, выстраивает вполне оригинальную последовательность аргументов против аристотелевского решения, изящно прибегая к тексту самого Аристотеля. Однако, как мы попытались показать в статье, этот небольшой текст Феодора Продрома близок по содержанию к некоторым фрагментам «Комментария к “Категориям”» Порфирия, в которых также затрагивается проблема отнесения понятий «великого» и «малого» к той или иной категории. Несмотря на то, что Феодор Продром приходит к несколько другим выводам, чем Порфирий, использование фрагментов его текста очевидно, и даже складывается впечатление, что Феодор Продром спорит скорее с Порфирием, чем с Аристотелем. DOI: 10.21146/2074-1472-2018-24-2-11-35
APA, Harvard, Vancouver, ISO, and other styles
44

Зуенко, Александр Анатольевич. "Применение методов удовлетворения табличных ограничений для моделирования рассуждений типа ДСМ". Вестник ВГУ. Серия: Системный анализ и информационные технологии, № 4 (27 січня 2025): 116–28. https://doi.org/10.17308/sait/1995-5499/2024/4/116-128.

Full text
Abstract:
Статья продолжает серию работ, посвященных тематике интеллектуального анализа данных с применением методов вывода на табличных ограничениях. Ранее были представлены авторские методы кластеризации, выявления паттернов требуемого вида, поиска ассоциативных правил. Разработанные методы относятся к методам объяснимого (интерпретируемого) искусственного интеллекта. Недостатки большинства существующих методов интеллектуального анализа данных связаны, в первую очередь, с трудностями гибкого учета и анализа знаний экспертов предметной области, пользовательских ограничений. Обычно для учета каждого типа подобных ограничений требуется довольно трудоемкая модификация базовых методов обучения. В статье развивается подход на основе парадигмы программирования в ограничениях, который свободен от упомянутых недостатков и позволяет гибко организовывать учет и анализ дополнительных условий задачи интеллектуального анализа данных без принципиального изменения схемы её решения. Оригинальность авторского подхода состоит в том, что для представления обучающей выборки предложено использовать особый тип табличных ограничений — сжатые таблицы D-типа, а сами задачи интеллектуального анализа данных предложено решать как задачи удовлетворения табличных ограничений с применением оригинального способа ветвления дерева поиска и авторских правил редукции сжатых таблиц. В представленной работе на примере решения задач бинарной классификации впервые рассматриваются возможности применения авторского подхода для моделирования рассуждений типа ДСМ. В статье рассматривается случай, когда свойства объектов являются атомарными, не имеют внутренней структуры. Задачу генерации ДСМ-гипотез предлагается сводить к поиску частых замкнутых паттернов, причем каждый из паттернов не должен входить как фрагмент во множество контрпримеров. В рамках предлагаемого в статье подхода добавление в задачу дополнительных типов ограничений не только не снижает производительность методов их решения, но и способствует более глубокой редукции пространства поиска за счет применения специализированных методов логического вывода для каждого из типов ограничений.
APA, Harvard, Vancouver, ISO, and other styles
45

Воскобойников, Михаил Леонтьевич, Роман Константинович Федоров, and Геннадий Михайлович Ружников. "Automatic definition of web service call zones based on the classification of context of the mobile device." Вычислительные технологии, no. 2 (June 22, 2021): 88–97. http://dx.doi.org/10.25743/ict.2021.26.2.007.

Full text
Abstract:
Предложен метод автоматизации активации устройств Интернета вещей на основе классификации геопозиции мобильного устройства. В отличие от других методов пользователь обучает систему активации устройств с помощью примеров и контрпримеров, что значительно снижает требования к квалификации пользователя. Проведено тестирование метода на таких двух устройствах, как шлагбаум и электромеханический замок двери. Полученные результаты тестирования позволяют судить о работоспособности метода и возможности его использования в системах умного дома и города. Most IoT devices provide an application programming interface such as web service that allows controlling these IoT devices over Internet using a mobile phone. Activation of IoT devices is performed according to the status of user behavior. Both user behavior and activation of IoT devices are periodical. An activation of IoT device is often related with a user geolocation which can be defined by sensors of the mobile device. A method for automated activation of IoT devices based on classification of geolocation of mobile device is proposed. The method implements a supervised learning that simplifies automate activation of IoT devices for the end users. Existing methods demand appropriate end user qualification and require long time to automate activation. For indoor geolocation of the mobile device information from Wi-Fi access points and geolocation GPS sensor is utilized. Data of Wi-Fi and GPS sensors is used to form context of a mobile device. Based on context examples of invoking/not invoking web services the spatial areas are formed. When the mobile device context is within the web service invocation area, the web service is invoked and the associated IoT device is activated. To implement the method, an Android application was developed. The method was tested on a training set that contained 100 training examples of calling two web services: opening an electromechanical door lock and opening a barrier. As a result of testing, the accuracy of classifying the context of a mobile device was 98 percent. The results obtained can be used in the development of smart home and smart city systems.
APA, Harvard, Vancouver, ISO, and other styles
46

Plotnikov, Pavel Igorevich. "О конформных координатах $W^{2,2}$ иммерсий. Контрпример". Труды Математического института имени В. А. Стеклова 327 (2024). https://doi.org/10.4213/tm4443.

Full text
Abstract:
В работе изучаются изотермические координаты для иммерсий двумерных многообразий в евклидово пространство. Рассматривается класс иммерсий с квадратично интегрируемой второй фундаментальной формой, которые также называются $W^{2,2}$ иммерсиями. В литературе распространено утверждение о том, что такого рода иммерсии обладают изотермическими координатами с равномерно ограниченным логарифмом конформного фактора. В настоящей статье показывается, что это неверно. Мы приводим пример иммерсии двумерной сферы в трехмерное евклидово пространство, для которой логарифм конформного фактора не ограничен. Причина этого явления состоит в том, что иммерсии с квадратично интегрируемой второй квадратичной формой не допускают гладкую аппроксимацию. Другими словами, они не удовлетворяют условиям теоремы Торо о би-липшицевых конформных координатах.
APA, Harvard, Vancouver, ISO, and other styles
47

Горелов, В.А. "Горелов В.А. О контрпримерах к гипотезе Зигеля // Современные методы теории краевых задач. Материалы международной конференции : Воронежская весенняя математическая школа «Понтрягинские чтения — XXXIII» (3–9 мая 2022 г.) — Воронеж: Издательский дом ВГУ, 2022. — С. 77-78." 3 травня 2022. https://doi.org/10.5281/zenodo.7564453.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Кулюкин, К. С., Г. А. Якимов та Д. А. Смутин. "Разработка транслятора кода из C в Promela, как компонента интеллектуальной обучающей системы для обучения программированию". МОДЕЛИРОВАНИЕ, ОПТИМИЗАЦИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ 13, № 2(49) (2025). https://doi.org/10.26102/2310-6018/2025.49.2.004.

Full text
Abstract:
Представленная работа посвящена разработке транслятора с языка Си в язык Promela для автоматической верификации программ студентов, обучающихся программированию. Целью является создание инструмента, позволяющего проверять корректность промежуточных шагов выполнения программы с использованием Model Checking. Предложенный транслятор ориентирован на последовательные программы с единственной функцией main, работающие с целыми числами и массивами. Он анализирует C-код студента, требования к диапазонам входных данных и иерархическую LTL-спецификацию (дерево целей), описывающую ожидаемое поведение программы. В процессе трансляции используется clang для построения синтаксического дерева, а также создаются дополнительные переменные для отслеживания обращений к массивам. Сгенерированный Promela-код содержит объявления переменных, главный процесс, включающий недетерминированный ввод переменных и транслированный C-код, а также блок LTL-свойств. Полученная Promela-модель верифицируется с помощью Spin на LTL-свойствах, заданных преподавателем. В случае обнаружения нарушения генерируется контрпример, демонстрирующий трассу выполнения программы с ошибкой. Результатом работы является консольная утилита на Python, которая генерирует .pml файл с Promela-кодом и LTL-свойствами, а также .json файл с размеченным деревом целей и контрпримером. В дальнейшем планируется автоматизировать генерацию LTL-свойств из описания требований на естественном языке и генерировать подсказки для студентов на основе контрпримеров. This work focuses on the development of a C to Promela translator for the automated verification of programs written by programming students. The goal is to create a tool that allows checking the correctness of intermediate program execution steps using Model Checking. The proposed translator is geared towards sequential programs with a single main function, operating on integers and arrays. It analyzes the student’s C code, input data range requirements, and a hierarchical LTL specification (goal tree) that describes the expected program behavior. The translation process utilizes clang to construct the syntax tree and creates additional variables to track array accesses. The generated Promela code contains variable declarations, a main process that includes non-deterministic variable input and the translated C code, and an LTL properties block. The resulting Promela model is verified using Spin against the LTL properties specified by the instructor. If a violation is detected, a counterexample is generated, demonstrating the program execution trace containing the error. The result of this work is a command-line utility written in Python that generates a .pml file with Promela code and LTL properties, as well as a .json file containing the annotated goal tree and the counterexample. Future plans include automating the generation of LTL properties from natural language requirement descriptions and generating hints for students based on the counterexamples.
APA, Harvard, Vancouver, ISO, and other styles
49

Glutsyuk, Alexey Antonovich. "О гамильтоновых проективных бильярдах на границах произведений выпуклых тел". Труды Математического института имени В. А. Стеклова 327 (2024). https://doi.org/10.4213/tm4438.

Full text
Abstract:
Пусть $K\subset\mathbb R^n_q$, $T\subset\mathbb R^n_p$ - два ограниченных строго выпуклых тела (открытые подмножества) с $C^6$-гладкой границей. Рассматривается произведение $\overline K\times\overline T\subset\mathbb R^{2n}_{q,p}$, снабженное стандартной симплектической формой $\omega=\sum_{j=1}^ndq_j\wedge dp_j$. Орбиты $(K,T)$-бильярда - это непрерывные кривые на границе $\partial(K\times T)$, пересечения которых с открытым всюду плотным подмножеством $(K\times\partial T)\cup(\partial K\times T)$ касаются характеристического поля направлений, задаваемого ядрами ограничений симплектической формы $\omega$ на касательные пространства к границе. Для любой точки $(q,p)\in K\times \partial T$ характеристическая прямая в $T_{(q,p)}\mathbb R^{2n}$ порождается вектором $(\vec n(p),0)$, где $\vec n(p)$ - внешний нормальный вектор к $T_p\partial T$. Аналогичное утверждение выполнено для $(q,p)\in\partial K\times T$. Проекция каждой орбиты $(K,T)$-бильярда на $K$ является орбитой так называемого $T$-бильярда в $K$. В случае, когда тело $T$ центрально-симметрично, это - бильярд в пространстве $\mathbb R^n_q$, снабженном структурой финслерова пространства Минковского, "двойственной к $T$". Соответствующий финслеров закон отражения был введен в совместной статье С.Л. Табачникова и Е.А. Гуткина в 2002 г. Исследование орбит $(K,T)$-бильярдов тесно связано с симплектической изопериметрической гипотезой К. Витербо (контрпример к которой был недавно построен в совместной работе П. Хаим-Кислев и Я. Островера) и со знаменитой гипотезой Малера из выпуклой геометрии. В настоящей работе рассматривается специальный случай, когда закон отражения $T$-бильярда является проективным законом отражения, введенным С.Л. Табачниковым, т.е., задается проективными инволюциями проективизированных касательных пространств $T_q\mathbb R^n$, $q\in\partial K$. Показано, что это происходит в том и только в том случае, когда $T$ - эллипсоид, или, что эквивалентно, когда все $T$-бильярды одновременно аффинно эквивалентны евклидовым бильярдам. В качестве приложения приведены аналогичные результаты для финслеровых бильярдов.
APA, Harvard, Vancouver, ISO, and other styles
50

Гончаров, Е. И. "Реализация (λ, µ)-свернутого произведения многомерных матриц средствами операции tensordot из библиотек для тензорной алгебры". Международный научный журнал "Современные информационные технологии и ИТ-образование" 18, № 4 (2022). https://doi.org/10.25559/sitito.18.202204.781-789.

Full text
Abstract:
Алгебра многомерных матриц является удачной моделью данных для задач из самых разных предметных областей. Многие авторы описывали аппаратно-программные комплексы, реализующих алгебру многомерных матриц целиком или параллельные алгоритмы (λ, µ)-свернутого произведения для решения определенной задачи. Их реализации требует значительных трудозатрат, а использование – знание и установку определенный фреймворков и компиляторов. Тем не менее в процессе исследования часто бывает полезно “проверить” предположение на частных случаях, что, возможно, быстро даст контрпример. Статья посещена созданию такого инструмента для прикладных исследований. Python-программы легки в написании, благодаря синтаксису, и имеют обширный выбор разнообразных библиотек. Среди них особое место занимают библиотеки для быстрых вычислений: NumPy, CuPy, PyTorch, TensorFlow. Они могут обеспечить достаточную скорость вычислений как на CPU, так и на GPU, и обладают значительным функционалом для работы с многомерными объектами, хотя и не реализуют (λ, µ)-свернутого произведения. В статье показывается, что операция (0, µ)-свернутого произведения из алгебры многомерных матриц в точности совпадает с операцией tensordot(A, B, µ) из python-библиотек для тензорной алгебры. Статья содержит результаты эксперимента по сравнению скорости вычислений этой операции в разных библиотеках. Автор вводит параллельный алгоритм умножения многомерных матриц, сводящий (λ, µ)-свернутое произведение к последовательности (0, µ)-свернутых произведений, которые могут быть выполнены параллельно. Это фактически сводит сложную задачу к параллельному вызову функции tensordot. Статья содержит подробное описание программы, реализующей алгоритм и результаты ее тестирования в разных средах выполнения. Multidimensional matrix algebra is a successful data model for problems from a variety of subject areas. Many authors have described hardware and software complexes that implement the algebra of multidimensional matrices in its entirety or parallel algorithms of (λ, µ)-convolution product to solve a specific problem. Their implementation requires considerable labor, and the use of knowledge and installation of certain frameworks and compilers. Nevertheless, in the process of research, it is often useful to “test” the assumption on special cases, which may quickly give a counterexample. The article is devoted to the creation of such a tool for applied research. Python-programs are easy to write, thanks to the syntax, and have an extensive selection of various libraries. Among them, a special place is occupied by libraries for fast calculations: NumPy, CuPy, PyTorch, TensorFlow. They can provide sufficient computing speed on both CPU and GPU, and have significant functionality for working with multidimensional objects, although they do not implement a (λ, µ)-convolution product. The article shows that the operation (0, µ)-convolution product from the algebra of multidimensional matrices exactly coincides with the tensordot(A, B, µ) operation from python-libraries for tensor algebra. The article contains the results of an experiment comparing the calculation speed of this operation in different libraries. The author introduces a parallel algorithm for multiplying multidimensional matrices, reducing the (λ, µ)-convolution product to a sequence of (0, µ)-convolution products that can be performed in parallel. This actually reduces a complex task to a parallel call of the tensordot function. The article contains a detailed description of the program implementing the algorithm and the results of its testing in different runtime environments.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography