  © В.Д. Ильин, 2008, 2009
□S-МОДЕЛЬ СИСТЕМЫ ПОНЯТИЙ (англ. S-model of Conceptual System) - это пара <память mem[sc] модели sc системы sC понятий>,<семейство rel(mem[sc]) связей, заданных на mem[sc]> (где [sc]– помета). Здесь mem[sc] и rel(mem[sc]) соответствуют совокупности понятий моделируемой системы sC и семейству связей, заданных на этой совокупности. Результат s-моделирования.□ См. TSM – комплекс средств формализации гипермедийных описаний s-моделей. S-модель любого объекта представляет собой модель некоторой системы понятий. В науке и технике особое внимание сосредоточено на s-моделях, где семейства связей rel(mem[sc]) представлены в форме разрешимых задач (задавая значения некоторого подмножества элементов памяти mem[sc], можно вычислять значения других элементов). ☼Элементарным примером системы понятий с разрешимыми задачными связями между элементами памяти является система понятий треугольник (в s-модели tr этой системы стороны a, b, c, периметр p и т.д. – элементы памяти; а связи p = a + b + c и др. – это элементы семейства связей).☼ ☼Методология конструирования разрешающих структур на задачных графах (вершины которых соответствуют элементам памяти системы понятий, а рёбра – связям между ними) стала теоретическим основанием одного из продуктивных подходов к автоматизации программирования [1,2].☼ S‑модель системы понятий относится к символьным моделям, существование которых возможно только в виде s-сообщений, для которых средой реализации служит s-среда. ☼Сообщения, хранящиеся на носителях, с которых s-машины не могут считывать и на которые не могут записывать (☼память человека или др.☼) не являются s-сообщениями.☼ ☼Читаемая Вами статья представляет собой s-сообщение, записанное автором на его s-машине с помощью программы MS Office FrontPage 2003, работающей под управлением операционной системы Windows Web Server 2008 R2. Затем в режиме онлайн с помощью редактора записей блог-сервиса wordpress.com это s-сообщение было приведено к форме, соответствующей статьям, публикуемым на сайте Энциклопедия информатики ИНФОПЕДИЯ (добавлены имена рубрики, меток записи и др.), и опубликовано на этом сайте. Кроме s-машины автора в онлайн работе над этим s-сообщением участвовало немало других s-машин, подключённых к Интернету [передававших пакеты (части, на которые s-сообщение автоматически разделялось при отправке с s-машины автора; см. S-СЕТЬ), принимавших эти пакеты, собиравших из них исходное s-сообщение, записывавших его в файл на накопителе s-машины, работающей в качестве веб-сервера блог-сервиса wordpress.com и т.д.].☼ / Тип понятий □Тип X понятий ≈ множество X понятий некоторой системы sC понятий, для которой определена s-модель. Может иметь подтипы, называемые специализациями типа X, и надтипы, называемые обобщениями типа X.□ // Специализация типа понятий □Специализация типа X понятий – это порождение подтипа X [::rule] (здесь сдвоенное двоеточие :: - символ специализации), соответствующего системе понятий с семейством связей, расширенным добавлением связи rule. Выделяет подмножество X [::rule] множества X. Специализацией называем и результат X [::rule] этого порождения (X > X [::rule]).□ ☼tr∟≈ tr[::angle=π/2]. То есть тип tr∟ понятий (прямоугольный треугольник) – специализация типа tr понятий (треугольник) путём добавления связи angle=π/2. Выделяет из множества треугольников подмножество тех, у которых величина одного из углов равна π/2 (здесь angle=π/2 используется и как имя связи).☼ /3/ Специализация типа понятий, заданная последовательностью добавляемых связей X[::(rule1)::rule2] – специализация типа X[::rule1] по связи rule2. Число специализирующих связей в последовательности не ограничено. При этом имена связей, предшествующие последнему, заключены в круглые скобки, а перед открывающей скобкой каждой пары скобок – сдвоенное двоеточие. ☼message[::(interface=h->m)::means=tauch] – специализация типа message[::interface=h->m], определяющего множество сообщений, соответствующих интерфейсу человек – s-машина, по связи means=tauch, выделяющей множество сообщений, вводимых в s-машину посредством прикосновений (☼пальцам рук к клавишам клавиатуры или сенсорному экрану☼).☼ // Обобщение типа понятий □Обобщение типа Z – это порождение его надтипа Z[#rule] путём ослабления (здесь # – символ ослабления) связи rule из семейства связей системы понятий, соответствующей типу Z. Исключение связи считаем её предельным ослаблением.□ ☼Тип выпуклые многоугольники с числом углов не более 6 можно рассматривать как обобщение типа треугольник, полученное ослаблением связи, ограничивающей число углов.☼ ☼modeling ≈ symbol modeling[#tools] – моделирование (modeling) можно рассматривать как обобщение типа символьное моделирование (symbol modeling) исключением связи tools (средства моделирования).☼ / Литература 1. В.Д. Ильин. Система порождения программ. М.: Наука, 1989, 264с. 2. А.В. Ильин. Конструирование разрешающих структур на задачных графах системы знаний о программируемых задачах. Информационные технологии и вычислительные системы, №3, 2007, с.30-36. … / Дневник статьи 28.07.2009 В.Д. Ильин. Об определении понятий. Видеосообщение, 13.07.2009 |
