Cтраница 1
Способность алгоритма п in программы правильно выполнять сноп фхш. [1]
Алгоритмическая надежность - способность алгоритма адекватно отражать реальные процессы управления. [2]
Вычислительная надежность - способность алгоритма правильно выполнять свои функции при различных отклонениях от правильного режима функционирования технических средств автоматизации. [3]
Результативность, т.е. способность алгоритма дать искомый результат за конечное число шагов, обеспечивается прежде всего правильной организацией циклических вычислений, обоснованным заданием точностей расчетов. Здесь нужно быть особенно внимательным и не забывать о том, что ЭВМ производит вычисления с округлением. [4]
Под этим свойством понимается способность алгоритма приводить к получению искомого результата после конечного числа выполнений его пунктов. На примере алгоритма Евклида можно видеть, что некоторые пункты алгоритма могут выполняться неоднократно. Общее число выполняемых пунктов в процессе решения задачи может существенно отличаться от их числа в записи алгоритма, и в принципе оно не ограничено. Следует отметить, что свойство результативности не абсолютно. Например, алгоритм Евклида в приведенной выше формулировке результативен для целых положительных чисел. Попытка применить его паре чисел, одно из которых равно нулю, будет безрезультатной: процесс никогда не завершится, хотя НОД в этом случае является отличное от нуля число пары. Не завершится процесс и в том случае, когда одно из чисел отрицательно. Использование алгоритма для пары 0 и 0 дает неверный результат: НОД оказывается равным нулю, тогда - как для такой тары его вообще не существует. Наконец, возможны случаи, когда выполнение алгоритма обрывается на каком-то ( пункте из-за невозможности выполнения некоторых действий. [5]
К этим свойствам следует отнести способность алгоритмов подсистемы перерабатывать информацию из области допустимых значений исходных данных и выдавать результаты заданного качестваi, способность подсистемы специального математического обеспечения успешно функционировать при заданной степени неопределенности исходной информации, прогнозируя ( экстраполируя, иммитнруя, моделируя) ход течения процесса и вырабатывая обоснованные рекомендации в процессе управления, способность отдельных частей подсистемы специального математического обеспечения выполнять свои функции с затратами времени, не превышающими заданных, а также способность подсистемы выполнять свои функции при заданной степени технической надежности ( ненадежности) средств автоматизации. Гарантируемые свойства должны обеспечивать способность каждого блока математической модели, вырабатывать решения совпадающие с эталонными. [6]
Дополнительным преимуществом от введения инерционности является способность алгоритма преодолевать мелкие локальные минимумы. [7]
В данной ситуации особое значение приобретает способность алгоритма проводить направленный вывод, не генерировать излишних дизъюнктов, а также быстро определять кандидатов на резольвиро-вание и получать соответствующую резольвенту. Подобным требованиям удовлетворяют алгоритмы дедуктивного вывода на графах связей, так как пространство поиска на каждом шаге является легко обозримым ( в графе одновременно хранится информация обо всех кандидатах на резольвирование), дизъюнкты, которые не могут результативно участвовать в процессе вывода ( дизъюнкты с чистыми литерами - литерами без связей), удаляются из графа связей вместе со всеми связями, значительно упрощая его структуру. Быстрота вывода обеспечивается однократным вычислением и постоянным хранением унификатора для каждой связи. Также достоинством процедуры вывода на графе связей является возможность адаптации существующих алгоритмов для вывода на графе связей, что позволяет комбинировать достоинства существующих алгоритмов вывода и алгоритмов вывода на графах связей. Недостатками процедуры вывода на графе связей являются необходимость пересчета графа связей на каждом шаге резольвирования с вычислением новых связей и унификаторов и необходимость хранения всего графа связей в оперативной памяти. Параллельный вывод на графах связей позволяет частично решить проблему необходимости пересчета графа на каждом шаге резольвирования, так как одновременно резольвируются несколько связей. Недостатком процедур параллельного вывода является генерация некоторого количества бесполезных, лишних дизъюнктов, что вытекает из самого принципа организации параллельного вывода, когда резольвируются все связи одновременно. [8]
Одним из важных вопросов, возникающих при исследовании алгоритмов адаптивной маршрутизации, является вопрос, связанный с устойчивостью алгоритма, определяемой как способность алгоритма не реагировать на те изменения в сети, реакция на которые может привести к резкому снижению эффективности сети. Существующие алгоритмы квазистатической маршрутизации в основном исследованы для ТС с коммутацией пакетов. Это объясняется тем, что задачу оптимизации алгоритма квазистатической маршрутизации в ТС с коммутацией пакетов при вполне допустимых упрощающих предположениях можно разбить на более простые частные задачи, и можно получить некоторые аналитические результаты относительно сходимости исследуемых алгоритмов. Сложнее данная задача решается для сетей с коммутацией каналов. В ряде работ ( например, в [5]) для сетей с коммутацией каналов предлагаются решения, аналогичные тем, что предложены для ТС с коммутацией пакетов, основанные на предположении о независимости разных направлений связи. [9]
Способность алгоритма математической модели выполнить основные функции определяется значениями параметров как множества М так и множества М3), которое определяет информационную базу. Совокупность значений параметров MW и MW определяет ( при правильности значений параметров М1) способность алгоритма математической модели переработать ин формацию. Алгоритм способен выполнять свои функции ( или одну данную функцию), если для этого имеется определенный минимум информации. [10]
Программная надежность - способность программы правильно ( безошибочно) отражать алгоритм. Информационная надежность - способность алгоритма правильно выполнять свои функции при различных ошибках в исходных данных. [11]
Способность алгоритма математической модели выполнить основные функции определяется значениями параметров как множества М так и множества М3), которое определяет информационную базу. Совокупность значений параметров MW и MW определяет ( при правильности значений параметров М1) способность алгоритма математической модели переработать ин формацию. Алгоритм способен выполнять свои функции ( или одну данную функцию), если для этого имеется определенный минимум информации. [12]
При разрешении коллизий используется предсказывающий алгоритм их предупреждения, то есть доступ к каналу упорядочивается на основе знания о предполагаемой нагрузке этого канала. Узел, желающий передавать, всегда получает доступ к каналу со случайной задержкой из некоторого диапазона. Для предотвращения снижения пропускной способности сети величина задержки представлена как функция числа незавершенных заданий ( backlog), стоящих в очереди на выполнение. Способность алгоритма, реализованного на МАС-уровне, предсказывать основана на оценке числа незавершенных заданий. Каждый узел имеет и поддерживает текущее значение backlog: ин-крементирование и декрементирование происходит по результатам отправления и приема пакетов. [13]
Рассмотренные шесть основных свойств алгоритмов специального математического обеспечения определяют содержание требования, которое авторы определили как требование реализуемости. Эти свойства должны входить в состав необходимых условий успешного внедрения алгоритма в средства автоматизации управления. Они естественно, не исчерпывают всех необходимых свойств. Эти свойства характеризуют в основном способность алгоритма правильно отражать содержание автоматизируемого процесса с учетом необходимого состава выходных параметров алгоритма и неопределенности состава значений множества аргументов. Это требование к алгоритму дополняет введенные выше общие требования к системе специального математического обеспечения. Следующее требование к алгоритму специального математического обеспечения заключается в создании условий ведения эффективного диалога между человеком и средствами автоматизации. [14]
Под реальными условиями понимаются источники, способные помешать алгоритму правильно выполнять свои функции. Такими источниками могут быть следующие. Частично вопросы правильности алгоритма рассматривались при формулировке требования реализуемости. Действительно, способность алгоритма правильно отражать физические свойства того процесса, для обеспечения управления которым он создается, имеет непосредственное отношение к надежности его функционирования. [15]