?
Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара
Содержит материалы, представленные к рассмотрению на научно-практический семинар "Новые информационные технологии в автоматизированных системах". Представляет интерес для научных сотрудников, преподавателей, аспирантов, студентов, работающих по указанным направлениям.
Главы книги
Ерохина Е. А., Лескин П. А., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 419–425.
В данной статье производится сравнительный анализ успеваемости студентов, посещавших занятия факультатива «Основы алгоритмизации (язык Паскаль)» и не выбравших его. Кроме того, анализируется влияние результатов сдачи ЕГЭ (или отсутствие этих результатов) на оценку выполнения лабораторного практикума и контрольных работ по курсу «Алгоритмизация вычислений». ...
Добавлено: 12 марта 2015 г.
Ерохина Е. А., Хруслова Д. В., Королев Д. В., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
В данной работе исследуется зависимость количество ошибок, допущенных студентами при выполнении контрольной работы от числа повторов алгоритмов в курсе «Алгоритмизация вычислений». Приведена классификация ошибок. Перечислены основные типы ошибок для каждого алгоритма, фигурирующего в контрольной работе. Приведена графическая иллюстрация для вычисленных параметров, полученных опытным путем. Сделан вывод о зависимости количества ошибок от числа повторов. ...
Добавлено: 12 марта 2015 г.
Борисов Н. И., Востриков А. В., Жадов А. Д. и др., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 317–324.
Статья посвящена электризации космических аппаратов. В работе рассмотрены два метода расчета картины растекания токов по поверхности космических аппаратов. Первый метод заключается в адаптации наиболее производительного программного обеспечения LTSpice IV для проведения расчетов. Второй метод базируется на разработке редуцированной вычислительной схемы. Приведен сравнительный анализ производительности рассматриваемых подходов и программ. ...
Добавлено: 12 марта 2015 г.
Костенников С. И., Тумковский С. Р., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 339–344.
Рассмотрено три варианта тестовых схем для верификации скорости нарастания выходного напряжения макромодели операционного усилителя (ОУ). Рассмотренные варианты проиллюстрированы на примере SPICE-макромоделей ОУ LMH6642 компании Texas Instruments и ОР37 компании Analog Devices. ...
Добавлено: 14 марта 2015 г.
Гудков Ю. И., Сафонов С. Н., Тув А. Л., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 362–365.
Рассматриваются задачи мониторинга температуры транспортируемых объектов, требования к параметрам устройства мониторинга, а также реализация автономного устройства мониторинга на микроконтроллере ...
Добавлено: 19 марта 2015 г.
Жаднов В. В., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 289–294.
В докладе рассматриваются методы определения показателей долговечности электронных средств по справочным данным на примере показателей типа «ресурс». Показаны основные источники погрешностей принятых в настоящее время методов определения показателей долговечности электронных средств по справочным данным. Обоснована возможность применения математических моделей интенсивностей отказов электрорадиоизделий для уточнения значений коэффициентов математических моделей ресурса. ...
Добавлено: 22 марта 2015 г.
Королев П. С., Иванов И. А., Полесский С. Н., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 298–303.
В работе анализируются данные из технических условий (ТУ) на соответствие ГОСТ по внешним воздействующим факторам на примере дросселей высокочастотных для дальнейшего расчета показателей долговечности, а именно гамма-процентного ресурса, в основу расчета которого положена методика прогнозирования показателей долговечности электрорадиоизделий (ЭРИ) с учетом условий эксплуатации и времени хранения. ...
Добавлено: 21 апреля 2015 г.
Родионов А. Н., Романов А. Ю., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 66–73.
В статье дан отчет об участии команды ИТАС МИЭМ НИУ ВШЭ в конкурсе «Российский кубок по программированию искусственного интеллекта (Russian AI Cup)» в 2014 году. Разработана стратегия поведения виртуальной команды хоккеистов, алгоритмы их отдельных действий; приведены результаты применения данной стратегии, выводы и рекомендации по ее усовершенствованию. ...
Добавлено: 29 апреля 2015 г.
Фальков Е. В., Романов А. Ю., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 62–65.
В статье рассматривается технология Bluetooth low energy и организация indoor-навигации и идентификации в зданиях с помощью портативных маячков. К области применения данной технологии можно отнести университетcкие кампусы, большие офисные здания, терминалы аэропортов, больницы и другие объекты. Цель проекта – помочь людям ориентироваться в подобных зданиях с помощью средств программирования и мобильных устройств. ...
Добавлено: 29 апреля 2015 г.
Кулыгин В. Н., Полесский С. Н., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 304–310.
Необходимость в создании различных конверторов возникает в условии необходимости уменьшения времени проведения расчетов надежности простейших изделий, например, печатных узлов. Одним из источников данных для программ расчета надежности могут стать карты рабочих режимов ЭРИ. По сформированным картам основываясь на шаблонах из РДВ 319.01.09 возможно автоматизировано получать данные на ЭРИ примененные в составе исследуемого узла, что значительно ...
Добавлено: 25 мая 2015 г.
Мартюкова Е. С., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
В настоящей статье рассматриваются методы тестирования, применяемые в современных процессах разработки программного обеспечения. Описывается, какие виды тестирования применяются на различных этапах жизненного цикла разработки ПО. Обсуждаются современные методологии процесса разработки ПО. Отдельно рассматривается автоматизация тестирования: приводятся необходимые этапы и средства для ее внедрения. ...
Добавлено: 15 июля 2015 г.
Большакова Е. И., Ефремова Н. Э., Шариков Г. Ф., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015.
В работе представлен краткий обзор и сравнительный анализ языковых и программных средств пяти инструментальных систем, применяемых для построения приложений для извлечения информации из текстов на русском языке: систем GATE и RCO Pattern Extractor, программного комплекса LSPL, процессора DSTL, Томита-парсера. По результатам проведенного анализа намечаются наиболее важные направления развития языка LSPL и поддерживающих его программных средств. ...
Добавлено: 26 октября 2015 г.
Бугрова А. Д., Бутенко А. Э., Аксенов С. А., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 218–225.
В работе методы компьютерного моделирования применены к задаче оценки нагрузок, возникающих вследствие температурного расширения компонента Atmospheric Chemistry Suit (ACS) орбитального зонда Trace Gas Orbiter (TGO) космической миссии ExoMars. ...
Добавлено: 24 ноября 2015 г.
Шихов А. И., Константинов Ю. А., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 42–46.
Статья посвящена разработке программных средств анализа визуальных образов, полученных с web-камер. Рассматриваются различные варианты ввода информации и их особенности. Предлагается использование языка жестов для средств визуального ввода информации, и описываются средства для реализации такого языка. В статье рассматриваются алгоритмы определения направления движения объекта и определения силуэта объекта любой формы. Алгоритмы реализованы на VB. Рассматривается система распознавания жестов. ...
Добавлено: 1 декабря 2015 г.
Громов И. Ю., Кожевников А. М., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 311–316.
В работе описан метод параметрического и структурного синтеза систем обеспечения тепловых режимов радиоэлектронной аппаратуры, в качестве критерия оптимальности в котором используется соотношение цена системы - качество (степень приближения температуры к требуемым значениям). Описывается разработанное программное обеспечение, которое дает возможность получить практические результаты по эффективному выбору систем обеспечения теплового режима как на этапе эскизного проектирования, так ...
Добавлено: 21 февраля 2016 г.
Смусева Д. А., Малахов И. Ю., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 57–60.
В работе рассматривается проблема сложности разработки, последующего синза и печати трехмерных фракталов. Проводится анализ одного из способов синтеза фрактальных моделей для печати на 3d принтерах с использованием 4 программ. Объясняется необходимость создания косплексной программы. ...
Добавлено: 27 октября 2017 г.
Волкова Л. Л., В кн.: Новые информационные технологии в автоматизированных системах: материалы восемнадцатого научно-технического семинара.: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2015. С. 615–626.
Рассмотрены проблемы определения функционального стиля текста на естественном языке. Приведена классификация и описаны некоторые причины её вариации. Подробно описаны характерные особенности разных функциональных стилей на лексическом и синтаксическом уровнях представления языка, представляющие собой почву для классификации текстов по функциональному стилю на основании вектора маркеров стиля. ...
Добавлено: 31 января 2018 г.
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Korogod D., Shapeev A., Новиков И. С., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Ляппиева А. А., Теория вероятностей и ее применения 2026 Т. 71 № 2 С. 295–304
Установлен новый результат о сильной единственности для многомерного СДУ с невырожденной диффузией и частично нерегулярным сносом. Его можно рассматривать как комбинированный вариант на темы Ямада и Ватанабэ (1971), Звонкина (1974) и первого автора настоящей статьи (1980). ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Нуриева А. И., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 525 С. 24–30
Предложено новое достаточное условие в задаче о центральной предельной теореме в схеме серий для неоднородных цепей Маркова, с возможностью того, что минимум эргодического коэффициента Маркова–Добрушина может быть ближе к нулю, чем в основном условии Добрушина. ...
Добавлено: 17 июля 2026 г.
О частных производных модифицированных полиномов Бернштейна–Станку для функций нескольких переменных
Веретенников А. Ю., Мазутский Н. М., Математический сборник 2025 Т. 216 № 7 С. 3–27
Целью работы является доказательство аппроксимации смешанных производных второго порядка для функции нескольких переменных в норме L1 такими же производными модифицированных полиномов Бернштейна–Станку при минимальной возможной регулярности. ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2025 Т. 70 № 2 С. 211–227
В работе предложены новые версии слабого закона больших чисел (ЗБЧ) для слабо зависимых слагаемых (вообще говоря, разнораспределенных) как при наличии математического ожидания каждого из них, так и без такового. Одним из основных условий в первом из трех рассматриваемых случаев, в котором развиваются идеи из статьи Ю. Ш. Чау 1971 г., является равномерная интегрируемость слагаемых по Чезаро в духе работ по ЗБЧ для ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2024 Т. 69 № 3 С. 427–438
Предложен новый вариант усиленного закона больших чисел для попарно независимых случайных величин. Основная цель — ослабить требование существования математического ожидания каждого из слагаемых. Предположение о попарной независимости также ослаблено. ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Moscow Mathematical Journal 2024 Vol. 24 No. 1 P. 107–124
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 259–294
Добавлено: 16 июля 2026 г.
Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8
Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...
Добавлено: 16 июля 2026 г.
On recurrence, convergence and mixing rate for generalised Wright - Fisher's diffusion with mutation
Веретенников А. Ю., Sineokiy R., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 241–258
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.