Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration

We develop methods and algorithms for a high-level synthesis and a formal verification of the architecture for very-large-scale integration (VLSI). The proposed approach is based on the functional-flow paradigm of parallel computing and enables one to perform architecture-independent VLSI synthesis by the construction of a computing model in the form of intermediate structures of control and data graphs. This approach also provides an opportunity to verify a design at the formal description stage before the synthesis of the register-gate representation. Algorithms and methods are developed for the construction and optimization of an intermediate representation of a computing model, the verification, and going to the register-gate description of VLSI. The stages of the high-level VLSI synthesis are formed in the context of the proposed technique. An example of the synthesis of a typical module is considered for a digital signal processing. Results of the practical modeling are presented for an example

A Computational Realization of a Semi-Lagrangian Method for Solving the Advection Equation

A parallel implementation of a method of the semi-Lagrangian type for the advection equation on a hybrid architecture computation system is discussed. The difference scheme with variable stencil is constructed on the base of an integral equality between the neighboring time levels. The proposed approach allows one to avoid the Courant-Friedrichs-Lewy restriction on the relation between time step and mesh size. The theoretical results are confirmed by numerical experiments. Performance of a sequential algorithm and several parallel implementations with the OpenMP and CUDA technologies in the C language has been studied

Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration

We develop methods and algorithms for a high-level synthesis and a formal verification of the architecture for very-large-scale integration (VLSI). The proposed approach is based on the functional-flow paradigm of parallel computing and enables one to perform architecture-independent VLSI synthesis by the construction of a computing model in the form of intermediate structures of control and data graphs. This approach also provides an opportunity to verify a design at the formal description stage before the synthesis of the register-gate representation. Algorithms and methods are developed for the construction and optimization of an intermediate representation of a computing model, the verification, and going to the register-gate description of VLSI. The stages of the high-level VLSI synthesis are formed in the context of the proposed technique. An example of the synthesis of a typical module is considered for a digital signal processing. Results of the practical modeling are presented for an example

Thermistor Temperature Measurement Network with a Small Number of Wires

В статье предложена новая измерительная схема для контроля температуры на множестве точек изделия с помощью последовательности терморезисторов и диодов с тремя соединительными проводами и двумя источниками напряжения. Представлены математическая модель и расчетный алгоритм вычисления сопротивления терморезисторов, состоящие в формировании и последовательном решении систем линейных алгебраических уравнений при разных соотношениях напряжений двух источников питания. Рассмотрена модельная задача и результаты вычислительного экспериментаThe article proposes a new measuring circuit for temperature control at multiple points of the product using a sequence of thermistors and diodes with three connecting wires and two voltage sources. A mathematical model and a computational algorithm for calculating the resistance of thermistors are presented which consist in the formation and sequential solution of systems of linear algebraic equations for different ratios of voltages of two power sources. A model problem and the results of a computational experiment are considere

Модель оптимального управления SIRV-D для построения сценариев распространения COVID-19

The article presents the compartmental differential formulation of SIR-type for modeling the dynamics of the incidence of viral infections, in particular COVID-19, taking into account the ongoing vaccination campaign and the possibility of losing immunity during some time period after vaccination or a disease. The proposed model is extended by considering the coefficients of the model as dependent on the social loyalty of the population to isolation and vaccination. This allows us to formulate the optimal control problem and build various scenarios for the development of the epidemiological situation. The results obtained on the basis of the considered models were compared with real statistical data on the incidence in the Krasnoyarsk TerritoryВ статье представлена камерная дифференциальная постановка SIR-типа для моделирования динамики заболеваемости вирусными инфекциями, в частности COVID-19, с учетом проводимой кампании вакцинации и возможности потери иммунитета через некоторый промежуток времени после вакцинации или заболевания. Предлагаемая модель расширена за счет учета коэффициентов модели как зависимых от социальной лояльности населения к изоляции и вакцинации. Это позволяет сформулировать задачу оптимального управления и построить различные сценарии развития эпидемиологической ситуации. Результаты, полученные на основе рассмотренных моделей, сравнивались с реальными статистическими данными о заболеваемости в Красноярском кра

Grid Method of Collective Guidance and Controlled Target Distribution of a Group of Missiles in the Interests of Group Air Targets Effective Attack

В статье рассматривается решение актуальной научной проблемы уничтожения групповых воздушных целей, направленной на увеличение показателя эффективности улучшаемой системы наведения, а значит, характеристики её свойства. Обозначено решение в виде предлагаемого авторами двухэтапного сеточного метода коллективного наведения и управляемого целераспределения группы ракет в интересах эффективной атаки групповой воздушной цели, оптимального по критерию максимума вероятности её уничтожения – уничтожения всех её элементовThe article discusses solving actual scientific problem destruction of group destruction of group air targets aimed at increasing the efficiency index is improved guidance system, which means that the characteristics of its properties. Denotes the solution proposed by the authors in the form of a twophase grid method of collective guidance and target distribution groups managed in the interests of effective missile attack group air targets, optimal criterion of maximum propability of its destruction – the destruction of all of its element

Grid Method of Collective Guidance and Controlled Target Distribution of a Group of Missiles in the Interests of Group Air Targets Effective Attack

В статье рассматривается решение актуальной научной проблемы уничтожения групповых воздушных целей, направленной на увеличение показателя эффективности улучшаемой системы наведения, а значит, характеристики её свойства. Обозначено решение в виде предлагаемого авторами двухэтапного сеточного метода коллективного наведения и управляемого целераспределения группы ракет в интересах эффективной атаки групповой воздушной цели, оптимального по критерию максимума вероятности её уничтожения – уничтожения всех её элементовThe article discusses solving actual scientific problem destruction of group destruction of group air targets aimed at increasing the efficiency index is improved guidance system, which means that the characteristics of its properties. Denotes the solution proposed by the authors in the form of a twophase grid method of collective guidance and target distribution groups managed in the interests of effective missile attack group air targets, optimal criterion of maximum propability of its destruction – the destruction of all of its element