Об одном подходе к верификации критериальных правил выбора проектных решений
Розглядаються верифiкацiйнi можливостi задачного пiдходу до вибору проектних рiшень вiдносно критерiального пiдходу. The verification possibilities of a problem approach to the choice of design decisions relative to the criteria approach are considered. This research increases the adequacy of releva...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2009
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/17280 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Об одном подходе к верификации критериальных правил выбора проектных решений / И.Г. Мороз-Подворчан // Доп. НАН України. — 2009. — № 8. — С. 42-45. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859657299390365696 |
|---|---|
| author | Мороз-Подворчан, И.Г. |
| author_facet | Мороз-Подворчан, И.Г. |
| citation_txt | Об одном подходе к верификации критериальных правил выбора проектных решений / И.Г. Мороз-Подворчан // Доп. НАН України. — 2009. — № 8. — С. 42-45. — Бібліогр.: 10 назв. — рос. |
| collection | DSpace DC |
| description | Розглядаються верифiкацiйнi можливостi задачного пiдходу до вибору проектних рiшень вiдносно критерiального пiдходу.
The verification possibilities of a problem approach to the choice of design decisions relative to the criteria approach are considered. This research increases the adequacy of relevant ideas.
|
| first_indexed | 2025-11-30T09:18:38Z |
| format | Article |
| fulltext |
УДК 519.8.3
© 2009
И.Г. Мороз-Подворчан
Об одном подходе к верификации критериальных
правил выбора проектных решений
(Представлено академиком НАН Украины В.И. Скурихиным)
Розглядаються верифiкацiйнi можливостi задачного пiдходу до вибору проектних рi-
шень вiдносно критерiального пiдходу.
Под проектированием (ряд релевантных вопросов рассмотрен, в частности, в [1–6]) пони-
мается разработка по осуществлению некоторого креативного замысла (проекта) в соответ-
ствии с принимаемым целенесущим правилом, которое ориентирует данное проектирование.
Результатом проектирования (если это оказывается конкретно возможным) служит проект-
ное решение (множество проектных решений) R, выбираемое по требованиям W указанного
правила из множества G рассматриваемых вариантов V , которые описываются совокупно-
стями своих значащих характеристик θ
WG(V (θ)) → R; G ⊇ R.
Необходимость продуктивного выбора проектных решений, особенно в высокоответ-
ственных областях (оборона, экология, экономика, энергетика и т. п.), где цена ошибок
в ориентации проектирования — в установлении реализуемой цели — может быть нед-
опустимо большой и актуализирует поиск не только новых правил выбора, но и способов
проверки состоятельности имеющихся правил.
В этом плане рассмотрим свойства широко распространенных (в том числе по причине
удобства математического оперирования) критериальных правил выбора Ek, отмечая то,
что может привести к необходимости указанной верификации. В качестве контекстно пред-
ставительного примера используем один критериальный функционал K, ассоциируемый
с понятием “многокритериальной оптимизации”.
K : maxQ; Q =
∑
m
αiAi −
∑
n
βjBj ; Ai ∈ A; Bj ∈ B; A,B ∈ θ;
∑
m
αi+
∑
n
βj = 1; i = 1, 2, . . . ,m; j = 1, 2, . . . , n; m,n = 1, 2, . . . ,
где αi = αi(A1,m, B1,n); βj = βj(A1,m, B1,n).
Его суть структурно состоит в установлении некоторого целевого показателя, некото-
рой интегральной характеристики объекта проектирования Q, комбинационно зависящей
от других характеристик θ, а функционально — в определении того варианта проекта R из
множества G (оптимального решения в смысле данного критерия K), на котором достига-
ется максимальное значение Q. При этом Q возрастает с ростом значений “положительных
характеристик” A (“приобретений”, например прибыль и скорость ее получения в экономи-
ке [7]) и убывает с ростом значений “отрицательных характеристик” B (“потерь”, например
начальных затрат и затрат на уменьшение рисков в той же экономике).
42 ISSN 1025-6415 Reports of the National Academy of Sciences of Ukraine, 2009, №8
Основная гипотеза критериального подхода заключается в утверждении о достаточно-
сти его инструментальных возможностей для правильного выбора проектных решений,
имея в виду достаточную выразительность такой формы и достаточную информативность
данных, наполняющих эту форму, для установления цели выбора, адекватной данной си-
туации. При этом неявно предполагается, что для любой ситуации есть потенциальная воз-
можность построить соответствующий критериальный функционал и что для эффективно-
го оперирования таким правилом выбора достаточно пользоваться некоторой ограниченной
информацией в объеме, меньшем, чем вся релевантная информация о ситуации.
Последнее означает, что при установлении целевого показателя, участвующих характе-
ристик и коэффициентов соотносительной значимости характеристик в условиях, когда не
учитывается специфическая информация о данной конкретной ситуации и когда произволь-
но руководствуются “общими соображениями”, т. е. когда возможны элементы домыслива-
ния и угадывания, и поэтому, когда критерии фактически вводятся, а не выводятся, не
исключено, что оптимальные решения в смысле данных критериев (в первую очередь это
касается новых сложных ситуаций) могут оказаться существенно неадекватными. Выде-
ляющейся причиной возможной неадекватности служит свойство критериальных правил
выбора всегда (за исключением случаев с ограничениями на значения участвующих со-
ставляющих) для любого непустого множества рассматриваемых вариантов находить не-
нулевые решения.
В целом здесь — при условии корректного формального оперирования критериальными
правилами — к получаемым результатам применимо высказывание Е.С. Вентцель [3]: “пра-
вильное решение произвольно поставленной задачи”.
В принципиальное отличие от критериального подхода, основная гипотеза задачного
подхода заключается в утверждении, что для повышения правильности выбора проектных
решений (насколько об этом можно судить на уровне имеющихся знаний и принятых по-
ложений) необходимо пользоваться всей релевантной информацией, порождаемой данной
конкретной ситуацией. При этом содержание ситуации рассматривается как условия задачи
проектирования, решением которой (если это оказывается конкретно возможным) является
проектное решение. Эти условия формулируются в виде области D [1, 2, 8], в которой по
определению и по сути содержатся все значимые исходные требования к свойствам (хара-
ктеристикам) искомого проекта. Содержательно D имеет смысл “области допустимых зна-
чений параметров данной задачи”, а структурно имеет вид множества векторов требований
к характеристикам θ, упорядоченного по предпочтению и эквивалентности [9]. В простых
ситуациях положительные и отрицательные результаты проектирования интерпретируются
соответственно “попаданием” и “непопаданием” в эту область непосредственно, а в сложных
(когда, например, проектируются объекты системной природы — многосвязные, многосту-
пенчатые и т. д.) — проектирование превращается в многоэтапную формально-творческую
процедуру, которая в нетривиальных случаях приобретает черты научно-исследовательско-
го процесса, возможно, с определяющей ролью “человеческого фактора” и ядром которой
служат этапно-фазовые преобразования начально задаваемой области D [10].
Простейший типовой пример области D, определенной в пространстве параметров зада-
чи P1 и P2 — начальных требований к двум положительным характеристикам проектного
решения, подробно рассмотрен в работе [8]. (Необходимо пояснить, что исторически сложи-
лось так, что задачный подход к обоснованию выбора проектных решений разрабатывался
применительно к актуальному на то время направлению создания автоматизированных сис-
тем особого назначения, в частности на уровне специализированных ЭВМ [10], а затем его
ISSN 1025-6415 Доповiдi Нацiональної академiї наук України, 2009, №8 43
базовые методические положения были естественным образом распространены на предра-
сположенные системные объекты широкой природы.)
Характер оперирования целевыми требованиями в рамках задачного подхода, в прин-
ципе отличный от подобного оперирования в рамках критериального подхода, отчетли-
во проявляется на этапах общей процедуры направленного перехода от представлений об
исходной ситуации, в которой проводится выбор проекта, к представлениям об искомых
свойствах этого проекта. Совокупность действующих положений (что служит контекстным
уточнением [8]) следующая.
1. Множество характеристик объекта проектирования
θ = {θg}; g = 1, 2, . . . ,m+ n.
2. Множество значений характеристик
θg = θg1
, θg2
, . . . .
3. Множество вариантов объекта
G = {Vz(θz,g)}; θz,g ∈ {θg}; z = 1, 2, . . . .
4. Вектор значений характеристик
θz,g = (θz,1, θz,2, . . . , θz,m+n).
5. Множество требований к характеристикам
{Wd(θ)} ↔ I; [{Wd(θ)}{Vz(θz,g)}] → RI,G; d = 1, 2, . . . , U.
6. Вектор требований к значениям характеристик
W d,g(θz,g) = (wd,1(θz,1), wd,2(θz,2), . . . , wd,m+n(θz,m+n)).
7. Два вида характеристик и требования к ним
A,B ∈ θ; A = {Ai}m; B = {Bj}n; i+ j = g;
Az,i = (az,1, az,2, . . . , az,m); Bz,j = (bz,1, bz,2, . . . , bz,n);
Wd1
(A),Wd2
(B) ∈W (θ); d1 = d2 = d;
W d1,i(Az,i) = (wd1,1(az,1), wd1,2(az,2), . . . , wd1,m(az,m));
W d2,j(Bz,j) = (wd2,1(bz,1), wd2,2(bz,2), . . . , wd2,n(bz,n)).
8. Сопоставление векторов требований и характеристик
ϕd1,ai
= az,i − wd1,i(az,i); ψd2,bj
= bz,j − wd2,j(bz,j);
(ϕd1,ai
> 0) ∨ (ϕd1,ai
< 0); (ψd2,bj
6 0) ∨ (ψd2,bj
> 0);
az,i, bz,j, wd1,i(az,i), wd2,j(bz,j) > 0.
44 ISSN 1025-6415 Reports of the National Academy of Sciences of Ukraine, 2009, №8
9. Условия положительных и отрицательных проектных решений
∃Vz ∈ GA,B , [(ϕd1,ai
> 0) ∧ (ψd2,bj
6 0)] → RI,G 6= ∅;
∀Vz ∈ GA,B , [(ϕd1,ai
< 0) ∨ (ψd2,bj
> 0)] → RI,G = ∅.
Рассмотренная феноменология критериальных функционалов K делает их построение
искусством, и установление и реализация таким путем в проектах цели выбора обусловли-
ваются качеством влияющего человеческого фактора. Построение целенесущей области D
и реализация ее требований также являются искусством со своими элементами домыслива-
ния, однако искусством сравнительно более высокого уровня, базирующегося на большем
объеме более глубоких знаний о ситуации, порождающей данный выбор, и на профессио-
нальном умении оперировать специализированной релевантной информацией.
Приведенное сопоставление (служащее кратким изложением соответствующего аспекта
ряда перечисленных выше работ) показывает, что более сложный в исполнении, “не все-
гда результативный” и обладающий недостатками в плане формализации задачный подход
по существу рассматриваемого вопроса предпочтительнее ясного, “всегда результативного”
и лучше формализуемого, но не всегда адекватного конкретным ситуациям критериально-
го подхода. По этой причине именно задачный подход следует расценивать как верифи-
кационное средство критериального подхода к выбору проектных решений, как средство
тестирования на правильность результатов применения критериального подхода.
1. Мороз-Подворчан И.Г. К вопросу об оптимальном выборе // Кибернетика. – 1988. – № 5. – С. 78–82.
2. Мороз-Подворчан И. Г. Об обосновании выбора ЭВМ // Там же. – 1983. – № 5. – С. 6–9.
3. Исследование операций. Методологические аспекты / Под ред. А.А. Ляпунова. – Москва: Наука,
1972. – 136 с.
4. Вентцель Е. С. Исследование операций. Задачи. Принципы. Методология. – Москва: Наука, 1980. –
208 с.
5. Моисеев Н.Н. Математические задачи системного анализа. – Москва: Наука, 1981. – 488 с.
6. Мороз-Подворчан И. Г. О применении критериев выбора ЭВМ // Кибернетика. – 1983. – № 4. – С. 66–
68.
7. Мэнкью Г. Макроэкономика. – Москва: Изд-во Моск. ун-та, 1994. – 756 с.
8. Мороз-Подворчан И. Г. О начальном этапе обоснованного проектирования ЭВМ в рамках задачного
подхода // Кибернетика и систем. анализ. – 2000. – № 2. – С. 174–179.
9. Мороз-Подворчан И. Г. Об одном порядке на множестве проектных требований к характеристикам
специализированных ЭВМ // Доп. НАН України. – 2001. – № 9. – С. 93–95.
10. Мороз-Подворчан I. Г. Проблема обгрунтування вибору характеристик ЕОМ реального часу для
розв’язання задач керування та обробки даних: Автореф. дис. . . . д-ра техн. наук; 05.13.13. – Київ:
IК НАН України, 2006. – 32 с.
Поступило в редакцию 05.02.2009Институт кибернетики им. В.М. Глушкова
НАН Украины, Киев
I.G. Moroz-Podvorchan
On an approach to the verification of criteria rules in the choice of
design decisions
The verification possibilities of a problem approach to the choice of design decisions relative to the
criteria approach are considered. This research increases the adequacy of relevant ideas.
ISSN 1025-6415 Доповiдi Нацiональної академiї наук України, 2009, №8 45
|
| id | nasplib_isofts_kiev_ua-123456789-17280 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-11-30T09:18:38Z |
| publishDate | 2009 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Мороз-Подворчан, И.Г. 2011-02-24T20:48:01Z 2011-02-24T20:48:01Z 2009 Об одном подходе к верификации критериальных правил выбора проектных решений / И.Г. Мороз-Подворчан // Доп. НАН України. — 2009. — № 8. — С. 42-45. — Бібліогр.: 10 назв. — рос. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/17280 519.8.3 Розглядаються верифiкацiйнi можливостi задачного пiдходу до вибору проектних рiшень вiдносно критерiального пiдходу. The verification possibilities of a problem approach to the choice of design decisions relative to the criteria approach are considered. This research increases the adequacy of relevant ideas. ru Видавничий дім "Академперіодика" НАН України Інформатика та кібернетика Об одном подходе к верификации критериальных правил выбора проектных решений On an approach to the verification of criteria rules in the choice of design decisions Article published earlier |
| spellingShingle | Об одном подходе к верификации критериальных правил выбора проектных решений Мороз-Подворчан, И.Г. Інформатика та кібернетика |
| title | Об одном подходе к верификации критериальных правил выбора проектных решений |
| title_alt | On an approach to the verification of criteria rules in the choice of design decisions |
| title_full | Об одном подходе к верификации критериальных правил выбора проектных решений |
| title_fullStr | Об одном подходе к верификации критериальных правил выбора проектных решений |
| title_full_unstemmed | Об одном подходе к верификации критериальных правил выбора проектных решений |
| title_short | Об одном подходе к верификации критериальных правил выбора проектных решений |
| title_sort | об одном подходе к верификации критериальных правил выбора проектных решений |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/17280 |
| work_keys_str_mv | AT morozpodvorčanig obodnompodhodekverifikaciikriterialʹnyhpravilvyboraproektnyhrešenii AT morozpodvorčanig onanapproachtotheverificationofcriteriarulesinthechoiceofdesigndecisions |