Разработка методического аппарата эффективной эксплуатации АСУ

• Автор: Крицкая, Лидия Михайловна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2002
• Место защиты: Краснодар
• Количество страниц: 120 с. : ил

СОДЕРЖАНИЕ
Введение
1. Обоснование необходимости исследования и разработки методического аппарата по эффективной эксплуатации АСУ

1.1. Анализ состояния вопросов эксплуатации АСУ на современном этапе

1.2. Структура комбинированного способа эксплуатации и обоснование требований к методическому аппарату повышения качества эксплуатации АСУ . .
1.3. Выбор и обоснование показателя эффективности процесса эксплуатации Постановка задачи исследования.

1.4. Выводы.

2. Моделирование процессов эксплуатации АСУ в аппаратных средствах I

2.1. Разработка моделей процессов эксплуатации однообъектных АСУ.

2.2. Разработка процессов эксплуатации взаимосвязанных одноуровневых многообъектных АСУ.
2.3. Разработка моделей процессов эксплуатации взаимосвязанных многоуровневых многообъектных АСУ
2.4. Выводы.
3. Разработка методического аппарата повышения качества программных средств АСУ
3.1. Анализ основных положений оценки качества программных средств.
3.2. Постановка задачи на разработку аппарата повышения качества программных средств АСУ
3.3. Разработка и обоснование модели программы и модели ошибок
3.4. Разработка и обоснование формальнологических моделей повышения качества программных средств по структурным показателям
3.5. Разработка и обоснование процедуры автоматизации доказательства семантической правильности программ.
3.6. Оценка сложности и конечности процедур определение структурных показателей.
3.6. Выводы.
4. Оценка аппаратных и программных средств повышения эффективности эксплуатации АСУ.
4.1. Выбор целевой функции и критериев оценки эксплуатации АСУ .
4.2. Рекомендации по применению моделей эксплуатации АСУ и выбор эффективного способа организации эксплуатации АСУ. Ц
4.3.Оценка эффективности методики повышения качества эксплуатации АСУ
4.4. Выводы .
Заключение..
Список используемой литературы


В третьем разделе показано, что одна из основных частей отказов АСУ связано с ошибками в ПС АСУ, а не с отказами в аппаратной части. Рассмотрены обнаружительные методы научно - технических учреждений и выявлено, что обнаружительные методы разработки ПС не используют формальную модель всех теоретически возможных ошибок программы. В данном разделе в формализмах исчисления предикатов второго порядка получена модель программы и выведена новая модель ошибок, в соответствии с ней разработана классификация ошибок с новым классификационным признаком: получены семантические ошибки, новые структурные ошибки, влияющие на правильность программ. Показано место семантических ошибок среди известных типов ошибок. В разделе получены новые структурные показатели качества, которые в совокупности с известными влияют на все структурные ошибки программы относительно новой модели ошибок. Сформулированы и доказаны две теоремы о рекурсивной трассировке графа управления программы, что позволило оценить сложность процедур обнаружения структурных ошибок данного графа, формализованы критерии оценивания качества ПС АСУ. В четвертом разделе разработаны таблицы состояний и графические модели АСУ при различных способах эксплуатации. Даны рекомендации по применению различных способов эксплуатации на основе использования аппарата марковских случайных процессов. Разработаны имитационные модели процессов эксплуатации АСУ. Предложен подход к моделированию взаимосвязанных, многоуровневых, многообъектных процессов эксплуатации АСУ. Предложена методика по выбору способа эксплуатации АСУ на основе использования экономической эффективности. Разработан и поставлен эксперимент по оцениванию и обеспечению корректности ПС АСУ. Показано, что результаты эксперимента соответствуют теоретическим выводам третьего раздела настоящей работы. Произведена оценка эффективности методики повышения качества ПС АСУ и оценка вероятности ошибки при семантической идентификации. Полученные результаты дают основания для практического использования разработанной методики. Приведены перспективные применения семантической идентификации в области проектирования ПС и определение его безопасности. В заключении кратко приведены* результаты всех частных задач, подчеркнуты их новизна и вклад, вносимые в науку и практику. На основании этого сделан вывод об успешном решении поставленной научной задачи. Таким образом, в диссертационной работе решена важная научно-техническая задача совершенствования эффективности эксплуатации АСУ, направленная на повышение надежности, готовности и эффективности АСУ на основе разработанного методического аппарата, позволяющего эффективно осуществлять эксплуатацию АСУ комбинированным способом и по фактическому состоянию. Внедрение комбинированного способа эксплуатации АСУ требует разработки методического аппарата. В качестве оценки эффективности процесса эксплуатации впервые предложено применять показатель вероятности нахождения АСУ в работоспособном состоянии в установленной готовности или другими словами показатель надежности АСУ. Для различных эксплутационных моделей АСУ разработаны методики прогнозирования, - использующий численные методы экспоненциального сглаживания и методы регрессии. Определение расходования ресурсов АСУ может быть получено на основе применения тестовых программ без использования дополнительно встроенной в систему АСУ аппаратуры прогнозирования. На конференциях в КубГТУ. Основные результаты работы содержатся в 9 научных трудах, в том числе 3 - тезисов научно-технических конференциях, 4 - научных статей и в 2 отчетах выполнения НИР. Исследования проводились в интересах заказных НИР и реализовацы в Краснодарском Военном институте, в федеральном унитарном государственном предприятии КБ “Селена” и учебном процессе на кафедре «Информатика». Диссертационная работа выполнялась в соответствии с темой. Научную новизну работы составляет новая постановка задачи расходования ресурсов, способы и результаты ее решений. Предложено аналитическое выражение для определения коэффициента технического использования комбинированным способом.