?
Mathematical model of discretionary access control policy
2021.
Синцова К. А.
In this paper, a method for constructing and proving a formal mathematical model was considered that implements the security functions of information security systems based on a discretionary access control policy. An approach is shown that implements the object-subject formalization.
An example of creating a finite state machine is shown using the CPN Tools software solution.
Second session of the XXXVI International Seminar on Stability Problems for Stochastic Models
Смирнов С. В., Миллионщиков Д. В., Уфимский математический журнал 2021 Т. 13 № 2 С. 44–73
В данной работе изучаются характеристические алгебры для систем экспоненциального типа, соответствующих вырожденным матрицам Картана. Эти системы обобщают хорошо известные в теории интегрируемых систем гиперболические уравнения синус-Гордон и Цицейки. Для таких систем, соответствующих матрицам Картана ранга 2, характеристические алгебры описаны явно в терминах образующих и соотношений, и доказано, что они имеют линейный рост. Исследуется связь между ...
Added: September 11, 2026
Смирнов С. В., Glasgow Mathematical Journal 2026 Vol. 68 No. 2 P. 299–316
In the second half of the 19th century Darboux obtained determinant formulae that provide the general solution for a linear hyperbolic second order PDE with finite Laplace series. These formulae played an important role in his study of the theory of surfaces and, in particular, in the theory of conjugate nets. During the last three ...
Added: September 11, 2026
Смирнов С. В., Journal of Physics A: Mathematical and Theoretical 2023 Vol. 56 No. 26 Article 265204
There are different methods of discretizing integrable systems. We consider semi-discrete analog of two-dimensional Toda lattices associated to the Cartan matrices of simple Lie algebras that was proposed by Habibullin in 2011. This discretization is based on the notion of Darboux integrability. Generalized Toda lattices are known to be Darboux integrable in the continuous case ...
Added: September 11, 2026
Enatskaya N., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 132–138
In schemes S for placing r particles in n distinguishable cells, their placement in selected m cells – schemes S∗ is studied, for which the analysis is carried out by a new enumerative method (EM) in extended areas of enumerative combinatorics: finding the number of outcomes and, based on the construction of a model of ...
Added: September 11, 2026
Enatskaya N., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 139–147
The class of particle cell arrangements under consideration is characterized by the introduction of an upper limit on the filling levels of the cells, which must be achieved in at least one cell of each outcome of each arrangement. The circuits are distinguished by the paired qualities of their constituent elements (cells and particles) according ...
Added: September 11, 2026
Савченко В. В., Savchenko L., Измерительная техника 2026 Т. 75 № 3 С. 105–113
Within the framework of a current area of research in the field of speech acoustics – non-invasive analysis of speech
production processes – the acute problem of insufficient accuracy of parametric methods for coding a turbulent (noise) type voice source is considered. In order to overcome this problem, a method for coding a sound source with increased ...
Added: September 11, 2026
Фирсанова В. И., Journal of Mathematical Sciences 2024 Vol. 285 No. 1 P. 112–125
Text-to-image models use user-generated prompts to produce images. Such text-to-image models as DALL-E 2, Imagen, Stable Diffusion, and Midjourney can generate photorealistic or similar to human-drawn images. Apart from imitating human art, large text-to-image models have learned to produce combinations of pixels reminiscent of captions in natural languages. For example, a generated image might contain ...
Added: September 9, 2026
Podinovskiy V. V., Нелюбин А. П., Автоматика и телемеханика 2026 № 8 С. 110–123
Для многокритериальных задач принятия решений по аналогии с качественной вероятностью введены понятия полной и частичной качественной важности как бинарных отношений, обладающих постулируемыми
свойствами. Предложено новое определение отношения нестрогого предпочтения на множестве вариантов решений, порождаемое качественной
важностью. Исследованы его свойства. Указаны аналитические правила,
позволяющие попарно сравнивать варианты по предпочтительности. Проведено сравнение новых отношений предпочтения с разработанными ранее для задач, ...
Added: September 9, 2026
Podinovskiy V. V., Нелюбин А. П., Автоматика и телемеханика 2026 № 7 С. 113–126
Рассматриваются задачи принятия решений, когда предпочтения оцениваются в порядковой шкале, а возможности реализации значений
неопределенного фактора описываются качественной вероятностью (полной или только частичной). Вводятся определения отношений предпочтения и безразличий на множестве стратегий. Предлагаются простые
решающие правила, позволяющие сравнивать стратегии по предпочтительности, и приводятся иллюстративные примеры. ...
Added: September 9, 2026
Фирсанова В. И., Человек: образ и сущность. Гуманитарные аспекты 2025 Vol. 2 No. 62 P. 203–214
Abstract. The paper highlights prompt engineering in academic setting to reduce plagiarism and increase students' interest. The research problem is the lack of a unified methodology for using artificial intelligence in education. The paper aims to create a generative artificial intelligence user interface, the Virtual Teaching Assistant. Teachers were interviewed, the first collection of presets ...
Added: September 9, 2026
Chemical Papers 2026
Benzenoid hydrocarbons are structurally regular aromatic compounds, which makes them well suited for quantitative structure–property relationship (QSPR) studies. This study presents a QSPR analysis of nineteen benzenoid hydrocarbon species using degree-based topological co-indices. We developed a Python program to compute eleven degree-based topological co-indices from molecular graphs and evaluated their ability to explain variations in ...
Added: September 8, 2026
Glutsyuk A., / Series arXiv "math". 2026.
B.Josephson (Nobel Prize, 1973) predicted a tunnelling effect for a system of two superconductors separated by a narrow dielectric (such a system is called Josephson junction): existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by the family of differential equations on the 2-torus, dθdτ=1ω(cosθ+B+Acosτ), which is known as ...
Added: September 8, 2026
Glutsyuk A., / Series arXiv "math". 2026.
A planar dual billiard is a planar curve γ equipped with a family (σP)|P∈γ of projective involutions of the projective lines LP tangent to γ at P that fix P. A dual billiard is called rationally integrable, if there exists a rational function R(x,y) of two variables (called first integral) whose restriction to each tangent ...
Added: September 8, 2026
Alexandrov A., Glutsyuk A., Journal of Differential Equations 2026 Vol. 465 Article 114178
The overdamped Josephson junction in superconductivity theory can be modeled by the family of dynamical systems on the torus, which is known as the RSJ model. This family admits an equivalent description by a family of second-order differential equations: special double confluent Heun equations. In the present paper, we construct two new families of dynamical systems on ...
Added: September 8, 2026
Glutsyuk A., Inventiones Mathematicae 2026 Vol. 245 P. 977–1058
A caustic of a strictly convex planar bounded billiard is a smooth curve whose tangent lines are reflected from the billiard boundary to its tangent lines. The famous Birkhoff Conjecture, studied by many mathematicians, states that if the billiard boundary has an inner neighborhood foliated by closed caustics, then it is an ellipse. In the paper we study ...
Added: September 8, 2026
Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2
The EAEU and the CSTO are Russia’s principal regional international organisations. Understanding, assessing, and analysing the foreign-policy positions of the countries that belong to them is a matter of the state’s national interests. This determines the purpose of the study: to identify the level and the form of cohesion in the voting of EAEU and ...
Added: September 7, 2026
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
In this follow-up paper we show that smooth Hodge-proper stacks over O𝐾 are ℚ𝑝-locally acyclic: namely the natural map between étale ℚ𝑝-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the ℚ𝑝-case of general conjectures made in D. Kubrak and A. Prikhodko [p-adic Hodge theory for Artin stacks, Mem. Amer. Math. ...
Added: September 7, 2026
Ismailov A., Constructive Approximation 2026
The measure of the positivity set {x ∈ [0; 2π] | f (x) > 0} of a trigonometric polynomial f is bounded from below by the Motzkin density.
We generalize the bound to polynomials in several variables and almost periodic functions.
We then use these generalizations to extend known results on Taikov’s problem. ...
Added: September 7, 2026
Alshanskaia E., Portnova G., Liaukovich K. et al., Frontiers in Neuroscience 2024 Vol. 18
Added: September 7, 2026
Гаврилов А. В., Krayushkin D. V., Никитина Н. Ю. et al., Вопросы кибербезопасности 2026 № 4 С. 140–145
The purpose of the study: the development of an approach for covert embedding of patient personal data and data integrity verification markers into medical images, ensuring no distortion of critical diagnostic information. Method: an adaptive method based on Least Significant Bit (LSB) substitution is proposed. To enhance stealth and robustness, embedding is performed selectively – ...
Added: August 31, 2026
Токолов А. В., Идрисов Р. Р., Лазовская Е. И., СУДЕБНАЯ ЭКСПЕРТИЗА И ИССЛЕДОВАНИЯ · Российская Федерация 2026 № 2 С. 139–148
A legal analysis of such a phenomenon as cyberbullying is presented, the author's definition of this concept is given. The existing legal mechanisms for bringing to justice for cyberbullying, as well as the latest Russian legislative initiatives aimed at criminalizing this offense, have been analyzed. To study the problem of criminalization of cyberbullying, a comparative ...
Added: August 19, 2026
IEEE, 2026.
Preface IEEE Russia North West Section and Saint Petersburg Electrotechnical University “LETI” are pleased to present the Proceedings of the 2026 ElCon Conference of Young Researchers in Computing & Processing, and Information Security (2026 ElCon-CP) held in St. Petersburg, Russia, on February 3-5, 2026. This conference was hosted by Saint Petersburg Electrotechnical University “LETI”. The ...
Added: April 6, 2026
Закомолдин Р. В., Agapov P., Дулькина Л. В., Сибирский юридический вестник 2024 № 2(105) С. 75–82
T he article analyzes faking as one of the tools of encroachment on state, public and military security. It is noted that with the help of fakes, misinformation of society is organized, destructive effects on public consciousness are ensured, and negative public opinion is formed. The analysis is carried out on the example of a ...
Added: January 28, 2026
Styrin E. M., Вопросы государственного и муниципального управления 2025 № 4 С. 35–60
This article addresses the problem of insuffi cient diagnostic depth in the current
approaches to assessing the digital maturity of public administration in the regions of the
Russian Federation. The federal methodology proposed by the Ministry of Digital Development
focuses on external performance indicators of digital transformation but does not fully
reveal the internal organizational capabilities of government agencies. ...
Added: December 23, 2025