Software tools for analysis and synthesis of stochastic systems with high availability (XIV)

2021 ◽  
Author(s):  
I.N. Sinitsyn ◽  
A.P. Karpenko ◽  
M.K. Sakharov
Keyword(s):  
Significant Influence ◽  
Numerical Experiments ◽  
Stochastic Systems ◽  
Vaccination Schedule ◽  
Software Tools ◽  
Propagation Model ◽  
Landscape Analysis ◽  
Start Time ◽  
Time Frequency ◽  
Pulse Vaccination

Paper presents the new multi-memetic modification of the Mind Evolutionary Computation (MEC) algorithm with the incorporated landscape analysis (LA) for solving global optimization in problems complex highly available systems (HAS). The proposed landscape analysis is based on the concept of Lebesgue integral and allows one to divide objective functions into three categories. Each category suggests a usage of specific hyper-heuristics for adaptive meme selection. The new algorithm and its software tools were utilized to solve an optimal control problem for the epidemic’s propagation model, based on the SIER model with pulse vaccination. Results of the numerical experiments demonstrate a significant influence of vaccination’s start time, frequency and intensity on the maximum number of infected individuals. Results of the numerical experiments demonstrate a significant influence of vaccination’s start time, frequency and intensity on the maximum number of infected individuals. The proposed algorithm helped to find and the optimal vaccination schedule in order to minimize the number of infect-ed individuals while also maintaining the volume of the utilized vaccine at the low level.

scholarly journals An Epidemic Model of Computer Worms with Time Delay and Variable Infection Rate

2018 ◽  
Vol 2018 ◽  
pp. 1-11 ◽  
Author(s):  
Yu Yao ◽  
Qiang Fu ◽  
Wei Yang ◽  
Ying Wang ◽  
Chuan Sheng
Keyword(s):  
Time Delay ◽  
Infection Rate ◽  
Numerical Experiments ◽  
Rapid Development ◽  
Nonlinear Process ◽  
Existence Condition ◽  
Propagation Model ◽  
Positive Equilibrium ◽  
Worm Propagation ◽  
Security Issues

With rapid development of Internet, network security issues become increasingly serious. Temporary patches have been put on the infectious hosts, which may lose efficacy on occasions. This leads to a time delay when vaccinated hosts change to susceptible hosts. On the other hand, the worm infection is usually a nonlinear process. Considering the actual situation, a variable infection rate is introduced to describe the spread process of worms. According to above aspects, we propose a time-delayed worm propagation model with variable infection rate. Then the existence condition and the stability of the positive equilibrium are derived. Due to the existence of time delay, the worm propagation system may be unstable and out of control. Moreover, the threshold τ0 of Hopf bifurcation is obtained. The worm propagation system is stable if time delay is less than τ0. When time delay is over τ0, the system will be unstable. In addition, numerical experiments have been performed, which can match the conclusions we deduce. The numerical experiments also show that there exists a threshold in the parameter a, which implies that we should choose appropriate infection rate β(t) to constrain worm prevalence. Finally, simulation experiments are carried out to prove the validity of our conclusions.

scholarly journals The Oceanographic Multipurpose Software Environment

2016 ◽  
Author(s):  
Inti Pelupessy ◽  
Ben van Werkhoven ◽  
Arjen van Elteren ◽  
Jan Viebahn ◽  
Adam Candy ◽  
...  
Keyword(s):  
Numerical Experiments ◽  
High Performance ◽  
Rapid Development ◽  
Circulation Model ◽  
Simulation Models ◽  
Ocean Model ◽  
Propagation Model ◽  
Global Ocean ◽  
Global Circulation Model ◽  
Software Environment

Abstract. In this paper we present the Oceanographic Multipurpose Software Environment (OMUSE). This framework aims to provide a homogeneous environment for existing or newly developed numerical ocean simulation codes, simplifying their use and deployment. In this way, OMUSE facilitates the design of numerical experiments that combine ocean models representing different physics or spanning different ranges of physical scales. Rapid development of simulation models is made possible through the creation of simple high-level scripts, with the low-level core part of the abstraction designed to deploy these simulations efficiently on heterogeneous high performance computing resources. Cross-verification of simulation models with different codes and numerical methods is facilitated by the unified interface that OMUSE provides. Reproducibility in numerical experiments is fostered by allowing complex numerical experiments to be expressed in portable scripts that conform to a common OMUSE interface. Here, we present the design of OMUSE as well as the modules and model components currently included, which range from a simple conceptual quasi-geostrophic solver, to the global circulation model POP. We discuss the types of the couplings that can be implemented using OMUSE and present example applications, that demonstrate the efficient and relatively straightforward model initialisation and coupling within OMUSE. These also include the concurrent use of data analysis tools on a running model. We also give examples of multi-scale and multi-physics simulations by embedding a regional ocean model into a global ocean model, and in coupling a surface wave propagation model with a coastal circulation model.

