Diagnostics basing on testing paths: the method of patterns (original) (raw)

COMPARATIVE ANALYSIS OF SOFTWARE, REALIZED METHOD OF PRECEDENTS IN THE DIAGNOSTIC TASKS

The main aim of the present paper is a comparative analysis of the noncommercial case-based reasoning (CBR) software. The background and the areas of application of the CBR are presented. After preliminary analysis, taking in mind the requirements of the traditional and predictive diagnosis and maintenance, five of the most popular software systems for CBR realization are chosen for consideration: myCBR, jColibri, CBR*Tools, CAT-CBR, CASPIAN. The basic characteristics, priorities and specific abilities are considered. A quantity evaluation of every software is done. The results of the study show that myCBR and jColibry are most suitable for diagnosis targets.

Pattern Recognition Methods for Building a Network Diagnostic System

ИНФОРМАТИКА 2013 январь-март № 1 УДК 004.7:004.93:004.942 В.Г. Родченко, Е.В. Олизарович, А.И. Жукевич ПРИМЕНЕНИЕ МЕТОДОВ РАСПОЗНАВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ ДИАГНОСТИКИ КОМПЬЮТЕРНЫХ СЕТЕЙ Предлагается универсальный метод диагностики компьютерных сетей, базирующийся на ис-пользовании математического аппарата теории распознавания образов. Представляется способ формализации состояния сети на основе наблюдаемых характеристик трафика. Рассматриваются механизмы реализации всех основных этапов диагностики, связанных с формированием словарей при-знаков, выполнением процедур обучения и классификации. A generic method for computer networks diagnosis is proposed, which is based on the theory of pattern recognition. We suggest to model the network status on the basis of the observed traffic's characteristics. Implementation mechanisms of all diagnostic stages are considered. They include formation of the dictionaries and performing procedures of training and classification.

Использование метода ограниченной проверки моделей для генерации тестов

2015

The automated test generation has received a lot of attention in the last decades as it is one of possible solutions to software testing inherent problems: the need to write tests and providing test coverage in presence of human factor. The most promising technique of generating a test automatically is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process is very similar to the bounded model checking, which also has to deal with generating models from a source code, asserting logic properties in it and process the returned model. This paper describes a prototype unit test generator for C based on a working bounded model checker called Borealis and shows that these two techniques are very similar and can be easily implemented by using the same basic components. The prototype test generator was sampled on a number of examples and showed good results in terms of test coverage and test excessiveness.

Analytical properties of sample paths of some stochastic processes

Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and Mathematics, 2020

The study of the analytical properties of random processes and their functionals, without a doubt, was and remains the relevant topic of the theory of random processes. The first result from which the study of the local properties of random processes began is Kolmogorov’s theorem on sample continuity with probability one. The classic result for Gaussian random processes is Dudley’s theorem. This paper is devoted to the study of local properties of sample paths of random processes that can be represented as a sum of squares of Gaussian random processes. Such processes are called square-Gaussian. We investigate the sufficient conditions of sample continuity with probability 1 for square-Gaussian processes based on the convergence of entropy Dudley type integrals. The estimation of the distribution of the continuity module is studied for square-Gaussian random processes. It is considered in detail an example with an estimator (correlogram) of the covariance function of a Gaussian stati...

Causes of diagnostic pitfalls upon analysis results of «physicians’ causes»

Bulletin of Siberian Medicine, 2003

130 criminal and civil cases had been maintained against physicians in Tomsk region within 1996—2002. There were pitfalls in diagnoses and wrong medical aid in 59 (45,4%) cases. Across diagnostic pitfalls, such as incomplete examination of patients, incomplete registration of laboratory results etc., there were methodological errors. It is known that diagnosis process proceeds in hypothesis form at all stages. While obtaining the history a physician is guided by suppositions arising during inquiring a patient. These suppositions are later verified in the process of an objective examination of the patient. Therefore the most frequent reasons of medical errors are the final diagnosis on the basis of the history and physicians’ inability to use the diagnostic suppositions while diagnosing at all stages. The majority of pitfalls has been made in diagnoses of appendicitis, stomach and duodenum perforated ulcer.

Is It Possible Mutation of Clinical Pathways in Diagnostic Related Groups

Evaluation, analysis and recalculation of the prices of clinical pathways (CP's) based on payments made by the NHIF for hospital care (revenue) and the costs of medical institutions on clinical pathways based on the methodology for calculating the diagnostic-related groups. In my country there is a maxim that everything is possible!

Methods of analysis of possible states of the object diagnosis

Journal of Electrical and power engineering, 2021

The development of new methods of technical diagnostics is an important task aimed at improving the efficiency and safety of the operation of industrial equipment. Such methods are complexes of jointly used methods for obtaining diagnostic information, methods for extracting from it the actual data on the technical state of the diagnosed objects, and methods for organizing diagnostic processes. Complex technical systems are characterized by complex nonlinear interactions between their constituent elements, complex scenarios of causal relationships between hazardous, probabilistic events and processes occurring during their operation. These scenarios can be implemented in complex scenario trees. Features of technical diagnostics of complex technical systems are determined by the distinctive properties of failures in such systems and scenarios. The technical diagnostics system is an information-measuring system and contains sensors of controlled parameters, communication lines with an...