?
Построение тестов цифровых схем с использованием обобщенной модели неисправностей и непрерывного подхода к моделированию
Вестник Нижегородского университета им. Н.И. Лобачевского. 2011. № 3-2. С. 72–77.
Kascheev N. I., Ponomarev D. M., Подъяблонский Ф. М.
This paper considers the development of digital circuit tests using continuous models of discrete devices. An algorithm is presented which makes it possible to solve the problem of finding test sets using continuous optimization. A generalized fault model is proposed which implements a unified approach to the representation of different types of faults in test generation. The proposed approach is implemented as a software environment for research and development of fault models and algorithms for finding digital circuit tests. For testing, a system of automated test generation for constant faults of combinational circuits has been built. The performance estimation results for the software package developed for the ISCAS '85 benchmark circuits demonstrate the effectiveness of the algorithms and methods used.
Bolbachan V., / Series math "arxiv.org". 2024.
Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity.
To prove this, we study ...
Added: July 16, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Let K be a field of characteristic zero. We prove that its motivic cohomology in degree m−1 and weight m is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable K3 of a field. ...
Added: July 16, 2026
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...
Added: June 11, 2026
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
All-inorganic perovskite CsPbBr3 and Cs4PbBr6 nanoparticles are being intensively studied due to their unique properties and wide range of applications; however, however, the nature of their optical properties is not yet fully understood due to the difficulty of synthesis of singlephase nanoparticles. In this article we describe the features of the synthesis of single-phase particles ...
Added: May 14, 2026
Dorovskiy A., / Series arXiv "math". 2026.
In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...
Added: May 14, 2026
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.
We deal with the global in time weak solutions to the 1D compressible Navier-Stokes system of equations for large discontinuous initial data and nonhomogeneous boundary conditions of three standard types. We prove the Lipschitz-type continuous dependence of the solution $(\eta,u,\theta)$, in a norm slightly stronger than $L^{2,\infty}(Q)\times L^2(Q)\times L^2(Q)$, on the initial data $(\eta^0,u^0,e^0)$ in a ...
Added: April 18, 2026
Medvedev V., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Added: April 3, 2026
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Kolesnikov A., / Series arXiv "math". 2025.
We study Blaschke--Santal{ó}-type inequalities for N>=2 sets (functions) and a special class of cost functions. In particular, we prove new results about reduction of the maximization problem for the Blaschke--Santal{ó}-type functional to homogeneous case (functional inequalities on the sphere) and extend the symmetrization argument to the case of N>2 sets.
We also discuss links to the ...
Added: February 13, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Gaianov N., Parusnikova A., / Cornell University. Серия math "arxiv.org". 2025.
An algebraic q-difference equation is considered. A sufficient condition for the existence of a formal power-logarithmic expansion of a solution to such an equation in the neighborhood of zero is proposed. An example of applying this sufficient condition for constructing a formal expansion of a solution to a certain q-difference analogue of the fifth Painlevé equation ...
Added: December 25, 2025
Popov V., / Series arXiv "math". 2025. No. 2502.01539.
We prove that the variety of flexes of algebraic curves
of degree 3 in the projective plane is an ideal theoretic complete
intersection in the product of a two-dimensional and a nine-dimensional projective spaces. ...
Added: December 16, 2025
Дементьева К. В., Самарцев О. Р., Вестник Воронежского государственного университета. Серия: Филология. Журналистика 2024 № 3 С. 133–135
The article presents an approach to the formation of media models, based on which it is possible to conduct other studies to determine media models. Factors in the formation of regional media models are the characteristics of the audience, digitalization, globalization, glocalization, economic, legal and socio-political aspects, diversification of regional media content. ...
Added: October 16, 2025
A.A. Ziazetdinov, V.V. Zunin, I.I. Romanova, , in: 2024 International Russian Automation Conference (RusAutoCon).: IEEE, 2024. P. 937–942.
Added: September 19, 2024
V.V. Zunin, Stempkovsky A. L., Solovyev R. A., , in: Proceedings 2024 International Russian Smart Industry Conference (SmartIndustryCon), 25-29 March 2024.: Sochi: IEEE, 2024. Ch. 50 P. 294–298.
The paper provides an overview of the current state of research in the field of combinational circuits reliability and parameters. Architecture of OpenLane flow, its components and main stages of work are described. Based on this flow, the main parameters are provided that will be used for augmentation and expansion of combinational circuits dataset and further ...
Added: May 15, 2024
D.A. Miachin, V.P. Pugach, S.S. Avdeiuk et al., Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 5 P. 81–90
This paper presents an open-source software for generation, storage, and analysis of combinational circuits. The previously created methods for generating combinational circuits have been optimized, and a dataset has been formed. The generation of combinational circuits is carried out on various devices. The application implements the possibility to combine the generated datasets into a single storage (Synology Drive), ...
Added: March 3, 2024
Kharitonov I. A., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем – 2021 (МЭС-2021)Вып. 2.: ИППМ РАН, 2021. С. 73–80.
Описаны дополнения к стандартным SPICE моделям МОП элементов схем, учитывающие эф-фекты их старения, обусловленные влиянием горячих но-сителей, пробоя диэлектрика и электромиграции. Наборы таких моделей вместе со средствами определения их параметров и средствами SPICE моделирования объ-единены в подсистему SPICE моделирования КМОП схем с учетом факторов старения и оценки параметров надеж-ности и времени бессбойной работы. Приведены примеры ...
Added: June 8, 2022
Kosov M., Налоги и налогообложение 2017 № 11 С. 1–8
The subject of the research is the tax rebates and their role in establishing relations with economic, entrepreneurial, financial, social and other spheres of life activity as well as financial relations regarding distribution of GDP between the state, business entities and population, the kind of relations that may arise in the process of developing and using ...
Added: August 14, 2021
Bulava A. I., Volkov S. V., Alexandrov Y., Studies in Computational Intelligence 2020 Vol. 856 P. 159–164
This paper presents a novel rodent avoidance test. We have developed
a specialized device and procedures that expand the possibilities for
exploration of the processes of learning and memory in a psychophysiological
experiment. The device consists of a current stimulating electrode-platform and
custom software that allows to control and record real-time experimental protocols
as well as reconstructs animal movement paths. ...
Added: December 28, 2020
Bogolepova S., Лингвистика и методика преподавания иностранных языков 2020 Т. 13 № 2 С. 168–189
The article focuses on the modern approaches to language teaching originating in the Communicative Approach (the Lexical Approach, Task—Based Learning, Language Awareness, Content—Based Instruction, Dogme, Demand High). The principles which these approaches are based on are outlined, the structure of a lesson is described. The common features peculiar to the approaches are revealed, the findings are compared to the ...
Added: September 30, 2020