OberonCore https://forum.oberoncore.ru/ |
|
Терминология структурирования схем и другого редактируемого https://forum.oberoncore.ru/viewtopic.php?f=93&t=4244 |
Страница 2 из 2 |
Автор: | Владислав Жаринов [ Среда, 27 Февраль, 2013 06:16 ] |
Заголовок сообщения: | О термине для последовательной структуры |
Как частный случай для маршрут-схем выступает "группа" по Рэйлвей Каген. Однако именно из материальных схем кажется более подходящим термин "цепь". |
Автор: | Владислав Жаринов [ Среда, 27 Февраль, 2013 07:13 ] |
Заголовок сообщения: | Об указании упорядоченности структур |
Этот аспект также кажется важным. Имеется в виду то же, что в этом посте было на конкретном примере ЕСКД-схем. Они понимаются как сети в этом базисе: viewtopic.php?p=78318#p78318. В графит-методе на организацию сетей накладываются перечисленные ограничения. Для столь свободных структур ограничеения в принципе м.б. и иными. Это не суть важно. А вот как отличать более упорядоченные структуры? Предлагается добавлять для этого термин "ордер-". Разумеется, в любом классе базиса возможны более упорядоченные структуры. Ну и добавлять к конкретным названиям, относительно чего упорядочиваем. |
Автор: | Владислав Жаринов [ Среда, 27 Февраль, 2013 08:31 ] |
Заголовок сообщения: | Ещё об определениях поведения исполнителей :) |
Кстати, вводилось ещё понятие "эвроритма"... тоже интересно, но надо думать... |
Автор: | Владислав Жаринов [ Вторник, 26 Ноябрь, 2013 02:25 ] |
Заголовок сообщения: | Re: Терминология структурирования схем и другого редактируем |
Вот ещё пока с этим разбирался, вспомнил, что насчёт этого: Alexey_Donskoy в viewtopic.php?p=78018#p78018 писал(а): ... - похоже, Зверев всех нас примирил... и давно... Имеются в виду его определения математического и технологического алгоритмов (в выдержки не вошли). Суть такова: Владислав Жаринов в viewtopic.php?p=77975#p77975 писал(а): алгоритм - модель задачи для императивного исполнителя Вот единственное здесь разумное и целесообразное определение. И не надо ничего лишнего прикручивать.Поищите в инете на предмет приоритета. Редко случаются удачные находки. Это определение несравненно более адекватное, чем у Ткачёва. ИМХО. Только я бы ещё добавил: "для абстрактного императивного исполнителя". Цитата: Выделение «дескриптивного» и «императивного» уровней формализации исполнителя; отличие их по [Зверев, Т.1, п. 7.5] в том, что модель деятельности есть: - здесь уже в пересказе.в первом случае — история процесса как траектория системы в пространстве её возможных состояний, математически описанном; во втором случае - алгоритм как математический (записанный на логико-математическом языке и определяющий только знаковые преобразователи и преобразуемые объекты) либо технологический (записанный на технологическом языке и определяющий также материальные преобразователи и процессы в них). Представление деятельности как истории является развёрнутым, а как алгоритма — свёрнутым. Можно говорить о том, что при исполнении алгоритм развёртывается в осуществлённую траекторию (историю). Технологический алгоритм определяет конкретную реализацию математического как «программу процесса, ... без предположений о «догадливой, изобретательной и умной» системе, которая сама решит, что делать, если описание процесса неполное.» [Зверев, Т.1, с. 373]. Тем самым снимается подмеченное в [Фридланд, 2003, п. 10.7] противоречие в случае предназначения алгоритма для исполнения такой системой — да, это возможно, но не освобождает построителя описания от необходимости «определить технологически» исполнителя алгоритма. А это не обязательно возможно для любой деятельности творческого исполнителя. Кстати, любой "технологический язык" по такому определению будет частным случаем языка представления технологических алгоритмов... При этом возможной "параллельной" формой модели деятельности будут сети техопераций-"работ", обсуждавшиеся здесь: http://forum.oberoncore.ru/viewtopic.php?p=78317#p78317. Историю же можно понимать, наверное, в смысле как истории программы у Ершова, так и структуры Крипке у Карпова?.. Есть мнения насчёт такого определения? |
Страница 2 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |