Диплом: Моделирование гетерогенных систем.

Буквально на днях защитил бакалаврский диплом с темой «Моделирование гетерогенных систем». Работа вышла довольно спорной, как относительно того, о чём я там пишу, так и относительно её практического смысла. Ниже попробую кратко рассказать о том, про что она.

В работе рассматриваются вопросы описания вычислительных систем (именно ВС, так как в теории это можно отнести не только к ПО, но и к аппаратуре). Сначала делается попытка описать три основных проблемы вычислительных систем на мой взгляд: гетерогенность, сложность (некоторая субъективная оценка уровня простоты и понимаемости системы), эффективность (характеристики системы после реализации в реальном мире, к примеру время работы, энергопотребление…).
Гетерогенность – характеристика разнородности системы. К примеру, описания на СИ – гетерогенные, ибо есть как язык си, так и препроцессор. В случае с Java, вполне себе гомогенная система. Относительно реализованных систем свойства сохраняются, к примеру, программа которая будет работать с БД, в целом, является гетерогенной (по хорошему все программные системы гетерогенные, так как запускаются на аппаратуре).
После описания этих проблем описываются те варианты решений этих проблем, с которыми я знаком. Делается попытка оценить их достоинства и недостатки. Как итог рассмотрения этих проблем, описывается метод описания ориентированный на гетерогенные систем. Приводится несколько примеров таких описаний, в частности пример с системой управления температурой.
Затем происходит переход к практической части диплома. Описываются методы моделирования поведения гетерогенных систем, их достоинства и недостатки. Выбирается один из них и глава о том, что именно было реализовано и как оно работает.
В качестве языка реализации системы моделирования был выбран Smalltalk, что не только никак не повредило процессу её созданию, а только помогло. В частности, теперь это один из моих любимых языков.
В случае, если кто-нибудь возьмётся за прочтение данной работы, буду рад отзывам любого рода, кроме грамматических (судя по всему, там ещё довольно много ошибок такого рода, за что прошу прощенья).

Презентаций:

http://dl.dropbox.com/u/1619524/Diplom/Presentaion.pdf

Пояснительная записка:
http://dl.dropbox.com/u/1619524/Diplom/text.pdf

Архив репозитория с практической частью в формате Monticello:
http://dl.dropbox.com/u/1619524/Diplom/source.tar.gz

Послесловие.

Вероятно в ближайшее время займусь для этого симулятора следующими вопросами:

- реализация доменов на базе описаных систем в этой системе моделирования.

- рекурсивность таких описаний (особенно интересно, возможно ли это как-то применить, и будут ли от этого хоть какой-то смысл).

- домены с поддержкой времени.