ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Bookmark

Next issue

4
Publication date:
16 December 2021
-->

Journal articles №4 2012

41. Methods and instruments for subject-oriented components of learning systems [№4 за 2012 год]
Authors: (alexandra.redkina@gmail.com) - , Ph.D; (alexandra.redkina@gmail.com) - , Ph.D; (alexandra.redkina@gmail.com) - , Ph.D; (anoshindx@gmail.com) - ;
Abstract: Present article describes methods and instruments to create interactive modules which are integrated in elearning management systems to support additional capabilities of learning systems. Interactive modules which support problem solving are subject-oriented. Development of problem-solving support module requires modeling of knowledge domain. Present article suggests approaches to modeling of a knowledge domain based on object-oriented analysis and ontologies. A number of software modules based on object-oriented analysis were developed in SFU: an editor for blockschemes of algorithms for programming course, generator of algebraic and logic expressions for algebra and mathematical logic course, simple chemical formulas editor. Knowledge domain of these subjects is has strict boundaries and allows to present task-solving process in machine-processed form. An integration of already existing and specifically developed systems, the discovery of common principles of building subject-oriented components allows to simplify the development of e-learning support software. The main task is to support publishing theoretical materials along with task-solving support modules in an integrated environment of e-learning system. The problem of interactive software modules portability between different e-learning systems is considered in the present article. Key specifications which are used in e-learning environments are examined: IMS Learning Tools Interoperability, which strictly defines methods for interaction of IMS-certified e-learning systems; SCORM – Sharable Content Object Reference Model. An example of a portable interactive module is the generator of algebraic and logic expressions.
Keywords: knowledge domain model, subject-oriented components, distributed systems, education systems
Visitors: 8003

42. Designing new generation of complex simulators [№4 за 2012 год]
Authors: Shukshunov V.E. (secretct@gmail.com) - The Center for Space Simulator Development and Personnel Training (Professor, Director General), Ph.D; Yanyushkin V.V. (vadim21185@rambler.ru) - The Center for Space Simulator Development and Personnel Training (Deputy General Manager), Ph.D;
Abstract: In article are considered occurrence and the concept of development essentially new complex simulators, based on overlapping and integration approaches training systems, operator’s preparation systems and functional-modeling stands. Analyzed technologies used for architectural decisions, offered approaches on perfection and modernizations of existing systems. Composition of technology and software solutions, including advanced entry system and management simulators, transport systems and object modeling, distribution of information and data calculation. Integration of different functionalities and technologies used in a variety simulator architectures allows to build a new generation of simple systems based on computer workstations to combined schemes of virtual and interactive models dual-use capabilities and territorial unification. Composition of the modules, which shall consist new generation of simulators, where each module is a separate system, which solves certain problems in complex object.
Keywords: control simulation module, research module, simulator module, educational module, system architecture, personal training, distributed systems, complex simulator
Visitors: 11083

43. Interface for study of sub-riemannian geodesics on 3d Lie groups [№4 за 2012 год]
Authors: (sachkov@sys.botik.ru) - , Ph.D; (i.beschastnyi@gmail.com) - ; (sachkov@sys.botik.ru) - ; (sachkov@sys.botik.ru) - ;
Abstract: We consider a program interface for evaluation and study of geodesics of sub-Riemannian structures on groups SO(3) and SL(2), which was developed in Wolfram Mathematica. The given interface is the first step towards complete description of geodesic curves of all contact structures on 3-dimensional Lie groups. Equations for the adjoint variables of the Hamiltonian system are the same for all problems. In this paper equations for the Hamiltonian system of Pontryagin’s maximum principle for both cases are presented. Simulation results are demonstrated. Examples of geodesics on SO(3) and on SL(2) in elliptic and hyperbolic cases are shown.
Keywords: hamiltonian system, so(3), sl(2), wolfram mathematica, geodesic, sub-riemannian problem, interface
Visitors: 7309

