Համակարգային վերլուծության մաթեմատիկական մոդելներ և միջոցներ ավտոմատացված նախագծման և արտադրության խնդիրների դրույթման և լուծման համար /ռելեային տեխնիկայի օրինակի վրա/