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