?
Methods of Slew Rate Verification of Operational Amplifier Macro Model
P. 1–4.
Three methods of operational amplifier (Op amp) slew rate verification are considered. These methods are illustrated through the example of SPICE macro models of Op amp LMH6642 by Texas Instruments and ОР37 by Analog Devices.
In book
M.: HSE, 2016.
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Poplavsky E., Kuznetsova A., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
This paper presents an analysis of a new method for retrieving the parameters of the atmospheric boundary layer in hurricanes. This method is based on the approximation of the upper parabolic part of the wind speed profile and the retrieval of the lower logarithmic part. Based on the logarithmic part, the friction velocity, near-surface wind ...
Added: December 10, 2024
Mikhail Romashikhin, Romanov A., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
This article describes a hardware and software complex for prototyping networks on a chip (NoCs) using multiple FPGAs. The rationale for using FPGAs to verify the RTL model of NoCs is given. The necessary software has been developed to automate the generation of configuration files (bitstream) for FPGA. The software divides the description of the ...
Added: June 13, 2024
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the ...
Added: October 9, 2023
Novikov K., В кн.: «Фундаментальные, поисковые, прикладные исследования и инновационные проекты». Сборник трудов Национальной научно-практической конференции.: М.: РТУ МИРЭА, 2022. С. 261–264.
It is not a trivial task to develop an effective overhead power line short circuit sensor while being restricted on weight, dimensions, power consumption, and the relative position of the sensor and the power line wire. Traditionally, a current transformer similar to a Rogowski coil is used as a sensor, followed up by either a ...
Added: May 21, 2023
Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party consensus, based on endorsement policy protocol, to reach a consensus on a transaction. In this paper, we define the problem of verification of a blockchain multi-party consensus with ...
Added: September 20, 2022
Kharitonov I. A., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем – 2021 (МЭС-2021)Вып. 2.: ИППМ РАН, 2021. С. 73–80.
Описаны дополнения к стандартным SPICE моделям МОП элементов схем, учитывающие эф-фекты их старения, обусловленные влиянием горячих но-сителей, пробоя диэлектрика и электромиграции. Наборы таких моделей вместе со средствами определения их параметров и средствами SPICE моделирования объ-единены в подсистему SPICE моделирования КМОП схем с учетом факторов старения и оценки параметров надеж-ности и времени бессбойной работы. Приведены примеры ...
Added: June 8, 2022
Tikhonov E., Sneps-Sneppe M., International Journal of Open Information Technologies 2019 Vol. 7 No. 7 P. 13–26
The article introduces the theoretical foundations of the modern method of storing, transmitting and processing signals: digital processing. It’s a way to use relatively small number of values instead of continuous real signal.
For example, when transmitting information in telephony, speech is concentrated in the bandwidth up to 4 kHz. But we need doubled frequency 8 ...
Added: April 9, 2022
Evtushenko N. V., Burdonov I., Kossachev A. et al., SCITEPRESS – Science and Technology Publications, 2021.
Software Defined Networking (SDN) devices (e.g., switches) route traffic according to the configured flow
rules, and thus a set of virtual paths gets implemented in the data plane. We propose a novel preventive approach
for verifying that no misconfigurations (e.g., infinite loops), can occur given the requested set of paths.
Such verification is essential since when configuring a ...
Added: October 25, 2021
AlTurki M. A., Kirigin T. B., Kanovich M. et al., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.
Abstract: Development of automated technological systems has seen the increase in interconnectivity among its components. This includes Internet of Things (IoT) and Industry 4.0 (I4.0) and the underlying communication between sensors and controllers. This paper is a step toward a formal framework for specifying such systems and analyzing underlying properties including safety and security. We ...
Added: October 18, 2021
SciTePress, 2021.
The International Conference on Information Systems Security and Privacy provides a meeting point for researchers and practitioners, addressing the security and privacy challenges of information systems from both technological and social perspectives. The conference welcomes papers of either practical or theoretical nature, and is interested in research or applications addressing all aspects of security and privacy, ...
Added: October 18, 2021
Звягинцев Д. Е., Елисеева А. В., Куликов Н. А. et al., В кн.: Международный форум «Микроэлектроника-2020». Школа молодых ученых. Сборник тезисов. Республика Крым, г. Ялта, 21-25 сентября 2020 г.: М.: МАКС Пресс, 2020. С. 232–235.
Based on the results of measuring the characteristics of CMOS ICs in the dose range up to 0.5 Mrad with an intensity of 0.1 rad/s, the changes in the concentration of defects Nit, Not were calculated, and the parameters of SPICE models of MOS transistors IC were identified. Circuitry modeling made it possible to estimate ...
Added: December 5, 2020
Gnatenko A., Zakharov V., Системная информатика 2020 Vol. 17 P. 21–32
Sequential reactive systems such as controllers, device drivers, computer interpreters operate with two data streams and transform input streams of data (control signals, instructions) into output streams of control signals (instructions, data). Finite state transducers are widely used as an adequate formal model for information processing systems of this kind. Since runs of transducers develop ...
Added: November 9, 2020
Yelizarov (Elizarov) A. A., Nazarov I., Skuridin A., , in: 14th European Conference on Antennas and Propagation (EuCAP 2020), 15 - 20 March 2020 Copenhagen, Denmark. Catalog number: CFP2077B-ART. ISBN:978-88-31299-00-8.: IEEE, 2020. P. 1–4.
The paper presents the results of computer simulation of electromagnetic wave propagation in a segment of rectangular waveguide that has one of its wide walls made in the form of a mushroom-shaped modulated metastructure. We used electromagnetic simulation program Ansoft HFSS to obtain the field distribution, characteristics of the complex transmission coefficient S 21 and ...
Added: August 20, 2020
Yenigün H., Nina Yevtushenko, Cavalli A. R., Software Quality Journal 2019 Vol. 27 No. 2 P. 497–499
Testing is one of the most frequently used techniques in practice to assure the quality and thereliability of software systems. It is used not only during the development of such systemsbut also during their operation. Over the last years, new testing technologies appeared forchecking both functional and non-functional requirements of systems. Application areas ofthese technologies ...
Added: October 31, 2019
Babkin E., Malyzhenkov P. V., Ivanova M. et al., International Journal of Information System Modeling and Design 2019 Vol. 10 No. 1 P. 1–19
For over a decade IT-business alignment has been ranked as a top-priority management concern, but there is little research on practical ways to achieve the alignment. EA development is a continuous iterative process, which implicitly ensures the achievement of a specific IT-business alignment level. Therefore, it is necessary to formalize the requirements for architecture and ...
Added: August 8, 2019
Gourary M. M., Rusakov S. G., Ulyanov S. et al., , in: 2018 Moscow Workshop on Electronic and Networking Technologies (MWENT). Proceedings.: M.: IEEE, 2018. P. 1–4.
Challenges to simulate networks of weakly coupled oscillators using circuit simulators are considered. The approach based on the special locking function is presented. The application of system of the phase equations based on locking functions for estimation of locking range of weakly coupled oscillator networks is shown. ...
Added: February 12, 2019
Gourary M. M., Rusakov S. G., Ulyanov S. et al., , in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018).: IEEE Computer Society, 2018. P. 123–128.
This paper presents a new integration technique for time-domain simulation of nonlinear electronic circuits. The new technique exploits A-stable single-step integration methods of order 1 up to 4 obtained by applying the Obreshkov formula to charge oriented circuit equations. The predictor-corrector algorithm exploited in the transient analysis for solving the initial value problem is described. ...
Added: February 12, 2019
Гурарий М. М., Жаров М. М., Русаков С. Г. et al., Наноиндустрия 2018 № 82 С. 410–411
The paper considers the problems of envelope following method construction for determining transient response and steady state of integrated circuits. The envelope following algorithms based on using one-step high order integration methods have been offered. ...
Added: February 12, 2019
Гурарий М. М., Жаров М. М., Русаков С. Г. et al., Журнал радиоэлектроники 2018 № 5 С. 5
The formalized approach for periodic distortion analysis is presented. The computational method is based on exploitation of the properties of the simplified Newton iterative process to solve nonlinear problems in functional space. The numerical scheme of periodic distortion analysis is described. Unlike Volterra series this technique doesn’t require computation of the second and third derivatives ...
Added: February 12, 2019
Гурарий М. М., Жаров М. М., Русаков С. Г. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 1 С. 103–108
The application of conventional transient analysis to find the periodic steady-state solution often results in a long simulation time and hence special purpose means are needed. Unlike the transient analysis the periodic steady-state analysis solves a periodic boundary-value problem. The shooting-Newton method transforms the solution of the periodic boundary-value problem to the solution of sequence ...
Added: February 12, 2019
Гурарий М. М., Жаров М. М., Рассадин А. Э. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 1 С. 83–87
One of the promising directions in Low Power researches is associated with ferroelectric materials whose effectiveness is based on the existence of two stable states and on the negative differential capacitance in charge-voltage characteristics. The advantages are usually exercised in chains comprising both ferroelectric and traditional nonlinear capacitances (e.g. MOSFET gate) which can contain floating ...
Added: February 12, 2019