Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra

DOI

10.2991/csit-19.2019.51How to use a DOI?

Keywords

analysis, compilation, transition graph, matrix algebra

Abstract

The article deals with the problems of formal description of methods of organization of biomedical experiment. The need for a formal description of the experimental scheme is postulated. One of the ways of formal representation of the biomedical experiment based on the transition graph, which is one of the variants of the description of the finite state machine, is considered. The description revealed that the main characteristics of this representation are the correctness and adequacy of the representation in the form of a graph of transitions. The problem of description of nested sequences of actions corresponding to the beginning and end of the use of different components of the experiment is considered. An example of such use is the serial and parallel activation of experimental equipment. In this case, the correct sequences correspond to the implemented experiments, and the wrong ones correspond to the unrealizable ones. In this regard, there is a need to verify such feasibility. The necessity of checking the correctness of the graph as the main condition for the feasibility of the experiment is substantiated. One of the approaches to the analysis of the correctness of such a graph on the basis of matrix calculations is presented. The method of constructing the transition graph matrix is considered. The basic transformations necessary for checking the correctness of the transition graph of the biomedical experiment are given.

Copyright

© 2019, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Alexandr Kruzhkov
AU  - Rashit Nasyrov
AU  - Ruslan Mulayanov
PY  - 2019/12
DA  - 2019/12
TI  - Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra
BT  - Proceedings of the 21st International Workshop on Computer Science and Information Technologies (CSIT 2019)
PB  - Atlantis Press
SP  - 291
EP  - 296
SN  - 2589-4900
UR  - https://doi.org/10.2991/csit-19.2019.51
DO  - 10.2991/csit-19.2019.51
ID  - Kruzhkov2019/12
ER  -