Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Расширение списка символов, прорисовываемых формульным редактором

2012-11-29 03:48:46 (читать в оригинале)

Предусмотрена некоторая автоматизация анализа избыточности применений приема Чтобы выявить те задачи раздела, где отказ от приема приводит к ускорению решения, следует прежде всего создать в буфере задачника список дубликатов задач этого раздела, в которых прием срабатывает (выбрать раздел задачника; нажать «Ctrl-2»; выбрать прием, нажать «А» (кир.); нажать «Ctrl-З» для возвращения в задачник). После этого нажатие [...]

---

Расширение списка символов, прорисовываемых формульным редактором

2012-11-29 03:47:08 (читать в оригинале)

Для оптимизации решателя предусмотрена возможность определения «холостого хода» приема на заданном разделе задачника — средней трудоемкости попыток при¬менения приема на одно его срабатывание. Чтобы получить такую характеристику, следует запустить цикл решения задач из выбранного раздела задачника не клавишей «Ctrl-з», а клавишей «а» (кир ). Процесс решения чуть-чуть замедлится, так как для приемов, в попытки применения [...]

---

Из просмотра дубликата задачи

2012-11-29 03:45:30 (читать в оригинале)

Из просмотра дубликата задачи можно перейти к просмотру оригинала нажатием клавиши «б» Однако, все тестовые запуски (в том числе групповой запуск для данного подменю буфера) можно выполнять непосредственно на дубликатах. В действительности здесь дублируются не сами задачи, а только ссылки на них из оглавления. Поэтому данные об измененных результатах решения задачи будут просматриваться одновременно из [...]

---

На основе рассмотрения выявленных указанным способо

2012-11-29 03:44:18 (читать в оригинале)

На основе рассмотрения выявленных указанным способом особых случаев срабатывания приемов в группе задач происходит выработка новых его эвристических решающих правил. Чтобы впоследствии можно было быстро находить все те задачи задачника, в которых прием сработал хотя бы однажды (это может понадобиться при проверке того, что усиление фильтров приема не нарушило процессов решения таких задач), информация о [...]

---

Анализ применений приема на обучающем материале

2012-11-29 03:42:18 (читать в оригинале)

Почти любой новый прием, заносимый в решатель, требует уточнений, выявля¬емых в процессе прогонки решателя по тем или иным разделам задачника. Для такой прогонки после ввода приема предпринимается выбор необходимого раздела в оглавлении задачника и нажатие «Ctrl-з» в корневом меню данного раздела. По окончании цикла решения задач данного раздела нажимается клавиша «з» и анализи¬руется статистика процессов [...]