|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Тестирование и сертификация радикаловстатья
- Авторы: Чечкин А.В., Пирогов М.В.
- Журнал: Нейрокомпьютеры: разработка, применение
- Номер: 3
- Год издания: 2013
- Издательство: Издательство "Радиотехника"
- Местоположение издательства: Москва
- Первая страница: 3
- Последняя страница: 11
- Аннотация: В интеллектуальных системах математическая модель проблемной областиявляется избыточной моделью в форме среды радикалов. такая модель описывает все составляющие и их связи в проблепмной области. В связи с этим правильность таких описаний должна систематически проверяться, тестироваться. Например, частные модели на адекватность, предикатные формулы на истинность, задачи на корректность, методы на устойчивость, алгоритмы на сложность, программы должны быть верифицированы и проверены на антивирус и т.д. Все это целенаправленно организовано в среде радикалов через активирующую систему и введения в среду радикалов специализированных радикалов-задач и радикалов-методов, которые систематически осуществляют сертификацию всех частей среды радикалов. В целом процесс сертификации среды радикалов направлен на сохранение целостности избыточной модели, на обнаружение и устранение конфликтов в среде радикалов. Это приводит к сохранению ГОМЕОСТАТА проблемной области.
- Добавил в систему: Чечкин Александр Витальевич