formal model формальна модель 3 UDC 004.414.23+004.416.6+004.4’414+004.4’418 1 UDC 681.3 1 diagnostics 1 expert system 1 hypoxia therapy 1 inferential mechanism 1 legacy systems 1 medicine 1 parallel computing 1 parallel computing on graphics processing units 1 production rules 1 the Rete algorithm 1 translation 1 «comparison-operation» procedure 1 УДК 004.414.23+004.416.6+004.4’414+004.4’418 1 УДК 681.3 1 алгоритм Rete 1 гіпокситерапія 1 діагностика 1 експертна система 1 медицина 1 механізм виведення 1 паралельні обчислення 1 паралельні обчислення на графічних процесорах 1 параллельные вычисления 1 параллельные вычисления на графических процессорах 1 продукційні правила 1 процедура «співставлення – спрацювання» 1