?
Simulation Model Validation Based on Ontological Engineering Methods
P. 237–244.
A task of the simulation models examination (verification and validation, V&V) is considered. At the V&V process the correspondence degree of the simulation model created by developers to the simulated object, that description is presented in the form of a conceptual model built by customers, is determined. An ontological approach is proposed to determine the semantic proximity of the simulation model and the conceptual model, whose descriptions are presented in the form of ontologies. Matching rules can also be defined with ontology based on the metrics chosen by the customer. The approach has been tested using the simulation system Triads. The results of the matching algorithm execution are illustrated by an example. The article provides description of the simulation model ontology created in TriadNS and conceptual model ontology, developed with MASK method. The metrics used for proximity assessment are described.
In book
Vol. 2: KEOD. , SciTePress, 2022.
Абдрасилов Б. С., Шинетова Л. Е., Ivanova A. et al., Вопросы образования 2026 № 2 С. 8–41
Worldwide, high-stakes entrance examinations are subject to rigorous requirements: they must be as objective, reliable, and fair as possible. This entails that the processes of their development, administration, and scoring are carefully controlled and standardized to eliminate any possibility of bias. In Kazakhstan, university admission is based on the results of the state entrance examination—the ...
Added: December 3, 2025
Gasheva T. S., Vlasov D. I., Otinov A. V. et al., Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 4 P. 7–18
Unified Modeling Language (UML) is widely used standard for models visualization in software industry. Hence, a preparation of IT professionals involves the learning modeling process. Studies of student perception of UML modeling indicate that this process is perceived as quite complex. This paper presents software for validation activity, class and use-case diagrams by XMI representation. ...
Added: October 19, 2024
Lahav O., Namakonov E., Oberhauser J. et al., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98
Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the scheduler. Under weak memory models, we observe that the standard notions of thread fairness are insufficient, and an additional fairness property, which we call memory fairness, is needed. In this paper, we propose ...
Added: February 2, 2022
Mecheraoui K., Lomazova I. A., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23
This paper provides a true-concurrency approach for the specification and verification of systems of concurrent communicating agents with durable actions. We present high-level Petri nets with durable actions (DaHL) to cope with various details in such complex systems. We define a DaHL module as an open variant of time-dependent colored Petri nets. A DaHL system ...
Added: May 13, 2021
Burdonov I., Kossachev A., Nina Yevtushenko et al., / Series Computer Science "arxiv.org". 2020.
Software Defined Networking (SDN) is a novel network management technology, which currently attracts a lot of attention due to the provided capabilities. Recently, different works have been devoted to testing / verifying the (correct) configurations of SDN data planes. In general, SDN forwarding devices (e.g., switches) route (steer) traffic according to the configured flow rules; ...
Added: October 30, 2020
Warner-Soederholm G., Minelgaite I., Littrell R., Journal of Management Development 2020 Vol. 39 No. 1 P. 68–81
Abstract
Purpose
The purpose of this paper is to refine and validate the most widely used leader behavior measurement instrument, LBDQXII, into a more parsimonious instrument for assessing cognitive templates of preferred leader behavior across cultures.
Design/methodology/approach
The 100-item LBDQXII survey was administered to 6,451 participants from 14 countries; these data were used to refine the survey.
Findings
The shorter survey ...
Added: December 11, 2019
Austin: IEEE Computer Society, 2018.
Added: July 3, 2019
Slobodenyuk E., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.
The chapter covers the issue of monetary relative poverty line location in modern Russia. As it follows from international studies on income stratification it should be placed between 0.5 to 0.75 of median per capita income. Based on the poverty risk data, it is shown that the 0.5 line can be applied as a deep poverty line, and the ...
Added: April 16, 2019
López J., Kushik N., Nina Yevtushenko et al., , in: Proceeding of 12th Intern. Conference on Software Technologies, ICSOFT'2017.: SciTePress, 2017. P. 441–446.
In this paper, we address platforms developed to provide and configure virtual networks according to user’s request and needs. User requests are, however, not always accurate and can contain a number of inconsistencies. The requests need to be thoroughly analyzed and verified before being applied to such platforms. We consequently identify some important properties for ...
Added: November 1, 2018
IEEE, 2015.
Added: July 18, 2018
IEEE, 2017.
Added: July 18, 2018
Кравцова М. В., Вектор науки Тольяттинского государственного университета. Серия: Экономика и управление 2018 № №2(33) С. 11–17
The article considered and implemented a queuing system on the example of particular management task of the bus rental. This system played an important role in the field of economics and everyday life where on the one hand there are emerged mass requirements of the performance of certain services, and on the other hand these ...
Added: April 27, 2018
Ivanov A., Khorov E., Соломатин И. С., В кн.: Сборник трудов конференции "Информационные Технологии и Системы (ИТиС) 2015".: ИППИ РАН, 2015.
Механизм MCCA детерминированного доступа к среде, описанный в стандарте IEEE 802.11s сетей Wi-Fi Mesh, может успешно использоваться в таких сетях для передачи данных с высокими требованиями к качеству обслуживания. Этот механизм позволяет любой станции сети Wi-Fi Mesh зарезервировать последовательность периодических интервалов времени, называемых MCCAOP, в течение которых только эта станция имеет право передавать, а станции ...
Added: January 29, 2018
Albina, R., Sergey, R., , in: 2017 Tenth International Conference Management of Large-Scale System Development (MLSD).: IEEE, 2017. P. 1–5.
The paper proposes company’s investment activity simulation model; on its basis we investigate the behavior of company’s fundamental value under different control parameters. The interaction of bank and corporate borrower’s value growth is analyzed. On the basis of regularities obtained a set of decision principles has been formulated determining bank's decision on appropriateness of financial ...
Added: December 17, 2017
Rasskazova A. N., Проблемы управления 2016 № 3 С. 41–48
Suggested is the company investment activity simulation model, based on which the behavior of the company fundamental value at various control parameters is investigated. Considered is the mutual effect of bank and corporate borrower cost growth factors. Based on obtained patterns a set of decision rules is formulated, subordinating bank's decisions on expediency of financial ...
Added: December 9, 2015
Elena Zamyatina, Alexander Mikov, Roman Mikheev, International Journal "Information Models and Analyses" 2013 Vol. 2 No. 1 P. 70–80
This paper focuses on the problem of validation and verification of computer network simulation models. Authors propose to use special linguistic and program tools of CAD system TriadNS in this case. First of all it should be noted that TRiadNS is a computer system which was developed for computer network design. Simulation is the main ...
Added: February 28, 2015