44. Use the linear programming for cad designing of additional aerodynamic surfaces [№4 за 2012 год]
Authors: (gorbynovaleks@mail.ru) - ; Pripadchev A.D. (aleksejj-pripadchev@rambler.ru) - Orenburg State University (Associate Professor), Ph.D;
Abstract: The method of automatized designing with developed program resources and optimal choice of additional aerodynamic surfaces by the production costs criterion for main aircraft providing with maximum aerodynamic efficiency for the specific type of main aircraft was formulated and justified in the article. The method is based on developed algorithm using linear programming namely the simplex method. The task solution process of linear programming by the simplex method has the iterative process, i.e. the calculation procedures of the same type and repeated in specific sequence before the optimal solution will not get. As the model has some variables the task can be solved in diagram form. The diagram method usage is in geometric representation, acceptable solutions, in which all model confines are satisfied simultaneously. The offered methods can distinguish the next features of considered method, the realization of which gets the new capabilities in task solutions of fleet’s management of main aircraft with program resources for computer. This methods allows to identity the need tape of additional aerodynamic surfaces for the main aircraft of the same type to get the economic interpretation of obtained solution.
Keywords: the range of permissible decisions, optimization models, simplex-method, the coefficient of aerodynamic efficiency, additional aerodynamic surfaces, linear programming, aircrafts
Visitors: 7586

45. About the organization of an uninterrupted network for transfer short messages in case of dangerous situations [№4 за 2012 год]
Authors: Popkov G.V. (glebpopkov@rambler.ru) - Siberian State University of Telecommunications and Information Sciences, Ph.D;
Abstract: Recently in the world and in the Russian Federation it is paid much attention to work of communication systems of civil appointment in case of emergency situations. Supernumerary work of communication networks, is caused by explosive character of a transferred traffic on a network. As a result, as a rule, a part of networks fail that in turn complicates the population notification about the current situation. This article suggests to use gateway knots of data transmission, which will allow to transfer short disturbing messages and as to participate in system of informing and the population notification in case of an emergency situation. In article questions of the organization of an effective network of transfer of short messages in case of emergency situations are considered, the concept of placement of the gateway knots, allowing to transfer short messages between subscribers of various communication networks of the general using is considered. The conceptual model of a network of the notification and the spot news (WITH and ES) on the basis of the theory of non-stationary S-hyper networks is given. The description of algorithm and the program of the solution of these tasks is given. Recommendations to use of DBMS of the similar tasks focused on performance are made.
Keywords: non-stationary s-hyper networks, hyper networks, the theory of counts, service of short messages, networks of user's access, communication networks, civil defense and emergencies
Visitors: 7101

46. Software complex for modeling object motion with impact barrier [№4 за 2012 год]
Authors: ( v.manjosov@ulstu.ru) - , Ph.D; (tpm@ulstu.ru) - ;
Abstract: The paper gives a review of the object motion model with a periodic force of the relay type and impact with the rigid barrier. Software complex provides a solution to the equations of motion taking into account the impacts, force discontinuous functions and chattering phenomenon. The mathematical modeling results generate numeric values base and they are reproduced in the form of the corresponding diagrams during the process of simulation. The motion animation sequence are implemented, the diagrams of displacement, velocity and object acceleration and motion phase diagram are reproduced. It is possible to implement turn-based a modeling process. The ability to analyze the transitions and the motion limit cycle is provided. Statistical analysis of the numerical sequence pretonic speeds is performed to estimate the shock system to steady state of motion in addition to visual assessments. The analysis allows to implement a rigorous statement of the system output at steady state to a given level of deviation of numeric values that do not exceed a small value. The implementation of the parallel computing of experiment and output of simulation results in the graphs of displacement, velocity and acceleration is provided to conduct a comparative analysis of simulation results of various experiments in the software product. This procedure is effectively used in the analysis of the motion stability. Modeling management algorithm and its implementation elements in the problem-oriented software package for computational experiment are proposed.
Keywords: vibroimpact system, shock, modeling, software package
Visitors: 8113

