Формализованное описание задачи исследования

[Elbereth]

Уважаемые участники форума!
Мне нужно составить формализованное описание задачи исследования. Есть вот такой образец:



Под этим слайдом в презентации подписано:

"Формализованное описание задачи исследования представляется следующим образом:
Найти функционально отображение предметной области в концептуальной модели на основе методологии инженерии знаний f1.
Найти отображение концептуальной модели в теоретико-множественную модель на основе методологии системного анализа f2.
Определить множество показателей качества, характеризующих систему.
Выделить подмножество из данного множества показателей существенно меньшей мощности, такое что степени влияния подмножества на систему и системы на данное подмножество эквивалентны влиянию системы на полное множество показателей.
Найти интегрированный показатель качества к, учитывающий влияние подмножества Е со звездочкой на систему."

Первый раз такое вижу. Кто-нибудь с этим сталкивался? Подскажите книжку какую-нибудь...

Что написано на этой картинке - в целом понятно. Но где бы посмотреть, так сказать, на синтаксис этого языка?

[phys2010]

Сообщение от Elbereth

Что написано на этой картинке - в целом понятно. Но где бы посмотреть, так сказать, на синтаксис этого языка?

Ваше недоумение понятно. Однако вопрос нуждается в уточнении. Что вы понимаете под синтаксисом языка и о каком языке идет речь?

[Elbereth]

Какие-нибудь правила построения таких выражений, чтобы свое по аналогии написать.

[Димитриадис]

Elbereth, а что за отрасль и что за научная специальность?

[phys2010]

Здесь использован стандартный формализм математической логики. Вы пишите, что картинка вам понятна. Значит ли это, что язык матлогики вам знаком?

[kravets]

Сообщение от Димитриадис

Elbereth, а что за отрасль и что за научная специальность?

Похоже на 05.13.01 техн/физ.-мат.

[zl-day]

А вообще это обязательно? Есть требования по обязательной математической постановке задачи?

[phys2010]

Очень сомневаюсь. Больше похоже на попытку "математизацией" формы подменить содержание... В принципе, схему, подобную той, что изображена на картинке, можно привязать к любой области знаний. Весь вопрос в том, надо ли это делать...

[Elbereth]

Да, у меня специальность 05.13.01 "системный анализ", а у девушки, из чьей работы позаимствован этот слайд, - 05.13.10 "управление в социальных и экономических системах".
Делать именно так мне советует научный руководитель - предзащита через неделю.
Матлогику мы (программисты) действительно изучали. Сейчас поищу...

[phys2010]

Ну если советует... Тогда разберем картинку по пунктам:

Сообщение от Elbereth

Найти функционально отображение предметной области в концептуальной модели на основе методологии инженерии знаний f1.

Выделяете вашу частную предметную область (КМ) в предметной области вашей специальности (ПрО). Отображение задается отображением f1: ПрО на КМ.

Сообщение от Elbereth

Найти отображение концептуальной модели в теоретико-множественную модель на основе методологии системного анализа f2.

Совершенно бессодержательное предложение. Очевидно вам надо построить некое взаимно-однозначное отображение f2 множества КМ на множество S, которое далее называется системой. Поскольку множества КМ и S изоморфны, ничего нового это не дает...

Сообщение от Elbereth

Определить множество показателей качества, характеризующих систему.

Теперь вам надо определить множество характеристик системы S, определив отображение этого множества на числовое множество E (сопоставляя каждому элементу из S число из Е).

Сообщение от Elbereth

Выделить подмножество из данного множества показателей существенно меньшей мощности, такое что степени влияния подмножества на систему и системы на данное подмножество эквивалентны влиянию системы на полное множество показателей.

Сообщение от Elbereth

Найти интегрированный показатель качества к, учитывающий влияние подмножества Е со звездочкой на систему."

Совершенно непонятен смысл отображения f3. Какая-то псевдоматематика... Вообщем, отсекаете в E "все лишнее" и получаете подмножество E* - подмножество существенных характеристик рассматриваемой системы.