?
Моделирование функций анализатора кратковременных помех для виртуальных исследований в области ЭМС
С. 139–146.
Лемешко Н. В.
In book
М.: Московский государственный институт электроники и математики, 2012.
Устинова Н. П., Antipkina I., Мир психологии. Научно-методический журнал 2025 № 3(122) С. 143–154
The study examined the factors of the attitude of university teachers to tests as a method of assessing educational results. On a sample of 160 university teachers, it was shown that a more negative attitude to tests was negatively associated with the self-assessment of the teacher’s knowledge in the field of methodology for creating tests ...
Added: November 20, 2025
Mustafina N. I., Plaksin M. A., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58
The article discusses the issues of planning and resource management in the process of testing
software systems. The paper presents the ACC analysis method used at Google to optimize the distribution of
efforts for testing different parts of the system. Extending the method by adding a fourth characteristic - actors
(roles of system users) – allows for a ...
Added: February 17, 2025
Kardanova E., Ivanova A., Tarasova K. et al., / 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 ...
Added: November 5, 2024
Evtushenko N. V., Захарова Г. Б., Evtushenko L. et al., Инноватика и экспертиза: научные труды 2024 Т. 1 № 37 С. 74–78
The conference is devoted to the development of new information technologies for studying complex structures. The goals of the conference are to exchange the results of scientific research on the development and application of information technologies including artificial intelligence systems in various fields of human activity, including computing and telecommunication systems, education, nature protection, healthcare, ...
Added: October 31, 2024
Molodyko K., Закон 2024 № 4 С. 120–135
Accreditation of investors is an unusual institution of civil and administrative law, since in fact one counterparty under a civil contract must make a quasi-administrative decision on the admission of another counterparty to civil transactions with itself and third parties, albeit based on the criteria provided by law. We discuss the first results of the ...
Added: April 13, 2024
Ivanova A., Antipkina I., Вопросы образования 2023 № 3 С. 92–112
The current study investigates the question of test difficulty decomposition depending on the characteristics of items (such as: format, belonging to the type of text to which the item belongs) and the reader's actions required to answer it (search for information in the text, simple conclusions, complex conclusions, critical interpretation of the text). The sample ...
Added: March 4, 2024
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Evtushenko L., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Added: September 3, 2023
Erahtina O. S., EX JURE 2023 № 2 С. 73–88
the article considers the problem of assessing the quality of software. Software products are a complex object, the expected properties and potential defects of which cannot be accurately characterized. The risks of manifestation of software errors are difficult to predict. The complex nature of the work on creating on the complexity is determined, and often ...
Added: June 23, 2023
Бойко В. А., Легалов А. И., Zykov S. V., Журнал Сибирского федерального университета. Серия: Техника и технологии 2022 Т. 15 № 2 С. 274–282
One of the approaches to automating graphical user interface testing is software systems that reproduce the scenario of user interaction with the software under test. The process of playing such a scenario is based on the ability to simulate user actions. The principles underlying the implementation of such a testing system can have a significant ...
Added: October 11, 2022
Seytmanbitov D., Луценко М. М., Барановский А. М., Интеллектуальные технологии на транспорте 2020 № 1(21) С. 56–61
In this paper, a statistical game was defined and solved. Its solution is: the optimal randomized decision rule, the probability of a correct decision on this rule, and the worst a priori distribution of the test subjects knowledge levels. We have developed a method for assessment the accuracy and reliability of decision making by on ...
Added: April 18, 2021
Гарец С. Б., Елисеева Д. В., Соснина А. С. et al., СПб.: Петербургский государственный университет путей сообщения Императора Александра I (Санкт-Петербург), 2014.
В сборнике опубликованы труды LXXIV Всероссийской научно-технической конференции "Транспорт: проблемы, идеи, перспективы", проходившей в рамках фестиваля "Неделя науки - 2014". Материалы, предоставленные в сборнике, могут быть интересны студентам, аспирантам и молодым ученым транспортных вузов, а также специалистам в области железнодорожного транспорта ...
Added: April 18, 2021
Шадринцева Н. В., Seytmanbitov D., Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого", 2014.
В сборнике публикуются материалы докладов студентов, аспирантов, молодых ученых и сотрудников Политехнического университета, вузов Санкт-Петербурга, России и других стран, а также учреждений РАН, представленные на научно-практическую конференцию, проводимую в рамках ежегодной Недели науки Санкт-Петербургского государственного политехнического университета. Доклады отражают современный уровень научно-исследовательской работы участников конференции в области информатики, кибернетики, приборостроения, информационных технологий и управления. Представляет ...
Added: April 18, 2021
Луценко М. М., Seytmanbitov D., Ученые записки Международного банковского института 2014 № 8-1 С. 114–116
To find reliability of grade with a predetermined accuracy, a game-theory model of testing is developed. Designed program solves the problem for 10 item tests and different complexity of items. ...
Added: April 18, 2021
Vakhrushev I., Научный журнал НИУ ИТМО. Серия: Экономика и экологический менеджмент 2020 № 4 С. 42–46
Obtaining forecasts of the trend dynamics of company shares is an important task for financial market participants. Fundamental analysis is based on studies of macroeconomic relationships with stock prices and relationships between financial data and stock prices of selected companies. The central goal of the work is to make forecasts one quarter ahead for the ...
Added: October 19, 2020
Kopotev M., Катинская А., Иванова С. et al., В кн.: Труды международной конференции "Корпусная лингвистика - 2019".: СПб.: Издательство Санкт-Петербургского университета, 2019. С. 30–39.
This article describes Revita, a system for assisting language learners, being developed at the University of Helsinki. The system employs a novel approach to progress assessment of learners of foreign languages, and uses both corpus data and NLP tools to automatically generate randomized exercises targeting the learner’s level of competency. The data collected from L2 learners ...
Added: September 30, 2020
Лаврищева Е. М., Zelenov S. V., Pakulin N. V., Труды Института системного программирования РАН 2019 Т. 31 № 5 С. 95–108
Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей ...
Added: March 11, 2020
Ivanova R. A., Иванов А. В., Филиппова С. Ю., Научно-педагогическое обозрение 2019 № 3(25) С. 136–150
Целью данной статьи является детальное описание тестовой процедуры оценки умений чтения, применяемой в национальном исследовательском университете «Высшая школа экономики» на международных экзаменах по английскому языку в форматах CAE (C1), TOEFL, IELTS, сопоставительный анализ показанных студентами результатов, а также разработка рекомендаций общего и специального характера, основанных на выборе той или иной стратегии чтения и нацеленных на ...
Added: July 3, 2019
Никешин А. В., Pakulin N. V., Шнитман В. З., Труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск).—М.: ИПМ им. МВ Келдыша 2016 С. 290–297
В данной работе представлен подход к разработке тестового набора для тестирования реализаций протокола EAP. Этот подход использует комбинацию двух направлений тестирования сетевых протоколов. Технология UniTESK позволяет автоматизировать процесс построения тестовых последовательностей с помощью обхода некоторого автомата теста, при этом для построения тестовых воздействий и вынесения вердикта о корректности наблюдаемого поведения реализации используется модель протокола. Использование дополнительно ...
Added: August 11, 2018
Твардовский А. С., Evtushenko N. V., ББК 73я431 Н766 Редакционная коллегия выпуска 2018 С. 85–85
Тестирование на основе конечно автоматных моделей является эффективным инструментом проверки корректности программного и аппаратного обеспечения, позволяя строить проверяющие тесты с гарантированной полнотой покрытия неисправностей (ошибок). При тестировании реальных систем часто приходится учитывать, что спецификации могут быть недетерминированными. Соответственно, в общем случае, при описании реальных систем используются недетерминированные конечные автоматы, для которых проверяющие тесты строятся относительно редукции и ...
Added: August 11, 2018
Tatarnikov A., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. II С. 38–45
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. Functional verification is a quite time consuming process. According to various estimates, it accounts for more than 70% of overall resources spent on designing a new microprocessor. This can be explained by the fact that modern hardware designs have ...
Added: December 12, 2017
Tatarnikov A., Kamkin A., Чупилко М. М. et al., Труды Института системного программирования РАН 2014 Т. 26 № 1 С. 149–200
Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental problem. To deal with it, various tools for functional verification are used. Unlike bugs in software programs which are relatively easy to fix (it does not apply to their consequences), defects in integrated circuits (both design and manufacturing ones) cannot be removed. In spite ...
Added: December 11, 2017
Tatarnikov A., Труды Института системного программирования РАН 2017 Т. 29 № 1 С. 167–194
В работе дается обзор существующих методов и средств генерации тестовых программ для микропроцессоров. Генерация тестовых программ и анализ результатов их выполнения являются основным подходом к функциональной верификации микропроцессоров. Этот подход также принято называть тестированием. Несмотря на то, что методы генерации тестовых программ непрерывно совершенствуются, тестирование остается крайне трудоемким процессом. Одна из основных причин состоит в ...
Added: November 8, 2017