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

Портал аспирантов (http://www.aspirantura.spb.ru/forum/index.php)

- Диссертация (http://www.aspirantura.spb.ru/forum/forumdisplay.php?f=111)

- - Формализованное описание задачи исследования (http://www.aspirantura.spb.ru/forum/showthread.php?t=6900)

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

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

http://s53.radikal.ru/i139/1103/9f/e36f2997937c.jpg

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

Цитата:

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

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

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

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

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

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

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

Цитата:

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

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

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

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

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

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

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

Цитата:

Сообщение от Elbereth (Сообщение 126844)

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

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