OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Среда, 26 Сентябрь, 2018 00:51

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




Начать новую тему Ответить на тему  [ Сообщений: 106 ]  На страницу Пред.  1, 2, 3, 4, 5, 6
Автор Сообщение
СообщениеДобавлено: Среда, 11 Июнь, 2014 05:41 

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

Пожалуй, код в такой системе покрывал и "бизнес-объекты"... задолго до введения сего термина... :) Ну а типы процессорных архитектур и топологий связи практически любые (ибо "зоопарк" в МС СССР, наверное, был ещё тот)... :)
Кстати, ДВК-шки на АРМ связистов стояли до конца тысячелетия... не исключено, что благодаря такому комплексированию тоже...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 19 Июль, 2014 14:42 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот из этой книги кое-что показалось интересным:
Вложение:

В п. 1.2 кое-что о записи алгоритмов. Больше исторический интерес представляет, наверное.
В основном она по нашим последовательным ПМК (здесь - Гл.3). Интересно, что архитектура "сумматор-регистр-счётчик" может пониматься и как реализация машины Тьюринга... только с наборами головок и лент...
Сказанное в Гл.5 о качестве программных продуктов уже содержит, пожалуй, полезные вещи, хотя бы для использования в учебниках.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Математика для информатиков
СообщениеДобавлено: Среда, 23 Июль, 2014 14:26 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Романовский И.В. Дискретный анализ. - 3-е изд. – СПб.: Невский Диалект; БХВ-Петербург, 2004.
выдержка

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

Раннее обсуждение некоторых вопросов с привлечением книги.

Интересна классификация процессов, определяемых как системы состояний и переходов, в начале Гл.10 по механизму реализации переходов. По сути, устанавливается смысл модели «состояния-переходы» как матемалгоритма деятельности, динамика которого м.б. задана различными механизмами выполнимости (каждый из которых определяет свою организацию исполнителя). В классификации процессов по механизму выполнения неявно можно выделить ещё одно основание - подразделение на "пассивные" и "активные". Предполагается, что смысл тот же, что "активные/пассивные объекты" данных (скажем, в Активном и просто Обероне), "активные/пассивные" исполнители, иногда выделяемые в ООП («агенты» и «хранилища»).
    В связи с этим можно уточнить обыденные ИТ-представления об автоматных моделях и их программной реализации (техноалгоритмизации). Так, утверждение вида: «<некая модель универсальной программы> шире, чем автомат» на самом деле может трактоваться просто как «эта модель получена из модели «состояния-переходы», для которой был задан неавтоматный механизм выполнимости». А связанное утверждение вида: «<некая модель универсальной программы> может выполнять функцию автомата, если это нужно программисту» трактуется просто как: «модель «состояния-переходы», запрограммированную как неавтоматно выполнимую, можно запрограммировать и как выполнимую автоматно». При этом автомат по-прежнему остаётся в иерархии моделирования/формализации на более высоком уровне спецификации (как одна из конкретизаций модели «состояния-переходы» для ЛМ-исполнителя), а программа — на более низком уровне реализации (этой конкретизации через конкретную универсальную программу для заданного техноисполнителя).
В Гл.11 намечаются связи дискретной математики и непрерывной.

См. также:
о понятии универсальной программы (пост);
о программировании процессов (для конкретного вида универсальной программы);


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Июль, 2014 14:45 

Зарегистрирован: Среда, 24 Апрель, 2013 09:26
Сообщения: 120
https://ru.wikipedia.org/wiki/%D0%94%D0 ... 0%BA%D0%B0

Вот статья об алгоритмическом подходе для моделирования различных сложных систем. Есть некоторые ограничения в моделях. Магнитные и диэлектрические, тепловые, вибрационные связи задаются отдельно и считается что эти связи действуют независимо.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Июль, 2014 08:04 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Спасибо. Интересно, хотя так сразу не вникнешь. Похоже, может использоваться для конкретизации алгоритмики Зверева.

Да, любопытно, что процессы, неавтоматные у Романовского (с побуждением переходов не извне), у "автоматчиков" определяют как "автоматы со спонтанными переходами". Исходя из этого, и относят такие модели тоже к "активным", и считают блок-схемы частным случаем автоматных диаграмм (см. здесь в п. 1.4.1)...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 30 Ноябрь, 2014 13:30 

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


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

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


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

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


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

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