CONTENTS
Lipaev V. V.
Standardization of Software Verification
The aims and principles of complex software verification
are considered. The main positions of international norms
in functions and stages of verification from the complexes
programs requirements and their components are
represented. The singularities of testing for verification of
programs on the base of input requirements of contract
agreement and specifications are stated.
Abramov S. M., Kondratjeva A. V., Roganov V. A.,
Chepovsky A. M.
Highproductive Processor Design of
Graphs Processing
The main principles of processor realization for data
structures processing represented in the form of graphs of
general forms (graph-machine) are considered. Processor
is developed on the base of T-system kernel and it permits
to parallel effectively the tasks of data graphs on
multiprocessor systems.
Lidovski V. V.
Prolog. Past. Present. Future ?
Prolog is not the language of logic. It's possible to use
data in the form of Horn's clauses (not only tables) with
fast database management systems. The most effective way
of using of Prolog in the programming is involvement of its
facilities in the existent developed systems for programs
creation.
Panassenko S. P.
Data protection in complex
Data protection is an actual problem because of storage
and processing a private information on computers
connected to WAN (e. g. Internet). This problem is usually
solved by security subsystems of OS or DBMS, but a lot of
messages about cracks of such subsystems prove the
necessaries of special cryptographic systems usage for
data protection.
Norenkov I. P.
Data Management in Systems of Distance
Learning
The paper is description of the possible variant of
Distance Learning System in technological universities,
components and functions of system framework.
Lvovich J. E., Kostrova V. N., Dolgikh D. V.
Utilization Information Technologies for Education
Process
Consideration question of network education
teachnologies at teaching process. Account principles of
mobil education environment creaton, guaranteeing
computering support processes at communication, learning
and acquisition new knowledges with give approach to
constantly renovation information resources.
Jablochkin L. ÷., Andrijanova M. A., Kargin A. V.
"Hypertest" is the New Technology for Creation of Testing
Knowledge Systems
It's considered the opportunity of hypermedia technology
application for creation of testing knowledge systems. The
main principles of structure of thees systems on the base of
some instructions formats of system "Hypertest" are
presented. It's given the review of some systems which are
created with the help of the given technology.
Mukhacheva A. S., Chiglintsev A. V.
Minimum searching
genetic algorithm in two-dimensional guillotine stock
cutting problems
The problem of guillotine cutting of roll material is
under consideration. There are methods of optimal cutting
calculation under conditions of mass production. They all
are based on linear programming with implicit posing of
cutting matrix. The integer stock cutting problem is of
greatest importance here. The genetic guillotine algorithm
is proposed here to solve the above problem. It is based on
Norenkov's methodology with heuristic sequence used as
gene's allels.
Meleshko V. N.
Preferences Influence of Vector Criteria
Components at the Quality of Control by Process of
Complex Systems Development
It's considered the control problem by process of
complex systems development. It's investigated the different
preferences, influence of vector criteria components at the
results of control problem solution by process of complex
system development. It's shown that the introduction into
vector criteria of resource components is on of the methods
of inclusion of conditions of balanced expenditure of
heterogeneous resources.
Gourchenkov A. A., Gridina E. D., Bashlykov A. M.
Mathematical Simulation of the Filtering Processes in a
Rotary Systems
The problem of data processing and hypothesis testing
on the basis of observations 'is an important Òroblem of
mathematical control theory. Methods for solving this
problem essentially depend on the assumptions that are
made with respect to disturbances and noises acting on the
system under observation. In this paper, the experimental
data are analyzed and various hypotheses for the
functional dependence of moments of external forces
perturbing given dynamical systems are tested. A
physically substantiated dependence of the aerodynamic
damping moment on the angular velocity is established.
Gerbec P. E., Gerbec E. E.
Architecture of Flexible System
of Data Information
It's discussed the problem of design effectiveness of
computer informational system (and at first its software)
providing limiting complete use of resources of personal
computer. In the capacity of illustration the given problem
is considered in the frames of regional sputnik monitoring
of natural medium.
Inshakov A. N.
Application of the Tolerances Analysis to
Improvement of Technological Processes
Application of the tolerances analysis technique and
software TOLAN to improvement of technological
processes is considered. It is shown that the developed
technique and software allow to define not only the
optimum tolerances of parameters of semi-manufactured
products, elements or initial materials, but also to evaluate
the optimum cost price of being designed and/or being
produced item.