The paper deals with the problem of automatic extraction of a software project structure and its ontology from revision controlsystem network of the project source code. The aim of the investigation is to determine t...
详细信息
The paper deals with the problem of automatic extraction of a software project structure and its ontology from revision controlsystem network of the project source code. The aim of the investigation is to determine the correlation between the project structure and ontology terms of the project domain, i.e., to answer the question about possibility to describe the structure of the project with terms of the ontology. If it will be true then a modification of the ontology can be interpreted as modification of the project structure.
Concerns hybrid models which describe real processes in switching circuits more adequately than automata networks and more efficiently than mathematical physics models. The models consist of the following interconnect...
详细信息
Concerns hybrid models which describe real processes in switching circuits more adequately than automata networks and more efficiently than mathematical physics models. The models consist of the following interconnected equations: differential, operational and logical equations, where from the physical viewpoint the first ones describe dynamics of internal states of circuit elements, the second ones correspond to the dynamics of output signals of the elements, and the latter ones describe their logical functions. In particular, each component of right-side of internal state equations can be dependent on states and outputs of all the elements, We propose some constructive and qualitative method of analysis of dynamical properties. This method reduces the initial problems to analysis of more simple, comparison model and does not require the exhaustive search for initial states, delay parameters, etc. and in principle, overcomes higher dimension of circuit in comparison with numerical methods of mathematical physics. Logical Lyapunov functions (LLF) are used, and not only those that are elementary disjunctions. Criteria of controllability-type properties contain more weak condition of majorizing the LLF than homomorphism condition, although they require the additional condition of quasimonotonicity of right-side of comparison model.
We present a robust, parallel primal-dual heuristic algorithm for the k-medoids clustering problem, a widely utilized method in data mining and machine learning. Our approach surpasses current algorithms by effectivel...
We present a robust, parallel primal-dual heuristic algorithm for the k-medoids clustering problem, a widely utilized method in data mining and machine learning. Our approach surpasses current algorithms by effectively addressing their limitations, such as time-consuming distance matrix calculations, inefficient nearest-neighbor searches, and difficulties in handling large-scale datasets. To overcome these challenges, we employ an efficient parallel implementation, combined with a pioneering subgradient search algorithm. We evaluate our algorithm on the BIRCH and Stanford Dog datasets and demonstrate its superiority over existing k-medoids clustering algorithms in terms of solution quality and run time. Additionally, we introduce a novel vectorization technique that enables our algorithm to handle various types of data, such as images, text, and point data. Overall, our work contributes to the field of data mining and machine learning by providing an efficient and effective solution for the k-medoids clustering problem. The proposed algorithm offers improved performance, and versatility, making it a valuable tool for a wide range of applications.
On the basis of the Blaizot-Iancu equations, which are a local formulation of the hard thermal loop (HTL) equations of motion for soft fluctuating quark and gluon fields and their induced sources, the coupled kinetic ...
On the basis of the Blaizot-Iancu equations, which are a local formulation of the hard thermal loop (HTL) equations of motion for soft fluctuating quark and gluon fields and their induced sources, the coupled kinetic equations for plasminos and plasmons are obtained. The equality of matrix elements for nonlinear scattering of a plasmino by hard particles in covariant and temporal gauges is established by using effective Ward identities. The model problem of the interaction of two infinitely narrow packets with fermion and boson quantum numbers is considered. The kinematical relations between wave vectors of the plasmino and plasmon are derived, when the effective pumping over of the plasma excitation energy from the fermion branch of plasma excitations to the boson branch and vice versa occur. The expression for the nonlinear Landau damping rate of a plasmino at rest is found, and a comparison with a plasmino damping constant obtained within the framework of the hard thermal loop approximation is made. The nonlinear Landau damping rate for normal quark excitations is shown to diverge like 1/q2 near the light cone where q is a four-momentum of excitations, and the improved Blaizot-Iancu equations removing this divergence are proposed.
In this work on the basis of Kadomtsev’s kinetic fluctuation theory we present the more general expression for noise-noise correlation function in effective theory for ultrasoft field modes.
In this work on the basis of Kadomtsev’s kinetic fluctuation theory we present the more general expression for noise-noise correlation function in effective theory for ultrasoft field modes.
In this paper, we present the description of our extension to Model Driven Architecture (MDA) methodology using the logical programming paradigm and also a practical example of application of our extension to the deve...
详细信息
In this paper, we present the description of our extension to Model Driven Architecture (MDA) methodology using the logical programming paradigm and also a practical example of application of our extension to the development process. Then we consider an induction approach of ontology from the revision controlsystem repository. This ontology can be used in the development process as a platform independent model.
The light-by-light contribution from the lightest scalar mesons to the anomalous magnetic moment of muon is calculated in the framework of the nonlocal chiral quark model. This contribution is found to be positive as ...
详细信息
This paper deals with the implementation of numerical methods for searching for traveling waves for Korteweg-de Vries-type equations with time delay. Based upon the group approach, the existence of traveling wave solu...
详细信息
We discuss recent progress in the development of the three-fluid hydrodynamics-based program THESEUS towards an event generator suitable for applications to heavy-ion collisions at the intermediate energies of the pla...
详细信息
In this paper, we study the problem of vehicle scheduling in urban public transport systems taking into account the vehicle-type (different capacity and operating cost) known as VTSP. It is modeled as a multiobjective...
详细信息
In this paper, we study the problem of vehicle scheduling in urban public transport systems taking into account the vehicle-type (different capacity and operating cost) known as VTSP. It is modeled as a multiobjective optimization problem (MOP). We propose a heuristic based on MOCell (Multi-Objective Cellular evolutionary algorithm) to solve the problem considering restrictions of government agencies in context of smart cities to improve the Intelligent Transportation systems (ITS). A set of non-dominated solutions represents different assignments of vehicles to cover trips of a specific route. The conflicting objectives of provider and users (passenger) are to minimize the total operating cost, and maximize the quality of service, reducing the waiting time and congestion in buses. We present experimental analysis and conclude that the proposed heuristic provides a good performance and competitive results in terms of convergence and diversity of the solutions along the Pareto front.
暂无评论