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

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Journal articles №3 2012

31. Program system for visual languages analysis [№3 за 2012 год]
Authors: (o.sharov@gmail.com) - , Ph.D; (a.afanasev@ulstu.ru,) - ; (r.gainullin@gmail.com) - ;
Abstract: The article describes client-server architecture for analysis of consistency of graphic works in the design process of complex automated systems. The system is represented by multilayer structure. Presentation layer is a tool fo creation of diagrams in a visual language (UML, IDEF, eEPC etc) included in design technique software package (RUP, ARIS etc), or any other editor, which can be expanded with plug-ins. Logic layer is designed for data exchange with plug-in. Description of diagram is transferred during sending procedure in XML format. When error list is received in XML format. The server is accessed through public API-interface. Data processing layer contains multipurpose visual language analyzer of the project works, this analyzer operates on the basis of graphic finite state, which discover and eliminate errors within one pass of diagram analysis. Syntax and semantic errors are controlled in analyzed graphic specifications of the work flow. Analyzer has advantage in the form of linear analysis time, full control and visual error presentation. The article shows grammar example of UML-diagram analysis. The system is implemented in Python environment at Tornado server. The work was made in Computing Technics Department, Ulyanovsk State Technical University.
Keywords: UML-diagram, automate RV-grammar, diagram language
Visitors: 6583

32. Protected data transfer channel setting [№3 за 2012 год]
Author: ( k.shudrova@krasgaz.ru) - ; () - ;
Abstract: In The article presents result of study related to development of methodological and program and algorithmic foundation of setting protected data transfer channel. The article describes program implementation of the designed algorithm. The article contains client-server architecture solution based on the expressed problem, there are provided some variants of its use. The described algorithm includes important aspect of traffic prioritization, which helps to distribute the load effectively. Authors provide technique based on integration of additional information into the header of TCP package. The load is managed by identification technique with marks and cycle checking that implements them in the system. The authors named this algorithm as Privilege Mark. Authors considered two types of threats when they designed protected data transfer channel: unauthorized access to the network communicating units and unauthorized access during the transfer process through open communication channels. To prevent first type of threat and provide authentication, authors use confidential mark transfer method in the Privilege Mark algorithm. Steganography is used to protect data transfer channels from unauthorized access. Video stream is used here to be a container for hidden information, this provides high bandwidth of such solution. The article describes the software solution that implement such technique. The result can be used in practical arrangement of video conference with integrated protected data transfer mode and in theoretical studies related to the load distribution and operation modes and stegodata transfer.
Keywords: information transmission channel, hidden information, software, algorithm, the Label of privileges, network load balancing, video, steganography
Visitors: 23151

33. Basic stages of training system development basic stages [№3 за 2012 год]
Authors: (trembach@yandex.ru) - , Ph.D;
Abstract: Electronic systems represent the base of present day continuous education and its effectiveness. Intellectual training systems (ITS) gradually take leading position. This article discusses basic stages of ITS development. It provides short history of electronic education systems and it describes ITS appearance and development. The article explains ITS structure based on agent-oriented approach. The article separates verbal description of the subject field as one of the main stages; structuring of the verbal description related to the subject field with the purpose of development of educational subject; metadata formation about educational subject; creation of ITS knowledge base; development of the test objects (tasks) for assessment of education object study level. ITS provides integrated approach to presentation of the knowledge that helps to control knowledge base through visualization. The article discusses creation of the knowledge base about education objects using Petri nets. Use of the formal techniques as Petri nets for creation of the knowledge base with correct content can become foundation for computer techniques of IIS development. Analysis tool for description of competencies using accessibility tree and matrix Petri net theory sound attractive due to possibility of computer application for numerous processes. The article presents existing approaches to test procedures, it shows examples of state-of-the-art testing systems. The author provides construction of individual test path function, which shall be formed depending on existing competencies and used education forms.
Keywords: personal learning environment, multiagents systems, ontology, repository, learning object, the competence, intelligent tutoring systems
Visitors: 20318

34. Resource distribution in information system related to educational process remote support [№3 за 2012 год]
Authors: Bolodurina I.P. (prmat@mail.osu.ru) - Orenburg State University, (Professor, Head of Department), Ph.D; D.I. Parfenov (fdot_it@mail.osu.ru) - Orenburg State University, Ph.D; Reshetnikov V.N. (rvn_@mail.ru) - Center of Visualization and Satellite Information Technologies SRISA (Professor, Supervisor), Ph.D;
Abstract: Development of computer technologies gives rise to the active use of training systems and satellite information technologies in distance education systems. The objective of investigation of effective performance management techniques and optimization of software and hardware usage becomes really relevant. The study is targeted to optimization of resource distribution among vulnerable external (relatively to the system) users in relation to latency and query processing speed. This is connected to availability of internet oriented architecture of the client applications. When the number of queries grows too fast, information systems suffer from lack of consumed resources, there-fore, it is important to manage received queries and minimize failures during the service, which occur depending on allocated resources required for the system operation. Large amount of simultaneous queries leads to disbalance of the operation traffic, negatively affecting routing equipment buffers and results into excessive growth of critical servers’ resources. This study provides construction of multilevel model of the distant education model, it reviews characteristics and provides algorithm for effective use of available resources that can improve service quality in distributed information distant educational systems. Effectiveness of the selection algorithm and service prioritizing of incoming queries is supported by comparative analysis of the output model data, it helps to reduce system time response. In addition, this algorithm can maximize number of processed users’ queries during time unit.
Keywords: priorities for processing requests, resource allocation, exercise-training distance education system
Visitors: 8487

