No abstract

While testing of the Static Random Access Memory (SRAM) the effective detection of potential faults is mostly determined by the structure and the algorithm of test arrays of data generation. This article proposes a multiplicative indicator W, which allows us to quantify the quality of test arrays of data. It is necessary to represent test arrays of data as a binary matrix, where each column corresponds to a certain bit of SRAM, and the rows correspond to test patterns. In this case, the process of sequential formation of test patterns is identified with the percolation process on a rectangular grid. It is assumed that percolation occurs at the moment when the maximization of the binary antagonisms both on the rows and on the columns of the binary matrix is provided. In this case, the binary sequences in all columns of the matrix must be different. Preliminary experimental data allows to suggest that the evaluation of the quality of test arrays of data based on the proposed indicator W can simultaneously be considered as the maximum efficiency of detecting a certain class of potential SRAM faults in a certain order of reading test data.

The mechanisms of stimulating initiative projects are considered. In terms of content, these can be mechanisms for stimulating social projects, volunteer movements, etc. Each project has an assessment of value obtained by an expert. To stimulate projects allocated a certain fund. This fund is distributed in proportion to the values of the projects implemented. Each project performer has an estimate of minimum remuneration, depending on the value of the projects. Various models of project performers’ behavior are investigated. In the first model, the performer performs all projects total remuneration for which is not less than the minimum value. In the second model, the performer minimizes the difference between the received remuneration and its minimum value.

In the process of designing a carbon nanostructure (CNS) synthesis system, the main task is to determine the technological and functional parameters of synthesis. We offered a mathematical model of the process for the purpose of studying the synthesis processes using the graphite thermal evaporation, based on the Boltzmann kinetic equation, which takes into account elastic and non-elastic particle interactions. We offer a numerical solving method using the parallel computing technologies. We conducted the study of the effect of the main synthesis parameters on the carbon cluster formation and the amount of obtained material containing CNS.

The article considers an original way of software reliability improvement of microprocessor systems with multi-byte command system in case of errors due to accidental failure while execution of the program. Program running errors (control flow errors) mean a discrepancy in the sequence of command codes executed by the microprocessor after the failure occurrence, with the working sequence of commands. The method is based on the preliminary marking of the program memory codes with the help of an additional parity/odd bit and the formation of the signal of the command code reading by microprocessor when accessing the program memory. The article proposes the analytical relations to predict the probability of detection of control flow errors for CISC-processors with any multibyte system of commands based on statistics of commands of different byteness which is contained in the code of the executable program. Along with the detection of control flow errors, all odd errors are also detected while reading the content of any program memory cell.