Թվային սխեմաների մոդելավորում և օպտիմալացում ապակայունացնող գործոնների հաշվառմամբ