Տրամաբանական սխեմաների հուսալիության հետազոտումը դինամիկ ռեժիմներում և նրա արդյունքների կիրառումը ավտոմատացված նախագծման մեջ