?
Моделирование функций анализатора кратковременных помех для виртуальных исследований в области ЭМС
С. 139–146.
Лемешко Н. В.
В публикации решается вопрос моделирования функций анализатора кратковременных радиопомех. Анализируются требования стандартов к функциональности таких анализаторов, предлагается схемная модель для их моделирования и выполняется ее тестирование.
Язык:
русский
В книге
М.: Московский государственный институт электроники и математики, 2012.
Устинова Н. П., Антипкина И. В., Мир психологии. Научно-методический журнал 2025 № 3(122) С. 143–154
В исследовании изучались факторы отношения преподавателей вузов к тестам как методу оценивания образовательных результатов. На выборке 160 преподавателей вузов было показано, что более негативное отношение к тестам было отрицательно связано с самооценкой знаний преподавателя в области методологии создания тестов и тестирования (r = -0,34) и положительно - с оценкой административного давления со стороны вуза в ...
Добавлено: 20 ноября 2025 г.
Mustafina N. I., Плаксин М. А., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58
В статье обсуждаются вопросы планирования и управления ресурсами в процессе
тестирования программных систем. В работе представлен метод анализа ACC, используемый в Google
для оптимизации распределения усилий по тестированию различных частей системы. Расширение
метода путем добавления четвертой характеристики - актеров (роли пользователей системы) позволяет более гибко оценивать требования к действиям и уровни навыков пользователей.
Иллюстративные примеры атрибутов и компонентов системы ...
Добавлено: 17 февраля 2025 г.
Карданова Е. Ю., Иванова А. Е., Тарасова К. В. и др., / Series cs.CL "Computation and Language (cs.CL); Artificial Intelligence (cs.AI)". 2024.
The era of large language models (LLM) raises questions not only about how to train models, but also about how to evaluate them. Despite numerous existing benchmarks, insufficient attention is often given to creating assessments that test LLMs in a valid and reliable manner. To address this challenge, we accommodate the Evidence-centered design (ECD) methodology ...
Добавлено: 5 ноября 2024 г.
Евтушенко Н. В., Захарова Г. Б., Евтушенко Л. Г. и др., Инноватика и экспертиза: научные труды 2024 Т. 1 № 37 С. 74–78
Как следует из названия, конференция посвящена разработке новых информационных технологий в исследовании сложных структур. Целями конференции являются обмен результатами научных исследований по созданию и применению информационных технологий в различных сферах человеческой деятельности, включая вычислительные и телекоммуникационные системы, образование, охрану природы, здравоохранение, исследование и разработку систем искусственного интеллекта, исследование дискретных / стохастических структур управления и связи, ...
Добавлено: 31 октября 2024 г.
Молодыко К. Ю., Закон 2024 № 4 С. 120–135
Квалификация инвесторов является необычным институтом гражданского и административного права, поскольку фактически один контрагент по гражданскому договору должен, хоть и на основе предусмотренных законодательством критериев, принимать квазиадминистративное решение о допуске другого контрагента к гражданским сделкам с самим собой и третьими лицами. Мы обсуждаем первые результаты прошедшей в России в 2020–2021 годы реформы квалификации инвесторов. Обобщены подходы к ...
Добавлено: 13 апреля 2024 г.
Иванова А. Е., Антипкина И. В., Вопросы образования 2023 № 3 С. 92–112
Исследование посвящено декомпозиции трудности теста в зависимости от характеристик заданий (таких как формат, тип текста, к которому относится задание) и необходимых для ответа читательских действий (поиск информации в тексте, простые выводы, сложные выводы, критическая интерпретация текста). Выборку исследования составили учащиеся 4-х классов школ Красноярска, которые проходили компьютеризированный тест читательской грамотности «Прогресс» весной 2022 г. Исследование ...
Добавлено: 4 марта 2024 г.
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Евтушенко Л. Г., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Добавлено: 3 сентября 2023 г.
Ерахтина О. С., EX JURE 2023 № 2 С. 73–88
В статье рассматривается проблема оценки качества программного обеспечения. Программные продукты являются объектом, ожидаемые свойства и потенциальные дефекты которого не могут быть точно охарактеризованы. Риски проявления ошибок программного обеспечения трудно прогнозировать. Столь сложный характер работ по созданию ПО обусловливает проблемность, а зачастую и невозможность указать в договоре его четкие качественные характеристики. Автор исследует элементы программного обеспечения, ...
Добавлено: 23 июня 2023 г.
Бойко В. А., Легалов А. И., Зыков С. В., Журнал Сибирского федерального университета. Серия: Техника и технологии 2022 Т. 15 № 2 С. 274–282
Одним из подходов к автоматизации тестирования графического интерфейса пользователя являются программные комплексы, воспроизводящие сценарий взаимодействия пользователя с тестируемым программным обеспечением. Процесс воспроизведения такого сценария основывается на возможности имитации действий пользователя. Принципы, заложенные в реализацию такой системы тестирования, могут оказывать значительное влияние как на достоверность воспроизведения сценариев тестирования, так и на меру интеграции системы в тестируемое ...
Добавлено: 11 октября 2022 г.
Сейтманбитов Д. А., Луценко М. М., Барановский А. М., Интеллектуальные технологии на транспорте 2020 № 1(21) С. 56–61
В настоящей работе формализована и решена статистическая игра, в результате этого решения было получено: оптимальное рандомизированное решающее правило, вероятность правильного решения по этому правилу, наихудшее априорное распределение уровней знаний тестируемых. Был разработан метод оценки точности и надежности принятия решения по результатам тестирования. Показано, как предложенный метод позволяет оценивать надежность решения на примере теста, содержащего 10 ...
Добавлено: 18 апреля 2021 г.
Гарец С. Б., Елисеева Д. В., Соснина А. С. и др., СПб.: Петербургский государственный университет путей сообщения Императора Александра I (Санкт-Петербург), 2014.
В сборнике опубликованы труды LXXIV Всероссийской научно-технической конференции "Транспорт: проблемы, идеи, перспективы", проходившей в рамках фестиваля "Неделя науки - 2014". Материалы, предоставленные в сборнике, могут быть интересны студентам, аспирантам и молодым ученым транспортных вузов, а также специалистам в области железнодорожного транспорта ...
Добавлено: 18 апреля 2021 г.
Шадринцева Н. В., Сейтманбитов Д. А., Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого", 2014.
В сборнике публикуются материалы докладов студентов, аспирантов, молодых ученых и сотрудников Политехнического университета, вузов Санкт-Петербурга, России и других стран, а также учреждений РАН, представленные на научно-практическую конференцию, проводимую в рамках ежегодной Недели науки Санкт-Петербургского государственного политехнического университета. Доклады отражают современный уровень научно-исследовательской работы участников конференции в области информатики, кибернетики, приборостроения, информационных технологий и управления. Представляет ...
Добавлено: 18 апреля 2021 г.
Луценко М. М., Сейтманбитов Д. А., Ученые записки Международного банковского института 2014 № 8-1 С. 114–116
Разработана теоретико-игровая модель тестирования, позволяющая находить надежность выставляемых оценок по заранее заданной точности. Разработана программа, решающая эту задачу для 10 заданий, имеющих различную сложность ...
Добавлено: 18 апреля 2021 г.
Вахрушев И. А., Научный журнал НИУ ИТМО. Серия: Экономика и экологический менеджмент 2020 № 4 С. 42–46
Получение прогнозов трендовой динамики акций компаний является важной задачей для участников финансового рынка. Основанием фундаментального анализа являются исследования макроэкономических взаимосвязей с ценой акций и взаимосвязей между финансовыми данными и ценами акций выбранных компаний. Центральной целью работы является построение прогнозов на один квартал вперед для акций российских компаний сферы торговли, которые будут обладать релевантностью. Диффузный индекс ...
Добавлено: 19 октября 2020 г.
Копотев М. В., Катинская А., Иванова С. и др., В кн.: Труды международной конференции "Корпусная лингвистика - 2019".: СПб.: Издательство Санкт-Петербургского университета, 2019. С. 30–39.
Статья посвящена описанию системы Revita, которая создается в Хельсинском университете. Система представляет собой новаторский подход к проведению индивидуальных тестов и индивидуализированных упражнений, для создания которых активно используются корпуса и инструменты автоматического анализа текста. Данные, собранные в процессе использования системы, открывают путь к индивидуальному подходу в изучении языка, к описанию индивидуальной грамматики ученика. ...
Добавлено: 30 сентября 2020 г.
Лаврищева Е. М., Зеленов С. В., Пакулин Н. В., Труды Института системного программирования РАН 2019 Т. 31 № 5 С. 95–108
Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей ...
Добавлено: 11 марта 2020 г.
Иванова Р. А., Иванов А. В., Филиппова С. Ю., Научно-педагогическое обозрение 2019 № 3(25) С. 136–150
Целью данной статьи является детальное описание тестовой процедуры оценки умений чтения, применяемой в национальном исследовательском университете «Высшая школа экономики» на международных экзаменах по английскому языку в форматах CAE (C1), TOEFL, IELTS, сопоставительный анализ показанных студентами результатов, а также разработка рекомендаций общего и специального характера, основанных на выборе той или иной стратегии чтения и нацеленных на ...
Добавлено: 3 июля 2019 г.
Никешин А. В., Пакулин Н. В., Шнитман В. З., Труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск).—М.: ИПМ им. МВ Келдыша 2016 С. 290–297
В данной работе представлен подход к разработке тестового набора для тестирования реализаций протокола EAP. Этот подход использует комбинацию двух направлений тестирования сетевых протоколов. Технология UniTESK позволяет автоматизировать процесс построения тестовых последовательностей с помощью обхода некоторого автомата теста, при этом для построения тестовых воздействий и вынесения вердикта о корректности наблюдаемого поведения реализации используется модель протокола. Использование дополнительно ...
Добавлено: 11 августа 2018 г.
Твардовский А. С., Евтушенко Н. В., ББК 73я431 Н766 Редакционная коллегия выпуска 2018 С. 85–85
Тестирование на основе конечно автоматных моделей является эффективным инструментом проверки корректности программного и аппаратного обеспечения, позволяя строить проверяющие тесты с гарантированной полнотой покрытия неисправностей (ошибок). При тестировании реальных систем часто приходится учитывать, что спецификации могут быть недетерминированными. Соответственно, в общем случае, при описании реальных систем используются недетерминированные конечные автоматы, для которых проверяющие тесты строятся относительно редукции и ...
Добавлено: 11 августа 2018 г.
Татарников А. Д., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. II С. 38–45
Генерация тестовых программ и анализ результатов их симуляции на проектной модели являются основным подходом к функциональной верификации микропроцессоров. Верификация – крайне трудоемкий процесс. По некоторым оценкам затраты на нее составляют около 70% от общих трудозатрат на разработку микропроцессора. Это связано с тем, что логика работы современных микропроцессоров содержит огромное количество состояний, и для того, чтобы ...
Добавлено: 12 декабря 2017 г.
Татарников А. Д., Камкин А. С., Чупилко М. М. и др., Труды Института системного программирования РАН 2014 Т. 26 № 1 С. 149–200
Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В отличие от программ, ошибки в которых исправляются сравнительно просто, дефекты в интегральных схемах (конструктивные и производственные) не могут быть устранены. Несмотря на то, что постоянно совершенствуются системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа ...
Добавлено: 11 декабря 2017 г.
Татарников А. Д., Труды Института системного программирования РАН 2017 Т. 29 № 1 С. 167–194
В работе дается обзор существующих методов и средств генерации тестовых программ для микропроцессоров. Генерация тестовых программ и анализ результатов их выполнения являются основным подходом к функциональной верификации микропроцессоров. Этот подход также принято называть тестированием. Несмотря на то, что методы генерации тестовых программ непрерывно совершенствуются, тестирование остается крайне трудоемким процессом. Одна из основных причин состоит в ...
Добавлено: 8 ноября 2017 г.