OberonCore
https://forum.oberoncore.ru/

Информатика научная и популярная :)
https://forum.oberoncore.ru/viewtopic.php?f=75&t=2380
Страница 6 из 6

Автор:  Владислав Жаринов [ Среда, 11 Июнь, 2014 05:41 ]
Заголовок сообщения:  Реализация распределённых программ аппаратно

Вот из книги:
Вложение:
то, что упоминалось здесь. Наверное, более ранняя работа о том же, но не читал.

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

Автор:  Владислав Жаринов [ Суббота, 19 Июль, 2014 14:42 ]
Заголовок сообщения:  Кое-что по императивным исполнителям

Вот из этой книги кое-что показалось интересным:
Вложение:

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

Автор:  Владислав Жаринов [ Среда, 23 Июль, 2014 14:26 ]
Заголовок сообщения:  Математика для информатиков

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

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

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

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

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

Автор:  ignat99 [ Среда, 23 Июль, 2014 14:45 ]
Заголовок сообщения:  Re: Информатика научная и популярная :)

https://ru.wikipedia.org/wiki/%D0%94%D0 ... 0%BA%D0%B0

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

Автор:  Владислав Жаринов [ Четверг, 24 Июль, 2014 08:04 ]
Заголовок сообщения:  Re: Информатика научная и популярная :)

Спасибо. Интересно, хотя так сразу не вникнешь. Похоже, может использоваться для конкретизации алгоритмики Зверева.

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

Автор:  Владислав Жаринов [ Воскресенье, 30 Ноябрь, 2014 13:30 ]
Заголовок сообщения:  Почти по предисловию к АиСД-Оберон :)

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

Страница 6 из 6 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/