Cтраница 2
На каждой итерации оценивается заполнение кровли исследуемой структуры одним слоем углеводородов заданной толщины из зоны нефтегенерации. Выходом программы на каждой итерации является цифровая сеточная модель распределения толщи накопленных углеводородов и цифровая сеточная модель распределения объемов углеводородов в каждой отдельной ловушке. [16]
Необходима надлежащая проработка вопросов обеспечения взаимодействия человека с машиной: должны быть четко определены входные параметры, форматы ввода данных, которые следует делать либо свободными, либо обеспечивающими определенную гибкость, например возможность вводить нулевые значения переменных, повторяющиеся значения или осуществлять серию последовательных прогонов при незначительных изменениях исходных данных. Описание выходов программ и базы данных должно быть ясным и легко интерпретируемым, позволяющим гибко определять формат и содержание результирующей информации. [17]
На вход блока С2 подается список отобранных достоверных, четверок, упорядоченных по величине достоверности. На выходе программы получаются варианты топологии дерева. [18]
Разумеется, это удавалось далеко не всегда, и у программистов было два злейших врага - сброс компьютера и зависание программ. Со сбросом все понятно - это выход программы из строя в результате какой-то ошибки. [19]
Произвольные контрольные примеры часто позволяют выявить непредвиденные случаи. В частности, они весьма хороши для проверки правильности результатов, получаемых на выходе программ контроля. [20]
Обход - это удар далеко в тыл конкуренту, то есть предложение такого товара ( услуги), который заставляет конкурента пересмотреть структуру и важность своих технологических и иных компетенций и нести особые потери. Возвращаясь к примеру компьютерных войн, выход браузера Нетскейп не только заставил фирму Майкрософт создать аналогичную программу ( до выхода программы Майкрософт Эксплорер 5 - й версии это ей не удавалось), но и пересмотреть дизайн своего основного продукта - Майкрософт Офис, упростив его интеграцию со стандартами сети Интернет. [21]
Оказывается, что элементарная программа, в частности элементарная программа языка PDL, является идеальной программной единицей для абстракции. Хотя элементарные программы языка PDL могут содержать последовательность, разветвление и цикл, их действия по отношению к результатам выполнен-ия программы являются внутренними и могут отображаться изменением данных на выходе программы. Абстракция описывает только действия над данными н не более того. [22]
Интерпретатор для всех приложений представляет завершенную и неизменную программу, не требующую каких-либо модификаций в каждом конкретном случае. Поскольку каждое описание обрабатывается одной и той же программой, пользователь в случае неудачи в одном приложении может использовать примеры уже действующих приложений. Ошибки в описаниях не приводят к выходу программы из строя, но дают неверные выходные результаты. Такие ошибки легко локализируются и исправляются. Использование для всех приложений одной программы имеет существенное значение и для подразделений эксплуатации: небольшой объем описаний облегчает службам сопровождения баз данных ведение библиотек описаний, а их наглядное представление позволяет выполнять работы неспециалистам в области програм мирования. [23]
Для проверки связей по информации необходимо иметь наименования переменных, вырабатываемых и используемых программами. Непосредственная проверка сопряжения двух программ может быть не полной, так как часть входной информации может подготавливаться другими программами. С другой стороны, вся информация на выходе сопрягаемой программы не обязательно используется той, которой в данном случае передается управление. Контроль сопряжения позволяет выявить состав и область изменения переменных, но которым связаны проверяемые программы. [24]
Возвращаясь к первоначальной задаче, отметим, что, как иллюстрирует рис. 4.4, магазинный стек можно также использовать для преобразования инфиксного арифметического выражения с круглыми скобками в постфиксную форму. При выполнении этого преобразования знаки операций заносятся в стек, а сами операнды просто передаются в выходной поток программы. Правая скобка показывает, что два последних числа на выходе программы являются аргументами операции, знак которой занесен в стек последним. [25]
Устранив потребность в командах READ, JUMP, JGTZ и JZERO, мы остаемся с командами LOAD, STORE, WRITE, HALT и арифметическими операциями из системы команд РАМ. Нам не нужна команда HALT, ибо на остановку указывает конец программы. Можно обойтись и без WRITE, назначив в качестве выходных переменных определенные символические адреса; выходом программы будет значение, принимаемое этими переменными к окончанию работы программы. [26]
С входной и выходной точками ассоциируются входное и выходное условия. Выполнимость всех условий правильности гарантирует частичную правильность программы. Один из способов доказательства завершения работы программы состоит во введении в программу дополнительных счетчиков и установлении ограниченности этих счетчиков на выходе программы в процессе доказательства частичной правильности. [27]
Иногда во время разработки компилятора ( или другой большой программы) желательно контролировать ход выполнения программы на уровне отдельных машинных команд. Такой контроль полезен в случае, когда надо определить причину неожиданных передач управления внутри программы. Например, если программа прерывается в результате попытки выполнить некоманду в своей области данных, то довольно часто невозможно определить по выходу программы или по разгрузке памяти как было потеряно управление. Для гого чтобы можно было успешно следить за возникновением неожиданных передач управления, следует начинать контрольное выполнение программы е последней известной точки, в которой программа функционировала правильно. [28]
Окончательно сформированные режиссерами АПБ программы поступают в АЦ, на коммутаторы программ. Коммутаторы программ представляют собой упрощенный вариант релейного коммутатора и имеют 10 входных и 10 выходных шин. Два коммутатора программ резервируют друг друга, и переключения в них происходят одновременно. Набором входных сигналов на выходные шины управляет диспетчер, ответственный за выход программ в эфир. [29]
Ситуация в этой области напоминает положение, существовавшее в неорганической химии до открытия периодической системы элементов. Правда, обнадеживающий подход к решению проблемы уже существует. Разрабатываются программы для ЭВМ, которые при создании лекарственных средств позволяют предсказать, какие из новых структур могут быть особенно действенными. На выходе программы печатаются формулы, и наиболее подходящие формы могут быть сразу обнаружены. [30]