Software tools for analysis and synthesis of stochastic systems with high availability (XI)

2021 ◽  
Author(s):  
I.N. Sinitsyn ◽  
V.I. Sinitsyn ◽  
E.R. Korepanov ◽  
T.D. Konashenkova
Keyword(s):  
Stochastic Systems ◽  
Sufficient Conditions ◽  
Software Tools ◽  
High Availability ◽  
Mean Square ◽  
Canonical Expansion ◽  
Basic Wavelet ◽  
Analysis And Synthesis ◽  
Necessary And Sufficient ◽  
Statistical Criteria

The article proceeds the thematic cycle dedicated to software tools for stochastic systems with high availability (StSHA) functioning at shock disturbances (ShD) and is dedicated to wavelet synthesis according to complex statistical criteria (CsC). Short survey concerning corresponding works for mean square criteria (msc) is given. In Sect.1 basic CsC definitions and approaches are given. Sect. 2 dedicated to CsC wavelet necessary and sufficient conditions of optimality for scalar non-stationary shock StSHA (StSSHA). Methodological support is based on Haar wavelets. Sect. 4 and Sect.5 are devoted to CSK optimization ShStSHA (basic wavelet equations, algorithms, software tools and example). Several advantages of wavelet algorithms and tools are described and stated for complex ShD. Some generalization of CsC algorithms based on wavelet canonical expansion of StP in ShStSHA mentioned.

scholarly journals ConceFT: concentration of frequency and time via a multitapered synchrosqueezed transform

2016 ◽  
Vol 374 (2065) ◽  
pp. 20150193 ◽  
Author(s):  
Ingrid Daubechies ◽  
Yi (Grace) Wang ◽  
Hau-tieng Wu
Keyword(s):  
Theoretical Analysis ◽  
Numerical Experiments ◽  
Time Dependent ◽  
New Method ◽  
Time Varying ◽  
Frequency Content ◽  
Time Frequency ◽  
Instantaneous Frequencies

A new method is proposed to determine the time–frequency content of time-dependent signals consisting of multiple oscillatory components, with time-varying amplitudes and instantaneous frequencies. Numerical experiments as well as a theoretical analysis are presented to assess its effectiveness.

scholarly journals The Oceanographic Multipurpose Software Environment (OMUSE v1.0)

2017 ◽  
Vol 10 (8) ◽  
pp. 3167-3187 ◽  
Author(s):  
Inti Pelupessy ◽  
Ben van Werkhoven ◽  
Arjen van Elteren ◽  
Jan Viebahn ◽  
Adam Candy ◽  
...  
Keyword(s):  
Numerical Experiments ◽  
High Performance ◽  
Rapid Development ◽  
Circulation Model ◽  
Simulation Models ◽  
Ocean Model ◽  
Propagation Model ◽  
Global Ocean ◽  
Global Circulation Model ◽  
Software Environment

Abstract. In this paper we present the Oceanographic Multipurpose Software Environment (OMUSE). OMUSE aims to provide a homogeneous environment for existing or newly developed numerical ocean simulation codes, simplifying their use and deployment. In this way, numerical experiments that combine ocean models representing different physics or spanning different ranges of physical scales can be easily designed. Rapid development of simulation models is made possible through the creation of simple high-level scripts. The low-level core of the abstraction in OMUSE is designed to deploy these simulations efficiently on heterogeneous high-performance computing resources. Cross-verification of simulation models with different codes and numerical methods is facilitated by the unified interface that OMUSE provides. Reproducibility in numerical experiments is fostered by allowing complex numerical experiments to be expressed in portable scripts that conform to a common OMUSE interface. Here, we present the design of OMUSE as well as the modules and model components currently included, which range from a simple conceptual quasi-geostrophic solver to the global circulation model POP (Parallel Ocean Program). The uniform access to the codes' simulation state and the extensive automation of data transfer and conversion operations aids the implementation of model couplings. We discuss the types of couplings that can be implemented using OMUSE. We also present example applications that demonstrate the straightforward model initialization and the concurrent use of data analysis tools on a running model. We give examples of multiscale and multiphysics simulations by embedding a regional ocean model into a global ocean model and by coupling a surface wave propagation model with a coastal circulation model.

scholarly journals On Biomedical Computations in Cluster and Cloud Environment

2021 ◽  
pp. 76-84
Author(s):  
Tamara Bardadym ◽  
Vasyl Gorbachuk ◽  
Natalia Novoselova ◽  
Sergiy Osypenko ◽  
Vadim Skobtsov ◽  
...  
Keyword(s):  
Numerical Experiments ◽  
Complex Diseases ◽  
Real Data ◽  
Software Tools ◽  
Classification Model ◽  
Biomedical Data ◽  
Cloud Environment ◽  
Hybrid Classification ◽  
Analytical System ◽  
Modern Technologies

