All issues
- 2024 Vol. 16
- 2023 Vol. 15
- 2022 Vol. 14
- 2021 Vol. 13
- 2020 Vol. 12
- 2019 Vol. 11
- 2018 Vol. 10
- 2017 Vol. 9
- 2016 Vol. 8
- 2015 Vol. 7
- 2014 Vol. 6
- 2013 Vol. 5
- 2012 Vol. 4
- 2011 Vol. 3
- 2010 Vol. 2
- 2009 Vol. 1
Most viewed papers
Most cited papers (RSCI)-
Deriving semantics from WS-BPEL specifications of parallel business processes on an example
Computer Research and Modeling, 2015, v. 7, no. 3, pp. 445-454Views (last year): 6.WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms. Following that, it is easy to specify WS-BPEL business process with unwanted features. That is why the verification of WS-BPEL business processes is very important. The intent of this paper is to show some possibilities for conversion of a WS-BPEL processes into more formal specifications that can be verified. CSP and Z-notation are used as formal models. Z-notation is useful for specification of abstract data types. Web services can be viewed as a kind of abstract data types.
-
Development of distributed computing applications and services with Everest cloud platform
Computer Research and Modeling, 2015, v. 7, no. 3, pp. 593-599Views (last year): 6. Citations: 2 (RSCI).The use of service-oriented approach in scientific domains can increase research productivity by enabling sharing, publication and reuse of computing applications, as well as automation of scientific workflows. Everest is a cloud platform that enables researchers with minimal skills to publish and use scientific applications as services. In contrast to existing solutions, Everest executes applications on external resources attached by users, implements flexible binding of resources to applications and supports programmatic access to the platform's functionality. The paper presents current state of the platform, recent developments and remaining challenges.
-
XFEL diffraction patterns representation method for classification, indexing and search
Computer Research and Modeling, 2015, v. 7, no. 3, pp. 631-639Views (last year): 6.The paper presents the results of application of machine learning methods: principle component analysis and support vector machine for classification of diffraction images produced in experiments at free-electron lasers. High efficiency of this approach presented by application to simulated data of adenovirus capsid and bluetongue virus core. This dataset were simulated with taking into account the real conditions of the experiment on lasers free electrons such as noise and features of used detectors.
-
Basic directions of information technology in National Academy of Sciences of Azerbaijan
Computer Research and Modeling, 2015, v. 7, no. 3, pp. 657-660Views (last year): 6. Citations: 1 (RSCI).Grid is a new type of computing infrastructure, is intensively developed in today world of information technologies. Grid provides global integration of information and computing resources. The essence Conception of GRID in Azerbaijan is to create a set of standardized services to provide a reliable, compatible, inexpensive and secure access to geographically distributed high-tech information and computing resources a separate computer, cluster and supercomputing centers, information storage, networks, scientific tools etc.
-
Improvement of image quality in a computer tomography by means of integral transformation of a special kind
Computer Research and Modeling, 2015, v. 7, no. 5, pp. 1033-1046Views (last year): 6.The question on improvement of quality of images obtained in a tomography problem is considered. The problem consists in finding of boundaries of inhomogeneities (inclusions) in a continuous medium by results of X-ray radiography of this medium. A nonlinear integral transformation of a special kind is proposed which allows to improve quality of images obtained earlier at a set of papers. The method is realized numerically by the use of computer modelling. Some calculations are carried out with use of data for concrete materials. The results obtained are presented by drawings and graphic images.
-
The mechanism of formation of oscillons — localized oscillatory structures
Computer Research and Modeling, 2015, v. 7, no. 6, pp. 1177-1184Views (last year): 6. Citations: 1 (RSCI).A formal model mechanism of oscillon formation is proposed. These structures were found in a variety of physical systems and a chemical Belousov–Jabotinsky reaction proceeding in an aerosol OT water-inoil microemulsion. Via the proposed mechanism oscillons occur as a result of interaction of two subsystems. In the first subsystem for a proper set of parameters solitary stationary structures may arise as a result of hard local excitation. These structures influence spatial distribution of the second subsystem parameter that leads to local oscillations in the subsystem.
-
Wall functions for high-Reynolds calculations in FlowVision software
Computer Research and Modeling, 2015, v. 7, no. 6, pp. 1221-1239Views (last year): 6. Citations: 4 (RSCI).The article submits wall functions model “FlowVision”. The model allows simulating turbulent flows of fluid and gas over solid impermeable surfaces on different grids. Four turbulence models are considered: $k-\varepsilon$ FlowVision, $k-\varepsilon$ Standard, SST $k-\omega$, SA. Details of implementation of turbulence models in FlowVision software are discussed. Calculations of two test cases are demonstrated.
-
Stoichiometric synthesis of metabolic pathways
Computer Research and Modeling, 2015, v. 7, no. 6, pp. 1241-1267Views (last year): 6. Citations: 3 (RSCI).A vector-matrix approach to the theoretical design of metabolic pathways converting chemical compounds, viz., preset substrates, into desirable products is described. It is a mathematical basis for computer–aided generation of alternative biochemical reaction sets executing the given substrate–product conversion. The pathways are retrieved from the used database of biochemical reactions and utilize the reaction stoichiometry and restrictions based on the irreversibility of a part of them. Particular attention is paid to the analysis of restriction interrelations. It is shown that the number of restrictions can be notably reduced due to the existence of families of parallel restricting planes in the space of reaction flows. Coinciding planes of contradirectional restrictions result in the existence of fixed reaction flow values. The problem of exclusion of so called futile cycles is also considered. Utilization of these factors allows essential lowering of the problem complexity and necessary computational resources. An example of alternative biochemical pathway computation for conversion of glucose and glycerol into succinic acid is given. It is found that for a preset “substrate–product” pair many pathways have the same high-energy bond balance.
-
An integer-valued mathematical model of lake communities: Chaotic and long-period oscillations in the fish population size
Computer Research and Modeling, 2016, v. 8, no. 2, pp. 229-239Views (last year): 6.We present the results of a mathematical model for the aquatic communities which include zooplankton, planktivorous fish and predator fish. The aquatic populations are considered to be body mass- and agestructured, while the trophic relations between the populations to be correspondingly status-specific. The model reproduces diverse dynamic regimes as such steady states and oscillations in the population size. Oscillations in the fish population size are shown to be both regular and irregular. We show that the period of the regular oscillations can be up to decades. The irregular oscillations are shown to be both chaotic and non-chaotic. Analyzing the dynamics in the model parameter space has enabled us to conclude that predictability of fish population dynamics can face difficulties both due to dynamical chaos and to the competition between various dynamical regimes caused by variations in the model parameters, specifically in the zooplankton growth rate.
-
Discrete Models in Population Dynamics: Advantages, Problems, and Justification
Computer Research and Modeling, 2016, v. 8, no. 2, pp. 267-284Views (last year): 6. Citations: 6 (RSCI).This article is dedicated to applicability justification as well as advantages and disadvantages analysis of discrete models in population dynamics. Discretization is the process of transferring continuous functions, models, and equations into discrete counterparts. We consider how temporal, spatial and structural discretization can be applied for solving typical issues in mathematical ecology, and try to estimate corresponding models adequacy and applicability limitations.
Indexed in Scopus
Full-text version of the journal is also available on the web site of the scientific electronic library eLIBRARY.RU
The journal is included in the Russian Science Citation Index
The journal is included in the RSCI
International Interdisciplinary Conference "Mathematics. Computing. Education"