Перегляд за автором "Kucherenko, D. E."

Зараз показано 1 - 5 з 5
  • Зображення мініатюри
    Публікація
    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.
  • Зображення мініатюри
    Публікація
    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.
  • Зображення мініатюри
    Публікація
    The Method of Fault Backtracing for HDL - Model Errors Searching
    (EWDTS, 2009) Kucherenko, D. E.; Karasyov, A.; Syrevitch, Ye.
    In this paper the method of design error searching in non-structured HDL-code was considered. The method of backtracing was developed. An experiment on HDLmodel of digital device using this method was carried out. In modern CAD tools the basic way of device description is usage of hardware description languages, i.e. VHDL or Verilog, which allow making SOC design process faster. World companies – vendors of digital circuits, are forced to decrease their time-tomarket. Verification of digital projects, that is hardware or built-in hardware-software systems described in a Hardware Description Language - HDL, is the important task during designing digital devices. Often more than 70% of development time is spent on search and correction of mistakes in the project. Process of diagnosing is based on: DD model, allowing carrying out tests generation; designing errors, characteristic for HDL-models; algorithm of tests generation; methods of design errors search. Within the framework of technical diagnostics methods, there are several algorithms of defects search: based on available tests and known function of the device (functional algorithms on the base of errors tables or functions of errors tables), and based on the structure of the device (structural algorithms on the base of a reachability matrix). The purpose of the given work is to develop methods of defects/errors search in a non-structured HDL-code, allowing to reduce time of carrying out of diagnostic experiment and to reduce length of the diagnosis. Proceeding from the aforesaid, it is necessary to solve a task of adaptation of the method of backtracing at verification of HDL-models and to carry out diagnostic experiments on defect/design error search within the framework of verification.