Перегляд за автором "Shkil, A. S."
Зараз показано 1 - 8 з 8
Результатів на сторінку
Варіанти сортування
Публікація 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.Публікація Path Sensitization at Functional Verification of HDL-Models(EWDTW, 2006) Shkil, A. S.; Syrevitch, Ye.; Karasyov, A.; Cheglikov, D.Strategy of verification of digital devices models, represented in hardware description languages, is considered. The basic idea is in using path sensitization method in a graph model, generating distinguishing tests for separate functional elements, superposing these tests and interactive calculating etalon reactions. The necessity of researches in the field of verification is caused by the lack of effective methods and tools of functional verification of digital devices (DD) models on a step of describing them on behavioral level. World companies – vendors of digital circuits, are forced to decrease their time-to-market. According to vendors’ evaluations, verification (functional as well) takes up to 80% of labor expenditures in the design cycle. There is a big demand for tools of functional verification of devices models on a step of their description in hardware description language (HDL) on behavioral level. If model description in hardware description languages (HDL) is considered as a software program, then, from one point of view it is necessary to execute software verification, but the other point of view it is not always optimal. Software verification considers all modes with all data testing. While checking correspondence between code, which describes a device, and its specification on all possible data for all reachable inputs, to hold on verification during appropriate time with 100% completeness it is not possible. Assume that all in-build operators are combinational elements. It means that to check them it is necessary to drive 2n values, where n – total dimension of inputs. To get high quality of verification for appropriate time it is necessary to decrease number of driven tests. Despite variety of publications, connected with verification and diagnostics of digital devices, today instrumental tools of automatic test generation for complex DD functional verification are actual and claimed. Lack of automatic test generators is felt in many well-known companies: Aldec, Altera, Actel, Xilinx, Synopsis. Thus, this work aim is to develop HDL-models verification strategy, which allows decreasing time on design cycle by decreasing number of test vectors.Публікація Quantum data structures for SoC design(2015) Chumachenko, S. V.; Shkil, A. S.; Hahanova, A. V.; Ziarmand, A. N.; Pryimak, A.A qubit-vector model of computing automaton is proposed; it is characterized by the transactional interaction of memory components, which represent the combinational and sequential elements and are implemented in the form of a qubit or “quantum” primitives needed to create parallel virtual computers and cloud-focused processors.Публікація Tools of the Computer Testing of Knowledge in Mathematical Discipli(EWDTS, 2008) Shkil, A. S.; Naprasnsk, S. V.; Tsimbaluyk, E. S.; Garkusha, E. V.Issues of using different forms of test tasks for testing knowledge in mathematical disciplines in computer knowledge testing system OpenTEST2 are presented. It is suggested to use delay of right answers appearance in test tasks of closed type and regular expressions for setting etalons in opened type test tasks. Recently, testing of knowledge is used for controlling knowledge quality, rating, and students and university entrants selection and for different professional selections. Computer knowledge testing systems are widely used for the improvement of testing quality. Computer knowledge testing system OpenTEST2 is developed in Kharkov National University of Radio Electronics (KHNURE) [1], at creation of which webtechnologies language of server scripts PHP, HTML, XML, and JavaScript languages were used. Database under MYSQL management was used for storage of all information. The group Apache2+PHP5+Mysql5 is a server, and any Internet browser is clients. A testing process consists of the following stages: creation of test, creation of test groups, setting of testing parameters, realization of testing and its monitoring, getting results and statistics. Every stage is realized by a separate module of the system with verification of authorizing and rights for access. In OpenTEST2 a partly adapted algorithm of knowledge control training will be realized with a random sample of test tasks (questions) from the structured four level test database and group conception of management users. Testing in knowledge testing system OpenTEST2 is carried out by organization of testing session, which is characterized by the time for testing and the length (by the amount of test tasks). The system supports all basic types of closed form test tasks (choice of one correct answer, choice of few correct answers, matching) and opened form test tasks (free input of a short answer) with arbitrary setting of weight of questions. Primary estimation is determined as a percent (stake) of correct answers for the tasks of testing session. Testing results appear in the arbitrary scale of evaluation (point scales are chosen by a teacher), and the detailed statistics of testing results are also given .Публікація 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).