Headings of the journal
"Educational Resources and Technologies"
All rubrics
Release: 2014-1 (4)
Keywords: cutting tasks packaging optimization problems , NP- hard combinatorial optimization problems
Annotation: Formulation of the problem is presented n- dimensional packaging (n = 1, 2 , 3). A description of the method of planes for solving the three-dimensional packaging. Shows the composition of this method for two-dimensional packing problem. To determine the lower limits of problem solving cutting-packing machine used neural networks. Highly efficient algorithms for solving two- and three-dimensional cutting-packing , allowing to quickly build a nesting layout with a coefficient of cutting an average of 85%. The reliability of the results is confirmed by a comparative analysis of the dissertation of the existing approaches to solving the problem and the results of experimental data.
UVM Express is a simplified method of implementation UVM
Release: 2014-2 (5)
Keywords: SystemVerilog, universal verification methodology (UVM), testbench, functional coverage.
Annotation: UVM is an innovative methodology of functional verification allowing to standardize, simplify and speed up the verification process. However its full implementing takes a significant amount of time. This is what prevents its wider use. This article describes a step-by-step methodology of implementing the UVM which produces value since the first step.
Modelling of parameters of the intermediary network
Release: 2014-1 (4)
Keywords: trade-commerce network; supply and demand, modeling, commodity stream
Annotation: In work the model of a trade-commerce network of the single-product market is described. Each element of a network by parameters is described. It characterizes the economic potential of the subject. The mathematical model is presented in the form of system of the ordinary differential equations.
Biomemetic algorithms
Release: 2014-2 (5)
Keywords: evolutionary computation, biomemetics, schedule task
Annotation: The paper investigates the metrics and metric properties of memes: distribution, survivability, entropy influence. Biometetic algorithm is proposed. Its main components are local search, cooperation, competition, end criterion search. Biomemetic algorithm is illustrated by the example of scheduling, the results of experiments and evaluation of the quality of the solutions found
Three-level decision support system for prenatal monitoring
Release: 2014-1 (4)
Keywords: Medical information system, decision support system, prenatal monitoring
Annotation: Currently the Russian medicine is actively introducing information systems. Due to the com-plexity of the subject domain are relevant to the system of clinical decision support. The article presents the principles and the results of the development and implementation of a decision support system for the dynamic observation of patients.