35. About a method of knowledge representation [№3 за 2012 год]
Authors: G.B. Bronfeld (stolem1985@gmail.com) - Nizhny Novgorod State Technical University n.a. R.E. Alekseev (Associate Professor), Ph.D;
Abstract: In the article there is considered a new method for knowledge modeling in the form of molingas by creating knowledge bases of intelligence systems. In this approach simple sentences are represented as short semantic network by an expert-editor in manual or semi-automatic way that has long been applied when creating expert systems. The original grammatical structure is retained. Complex sentences are divided in simple ones. The received model of sentence is named molinga. The study gives its formal description. Molingas include many ID numbers, core, molinga core usability condition, code sequence of dictionaries numbers, confidence level, postconditions. There is given a kind of semantic network which can represent the core of molinga. Knowledge base consists of a set of molingas. The article describes a step-by-step procedure for obtaining molingas as text models. Simple sentences that have semantic meaning of already entered molingas, do not enter again in the knowledge base. The passage of real text demonstrates the knowledge base example created as a set of molingas, the glossary of terms is given, which is then used with this knowledge base by inferencing. The text has a link to the author's new patent on this knowledge modeling technology. This way of knowledge modeling from texts enables technology of direct knowledge overlay. Similar approach has been used by D. Grey by creation of purely numerical databases. This approach can be used to de-velop intelligence systems for a wide range of knowledge.
Keywords: knowledge integration, knowledge base, semantic network, modeling, text, knowledge management, molinga, knowledge model
Visitors: 11385

36. Analysis tools of Linux operating system drivers development [№3 за 2012 год]
Authors: Korablin Yu.P. (y.p.k@mail.ru) - Russian State Social University, Ph.D; (lucenticus@gmail.com) - ;
Abstract: The article describes the tool for search of synchronization problems in Linux operating system drivers that uses the detection of error situations by using semantic models. This method is based on theory, described in the work [2], it enables to detect such errors of synchronization as loops, deadlocks, double locking and others. Tool for search of synchronization errors consists of four main parts: the preprocessor, the compiler of driver code to program in the language of asynchronous functional schemes (AFS), the presentation of the AFS program as a system of re-cursive equations, analyzer of recursive equations system. The preprocessor is implemented as a script in the bash language, its purpose is to prepare the driver code to translate into the AFS language. After all the preparatory procedures the preprocessor passes control to the translator into the AFS language. The translator is written using the GNU Flex lexical analyzer generators and GNU Bison syntax analyzers. The driver is translated in the AFS language, based on the specified in this article operational semantics for synchronization objects. The next step is to convert the AFS language programs into the recursive equations system. On the basis of the theory of [3] the program in the AFS language is presented as a system of recursive equations, which sets a lot of computing sequences associated with the driver structure. In order to search synchronization errors there is implemented a tool for analyze of recursive equations system received. The tool has a modular architecture, so it can be adapted for different types of software. In addition, the possibility of applying the method of [2] for races state detection is being currently studied.
Keywords: algebraic semantics, equational characterization, communicating sequential processes, device drivers, verification
Visitors: 8677

37. Experimental study of an estimator consistensy related to the Rash model latency features [№3 за 2012 год]
Authors: (ein@sssu.ru) - , Ph.D;
Abstract: Consistency of an estimator of the maximum likelihood related to latency features «task severity» of the test and «preparation level» of a student in one-parameter dichotomous Rash model when the amount of selected students N and number of the test task L grows without limitation, is supported by computing experiment. It is shown that extreme values of latency features are achieved when N=1500 and L=1500, and they stay stable with following growth of N, L. They offer calibration technique to calibrate test tasks by test resulting matrix of limited amount, which significantly reduces its measure of inaccuracy. The study was performed based on computation experiment. First part of the study examined dependence of the maximum likelihood related to latency features and from matrix size of the test results. It was assumed that estimate distribution and was normal. Based on dichotomous result matrix with dimensions of 6049 and provided algorithm, the author formed reference dichotomous resulting matrix of tests with dimensions of 501500 to 25052505. Then they were processed and the data was presented in graphic form. Data was analyzed and latency features were compared among themselves , and ( ) as well. In the second part of the computing experiment, results received from the result matrix model were checked upon M1 real test result matrix with dimensions of 5150. Reference result matrix models were formed using statistic parameters of statistics distribution and , calculated with M1 matrix. Resulting estimation of latency features and were compared against proper estimations of and of M1 matrix.
Keywords: Rush's model, the latent parameter, the test task, consistency of assessments, test, matrix model, dichotomous matrix
Visitors: 8974

