Другие предметы \ Теория вычислительных процессов и структур

Теория нечётких множеств, Операции над нечёткими числами, страница 3

число_строка([нечеткое_число(Эл_1, Пр_1)|В], Стр_0, Строка):Эл = Эл_1,

Пр = Пр_1,

str_int(Эл_стр, Эл),

str_real(Пр_стр, Пр),

concat(Стр_0, "(", Стр_1),

concat(Стр_1, Эл_стр, Стр_2),

concat(Стр_2, "; ", Стр_3),

concat(Стр_3, Пр_стр, Стр_4),

concat(Стр_4, ") ", Стр_5), число_строка(В, Стр_5, СТрока).

/*число_слова******************/

число_слова([], В_1, Максимум, Слова):поиск_слова(В_1, В_1, Максимум, Слова).

число_слова([нечеткое_число(_, Пр_1)|В], В_1, Максимум, Слова):Максимум < Пр_1, число_слова(В, В_1, Пр_1, Слова).

число_слова([_|В], В_1, Максимум, Слова):число_слова(В, В_1, Максимум, Слова).

/*поиск_слова******************/

поиск_слова([нечеткое_число(Эл_1, Максимум)|В], [нечеткое_число(Эл_1, Максимум)|В], Максимум, Слова):Эл = Эл_1,

str_int(Эл_стр, Эл),

concat("Минимум ", Эл_стр, Слова).

поиск_слова([нечеткое_число(_, 0.0), нечеткое_число(Эл_1, Максимум), нечеткое_число(_, 0.0)|_], _, Максимум, Слова):Эл = Эл_1,

str_int(Эл_стр, Эл),

concat("Точно ", Эл_стр, Слова).

поиск_слова([нечеткое_число(Эл_1, Максимум)], _, Максимум, Слова):Эл = Эл_1,

str_int(Эл_стр, Эл),

concat("Максимум ", Эл_стр, Слова).

поиск_слова([нечеткое_число(_, 0.0), нечеткое_число(Эл_1, Максимум)|_], _, Максимум, Слова):Эл = Эл_1,

str_int(Эл_стр, Эл),

concat("Минимум ", Эл_стр, Слова).

поиск_слова([нечеткое_число(_, _), нечеткое_число(Эл_1, Максимум), нечеткое_число(_, _)|_], _, Максимум, Слова):Эл = Эл_1,

str_int(Эл_стр, Эл),

concat("Около ", Эл_стр, Слова).

поиск_слова([_|В], В_1, Максимум, Слова):поиск_слова(В, В_1, Максимум, Слова).

GOAL

подготовка(Xe1, Xp1, Xe2, Xp2, Xe3, Xp3, Xe4, Xp4, Xe5, Xp5, А), подготовка(Ye1, Yp1, Ye2, Yp2, Ye3, Yp3, Ye4, Yp4, Ye5, Yp5, Б),

!, начало(А, Б, _Win),

!.

Программа и методика испытаний

Объект испытания

Программа для нахождение разности двух нечётких чисел.

Цель испытаний

Проверить программу на правильность вычислений и на надёжность.

Технические средства, используемые во время испытаний

Во время испытаний использовались технические средства:

  • клавиатура;
  • манипулятор мышь;
  • процессор Pentium с тактовой частотой 1000 MHz;
  • оперативная память 128 Mб;
  • видеокарта и монитор, поддерживающие разрешение 800x600 точек и больше при глубине цвета 32 бита;
  • дисковое пространство 100 Мб.

Программные средства, используемые во время испытаний

Во время испытаний использовалось программное обеспечение:

  • Visual Prolog v.5.2
  • операционная система Microsoft Windows XP.

Требования к программе

Программа должна проверять входные данные на корректность, выдавать правильные результаты и надёжно работать (не зависать).

Требования к программной документации

Программа должна содержать справочную информацию по работе с ней.

Средства и порядок испытаний

Для проверки на корректность работы программы были искусственно созданные ситуации, недопустимые для работы программы.

Для проверки на правильность работы программы были разработаны несколько тестов проверяющих правильность найденных решений.

Для проверки на надежность программы, производили запуск ее на нескольких компьютерах с различными входными данными.

Методы испытаний

Проверка на корректность входных данных: Проверка с использованием корректных входных данных приведена в приложении (рисунок 1, 2, 3). При вводе некорректных данных программа выдавала об этом сообщение (приложение, рисунок 5, 6).

Проверка на правильность работы программы: при большом количестве вычислений, она всегда выдавала правильный результат. Под этим понимается правильность таблицы истинности, а текстовое название полученного числа является результатом мнения программы, на основе полученных данных. Возможные варианты мнений представлены в приложении (рисунок 1, 2, 3).

Проверка на надёжность: в ходе испытаний программа ни разу не зависла и не приводила к зависанию компьютера.


Список использованных источников

  1. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. Пер. с англ. М.: Мир, 1990. – 235с.
  2. Электронный учебник по ФЛП (адрес: http://1.1.1.60/fct/specialities/2204/стандарт специальности/rgz.chm).
  3. Янсон А. Турбо – Пролог в сжатом изложении. Пер. с нем. М.: Мир, 1991. – 94с.

Приложение

Эскизы экранных форм

Рис. 1. Основное окно программы.

Рис. 2. Результат теста.

Рисунок 3. Окно "О программе".

Рис. 4. Сообщение об ошибке входных данных

Скачать файл