• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Верификация скорости нарастания выходного напряжения макромодели операционного усилителя
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
August 13, 2026
‘Working with AI Solves a Wide Range of Engineering Problems
Artificial intelligence is a working tool based on a balanced combination of algorithms and engineering. Experts and doctoral students from the HSE Moscow Institute of Electronics and Mathematics explain how AI technologies can improve an application, device, or system, and what engineering tasks are solved in the process.
August 12, 2026
‘I Would Like My Research to Help Make the World a Calmer and Better Place
Whatever task Saraa Ali, Junior Research Fellow at the Laboratory of Methods for Big Data Analysis (LAMBDA) of the AI and Digital Science Institute (HSE Faculty of Computer Science), is working on, she thinks about how it can benefit people. She told the Young Scientists of HSE University project about her large family, diagnosing three-phase motors, and her dream of building a children’s home in her native country.
August 11, 2026
‘The Peak of Stupidity and ‘The Valley of Despair: HSE Economists Propose an Explanation for the Dunning–Kruger Effect
The Dunning–Kruger effect, which describes a sharp surge in self-confidence among beginners followed by an equally rapid decline as they gain experience, can be explained by the nature of the learning process and the acquisition of new knowledge. This conclusion was reached by Andrey Vorchik of the HSE Faculty of Economic Sciences together with independent researcher Murat Mamyshev. They developed a mathematical model of learning and demonstrated how subjective confidence is formed and changes as knowledge accumulates, as well as how teachers can reduce the ‘valley of despair’ experienced by learners.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Верификация скорости нарастания выходного напряжения макромодели операционного усилителя

С. 339–344.
Костенников С. И., Tumkovskiy S.
Language: Russian
Full text
Keywords: верификациясхемотехническое моделированиемакромодельоперационный усилитель
Publication based on the results of:
­­­Theory of transport of charge carriers and radiation conductivity of polymers (2015)

In book

Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара
М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
Similar publications
Профессиональная верификация: Руководство по продвинутой функциональной верификации
Уилкокс П., Romanov A., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ...
Added: July 30, 2026
Имитационное моделирование. Теория и практика (ИММОД 2025)
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Added: April 17, 2026
Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere
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
InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation
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
Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling
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
О проблеме доказательств в историческом исследовании, или Подозревал ли Петр I патриарха Адриана в связях с мятежными стрельцами?
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
The Problem of Eigenvalues in the Problem of Calculating the Pattern of Current Spreading over the Spacecraft Surface
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
Расширение возможностей SPICE-подобных программ за счет учета эффектов старения в МОП схемах, обусловленных эффектами горячих носителей, пробоя диэлектрика и электромиграции
Kharitonov I. A., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем – 2021 (МЭС-2021)Вып. 2.: ИППМ РАН, 2021. С. 73–80.
Описаны дополнения к стандартным SPICE моделям МОП элементов схем, учитывающие эф-фекты их старения, обусловленные влиянием горячих но-сителей, пробоя диэлектрика и электромиграции. Наборы таких моделей вместе со средствами определения их параметров и средствами SPICE моделирования объ-единены в подсистему SPICE моделирования КМОП схем с учетом факторов старения и оценки параметров надеж-ности и времени бессбойной работы. Приведены примеры ...
Added: June 8, 2022
Development of accelerated methods for calculating the pattern of current spreading over the surface of spacecraft
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
SPICE-модель для учета влияния эффекта горячих носителей в биполярных транзисторах
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
InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. et al., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454–471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Added: May 31, 2021
Методика определения параметров SPICE-моделей для анализа влияния ОЯЧ на КМОП-схемы при уменьшении размеров транзисторов
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
Using an extension of CTL* for specification and verification of sequential reactive systems
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
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit