?
Верификация скорости нарастания выходного напряжения макромодели операционного усилителя
С. 339–344.
Костенников С. И., Тумковский С. Р.
Рассмотрено три варианта тестовых схем для верификации скорости нарастания выходного напряжения макромодели операционного усилителя (ОУ). Рассмотренные варианты проиллюстрированы на примере SPICE-макромоделей ОУ LMH6642 компании Texas Instruments и ОР37 компании Analog Devices.
Язык:
русский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Акельев Е. В., ВИВЛIОθИКА: E-Journal of Eighteenth-Century Russian Studies 2023 Т. 11 С. 241–270
Как практикующие историки приходят к тем или иным убеждениям? Как отличить «гипотетическое» от «доказанного»? Почему в определенный момент те или иные интерпретации находят всеобщую поддержку в научном сообществе, а другие нет? И как в дальнейшем общепризнанные интерпретации могут быть опровергнуты? Эти вопросы находятся в центре внимания этой статьи, но рассматриваются не отвлеченно, на уровне теории, ...
Добавлено: 23 ноября 2023 г.
Новиков К. В., В кн.: «Фундаментальные, поисковые, прикладные исследования и инновационные проекты». Сборник трудов Национальной научно-практической конференции.: М.: РТУ МИРЭА, 2022. С. 261–264.
Создание сенсора однофазных замыканий в воздушной линии электропередач с учётом жёстких ограничений по массе, габаритам, потребляемой электроэнергии и взаимному расположению сенсора и фазного провода является нетривиальной задачей. Традиционно для этих целей применяют пояс Роговского, снабжённый либо активным (с высоким энергопотреблением), либо пассивным (уступающим по массогабаритным параметрам) полосовым фильтром. В данной работе предлагается вариант реализации подобного ...
Добавлено: 21 мая 2023 г.
Федотов И. А., Хританков А. С., Обидаре М. Д., Программная инженерия 2022 № 4 С. 200–208
Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе ...
Добавлено: 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.
Добавлено: 4 июля 2022 г.
Харитонов И. А., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем – 2021 (МЭС-2021)Вып. 2.: ИППМ РАН, 2021. С. 73–80.
Описаны дополнения к стандартным SPICE моделям МОП элементов схем, учитывающие эф-фекты их старения, обусловленные влиянием горячих но-сителей, пробоя диэлектрика и электромиграции. Наборы таких моделей вместе со средствами определения их параметров и средствами SPICE моделирования объ-единены в подсистему SPICE моделирования КМОП схем с учетом факторов старения и оценки параметров надеж-ности и времени бессбойной работы. Приведены примеры ...
Добавлено: 8 июня 2022 г.
Востриков А. В., Прокофьева Е. Н., Journal of Space Weather and Space Climate 2022 Vol. 12 Article 29
Добавлено: 30 ноября 2021 г.
Кожухов М. В., Мухаметдинова А. Р., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2021 № 4 С. 81–85
В статье представлена SPICE-модель кремний-германиевого (SiGe) гетеропереходного биполярного транзистора (ГБТ), позволяющая проводить схемотехническое моделирование устройств с учетом влияния горячих носителей заряда на их электрические характеристики. Представленная SPICE‑модель SiGe ГБТ разработана с использованием макромодельного подхода. Ядро представленной макромодели является стандартная SPICE-модель биполярного транзистора (GP, VBIC, HICUM, MEXTRAM), к которой подключены дополнительные элементы, учитывающие влияния эффектов старения при ...
Добавлено: 15 ноября 2021 г.
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. и др., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454–471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Добавлено: 31 мая 2021 г.
Рассмотрены и проанализированы SPICE-модели различной сложности для анализа влияния отдельных тяжелых (ядерных) частиц (ОЯЧ) на КМОП-схемы. Для варианта модели, учитывающей влияние электрического смещения в узле на параметры импульса тока, приведены выражения для оценки основных параметров такой модели в зависимости от параметров частицы и структуры транзисторов. Приведено сравнение параметров всплесков тока для используемой модели и из ...
Добавлено: 16 апреля 2021 г.
Звягинцев Д. Е., Елисеева А. В., Куликов Н. А. и др., В кн.: Международный форум «Микроэлектроника-2020». Школа молодых ученых. Сборник тезисов. Республика Крым, г. Ялта, 21-25 сентября 2020 г.: М.: МАКС Пресс, 2020. С. 232–235.
На основании результатов измерений характеристик КМОП ИС в диапазоне дозы до 0.5 Мрад с интенсивностью 0,1 рад/с были рассчитаны изменения концентрации дефектов Nit, Not, идентифицированы параметры SPICE-моделей МОП-транзисторов ИС. Схемотехническое моделирование позволило оценить критическое значение дозы для деградации параметров исследуемых ИС. ...
Добавлено: 5 декабря 2020 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Сторчевой М. А., В кн.: Мораль и универсальностьВып. 3.: М.: Издательский дом "Гуманитарий", 2020. С. 147–160.
В этой статье мы обосновываем тезис о том, что универсальная этика может быть построена на основе научного подхода, что позволяет обосновать ее универсальность и спасти от методологических обвинений в субъективизме или релятивизме. Вначале мы объясняем выбор критериев научности: 1) точная терминология, 2) корректный логический анализ, 3) эмпирическая верификация, 4) точность эмпирических измерений. Затем мы выстраиваем ...
Добавлено: 31 октября 2020 г.
Слободенюк Е. Д., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.
Глава посвящена вопросу того, какой именно должна быть черта бедности в ее монетарном относительном выражении в доле от медианы среднедушевых доходов по стране. В западных исследованиях, посвященных проблематике доходной стратификации, используются различные величины, колеблющиеся в пределах 0,5 - 0,75 от медианы среднедушевого дохода. На основе данных о рисках бедности делается вывод о том, что черта ...
Добавлено: 16 апреля 2019 г.
Борисов Н. И., Касаткин А. Д., Пресняков С. А., T-Comm: Телекоммуникации и транспорт 2019 Т. 13 № 2 С. 4–10
Ставится задача резкого сокращения трудоемкости анализа, многовариантного анализа и параметрической оптимизации линейных и линеаризованных эквивалентных электрических схем. Источником таких схем являются не только линейные электронные схемы, но и схемы, сформированные на основе искусственных электроаналогий. Они могут формироваться на основе методов конечных элементов и методов конечных разностей, используемых при решении дифференциальных уравнений в частных производных. Снижение ...
Добавлено: 1 марта 2019 г.
Кулямин В. В., Петренко А. К., Хорошилов А. В., Труды Института системного программирования РАН 2018 Т. 30 № 6 С. 367–382
В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и управленческой деятельности и развиваемые на протяжении значительного времени. Предлагается декомпозиция заявленной цели верификации промышленной ОС в целом на задачи ...
Добавлено: 14 февраля 2019 г.
Гурарий М. М., Жаров М. М., Русаков С. Г. и др., Наноиндустрия 2018 № 82 С. 410–411
В работе рассмотрены проблемы построения алгоритмов моделирования переходного процесса и периодического установившегося режима интегральных схем с помощью методов огибающих. Предложены алгоритмы огибающих на базе применения одношаговых методов высокого порядка для решения обыкновенных дифференциальных уравнений (ОДУ). ...
Добавлено: 12 февраля 2019 г.