Subject: Scp4's news.
From: Andrei P. Nemytykh (nemytykh@math.botik.ru)
Date: Wed Dec 22 1999 - 20:09:43 MSK
Об'явление.
На страничке http://www.botik.ru/pub/local/scp/refal5/
( синоним:
http://www.botik.ru/pub/local/scp/refal5/refal5.html )
Можно найти ссылку на online-демонстрацию Scp4 on the Web.
Описание некоторых возможностей:
-- система даёт возможность запустить Scp4 на демострационных
задачах стандартной поставки Scp4.
-- система даёт возможность модифицировать представленные
примеры.
-- имеется возможность загрузить необходимый Вам модуль с Вашего
компьютора.
-- Вы можете запустить на суперкомпиляцию любую Вашу задачу,
которая не является подозрительной ( в смысле безопасности
сервера ) с точки зрения данной системы.
-- номинальное время жизни на сервере Ваших файлов 20 мин.
Это время отсчитывается с момента последних активных
Ваших действий в данном файле.
Так как теперь, запустить Scp4 становится технологически очень простым
действием, то, возможно, здесь будет уместным пояснить стартовые
понятия (подробная документация имеется в архиве-поставке и в
ближайшее время будет оформлена в виде html-страниц).
-1- Суперкомпилятор преобразует алгоритмическое описание
некоторой
функции. Отсюда следует , что любая задача для
суперкомпилятора
разбивается на две логически естественные части.
Первая часть -- это программа на языке Рефал, представлена
модулями с расширением ref.
Вторая часть задаёт собственно функцию ( а не программу)
и представляет собой параметрическое описание входной точки
указанной выше программы. Входная точка описывается на
некотором языке, синтаксис которого напоминает ситаксис
Рефал-выражений (правых частей Рефал-предложений).
Семантика этого языка отличается от семантики правых
частей Рефал-предложений. Эта часть задачи на
суперкопиляцию
представлена модулем с расширением mst.
-2- Сессия суперкомпиляции происходит в несколько этапов ,
которые можно объединить.
Скрипт модуль описывает данную часть.
Два важных замечания:
-1- Прошу учесть загруженность сетей передачи информации.
По всей видимости, оптимальным промежутком является
01:00 - 10:00 ( ночь-утро) Московского времени.
-2- Система установлена на машине, которая может быть
недоступна (очень редко) в промежутке примерно с 10:00 до
17:00.
Полезных наблюдение:
Internet Explorer 5 на моей машине даёт описаваемый ниже
сервис ( Netscape его не предоставляет).
Опишу наблюдаемый мною сервис на конкретном примере.
Когда я нахожусь на заглавной страничке демонстрации и мне
предлогается посмотреть несколько файлов, тогда я
- прошу показать ref-файл. Открывшееся окно
закрывает
кнопочки на заглавной странице, но не закрывает
всю страницу.
Последнее обстоятельство позволяет мне
переместить
мышку обратно на заглавную страницу и сделать её
активной.
Замечу, что я НЕ закрываю окно с ref-файлом.
- далее прошу показать mst-файл. Появляется новое
маленькое
окно. Его я перемещаю в правый нижний угол (так
мне нравится)
и нахожу на "рабочем столе" (панели) окно,
открытое мною
в первом действии. ( При указанной
последовательности
действий это окно будет предпоследним. ) Щёлкаю
мышкой
по соответствующей кнопочке на панели - и могу
наблюдать
одновременно все три окна: заглавное, ref-файл
и mst-файл.
Enjoy,
Андрей Немытых.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD