русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Проблема полноты моделей


Дата добавления: 2013-12-23; просмотров: 569; Нарушение авторских прав


Пример 4.

Пример 3.

Пример 2.

Связь между формальной и содержательной моделями

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

Схема входов организационной системы на рис.2. является полной: к ней нечего добавить (перечислено все, что воздействует на систему), а изъятие любого элемента лишит ее полноты.

Формальный перечень типов ресурсов состоит из энергии, материи, времени, информации (для социальных систем добавляются кадры и финансы). При анализе ресурсного обеспечения этот перечень не дает пропустить что-то важное.

К числу полных формальных моделей относится марксова схема любой деятельности человека, которая в «Капитале» применялась для анализа процесса труда (см.рис.3). В схеме выделены: субъект деятельности; объект, на который направлена деятельность; средства, используемые в процессе деятельности; окружающая среда; все возможные связи между ними.

Рис.15.3 — Общая схема деятельности

Итак, полнота формальных моделей должна быть предметом особого внимания. Поэтому одна из важных задач информационного обеспечения системного анализа и состоит в накоплении наборов полных формальных моделей. В искусственном интеллекте такие модели носят название «фреймов».

Полнота формальной модели является необходимым, но не достаточным условием для полноты декомпозиции. В конечном счете все зависит от полноты содержательной модели, которая строится по образу формальной модели, но не тождественна ей. Фрейм лишь привлекает внимание эксперта к необходимости рассмотреть, что именно в реальной системе соответствует каждому из составляющих фрейм элементов, а также решить, какие из этих элементов должны быть включены в содержательную модель. Это очень ответственный момент (ведь то, что не попадет в модель-основание, не появится в дальнейшем анализе).



Для иллюстрации вернемся к примеру 1. Фреймовая модель входов оргсистемы (см.рис.2) рекомендует, в частности, определить конкретно, что именно понимается под «существенной средой», т.е. взаимодействие с какими реальными системами не своего ведомства должно войти в основание. Судя по результату анализа, его авторы учитывали только взаимодействие морского флота с флотами других государств. Для каких-то целей этого достаточно. Но ясно также, что в других случаях может потребоваться учет взаимодействия с сухопутным транспортом, речным и воздушным флотами. Если возникнет вопрос о ресурсах, то потребуется учет связей с ведомствами, производящими топливо и энергию, продукты питания, всевозможную технику, услуги и т.д. Таким образом вопрос достаточной детализации содержательных моделей в отличие от фреймовых всегда остается открытым. Чтобы сохранить полноту и возможность расширения содержательной модели, можно рекомендовать осуществлять логическое замыкание перечня ее элементов компонентой «все остальное». Ее присутствие будет постоянно напоминать эксперту, что, возможно, он не учел что-то важное.



<== предыдущая лекция | следующая лекция ==>
Пример 1. | Простоты (все дерево должно быть максимально компактным — «вширь» и «вглубь»).


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Полезен материал? Поделись:

Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.003 сек.