38. Automated technology of expert system creation related to psychophysiological diagnostics [№3 за 2012 год]
Authors: (alerma@rambler.ru) - , Ph.D; (ksennaidd@gmail.com) - , Ph.D;
Abstract: The article describes automated creation technology without programming of the broad group of psychological and physiological expert diagnostic systems and educational expert systems designed for investigation of various aspects that relate to patient’s psychological and physiological condition; it is also designed for professional training. The provided technology is based on formalized model of the subject of research, it uses several models of diagnostic decision; it is implemented with problem-oriented program tool and software that interprets features of the expert system based on combined specification of expert knowledge, combining their direct expert specification and integrated procedures of inductive knowledge acquisition. This technology can be used by psychologists, physiology experts, doctors and personnel working in higher education system and colleges and scientific and research departments. Program tool provides developers the ability to conveyor specification of the structural and functional parameters of the expert systems to be designed, when individual specification steps follow one after another according to semantics of the described objects and existing relations. Description interpretive program is represented by the software system that provides practical use of expert systems, – patients’ data base maintenance, implementation of diagnostic procedures, step by step data processing, examination management, formulation of diagnostic decision and presentation of examination in the form of table or chart at screen or a print form.
Keywords: , interpreter of expert system descriptions, tool for expert systems creation, model of inference of diagnostic conclusion, formalized model of knowledge, the automated creation of expert systems, expert system
Visitors: 9246

39. Method of decision-making support on management of temporary aspects of projects at the industrial enterprises [№3 за 2012 год]
Authors: Stoyanova O.V. (ovstoyanova@list.ru) - Smolensk Branch of the Moscow Power Engineering Institute, Ph.D; (vasicina@mail.ru) - ;
Abstract: This article presents a method of decision-making support for managing time characteristics of projects implemented in the industry. This method is based on the construction and use of temporal-logic model of the project, which allows a formal description of qualitative temporal relations between the different phases of the project. We describe the algorithms and tools used in the process of constructing this model, the algorithms of calculation time characteristics of projects and the possibility of using the results of simulation for decision support. It is given a matrix selection of the types of temporary structures and methods of its description depending on the characteristics of the project, the need for modeling instant events, types of relations between the stages and other factors. It is shown that for complex projects is the preferred choice of matter-temporal logic for interval or dot-interval-time structures. Features of each of these temporary structures taken into account in the algorithms for constructing models and formulas of the calculation of its parameters. Presents the results of simulation of computational experiments aimed at the investigation of the effectiveness of the work of the method for solving various tasks of decision-making support in the areas of: planning the project's structure, optimization of its duration, and manageability. It is shown that to obtain satisfactory results it is necessary to pay special attention to the preparation of describing the relationships between the stages of the project in terms of the use of temporal logic, i.e. the work in the initial stages of the proposed method. This can be used by well-known instruments, with a view of the marked in the work of the peculiarities of their application to the task. In general, the method can be recommended as a tool to support decision-making for management of projects with complex stationary structure. For projects with non-stationary structure of the method can be used for the construction and analysis of models of the project at selected intervals, which assumes the truth of the conditions of invariance of its structure.
Keywords: the temporal characteristics, mathematical and computer modeling, temporal logic, decision support, project management
Visitors: 11795

40. Peculiarities of working with documents in information management systems [№3 за 2012 год]
Authors: (anya@aics.ru) - , ; (anya@aics.ru) - , Ph.D; (anya@aics.ru) - , Ph.D;
Abstract: The article describes aspects of document management in modern multiplayer communication systems that allow you to automate structured electronic information storage and management. Models of these information systems are considered. Analysis of the notion of «electronic document» is performed, including metadata and inner content, as well as the major differences between product data management systems (PDM) and electronic document management systems (ECM) concerning objects of «document» type. Possible states of a document's life cycle in the information system are listed. There are considered features of Workflow management methodology on the example of work with documents. There is a fragment from the developed model of project information management system as an example of the technological data management in instrument manufacture. There are compared document management features on the example of PDM-system Enovia SmarTeam of IBM and Dassault Systems production and domestic ECM-system DIRECTUM, developed by a homonymous Russian company.
Keywords: automation of activity, information systems, enterprise management, Data Model, document workflow
Visitors: 11935

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