OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 16:36

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 24 ]  На страницу Пред.  1, 2
Автор Сообщение
СообщениеДобавлено: Среда, 27 Февраль, 2013 06:16 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Как частный случай для маршрут-схем выступает "группа" по Рэйлвей Каген. Однако именно из материальных схем кажется более подходящим термин "цепь".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 27 Февраль, 2013 07:13 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Этот аспект также кажется важным. Имеется в виду то же, что в этом посте было на конкретном примере ЕСКД-схем. Они понимаются как сети в этом базисе: viewtopic.php?p=78318#p78318. В графит-методе на организацию сетей накладываются перечисленные ограничения. Для столь свободных структур ограничеения в принципе м.б. и иными. Это не суть важно. А вот как отличать более упорядоченные структуры? Предлагается добавлять для этого термин "ордер-".
Разумеется, в любом классе базиса возможны более упорядоченные структуры. Ну и добавлять к конкретным названиям, относительно чего упорядочиваем.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 27 Февраль, 2013 08:31 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Кстати, вводилось ещё понятие "эвроритма"... тоже интересно, но надо думать...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 26 Ноябрь, 2013 02:25 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот ещё пока с этим разбирался, вспомнил, что насчёт этого:
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. Историю же можно понимать, наверное, в смысле как истории программы у Ершова, так и структуры Крипке у Карпова?..

Есть мнения насчёт такого определения?


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 24 ]  На страницу Пред.  1, 2

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB