Построенная программа - Большая Энциклопедия Нефти и Газа, статья, страница 2
Умный мужчина старается не давать женщине поводов для обид, но умной женщине, для того чтобы обидеться, поводы и не нужны. Законы Мерфи (еще...)

Построенная программа

Cтраница 2


Для программ, состоящих из нескольких фаз, для удобства работы СУПЕРВИЗОРА ДОС / ЕС желательно, чтобы первые четыре символа имен фаз, входящих в такие программы, совпадали. Если это требование не выполнено, то построенная программа работать будет, но процесс вызова некоторых ее фаз займет больше времени.  [16]

Аналоговые мультиплексоры AM, связывающие выход ЦАП с микроЭВМ или МПК, мультиплексоры МК и блок БК, являются элементами диагностики и контроля исправности устройства ЭЧСР-М. Программное обеспечение ЭЧСР-М представляет собой организованные в определенную структуру иерархически построенные программы различного функционального назначения. Используется библиотека стандартных программ. Указанная структура программ обеспечивает циклическое функционирование ЭЧСР-М с обновлением управляющего воздействия на выходе к ЭГП через каждые 10 мс ( половину периода промышленной частоты), а на выходе к МУТ - через 100 мс.  [17]

Возможности программы ВОЛНА при работе с кусочно-линейными алгоритмами существенно ограничены по сравнению с линейными: не допускается селекция выборки и не проводится отбор аргументов зависимости. Работа программы состоит в выборе оптимального уровня таксонной структуры, построенной программой ТАКСОН ( тем самым - оптимального числа таксонов), и построении соответствующего линейного приближения в каждом таксоне этого уровня. Ограниченные возможности программы ВОЛНА связаны прежде всего с большим временем счета. Исследователь, желающий все же осуществить отбор входных параметров, может провести несколько экспериментов с кусочно-линейными алгоритмами, используя различные маски признаков.  [18]

Указанные теоретические препятствия не должны, конечно, удерживать нас от попыток построить автоматические и полуавтоматические средства верификации логических программ, поскольку для подавляющего большинства практически действующих программ вполне возможно доказать их правильность ( или неправильность) с помощью систематических и эффективных аналитических методов. Помимо этого, важно также осознавать, что приведенные здесь критерии правильности можно рассматривать как условия, управляющие синтезом необходимо правильных программ. Использование проверенных синтезирующих систем, основанных на этих критериях, позволяет эффективным образом избавиться от рассмотрения вообще всех неправильных программ, и тем самым мы в значительной степени преодолеваем ограничения разрешимости, которые потенциально оказывают влияние на логический анализ произвольно построенных программ. Более подробно вопросы синтеза программ рассматриваются в следующей главе.  [19]

После определения указываемого элемента возникает вопрос об объеме данных, передаваемых программе. Иногда утверждают, что, поскольку элемент может иметь несколько уровней предшествующей иерархии, невозможно определить, к которому уровню обращается пользователь, когда он указывает на элемент. Часто эту проблему ставят, используя в качестве примера электронную схему: если пользователь указывает на резистор, то неясно, на что он фактически хочет указать - на резистор, или на схему, в которую входит резистор, или же лишь на некоторый отрезок внутри изображения резистора. Такая ситуация ни в коем случае не должна возникать в правильно построенной программе, которая всегда должна знать уровень, интересующий данного пользователя, или же должна запросить от него этот уровень. Если возможно появление двусмысленности при выполнении операции указывания, то это свидетельствует о серьезных недостатках входного языка.  [20]

Выбор тех или иных характеристик надежности зависит от цели, для которой создается система, и от решаемых системой задач. Следующим шагом является определение значений характеристик надежности элементов и составляющих блоков аппаратуры. Далее исходные данные вводятся в УЦВМ, и с помощью разработанных алгоритмов и построенных программ обеспечивается получение полного комплекса характеристик надежности систем. При этом разработчик может не знать в деталях, как получается та или иная характеристика надежности, но должен отчетливо понимать ее физический смысл и, естественно, совершенно четко представлять себе, как работает создаваемая им аппаратура.  [21]

В предыдущем параграфе для нескольких сравнительно простых алгоритмов было показано, каким образом их можно реализовать в машинах Тьюринга; точнее, были построены соответствующие тьюринговы программы. Вообще составление алгоритма отнюдь не легкое дело; оно может потребовать глубокого анализа содержания рассматриваемых задач и большой изобретательности. Если же мы хотим представить в виде тьюринговой программы алгоритм, первоначально описанный в иных привычных терминах, то у нас появляются дополнительные трудности; они связаны с чрезвычайной простотой тьюринговых операций и с крайне ограниченным доступом машины к ее внешней памяти: на каждом такте происходит преобразование лишь в одной ячейке и возможен сдвиг лишь в соседнюю ячейку. Их можно, однако, значительно смягчить, если учесть следующее соображение, которое, впрочем, касается не только тьюрингова программирования, но и программирования для реальных вычислительных машин: при построении новых программ ( в частности, новых тьюринговых программ) удобно использовать в качестве отдельных кусков ранее построенные программы. Это возможно в тех случаях, когда рассматриваемый алгоритм является в определенном смысле сочетанием алгоритмов, ранее уже изученных и построенных.  [22]

После этого производим коррекцию полученной программы. Если одна переменная используется в k строках, то увеличиваем количество столбцов этой переменной в k раз и оставляем в каждом столбце только один элемент F. Это делается для того, чтобы нижние элементы F не влияли на работу верхних элементов среды в одном и том же столбце. После этого заменяем нулевые элементы на элементы D, а все значения переменных, подаваемых на Яд, заменяем на инверсные. В построенной программе Я & справа на выходе каждой строки получается соответствующий член ДНФ.  [23]

Разупорядочивание, если оно обнаружено, представляет собой очень сложную проблему. Трудность возникает в том случае, когда определенная молекулярная группа в элементарной ячейке может находиться в любом из двух ( или более) эквивалентных положений ( связанных между собой элементами симметрии) и действительно наблюдается в обоих ( или во всех) этих положениях в одном и том же кристалле. В некоторых элементарных ячейках группа находится в одном положении, которое отличается от положения в других элементарных ячейках. В программе расчета по методу наименьших квадратов должна учитываться возможность существования фракционных атомов; если группа находится в данном положении половину времени, то ее можно рассматривать как половину группы. Иногда случается, что атомы могут занимать более или менее непрерывный интервал между двумя крайними положениями; таким образом, электронная плотность растянута так, что удовлетворительного согласия можно достичь только при использовании специально построенной программы. Для таких разупорядоченных групп невозможно получить обычные точные параметры, например длины связей и валентные углы.  [24]



Страницы:      1    2