Introduction. This publication summarizes the experience of the use of applied containerized software tools in cloud environment, which the authors gained during the project “Development of methods, algorithms and intellectual analytical system for processing and analysis of heterogeneous clinical and biomedical data in order to improve the diagnosis of complex diseases”, accomplished by the team from the United Institute of Informatics Problems of the NAS of Belarus and V.M. Glushkov Institute of Cybernetics of the NAS of Ukraine. In parallel, the features of biomedical data and the main approaches to their processing and classification, implemented within the framework of an intelligent analytical system, and the possibility of their implementation as part of a container application are described. The purpose of the paper is to describe modern technologies that ensure the reproducibility of numerical experiments in this field and the tools aimed to integrate several sources of biomedical information in order to improve the diagnostics and prognosis of complex diseases. Special attention is also paid to the methods of handling data received from different sources of biomedical information. Particular attention is paid to methods of processing data obtained from various sources of biomedical information and included to the intelligent analytical system. Results. The experience of the use of applied containerized biomedical software tools in cloud environment is summarized. The reproducibility of scientific computing in relation with modern technologies of scientific calculations is discussed. The main approaches to biomedical data preprocessing and integration in the framework of the intelligent analytical system are described. The developed hybrid classification model presents the basis of the intelligent analytical system and aims to integrate several sources of biomedical information. Conclusions. The experience of using the developed classification module NonSmoothSVC, which is part of the developed intelligent analytical system, gained during its testing on artificial and real data, allows us to conclude about several advantages provided by the containerized form of the created application. Namely: • It permits to provide access to real data located in cloud environment, • It is possible to perform calculations to solve research problems on cloud resources both with the help of developed tools and with the help of cloud services, • Such a form of research organization makes numerical experiments reproducible, i.e. any other researcher can compare the results of their developments on specific data that have already been studied by others, in order to verify the conclusions and technical feasibility of new results, • There exists a universal opportunity to use the developed tools on technical devices of various classes from a personal computer to powerful cluster. The hybrid classification model as a core of the intelligent system will make it possible to integrate multidimensional, heterogeneous biomedical data with the aim to better understand the molecular courses of disease origin and development, to improve the identification of disease subtypes and disease prognosis. Keywords: classifier, cloud service, containerized application, heterogeneous biomedical data

scholarly journals Modeling of Winter Hardiness Formation in Winter Wheat Plants

2019 ◽  
Vol 9 (3) ◽  
pp. 60-70
Author(s):  
A. N. Polevoy ◽  
D. V. Blyshchyk ◽  
P. A. Feoktistov
Keyword(s):  
Soil Moisture ◽  
Winter Wheat ◽  
Air Temperature ◽  
Plant Development ◽  
Significant Influence ◽  
Numerical Experiments ◽  
Winter Hardiness ◽  
Soluble Carbohydrates ◽  
Active Radiation ◽  
Two Phases

A dynamic model of the formation of winter hardiness of winter wheat plants during the autumn period of vegetation, which describes the growth processes, plant development and the passing of the two phases of the autumnal hardening under the effect of agrometeo-rological conditions in autumn, was developed. Effects of intensity of photosynthetically active radiation (PAR), sunlight levels, air temperature and soil moisture on the increment of reserves of photosynthesis products and soluble carbohydrates in winter wheat plants are described. The results of numerical experiments showed a significant influence of intensity of sunlight levels and air temperature on the passing of two phases of hardening during autumnal period of vegetation of winter wheat plants.

scholarly journals A bio-inspired geometric model for sound reconstruction

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Ugo Boscain ◽  
Dario Prandi ◽  
Ludovic Sacchelli ◽  
Giuseppina Turco
Keyword(s):  
Differential Equation ◽  
Numerical Experiments ◽  
Geometric Model ◽  
Short Time Fourier Transform ◽  
Functional Architecture ◽  
Time Frequency ◽  
Geometrical Modelling ◽  
Short Time ◽  
Group Of Symmetries ◽  
Great Development

AbstractThe reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. There are, however, fundamental dissimilarities, due to the different role played by time and the different group of symmetries. The algorithm transforms the degraded sound in an ‘image’ in the time–frequency domain via a short-time Fourier transform. Such an image is then lifted to the Heisenberg group and is reconstructed via a Wilson–Cowan integro-differential equation. Preliminary numerical experiments are provided, showing the good reconstruction properties of the algorithm on synthetic sounds concentrated around two frequencies.

Sign in / Sign up

Export Citation Format

Share Document