G. Gutlyýew Awtomatlaşdyrylan taslama düzmegiň ulgamlary Системы Автоматизированного проектирования

Yzygider algoritmler sintez meselesiniň tapgyrlaýyn çözülýändigi hem-de aralyk strukturalaryň bahalandyrylýandygy bilen häsiýetlendirilýär. Gutarnykly strukturany almak üçin ösdürme we bölüp aýyrma usullaryny ulanýarlar.

Ösdürme usulynda her tapgyrda başdaky struktura (meselem, haýsydyr bir elemente) elementler goşulyp durulýar.

Bölüp aýyrma usulynda, tersine, käbir artykmaç umumylaşdyrylan strukturadan, kem-kemden, artyk elementler aýrylyp durulýar.Meselem, detaly işläp bejermekdäki prosesde artykmaç amallaryň aýrylmagy ýa-da tersine.

Dürli aspektleriň beýanlarynyň geçirilmesi algoritmleri şahalanýan-çylşyrymly tehnologik proseslerde ulanylyp, struktura birlikleri boýunça gabat gelmeleri şol bir beýanlar bilen çalşyrýarlar (kompýuter maksatnamalarynda bölek maksatnamalary köp gezek ulanýarlar).

Strukturalaýyn sinteziň real algoritmleri, adatça, kombinirlenen bolup, onda dürli çemeleşmeler ulanylýar. Mundan hem başga, sintez proseduralryny formulalaşdyrmak mümkinçilikleriniň çäklidigi sebäpli, ATDU-da sinteziň dualog ulgamlary giňden ulanylyp başlandy. Munda proseduranyň bahalandyrylmasyny kompýuter ýerine ýetirip,çözgüdi adam kabul edýär.