Cтраница 4
Перечисленные выше компоненты составляли основу целостных информационных организаций. Было показано, что определенные формы объединения вспомогательных систем рефлексов, определяющих сигналов, эталонных систем рефлексов приводили к формированию новых информационных задач, на основе которых осуществлялось формирование и функционирование вторичных алгоритмов. [46]
Общими задачами контроля и управления процессом отладки на указанных этапах являются анализ работоспособности программ и их комплексов, обнаружение ошибок, диагностика и локализация ошибок, устранение ошибок, корректировка алгоритмов, программ и соответствующей документации. При этом могут быть выделены следующие основные методы решения перечисленных выше задач: структурные методы контроля, методы отладки по частным детерминированным реализациям тестов, методы отладки по статистическим характеристикам процесса функционирования алгоритмов и программ. [47]
Уменьшение задержки в обслуживании важных заявок до необходимых значений достигается путем использования прерываний. Практически все современные управляющие ЦВМ имеют развитую систему прерывания вычислений, позволяющую реализовать простую или смешанную дисциплину обслуживания заявок с абсолютными приоритетами, а также осуществлять программное прерывание тех или иных подпрограмм или их отдельных участков в процессе функционирования алгоритмов ЦВМ. [48]
Корректность постановки задачи достигается в результате совместной работы специалистов предметной области и высокопрофессиональных программистов. Эти технологии позволяют значительно-сократить возможности внесения субъективных ошибок разработчиков и характеризуются высокой автоматизацией процесса программирования, использованием стандартных программных модулей, тестированием их совместной работы. Контроль правильности функционирования алгоритмов и программ осуществляется на каждом этапе разработки и завершается комплексным контролем, охватывающим все решаемые задачи и режимы. Основными методами контроля качества программных средств являются тестирование и отладка. [49]
Предпринята попытка формального описания процесса индуктивного обобщения, под которым понимается построение описания некоторого множества ситуаций на основе информации об отдельных элементах этого множества. Вводится понятие алгоритма индуктивного обобщения и изучаются свойства двух важнейших классов таких классифицирующих алгоритмов - согласующих и несогласующих. Доказан ряд теорем о функционировании алгоритмов в процессе индуктивного вывода некоторого конечного множества. Качество работы алгоритма оценивается при этом посредством вычисления объемной и временной сложностей выводимого множества. [50]
В общем случае нахождение л ц) ( at), удовлетворяющей выражению (4.23), является неоднозначным. Поэтому используют дополнительные допущения. В данном случае принимается, что при функционировании алгоритма управления происходит только смещение функции, ( 1) ( мх) по координате иг без ее деформации. [51]