/p>
(tehnology = '65 нм ') ((section = '4 * 6-LUT + 8 * FF') (logic = 'понад 480 тис.') (power = '0 .9 В ') (bram = '28 - 68 Мбіт ') (dsp =' понад 864 ') (transiver =' GTH ') (price = '7000 - 20000') or (price = 'понад 20000')
) or
(tehnology = '40-45 нм ') ((section = '4 * 4-LUT + 4 * FF') or (section = '4 * 6-LUT + 4 * FF ') (logic = 'до 54 тис.') (power = '1 .2 В ') (bram =' до 6 Мбіт ') (dsp =' до 64 ') (price =' до 400 ') or (price = '400 - 1500 ') or (price =' понад 20000 ')
) or
(tehnology = '28 нм ') ((section = '4 * 4-LUT + 4 * FF') or (section = '4 * 6-LUT + 4 * FF ') (logic = 'до 54 тис.')// or (logic = '54 - 110 тис. ') (power = '1 .2 В') (bram = 'до 6 Мбіт')// or (bram = '64 - 128 ' ) (dsp = 'до 64') or (dsp = '64 - 128 ') (pins =' до 520 ') (transiver =' GTP ') (price =' до 400 ') or (price = '400 - 1500 ') or (price = '1500 - 7000')
)) ZKflag: = trueZKflag: = false;
// Якщо гіпотеза задовольняє необхідним умовам, то вважаємо її позитивною
if ((tehnology = '28 нм ') or (tehnology = '40-45 нм')) ((bram = '15 - 28 Мбіт ') or (bram = '28 - 68 Мбіт ')) ((dsp = '288 - 864') or (dsp = 'понад 864')) (transiver = 'GTH') not ZKflag
then begin
// В залежності від ваги гіпотези і її оцінки БКО обробляємо лічильники
// суперечностей і підтверджень (TSolverObject (Items [i]. Data). ObjectWeight <0) then
nUS: = nUS +1: = nS +1;
// Міняємо найменування (Items [i]. Data). ObjectName: = Format ('Авт.Оцен.Гіп #% d.Уд', [i]);
// Говоримо що ця гіпотеза буде фактом
TSolverObject (Items [i]. Data). ObjectClass: = ocFact;
// Причому вдалим (Items [i]. Data). ObjectType: = sotSuccess;
// Збільшуємо лічильник позитивних гіпотез (FRateFuncInfo.iSuccess);
еnd
// Якщо гіпотеза не проходить за параметрами, то вважаємо її отріцательнойbegin
// В залежності від ваги гіпотези і її оцінки БКО обробляємо лічильники
// суперечностей і підтверджень (TSolverObject (Items [i]. Data). ObjectWeight <0) then
nS: = nS +1: = nUS +1;
// Міняємо найменування (Items [i]. Data). ObjectName: = Format ('Авт.Оцен.Гіп #% d.Неуд', [i]);
// Говоримо що ця гіпотеза буде ф...