• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Верификация требований к имитационной модели производственного предприятия
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
October 30, 2026
‘This Format Turned Each Presentation Into a Collaborative Effort to Assess the Robustness of the Study
On October 16, 2026, HSE ICEF hosted the Eighth International Conference on Applied Economics. Held fully on-site, the conference brought researchers from HSE University, the New Economic School, Wuhan University, and Shandong University together in Moscow. The programme was organised around three overarching themes— ‘Environment, Resources and Policy,’ ‘Migration, Labour, and Communication,’ and ‘Consumption, Behaviour, and Climate—offering an opportunity to see how similar economic mechanisms operate in China, Pakistan, the United States, and Russia.
October 23, 2026
‘I Always Conduct Research on Topics That Genuinely Matter to Me
Anastasiia Deeva studies the socio-economic consequences of excess weight in Russia. In an interview for the Young Scientists of HSE University project, she spoke about why beauty cannot be measured, her desire to write a novel, ‘Dostoevskian’ burnout, and working at the hotel where The Shining was filmed.
October 19, 2026
'Cultural Studies Seeks to Understand What Lies Beneath the Surface of Everyday Things'
Maxim Zhiganov has been exploring different aspects of sound for many years—first in relation to his native Perm and then on a broader, global scale. In this interview for the HSE Young Scientists project, he talks about sound maps, the special issue of the journal Logos, and why it is important to make the familiar less clear and obvious.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Верификация требований к имитационной модели производственного предприятия

Бизнес-информатика. 2018. № 2 (44). С. 65–78.
Kravchenko T. K., Golov N., Fomin A., Lipatnikov A.

Developing variants of scenarios for a production enterprise’s achieving a desirable fi nancial
position using simulation modeling tools requires a specifi cation and verifi cation of requirements for
the simulation model. Availability of such variants of scenarios allows stakeholders to select the most
effi cient solution. The verifi cation is performed by business analysts and key stakeholders; the aim is
to assess readiness of the requirements for fi nal approval and to check that the requirements provide
all material information for future work. Verifi cation includes evaluating the requirements regarding
their compliance with the company’s business analysis standards, as well as assessment of the model’s
completeness and common terminology used for description of the requirements. Understanding the
desired solution, which meets all the stakeholders’ requirements, is the most important element in
requirements verifi cation.
For developing a simulation model, which is essential for determining variants of development
scenarios and covers fi nancial fl ows of a typical production company, a list of verifi ed requirements
is determined. Criteria of requirements verifi cation include not only acceptance criteria, but also
the Graphical Requirements Analysis framework (GRA framework), that is used for verifi cation of
functional requirements. The verifi ed requirements should be used at diff erent stages of constructing the simulation model, which is focused on development of scenarios for achieving the production enterprise’s desired future
fi nancial position. Modeling scenarios of future development of the types “what will happen, if…?”
and “what to do to achieve the goal?”, using simulation modeling systems allows one to dramatically
increase the quality of decision making.

