Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

гдеИд- числоподзадачЗнит.д. Такойпроцесспродолжаетсядоуровняпод задач, неделимыхсточкизренияпроцессауправленияпроизводством, т.е. до достиженияуровня"примитивов" /I/. Теоремаопокрывающихсистемах/I/ поз воляетутверждать, чтосистемадействий, состоящаяизподсистем, покрывающих подзадачи, покрываетосновнуюзадачусистемыцелей. Впокрывающейсистеме каждойподзадачеЗнставитсявсоответствиеподсистемаСнсистемыС, такая, чтомножестводействийД , выполняемыхданнойподсистемой, будетрешатьза дачуЗн: Ѵд: Зн— -Дн : Дн покрываетЗн- Тогда иігЦнпокрывает U H Зн, т.е. покрывает3. Декомпозициядействий осуществляетсягомоморфнодекомпозициицелей. Приэтоммножестводействий системыпокрываетмножество целей3 тогдаитолькотогда, когданекоторое множестводействийДнкподсистемыСнк(и^Д^ = Д) покрываетмножествопод целейЗнкналюбомк-муровнедекомпозиции. Притакомподходевопросопостроениипокрытияцелейдействиямиможно решатьдлякаждойподзадачивотдельности, чтоупрощаетпроцесспрактической реализациизадачсинтезаструктурыИСКАН. Результатомвторогоэтападолжнастатьмодельструктурно-алгоритмичес койорганизациимногоуровневой, распределеннойИСКАЛ, разработаннаянабазе рекуррентноймоделипервогоэтапаивключающаяпроцедурысмешанного(формаль ногорекуррентногоиэкспертного) построенияалгоритмовуправленияпредприя тием. Натретьемэтапеформируетсякомплекссистемно-ориентированныхсредств адаптивногосинтезапрограммныхмодулейИСКАПспомощьютехнолого-экономи- ческоймоделипредприятияимоделиструктурно-алгоритмическойорганизации управления. Этапзавершаетсяразработкойпрограммнойреализациипроцедур (подсистем) ИСКАПспомощьютехнологииавтоматизированногопроектирования. Весьпроцессразработки ИСКАПнаосновеизложенногоподходаможнопре дставитькакрезультатработысистемывычислительногоэксперимента, входе которойвинтерактивномрежимезаполняютсяобщаяифункциональныебазызна нийитакимобразомпроизводитсянастройкасистемынапредметнуюобласть. ЗатемпроизводитсяисследованиемоделиИСКАПнаполноту, непротиворечивость иадекватностьмоделипредметнойобласти, содержащейсявбазезнаний, синте зируютсяалгоритмыобработкиинформацииипринятиярешений. Результатомтакоймногоэтапнойработыдолжнастатьхорошоструктуриро ванная, открытаядлярасширенияинаращиванияфункций, несложноибыстро адаптируемаякструктурнымифункциональнымизменениям, адекватнаязадачам управленияпредприятиемИСКАП. Изложенныетребованияпредполагаютреализа циюИСКАПнабазелокальнойвычислительнойсети, конфигурациякоторойопре деляетсяисходяизмощностипотоковиалгоритмовобработкиинформации, требо ванийкнадежностисистемыит.п. натретьемэтапевычислительногоэкспери мента. Оцениваязаделвданнойисмежныхобластяхнаучныхисследованийнельзя неотметить, чтонаибольшиепрактическиерезультатыдостигнутывтом, что касаетсятретьегоэтапаизложенногоподхода. Тоесть, когдапостроенамодель предметнойобластииопределеннабордействий, позволяющийполностьюипри минимальнойизбыточностиобеспечитьдостижениесформулированныхцелей(зада 21