47. Evolutionary method of ranking and classification of biological objects [№4 за 2012 год]
Authors: (pallada-ltd@infopro.spb.su) - , Ph.D;
Abstract: Method of classification of biological objects is suggested in this article. The method is based on the evolutionary approach to the solution of the extremal problem of multivariable function. Method is aimed at processing multidimensional data arrays, which features are high dimensionality and small sample size of objects. The method is based on the ranking of the objects in multidimensional space relative to some base element. Search of this base element is carried out by a modified genetic algorithm. The method implements dual ranking of objects relative to the base element: the ordering of objects into classes, and the ordering of objects in ascending distance from the base element within classes. Belonging of the new object to one of the classes is determined by its rank in an ordered series of objects of learning sample. The proposed classification method does not require reducing the dimensionality of the feature space. This eliminates the loss of important information and allows considering internal communications in these information arrays. Method allows the construction of hierarchical class of algorithms, which models the obtaining of the decision classification procedure using different types of representations of the base element in a multidimensional space and the various options for the ordering of classes in formed sequence of objects. The method is initially aimed to be used in parallel computation. It should be noted that the method does not require performance of compactness hypotheses, and can also work with overlapping classes of objects.
Keywords: base element, rankings, classification, genomic information, data processing
Visitors: 8740

48. Model-based verificaton with error localization and error correction for C designs [№4 за 2012 год]
Author: (urrimus@hotmail.com) - ;
Abstract: Process of software design verification makes sure if design holds its specification, existence of the specification that is possible to animate allows to perform simulation-based verification. In order to locate and repair errors if verification fails, we have to have access to the structure of the debugged design. For this purpose the design should be parsed into suitable representation – into the model. Both algorithms: Error Localization process and Error Correction process of the design require model simulation. This article presents different simulation algorithms. Simulation of the model is usually applied directly, when the design model is simulated with the goal to obtain the outputs from the inputs, but this approach is not always suitable, because in this case the functionality of the programming language design should be almost completely re-implemented for simulation. An alternative approach described in this article – design model simulation using design programming language functionality. It is more reasonable and does not require re-implementation of the functionality already available in design programming language. This approach also makes possible implementation of the algorithm of dynamic slicing for Error Localization and Error Correction.
Keywords: c дизайном, отладка, автоматическое исправление ошибок, спецификации, исправление ошибок, , диагностика ошибок, верификация на основе симуляции
Visitors: 5269

49. Model-based verificaton with error localization and error correction for C designs [№4 за 2012 год]
Author: (urrimus@hotmail.com) - ;
Abstract: Process of software design verification makes sure if design holds its specification, existence of the specification that is possible to animate allows to perform simulation-based verification. In order to locate and repair errors if verification fails, we have to have access to the structure of the debugged design. For this purpose the design should be parsed into suitable representation – into the model. Both algorithms: Error Localization process and Error Correction process of the design require model simulation. This article presents different simulation algorithms. Simulation of the model is usually applied directly, when the design model is simulated with the goal to obtain the outputs from the inputs, but this approach is not always suitable, because in this case the functionality of the programming language design should be almost completely re-implemented for simulation. An alternative approach described in this article – design model simulation using design programming language functionality. It is more reasonable and does not require re-implementation of the functionality already available in design programming language. This approach also makes possible implementation of the algorithm of dynamic slicing for Error Localization and Error Correction.
Keywords: debug, C design, automatic error correction, error correction, error localization, simulation-based verification
Visitors: 5359

50. A dense stereo matching algorithm based on ground control points and plane labeling [№4 за 2012 год]
Authors: (gkrivovyaz@graphics.cs.msu.ru) - ; (sptentsov@rambler.ru) - ; Konushin A.S. (ktosh@graphics.cs.msu.ru) - (Lomonosov Moscow State University, Ph.D;
Abstract: In this work a new dense stereo matching algorithm is proposed. The algorithm is based upon a recently introduced idea of non-local cost aggregation on a minimum spanning tree that includes all image pixels. Themainfeatureoftheproposed algorithmisto switchfrom disparity space to plane space: the disparity in each pixel is deduced from equation of a plane assigned to that pixel. A way of estimating the set of planes, which are used to approximate the scene, is described. For this purpose, ground control points (GCPs) are used. GCPs, derivedas a result of image matching, are also exploited to regularize the solution. Theresultsofalgorithmevaluationononeofthe moderndatasets (published in 2012) are provided. Thedatasetconsistsof 194 streetviewimagepairs. Thediscussion of possiblewaysoffurtheralgorithmimprovement concludes the paper.
Keywords: image matching, ground control points, stereo pair, disparity map, dense stereo matching, computer vision
Visitors: 9680

← Preview | 1 | 2 | 3 | 4 | 5 | 6 | Next →