Research target: Economics and Management Computer Science
Priority areas: business informatics
Language: Russian
Full text
DOI
Keywords: имитационная модельсценарный анализscenario analysis simulation modelверификация требованийкритерии верификациикритерии приемки требованийGRA-фреймворкverification of requirementscriteria for verificationacceptance criteriaGRA framework
Similar publications
О длине адаптивной различающей последовательности для семейства наблюдаемых автоматов
Бурдонов И. Б., Evtushenko N. V., Косачев А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6-1 С. 7–20
В статье исследуется длина адаптивной различающей последовательности для семейства инициальных полностью определенных наблюдаемых, возможно, недетерминированных автоматов. Приводится верхняя оценка длины такой последовательности и показывается ее достижимость. Обсуждается, каким образом полученные результаты можно применить при построении адаптивных диагностических тестов на основе конечно-автоматной модели. ...
Added: October 31, 2026
К организации системы запросов в распределенной сети с кластерами диаметра не больше 2
Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2026 Т. 38 № 4-1 С. 7–24
В статье усовершенствуется предложенная в предыдущей статье авторов модель кластеризованной распределённой сети с опросом, соответствующая сервис-ориентированной архитектуре. Целью опроса является нахождение ближайшего узла, готового оказать требуемую услугу (сервис) как можно раньше. Предлагаемые алгоритмы обеспечивают достижимость узлов, отсутствие дублирования сообщений, и обмен сообщениями с найденным узлом по кратчайшему пути. Кластеризованность сети означает, что в графе сети ...
Added: October 31, 2026
Идентификация финального состояния в автоматах с таймаутами
Твардовский А. С., Бурдонов И. Б., Evtushenko N. V., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22
В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...
Added: October 31, 2026
К организации системы запросов в распределенной сети с кластерами-кликами
Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2026 Т. 38 № 3-1 С. 7–32
В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой сети узлы являются вычислительными единицами, и каждый узел может запросить ту или иную услугу, которая может быть оказана каким-то другим, но заранее неизвестным, узлом сети. Для этого осуществляется опрос сети аналогичный поиску в ширину для того, чтобы найти ближайший узел с необходимыми свойствами. ...
Added: October 31, 2026
Кластеризация услуг распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений
Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2025 Т. 37 № 5 С. 7–32
Статья является продолжением предыдущей статьи авторов, в которой строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы. Хосты предлагают пользователям пакеты определенных услуг (сервисов), сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации, и настройка узлов определяет множество путей от хоста к хосту, по которым будут пересылаться пакеты. Ситуация моделируется с использованием ...
Added: October 30, 2026
Модель распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений.
Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2025 Т. 37 № 4-1 С. 7–30
В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы, которая позволяет оценить классы задач, которые необходимо решать в такой сети, принимая во внимание, в том числе, нефункциональные параметры. Предполагается, что хосты предлагают пакеты определенных услуг (сервисов) и сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации. Правило определяет, каким соседним ...
Added: October 30, 2026
Improving system survivability by path duplication
Бурдонов И. Б., Evtushenko N. V., Косачев А. С., PROGRAMMING AND COMPUTER SOFTWARE 2025 Vol. 51 No. 4 P. 224–241
In this paper, the problem of distributed network survivability is investigated. A distributed system is modeled by a finite connected undirected graph the nodes of which are divided into two types: hosts and switches. Hosts perform computational functions, while switches are used for message passing between hosts. The survivability of the system is understood as ...
Added: October 30, 2026
Улучшение живучести системы с помощью дублирования путей
Бурдонов И. Б., Evtushenko N. V., Косачев А. С., Программирование 2025 № 4 С. 11–32
Исследуется проблема живучести распределенных сетей. Распределенная система моделируется конечным связным неориентированным графом, вершины которого делятся на два типа: хосты и коммутаторы. Хосты выполняют вычислительные функции, а коммутаторы обеспечивают доставку сообщений между хостами. Под живучестью системы понимается ее способность выполнять свои основные функции по передаче сообщений после выхода из строя некоторых ребер графа. Решение проблемы живучести ...
Added: October 30, 2026
Programming and Computer Software
M.: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), 2025.
Programming and Computer Software is a peer-reviewed journal devoted to various problems in all areas of computer science: operating systems, compiler technology, software engineering, artificial intelligence, etc. The journal publishes original manuscripts submitted in English, as well as works translated from several other journals. The sources of content are indicated at the article level. The ...
Added: October 30, 2026
Методология создания информационных систем
Karminsky A. M., Chernikov B. V., М.: НИЦ Инфра-М, 2026.
Рассмотрены методологические вопросы создания финансово-экономических информационных систем, проблемы информатизации производственной и дистрибьютерской деятельности, темы адаптации типовых систем в бизнес-структурах, в том числе систем поддержки офисной деятельности. Для студентов учреждений среднего профессионального образования, обучающихся по укрупненным группам специальностей 09.02.00 «Информатика и вычислительная техника», 38.02.00 «Экономика и управление», экономистов, юристов, предпринимателей и финансистов, а также специалистов и ...
Added: October 30, 2026
Рискоустойчивость организаций реального сектора экономики и сферы услуг: итоги I квартала 2026 года.
Lola I. S., Asoskov D., Ursulenko V. et al., ИСИЭЗ НИУ ВШЭ, 2026.
Центр конъюнктурных исследований Института статистических исследований и экономики знаний НИУ ВШЭ представляет информационный обзор, характеризующий динамику уровня Индекса рискоустойчивости организаций реального сектора экономики и сферы услуг ...
Added: October 30, 2026
Сентимент- анализ в банковском деле и финансах
Karminsky A. M., Morgunov A., Журнал Новой экономической ассоциации 2026 № 2 (71) С. 324–330
Banks are currently interested in improving the quality of their own processes and decision-making models. Improving processes involves automating them, i.e., replacing manual labor with automated mechanisms that improve service quality and reduce banking costs. Improving models involves increasing their accuracy and stability through the use of additional information. One possible method for this optimization ...
Added: October 30, 2026
Оценка уровня технологического суверенитета Российской Федерации на основе интегрального индекса
Коростышевская Е. М., Агашин А. В., Journal of Applied Economic Research 2026 Т. 25 № 2 С. 482–516
Russia’s national technological sovereignty as an achievement of competitiveness and independence of the national economy in critically important sectors is currently under threat from external influence from Western states and a number of sanction restrictions. This is especially evident in such key areas as energy, automotive, and microelectronics, which has significantly widened the technology gap between Russia and a number ...
Added: October 30, 2026
QML- и MCMC-методы оценивания параметров модели стохастической волатильности: применение к российскому рынку ценных бумаг
Borzykh D., Орлов Н. А., Экономический журнал Высшей школы экономики 2026 Т. 30 № 3 С. 457–486
This study compares two estimation approaches for the stochastic volatility (SV) model, namely quasi-maximum likelihood (QML) and Markov chain Monte Carlo (MCMC). A simulation exercise shows that MCMC delivers markedly more accurate parameter estimates than QML. However, QML remains substantially faster and far less computationally demanding, which makes it attractive in large-scale empirical applications. To the best of ...
Added: October 29, 2026
Beyond Global ESG: The Social Dimension and Institutional Divergence in Responsible Business Conduct in RIC Countries
Vukovic N., Sustainability 2026 Vol. 21 No. 18 P. 1–25
Responsible business conduct and ESG standards are increasingly shaped by divergent international and national assessment systems, yet comparative evidence on how emerging economies navigate this fragmentation remains limited. This study examines the role of the social dimension (S) in responsible business conduct across the RIC countries (Russia, India, and China). Using a purposive comparative design, ...
Added: October 29, 2026
Тенденции в динамике занятости в отраслях экономики России в III квартале 2026 г.
Lola I. S., Asoskov D., ИСИЭЗ НИУ ВШЭ, 2026.
В обзоре Центра конъюнктурных исследований ИСИЭЗ НИУ ВШЭ представлены текущие и прогнозные тенденции на важнейших отраслевых рынках труда, которые отражают простые и композитные индикаторы занятости (Индекс кадровой обеспеченности, Индекс совокупной занятости и т.д.), рассчитанные на основе обобщенных результатов обследований деловой активности, проводимых Росстатом в мониторинговом режиме в базовых видах экономической деятельности. Дополнительным аспектом анализа отраслевых ...
Added: October 29, 2026
Композитные индикаторы деловой активности: текущие и прогнозные траектории (III квартал 2026 г.)
Lola I. S., Asoskov D., Усов Н. А., ИСИЭЗ НИУ ВШЭ, 2026.
В обзоре представлены композитные индикаторы раннего реагирования, рассчитанные на основе обобщенных результатов обследований деловой активности, проводимых Росстатом в мониторинговом режиме в базовых видах экономической деятельности. Расчет индексов осуществляется в соответствии с методологией руководств ОЭСР "Business Tendency Surveys: A Handbook" и "OECD System of Composite Leading Indicators", совместного руководства ОЭСР и Европейской комиссии "Handbook on Constructing ...
Added: October 29, 2026
Деловая активность курьерской деятельности: тенденции 2026 года
Lola I. S., Ostapkovich G. V., Asoskov D. et al., ИСИЭЗ НИУ ВШЭ, 2026.
Аналитический обзор деловых тенденций в секторе курьерских услуг подготовлен экспертами Центра конъюнктурных исследований Института статистических исследований и экономики знаний НИУ ВШЭ. В основу обзора положены результаты конъюнктурных опросов руководителей организаций, в которых осуществляется деятельность по курьерской доставке различными видами транспорта. Такие опросы Федеральная служба государственной статистики (Росстат) запустила с I кв. 2025 г. и в рамках ...
Added: October 29, 2026
Mean-field reduction of networks of bursting neurons
Guerreiro I., Sergey Skorokhod, di Volo M. et al., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954
The collective dynamics of spiking networks of neurons has been of central interest to both computational neuroscience and network science. Over the past years, a new generation of neural population models based on exact reductions (ER) of spiking networks have been developed. However, most of these efforts have been limited to networks of neurons with simple dynamics (e.g. the ...
Added: October 29, 2026
Platformization without platform data: A latent variable approach
Karminsky A. M., Voytov N., Russian Journal of Economics 2026 No. 12(2) P. 199–229
Digital multi-sided platforms intermediate a growing share of household expenditure, yet direct cross-country measurement of platformization remains infeasible owing to the absence of publicly available data. This paper treats platformization — defined as the ratio of household consumption expenditure intermediated by platforms to total consumer spending — as a latent variable and estimates it using ...
Added: October 29, 2026
Человеко-машинная система анализа и улучшения качества условий проживания населения
Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913
The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...
Added: October 9, 2026
An Assessment and Management of the Quality of Living Conditions of the Population in the Regions
Fuad Aleskerov, Arkadiy Vaynshtok, Alexandr Derendyaev et al., , in: 2026 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA), 5-7 Feb. 2026.: IEEE, 2026. P. 1–5.
A model for analyzing the quality of living conditions of residents in municipal entities, districts, and cities is developed. The model evaluates indices of the quality of living conditions in a municipal entity based on a comprehensive mathematical model of regional subsystem development. A technology for generating recommendations based on scenario analysis of primary indicators, ...
Added: October 7, 2026
Развитие водородно-атомной энергетики в контексте современной климатической повестки и прогнозируемого энергетического перехода
Podchufarov A., Rybas A., Ванина С. С. et al., В кн.: Седьмой международный экономический симпозиум — 2023. Материалы международных научных конференций 20-22 апреля 2023 г.: X Международная научно-практическая конференция «Устойчивое развитие: общество и экономика»; XX Международная конференция «Эволюция международной торговой системы: проблемы и перспективы»; XXIX Международная научно-практическая конференция «Актуальные проблемы менеджмента: управление в условиях новых вызовов внешней среды»; VIII Международная научная конференция «Соколовские чтения «Бухгалтерский учёт: взгляд из прошлого в будущее»; Международная конференция молодых ученых-экономистов «Развитие современной экономики России».: СПб.: Скифия-принт, 2023. С. 757–762.
Under the conditions of modern geopolitical transformations it becomes much more complicated to substantiate a set of measures and strategic programs aimed at promoting higher competitiveness of national economies. The search for balanced solutions between ensuring access to basic types of energy resources and achieving the Sustainable Development Goals (SDGs) gets more relevant. An example ...
Added: May 29, 2026
Имитационное моделирование. Теория и практика (ИММОД 2025)
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Added: April 17, 2026
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit