?
К построению подавтоматов без слияний для недетерминированных конечных автоматов
ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 85–85.
Твардовский А. С., Евтушенко Н. В.
Тестирование на основе конечно автоматных моделей является эффективным инструментом проверки корректности программного и аппаратного обеспечения, позволяя строить проверяющие тесты с гарантированной полнотой покрытия неисправностей (ошибок). При тестировании реальных систем часто приходится учитывать, что спецификации могут быть недетерминированными. Соответственно, в общем случае, при описании реальных систем используются недетерминированные конечные автоматы, для которых проверяющие тесты строятся относительно редукции и часто являются слишком длинными для практического применения. В работе для сокращения длины тестов предлагается использовать подавтомат исходного автомата, обладающий адаптивной различающей последовательностью. В общем случае эти последовательности также
Язык:
русский
Устинова Н. П., Антипкина И. В., Мир психологии. Научно-методический журнал 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 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Евтушенко Л. Г., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Добавлено: 3 сентября 2023 г.
Ерахтина О. С., EX JURE 2023 № 2 С. 73–88
В статье рассматривается проблема оценки качества программного обеспечения. Программные продукты являются объектом, ожидаемые свойства и потенциальные дефекты которого не могут быть точно охарактеризованы. Риски проявления ошибок программного обеспечения трудно прогнозировать. Столь сложный характер работ по созданию ПО обусловливает проблемность, а зачастую и невозможность указать в договоре его четкие качественные характеристики. Автор исследует элементы программного обеспечения, ...
Добавлено: 23 июня 2023 г.
Бойко В. А., Легалов А. И., Зыков С. В., Журнал Сибирского федерального университета. Серия: Техника и технологии 2022 Т. 15 № 2 С. 274–282
Одним из подходов к автоматизации тестирования графического интерфейса пользователя являются программные комплексы, воспроизводящие сценарий взаимодействия пользователя с тестируемым программным обеспечением. Процесс воспроизведения такого сценария основывается на возможности имитации действий пользователя. Принципы, заложенные в реализацию такой системы тестирования, могут оказывать значительное влияние как на достоверность воспроизведения сценариев тестирования, так и на меру интеграции системы в тестируемое ...
Добавлено: 11 октября 2022 г.
Евтушенко Л. Г., Широкова Е., Лапутенко А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2021. С. 178–180.
В данной работе приводятся результаты экспериментов по использованию алгоритма решения автоматного уравнения для бинарной композиции конечных автоматов без обратных связей для оптимизации компонента, все выходные каналы которого доступны для наблюдения. Описываемый алгоритм позволяет строить сетевой эквивалент хвостового компонента композиции для сокращения затрат при аппаратной реализации композиции автоматов и повышения эффективности работы цифрового устройства. ...
Добавлено: 27 мая 2022 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
В учебном пособии рассмотрен теоретико-автоматный подход к синтезу криптографической защиты информации. Цель пособия состоит в описании методов синтеза шифрующих автоматов. Предлагаются удобные для применения в криптографической практике методы оценки числа неэквивалентных ключей шифров, построенных по классической схеме – управляющий блок и шифрующий блок. Приведен более эффективный, чем известные ранее, алгоритм нахождения областей импримитивности групп подстановок, ...
Добавлено: 25 октября 2021 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области.
Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность». ...
Добавлено: 23 октября 2021 г.
Сейтманбитов Д. А., Луценко М. М., Барановский А. М., Интеллектуальные технологии на транспорте 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 г.