?
Proceedings of 8th EUROSIM Congress on Modelling and Simulation "EUROSIM 2013», Сarrdiff, Wales, United Kingdom, 10-13 of September, ISBN 978-0-7695-5073-2
Cardiff :
IEEE Computer Society, 2013.
Academic editor: K. Al-Begain, D. Al-Dabass, A. Orsoni, R. Cant, R. Zobel
Under the general editorship: D. Al-Dabass
Mikov A., Kozlov A., Zamyatina E. et al., , in : Proceedings of 8th EUROSIM Congress on Modelling and Simulation "EUROSIM 2013», Сarrdiff, Wales, United Kingdom, 10-13 of September, ISBN 978-0-7695-5073-2. : Cardiff : IEEE Computer Society, 2013. P. 532-538.
Simulation remains one of the most popular and sometimes the only method of investigation of the complex dynamical systems nowadays. The problems become more and more complicate and so simulation models become complicate and large scale too. So the modelers have to reduce the time of simulation run and overall time of the simulation model ...
Added: March 13, 2015
NY : Curran Associates, Inc., 2018
Proceedings of the 32nd European Conference on Modelling and Simulation (ECMS 2018) ...
Added: April 6, 2019
Ratnikov F., Ustyuzhanin A., EPJ Web of Conferences 2019 Vol. 2014 P. 1-8
Simulation is one of the key components in high energy physics. Historically it relies on the Monte Carlo methods which require a tremendous amount of computation resources. These methods may have difficulties with the expected High Luminosity Large Hadron Collider (HL-LHC) needs, so the experiments are in urgent need of new fast simulation techniques. We ...
Added: October 9, 2019
Zakharov V., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine an induction-based technique for invariant generation and conventional model checking of finite state systems. At the ...
Added: October 12, 2015
Tsareva O. O., Zelenyi L. M., Malova H. V. et al., Physics-Uspekhi 2018 Vol. 61 No. 2 P. 191-202
Earth's global magnetic field generated by an internal dynamo mechanism has been continuously changing on different time scales since its formation. Paleodata indicate that relatively long periods of evolutionary changes can be replaced by quick magnetic inversions. Based on observations, Earth's magnetic field is currently weakening and the magnetic poles are shifting, possibly indicating the ...
Added: May 8, 2018
Ratnikov F., Zakharov E., Proceedings of Science Italy 2019 Vol. 340 P. 1-3
In HEP experiments CPU resources required by MC simulations are constantly growing and become a very large fraction of the total computing power (greater than 75\%). At the same time the pace of performance improvements from technology is slowing down, so the only solution is a more efficient use of resources. Efforts are ongoing in ...
Added: October 9, 2019
Tatarnikov A., Известия высших учебных заведений. Физика 2016 Т. 59 № 8-2 С. 97-100
The paper proposes a method of automated construction of behavior models of microprocessors, which are used in the process of test program generation to predict the results. The proposed method is based on using formal specifications of instruction set architecture. The method is implemented in MicroTESK, a test program generation tool being developed at ISP ...
Added: February 2, 2018
Yermolina M., Zakhodiakin G., Логистика и управление цепями поставок 2019 № 6 С. 39-49
The article considers the situation when a company needs to distribute limited amount of stock to the regional warehouses in its own two-echelon distribution network. The network consists of a single distribution center and several regional facilities which are serving the company’s customers. It is supposed that every warehouse calculates its requirements for the replenishment ...
Added: February 19, 2020
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Шестая всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2013 состоялась в Казани (Республика Татарстан) 16-18 октября 2013 года.
Научная программа конференции включала следующие тематические направления:
- теоретические основы и методология имитационного и комплексного моделирования;
- методы оценивания качества моделей полимодельных комплексов;
- методы и системы распределенного моделирования;
- моделирование глобальных процессов;
- средства автоматизации и визуализации имитационного моделирования;
- системная динамика ...
Added: December 8, 2013
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-toagent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints specifying the order of inner agent actions. ...
Added: July 10, 2018
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Added: May 6, 2017
Замятина Е.Б., Миков А.И., Информатизация и связь 2012 № 5 С. 130-133
It is difficult to imagine an enterprise, company, firm, an education organizations or organizations of health which does not deal with information systems. The openness and flexibility of the information systems provide a flexible and effective management. So it is necessary to adapt information system to new conditions being changed and to team up with ...
Added: May 14, 2014
Bankov D., Khorov E., Lyakhov A., Sensors 2019 Vol. 19 No. 19 P. 1-23
LoRaWAN infrastructure has become widely deployed to provide wireless communications for various sensor applications. These applications generate different traffic volumes and require different quality of service (QoS). The paper presents an accurate mathematical model of low-power data transmission in a LoRaWAN sensor network, which allows accurate validation of key QoS indices, such as network capacity ...
Added: September 30, 2019
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Added: June 27, 2016
Yerevan : IEEE, 2016
The main target of the East-West Design & Test Symposium (EWDTS) is to exchange experiences between the scientists and technologies of the Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic systems. The symposium aims at attracting scientists especially from ...
Added: October 29, 2016
Zamyatina E., Каримов Д. Ф., Митраков А. А., Информатизация и связь 2014 № 2 С. 89-97
This paper discusses the problems of the agent-based simulation system design. It is wellknown that agent models extend the capabilities of simulation for solving some problems that can’t be solved by the methods of system dynamics and discrete event simulation. Particular attention in the design and the implementation of agent-based simulation authors pay to the ...
Added: February 20, 2015
Sukhov A., Lyadova L. N., Zamyatina E., Информатизация и связь 2013 № 5 С. 11-14
Tools of the DSM-platform MetaLanguage for creation of domain specific languages and for multilevel modeling are described. The transformations definition facility provides lower labor consumption for languages development and for model transformations. ...
Added: November 17, 2013
Vnukov A., Шабном М., Вестник Российского университета дружбы народов. Серия: Инженерные исследования 2014 № 3 С. 38-46
The article discusses the mathematical model of the forward task of kinematics, inverse, positioning capture of the robot is considered. Software implementation of the task allowed conducting the study of convergence and accuracy solution of inverse problem selecting the initial values and randing of angles on each iteration and geting graphs of dependencies accuracy of ...
Added: July 26, 2014
Романов О. Ю., Лисенко О. М., Наукоємні технології 2014 Vol. 1 No. 21 P. 49-54
The comparative analysis of different approaches to modeling of networks on chip (SoC) is provided in the article. The basic directions of exploratory research topics of SoC are defined and it is shown that modeling, analysis and simulation of SoC are basical to conduct other researches.
The typical approaches to modeling of the SoC and examples ...
Added: October 31, 2014
Замятина Е.Б., Миков А. И., Михеев Р. А., Вестник Пермского университета. Серия: Математика. Механика. Информатика 2013 № 4(23) С. 107-118
The problems of simulation of distributed information systems are discussed. There are a large number of specialized software systems dedicated to design a simulation model of distributed systems and to run a simulation experiment. The article deals with software and language tools of CAD Triad.Net, considers the main features of the simulation model and how ...
Added: March 10, 2015
Smetanin S., Ometov A., Komarov M. M. et al., Sensors 2020 No. 12 P. 3358
The present increase of attention toward blockchain-based systems is currently reaching a tipping point with the corporate focus shifting from exploring the technology potential to creating Distributed Ledger Technology (DLT)-based systems. In light of a significant number of already existing blockchain applications driven by the Internet of Things (IoT) evolution, the developers are still facing ...
Added: June 15, 2020
Zamyatina E., Karimov D., Mittrakov A., International Journal "Information Models and Analyses" 2015 Vol. 4 No. 2 P. 178-191
Abstract: This paper discusses the problems of the agent-based simulation system design. It is well known that agent models extend the capabilities of simulation for solving some problems that can’t be solved by the methods of system dynamics and discrete event simulation. Particular attention in the design and the implementation of agent-based simulation authors pay ...
Added: March 16, 2016
Toporkov V., Toporkova A. S., Tselishchev A. et al., Procedia Computer Science 2014 Vol. 29 P. 831-843
In this paper, we deal with problems of efficient resource management and scheduling in utility Grids. There are global job flows from external users along with resource owners’ local tasks upon resource non-dedication condition. Competition for resource reservation between independent users, local and global job flows substantially complicates scheduling and the requirement to provide the ...
Added: February 24, 2015
Пермь : Пермский государственный национальный исследовательский университет, 2013
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при ...
Added: December 16, 2013
Neznanov A., Korablin Y. P., Karpukhin N., Automatic Documentation and Mathematical Linguistics 2012 Vol. 46 No. 3 P. 133-137
The major approaches to solving the classical problems of simulation and the models of time are considered, viz., discreteevent and continuous modeling, as well as MonteCarlo modeling. Their main propositions, advantages, shortcomings, and concrete realizations are discussed. On the basis of the conducted research, the place of the original software tool GIPS Ultimate is shown ...
Added: January 29, 2013