?
Верификация скорости нарастания выходного напряжения макромодели операционного усилителя
С. 339–344.
Костенников С. И., Tumkovskiy S.
Publication based on the results of:
In book
М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Added: April 17, 2026
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
Akelev E., ВИВЛIОθИКА: E-Journal of Eighteenth-Century Russian Studies 2023 Т. 11 С. 241–270
Как практикующие историки приходят к тем или иным убеждениям? Как отличить «гипотетическое» от «доказанного»? Почему в определенный момент те или иные интерпретации находят всеобщую поддержку в научном сообществе, а другие нет? И как в дальнейшем общепризнанные интерпретации могут быть опровергнуты? Эти вопросы находятся в центре внимания этой статьи, но рассматриваются не отвлеченно, на уровне теории, ...
Added: November 23, 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
Федотов И. А., Хританков А. С., Обидаре М. Д., Программная инженерия 2022 № 4 С. 200–208
Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе ...
Added: September 20, 2022
D. A. Spirin, E. N. Prokofeva, A. V. Vostrikov,, , in: Proceedings of 2022 IEEE Moscow Workshop on Electronic and Networking Technologies (MWENT).: M.: IEEE, 2022. P. 1–4.
Added: July 4, 2022
Kharitonov I. A., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем – 2021 (МЭС-2021)Вып. 2.: ИППМ РАН, 2021. С. 73–80.
Описаны дополнения к стандартным SPICE моделям МОП элементов схем, учитывающие эф-фекты их старения, обусловленные влиянием горячих но-сителей, пробоя диэлектрика и электромиграции. Наборы таких моделей вместе со средствами определения их параметров и средствами SPICE моделирования объ-единены в подсистему SPICE моделирования КМОП схем с учетом факторов старения и оценки параметров надеж-ности и времени бессбойной работы. Приведены примеры ...
Added: June 8, 2022
Vostrikov A. V., Prokofyeva E. N., Journal of Space Weather and Space Climate 2022 Vol. 12 Article 29
High-energy charged plasma particles pose a danger to space technology. The accumulation of charged particles on the body of the spacecraft generates discharges. Electrostatic discharge is a source of powerful electromagnetic interference that adversely affects the functioning of individual parts and entire systems. According to statistics, in about 30% of cases, the loss of satellites ...
Added: November 30, 2021
Kozhukhov M., Мухаметдинова А. Р., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2021 № 4 С. 81–85
A SPICE macromodel of the SiGe HBTs taking into account aging effects is presented. It consists of the standard core model selected by the designer and an additional subcircuit taking into account the hot-carrier effects. The macromodel was included on SPICE-like simulators. The advantages of SPICE-model version of SiGe HBT are high accuracy of description for device ...
Added: November 15, 2021
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. et al., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454–471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Added: May 31, 2021
Kharitonov I. A., Popov D., Рахматуллин Б. А., Наноиндустрия 2020 Т. 13 № S5-2 С. 379–385
The paper deals with SPICE models of varying complexity for analyzing the heavy (nuclear) particles impact on CMOS circuits. For the version of the model that takes into account the influence of the electric bias on the parameters of the current pulse, expressions have been given for evaluating the main model parameters, depending on the ...
Added: April 16, 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
Storchevoy M., В кн.: Мораль и универсальностьВып. 3.: М.: Издательский дом "Гуманитарий", 2020. С. 147–160.
В этой статье мы обосновываем тезис о том, что универсальная этика может быть построена на основе научного подхода, что позволяет обосновать ее универсальность и спасти от методологических обвинений в субъективизме или релятивизме. Вначале мы объясняем выбор критериев научности: 1) точная терминология, 2) корректный логический анализ, 3) эмпирическая верификация, 4) точность эмпирических измерений. Затем мы выстраиваем ...
Added: October 31, 2020
Slobodenyuk E., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.
The chapter covers the issue of monetary relative poverty line location in modern Russia. As it follows from international studies on income stratification it should be placed between 0.5 to 0.75 of median per capita income. Based on the poverty risk data, it is shown that the 0.5 line can be applied as a deep poverty line, and the ...
Added: April 16, 2019
Borisov N., Kasatkin A., Presnyakov S., T-Comm: Телекоммуникации и транспорт 2019 Т. 13 № 2 С. 4–10
The task is to sharply reduce the complexity of analysis, multivariate analysis and parametric optimization of linear and linearized equivalent electrical circuits. The source of such schemes are not only linear electronic circuits, but also circuits formed on the basis of artificial electrical analogies. They can be formed on the basis of finite element methods ...
Added: March 1, 2019
Kuliamin V., Petrenko A. K., Khoroshilov A. V., Труды Института системного программирования РАН 2018 Т. 30 № 6 С. 367–382
В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и управленческой деятельности и развиваемые на протяжении значительного времени. Предлагается декомпозиция заявленной цели верификации промышленной ОС в целом на задачи ...
Added: February 14, 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