?
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
С. 134–136.
Устинова Н. П., 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
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Added: November 12, 2023
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 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
Evtushenko L., Широкова Е., Лапутенко А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2021. С. 178–180.
В данной работе приводятся результаты экспериментов по использованию алгоритма решения автоматного уравнения для бинарной композиции конечных автоматов без обратных связей для оптимизации компонента, все выходные каналы которого доступны для наблюдения. Описываемый алгоритм позволяет строить сетевой эквивалент хвостового компонента композиции для сокращения затрат при аппаратной реализации композиции автоматов и повышения эффективности работы цифрового устройства. ...
Added: May 27, 2022
Shirokova E., Evtushenko L., Laputenko A., , in: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS).: IEEE, 2021. P. 1–5.
Added: May 24, 2022
Vinarskii E., Zakharov V., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751–762
Sequential reactive systems include hardware devices and software programs which operate
in continuous interaction with the external environment, from which they receive streams of input signals
(data, commands) and in response to them form streams of output signals. Systems of this type
include controllers, network switches, program interpreters, system drivers. The behavior of some
reactive systems is determined not ...
Added: January 17, 2022
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
В учебном пособии рассмотрен теоретико-автоматный подход к синтезу криптографической защиты информации. Цель пособия состоит в описании методов синтеза шифрующих автоматов. Предлагаются удобные для применения в криптографической практике методы оценки числа неэквивалентных ключей шифров, построенных по классической схеме – управляющий блок и шифрующий блок. Приведен более эффективный, чем известные ранее, алгоритм нахождения областей импримитивности групп подстановок, ...
Added: October 25, 2021
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области.
Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность». ...
Added: October 23, 2021
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
Shirokova E., Evtushenko L., Laputenko A. et al., , in: Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS).: Varna: IEEE, 2020. P. 159–163.
In this paper, we use a window approach when optimizing Finite State Machine (FSM) components of a multi module system. Given a window with a loop-free binary composition of complete deterministic FSMs, we construct a partial FSM for the tail component FSM such that any reduced form of this partial FSM can replace the tail ...
Added: October 30, 2020