Перегляд за автором "Krivoulya, G. F."
Зараз показано 1 - 9 з 9
Результатів на сторінку
Варіанти сортування
Публікація Analysis of Production Rules in Expert Systems of Diagnosis(Української державної академії залізничного транспорту, 2013) Krivoulya, G. F.; Shkil, A. S.; Kucherenko, D. E.This paper examines the problem of the quality test of production rules that is basic for judgment about the technical state of a computer system. The object of the diagnosis is software. Its quality is assessed on the basis of an expert appraisal of the chosen attributes (diagnostic features) with the use of rules and procedures of fuzzy logic. The developed formal procedures to check the produc tion rules for correctness by analysis of the cubic form of their presentation on the basis of the proposed alphabet and procedures are given.Публікація Competence as a Support Factor of the Computer System Operation(EWDTS, 2011) Kucherenko, D. E.; Krivoulya, G. F.; Shkil, A. S.In this paper the issue of the computer systems users’ competence analysis as one of its failing causes was considered. For this purpose the competence model for the analysis of witch it is necessary to carry out the diagnostic experiments, where the qualifying tasks will be open form tasks with a detailed answer, was proposed. In order to evaluate these tasks the mathematical apparatus of fuzzy logic was proposed to use. In this paper a justification of the operating fuzzyIn the past two decades, computer systems (CS) has been extensively implemented to the management of the complex technical objects, such as process control systems and power plants control systems, environment control systems and object detection systems, vehicles control systems, power distribution systems, etc. Regardless of the technical control object complexity human remains the main link in the man-machine systems (MMS). He defines the goal, plans, directs and controls of the whole process of the MMS’s functioning. The correctness of the CS operation which characterizes the faultless (accuracy) of decision problems faced by CS’s users depends on his activity. One of the main reasons of CS falling is user errors which depend on the level of their professional competence in the information and communication technologies (ICT - competence). ICT competence can be defined as the specialist capacity to make the best use of the available hardware and software of the information and communication technologies. At the same time user performs a specific professional function (or several functions), which directly represents one of the components of the overall specialist qualification and is reflected in the developed standards, qualifying requirement, etc. inference algorithm was given, and the model of conditionaction rules composition was proposed.Публікація Computer system efficient diagnostics with the usage of real-time expert systems(EWDTW, 2006) Krivoulya, G. F.; Lipchansky, A.; Korobko, O.The application of the modern methods of evolutional modelling for the efficient diagnostics of computer network on the basis of real-time expert systems is considered in the given article. The usage of Petri network apparatus for the purposes of expert system structure simulation is proposed. The limited Petri nets are considered to be the most effective way of simulation of processes with the binary logic. During the previous two decades the complexity and operating speed of computers have increased thousands times. The problem which demanded the year of calculations in 1983 can be solved in an hour now, and modern pocket PC is much more powerful than the desk-top one of those days. But we are to pay for the progress and computer systems (CS) improvement. The more complex computer systems become the less steady and reliable they operate. Personal computers buzz regularly, internet sites stop working rather often. New software which was designed to achieve CS productiveness frequently worsens the situation from the point of view of reliability. As a result, the annual costs on the support and the repairs of CS exceed software and hardware worth for the individuals and for the corporations as well. The group of Stanford and California Universities (USA) collaborators has elaborated new approach. They assume operator mistakes and operational system faults to be a necessity in the process of complex system functioning. Instead of the attempts to get rid of the defects the developers concentrated on the development of the system being able to restore quickly after emergency. Such an approach was called “recovery oriented computing” (ROC). By the example of the functioning of the number of Internet sites the possible reasons of their defects were investigated. The mistakes of the operators appeared to be the first reason of the system halt. Traditional measures of software and hardware reliability improvement are figured on the operators’ correct actions. But now in often happens that the system falls out due to their negligence and the time of the system standstill is longer than the idle time caused by the other troubles with hardware and software.Публікація Expert evaluation model of the computer system diagnostic features(EWDTS, 2014) Krivoulya, G. F.; Lipchansky, A.; Sheremet, Ye.; Shkil, A. S.; Kucherenko, D. E.In this paper, the expert diagnostic system (EDS) is suggested to be used for the analysis of the computer system’s technical state. The mathematical apparatus that allows to operate the expect assessment of the diagnosis object’s state (hardware, software or staff) is fuzzy logic. In the preparation stage of the diagnostic experiment (DE) it is proposed to describe the diagnostic features of the computer system in terms of linguistic variables, which makes it possible to use the knowledge and experience of the expert in their familiar form. Any modern computer system’s (CS) information processing and management, regardless of the scope of its use, can be represented by a set of hardware, software (SW) and staff. Failures in hardware can lead to the generation of a false signal, which is fed to the input of software components. This can lead to the failure of the software. In such critical (emergency) situations the staff also often makes mistakes. The incorrect actions of the latter, in turn, can provoke failures and errors in the hardware or software. Thus, an error, occurring in a single component, can lead to the failure of the entire CS.Публікація Interconnection Analysis of the Integral Reliability Characteristics of the Monoergative Computer System and User’s Competency(EWDTS, 2012) Krivoulya, G. F.; Shkil, A. S.; Kucherenko, D. E.Integral reliability characteristics of the monoergative computer system, one of the basic components of which is a human-operator, are examined. Mathematical models and analytical dependences of the restorable system dependability on the numeral values of the user’s competency are received. These dependences allow to define necessary expense on the improvement of the operator’s learning level, depending on the state of his current competence as an user of the technical system.Публікація Modeling computer system states on the structural level in the form of finite state machine(Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2007) Krivoulya, G. F.; Laptev, M.The construction of diagnostic model of computer system states in the form of finite state machine is considered in the article. The advantage of the model consists in the fact to determine the transitions from one state of the computer system to diagnostic state having the number of input signals.Публікація The diagnostic model of computer system in the form of Petri Net(Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2008) Krivoulya, G. F.; Laptev, M.; Gharibi, W.The construction of structural computer system model in the form of automatic, limited Petri Net are considered in the article. Proposed model can be used for building diagnosability provision of the computer system. Increasing quantity and complexity of current computer systems (CS) usability leads to necessity of it quality service. Modern computer engineering decides this problem by creating the diagnostic systems and automatic searching for the faults. With usage of them service and repair becomes simpler (1). For modeling the automation diagnostic system of CS necessary to have structure model of CS (2), which permit to define CS transitions from one state to another having different combination of input signals. In this work the structural model of CS in the form of automatic, limited Petri Nets (PN) are proposed.Публікація Use of parallelism in finite state machines. Mathematical level(EWDTW, 2004) Krivoulya, G. F.; Nemchenko, O.The method of the description of parallel systems using finite state machines is examined. The mathematical model proposed in this article can use both for the description and for synthesis of synchronous and asynchronous parallel systems with usage of abstractions of parallel programming: threads, processes, flags, mutexes, semaphores and complex synchronizations. One of methods of computing systems productivity rising is usage of parallelism in operation. Exists two ways of parallel data processing: strictly parallelism and command pipe [1]. The command pipe is present at personal computers, parallel processing is present, as a rule, in specialized computing systems - on parallel computers. Parallel computer architectures strongly differ one from each other. In There is a problem of code portability - the program fulfilled effectively on one system, practically does not use resources on another. In other words, there is weak program portability and the compiled code for parallel computers. Parallelism can be created on the basis of several computing units. Such system becomes complicated over availability of such units, commutative equipment and interconnection interfaces. It is much better to create the parallel arrangement in one chip with the required architecture. In this case the programmable logic CPLD, FPGA, can be used. In this article the mathematical model of a parallel finite state machine (FSM) digital automaton is discussed which can be used for the description of parallel algorithms and for its synthesis.Публікація Verification tests generation features for microprocessor- based structures(EWDTW, 2004) Krivoulya, G. F.; Shkil, A. S.; Syrevitch, Ye.; Antipenko, O.A model of a microprocessor - based device as a bichromatic multidigraph with vertexes of two types is offered. Test generation features for functional testing using the updated algorithm of path activation in a structural model are described. The range method of data representation of different format data is introduced. Algorithms for execution of direct implication and backtracing of different types of operations and their program realization are represented. All set of methods of the determined test generation for digital devices can be divided into two large groups: structural and functional. Originally structural methods were oriented to a gate level of model performance of digital devices. However growth of complexity and rise of a component integration have led to a fact that models of increased integration elements began to be applied as the primitive elements (PE) of devices [1,2]. To the advantages of such approach it is possible to refer simple construction of a model of the device and formalizing of test generation procedures, and to the lacks - large dimension of a device model; and difficulties on creation and maintaining of the library of PE models, which can contain hundreds components. With the purpose of overcoming these lacks the functional approach to construction of the tests was developed and has received a wide circulation [3, 4]. It can be used for digital devices of any complexity, including microsystems with program and microprogram control, as it allows receiving high level models of such devices. However functional methods are badly formalized because different types of function boxes, such as control block, operational block, address block etc. are present in microsystems. It is not obviously possible to formalize the method, which would have a possibility to handle so heterogeneous types of devices on the basis of the uniform approach. In the given work the method of tests generation which is further development of the functional approach is offered. On a design stage of the digital device its decomposition on so-called homogeneously tested segments is carried out. The authors consider a method of tests generation for one of types of segments, namely, for the operational device (OD).