Cтраница 3
Первоначально группа попыталась реализовать прослеживание назад полностью в правилах EMYCIN, однако это оказалось столь неудобно, что исследователям пришлось перепроектировать свою модель и сделать так, что одно правило активирует специальную Лисп-функцию, которая и осуществляет поиск. Новый подход потребовал умения программировать на языке ЛИСП, но интуитивно он более соответствовал постановке задачи и явно оказался более эффективным, чем первоначальная версия. [31]
Этот метод отличается от использованного здесь тем, что каждому дескриптору сравниваемых соединений придается - весовой коэффициент тем больше, чем выше значимость этого дескриптора для какой-либо биологической активности. Однако в данной работе нельзя было воспользоваться этим методом вычисления сходства, так как при кодировании соединений использована новая версия языка ФКСП, а банк данных составлен в первоначальной версии. [32]
Как показано на диаграмме рис. 1.12, наибольшие затраты в цикле жизни ПО приходятся именно на этап сопровождения. Эти затраты для ПО САПР складываются в основном из затрат: 1) на устранение ошибок, не выявленных на этапе тестирования; 2) на внесение изменений в первоначальную версию ПО, вызнанных взаимным недопониманием заказчика и разработчика ПО ( в лице системных аналитиков) на первых двух этапах создания ПО, что привело к разработке не тех спецификаций; 3) на адаптацию ПО к быстроизменяющимся требованиям к САПР. [33]
Может представлять собой вариант статуса. Например, программа, функционирующая во второй версии, могла быть подвергнута изменениям дважды. При необходимости первоначальная версия восстанавливается. [34]
К выпуску первоначальной версии изделия приходится прибегать из-за крупных задержек в его разработке, которые нарушают договорные сроки поставки изделия пользователям. Требование потребителя иметь работоспособное программное изделие увеличивает степень риска; вместо проведения испытаний изделия в тщательно контролируемых условиях потребитель настаивает на немедленном запуске его в эксплуатацию. Решение выпустить первоначальную версию изделия принимается группой поддержки только в том случае, если выпуск этой версии принесет меньше потерь, чем отказ от выпуска. [35]
Модель Джейнса-Каммингса - Пауля, введенная в предыдущем разделе, является самой простой моделью взаимодействия атома с квантованным полем: она рассматривает только один двухуровневый атом и единственную моду поля излучения. В данной главе, однако, мы пока пренебрегаем движением атома: это первоначальная версия модели Джейнса-Каммингса - Пауля. [36]
Раби Балига ( Rabi Baliga) преподавал вместе со мной те пятидневные курсы, в которых была впервые представлена программа CONDUCT. Род Шмидт ( Rod Schmidt) и Канчан Келкар ( Kanchan Kelkar) провели бесконечные часы, набирая первоначальную версию этой книги летом 1987 г. Последний период ( три-четыре недели) перед тем, как книга была передана в печать, они были особенно загружены работой. У меня нет слов, чтобы выразить свою признательность Каилаш Кар-ки ( Kailash Karki), Прабху Сатьямурти ( Prabhu Sathyamurthy) и Джону Чаи ( John Chai) за их преданный и неустанный труд в этот период по набору, корректуре, редактированию, созданию рисунков, а также за все их многочисленные и полезные предложения. [37]
В этом разделе мы немного отвлечемся от общего плана изложения и покажем, каким образом диапазон возможных модификаций зависит от количества информации, доступного в данной базе данных или в системе, поддерживающей ее. При этом надо иметь в виду, что даже в том случае, когда в распоряжении имеется много информации, может оказаться неразумным обращаться к ней каждый раз. Если запрос вычисляется только один раз, то непродуктивно тратить на его оптимизацию больше времени, чем на вычисление первоначальной версии. Если же можно предположить, что запрос будет встречаться много раз, то большое количество времени, потраченное на оптимизацию запроса, может окупаться за время жизни запроса. [38]
Одно из наиболее известных и устойчивых положений корпоративных финансов, теорема Миллера-Модильяни, утверждает, что ценность фирмы не зависит от структуры капитала. Другими словами, изменение сочетания элементов финансирования не должно оказывать никакого влияния на ценность фирмы. Отметим, что первоначальная версия теоремы была выведена из предположения отсутствия налогов и дефолтов. При этих допущениях долг не создает никаких налоговых преимуществ и не приводит к издержкам, связанным с банкротством, и, следовательно, не влияет на ценность. В мире с налогами и риском дефолта существует значительно более высокая вероятность того, что придется делать компромиссные выборы, и долг может приводить к увеличению или снижению ценности, а также к ее удерживанию на постоянном уровне - в зависимости от того, какой вид принимают эти компромиссы. [39]
Можно воспользоваться другим подходом, который в отношении вопроса правильности программ является не аналитическим, а синтетическим. Шаги программы, согласно этому подходу, выводятся логически из спецификации. Тем самым будет гарантирована их логическая правильность, несмотря на то что всякий выбор между альтернативными шагами в выводе будет определяться исходя из рассмотрения поведения программы в период ее исполнения. Приоритет здесь отдается получению первоначальной версии программы, которая с необходимостью дает правильные решения, в то время как усовершенствования, касающиеся эффективности, могут быть сделаны потом с помощью сохраняющих правильность преобразований. Спецификация играет теперь активную, определяющую роль на протяжении всего процесса создания программы. Она вынуждает каждый вновь создаваемый шаг выполнять некоторое логически необходимое требование, и, таким образом, общая цель постоянно находится в центре внимания программиста. В современной методологии программирования отдается предпочтение именно этому подходу, требующему поддержания логической целостности программы с самого начала ее разработки. [40]
Вполне возможно, что отскок произойдет не строго от этого уровня, а сначала случится кратковременный пробой Р, после чего цена развернется. Пробой и последующий возврат может быть связан, например, с тем, что рынок был сильным и мог бы вообще уйти вниз, но наткнулся на дополнительный уровень, который вы не заметили, или вообще на новую зону, лежащую ниже. А может быть, вы просто неточно определили уровень и реально он лежит ниже вашей первоначальной версии. Но какова бы ни была причина, чудесно, если разворот цены все же произошел. [41]
В этой глав рассмотрена конкретная функциональная система обозначении, называемая ламбда-исчислением. Она была введена логиком Алонзо Черчем в 30 - х годах XX в. Ламбда-исчисление рассматривает в основном применение функций и вычисление ламбда-выражений с помощью подстановки. Классические работы в этой области: [74], где описана первоначальная версия Лиспа, и [65, 67], где описан метод реализации интерпретатора общего типа для ламбда-выражений. [42]
В области высокого быстродействия скоростные ТТЛ-схемы ( серии 74Н) позволили увеличить скорость почти вдвое, правда, за удвоенную мощность. Другое семейство - эмиттерно-связанная логика ( ЭСЛ) - представило настоящую скорость ( 30 МГц в первоначальной версии) за счет использования отрицательного источника питания и более близких друг к другу логических уровней ( - 0 98 и - 1 75 В); элементы семейства потребляли уйму мощности и едва втиснулись в малый уровень интеграции. [43]
Языков высокого уровня в настоящее время существует множество. Это и язык Кобол ( Common Business Oriental Language - общий ориентированный на бизнес язык), широко применяющийся в деловом мире и для экономических расчетов; это и Фортран Formula Translatar - переводчик формул), предназначенный для научных расчетов. Эти и многие другие языки имеют свои области применения и были разработаны для так называемых больших ЭВМ. Сейчас, правда, грани между большими ЭВМ и многими профессиональными персональными компьютерами все больше стираются. Однако существует несколько версий этого языка вследствие того, что многие электронные фирмы модифицировали язык для своих компьютеров, либо разрабатывали целиком собственную его версию, а некоторые поставщики программного обеспечения считали, что они могут упростить или как-нибудь еще усовершенствовать первоначальную версию языка. Поэтому, хотя все версии Бейсика очень похожи, они не полностью совместимы одна с другой. [44]
Даже компьютер никак не мог узнать, из какого источника поступает информация. Мгновенные балансы счетов можно было получить из аппарата с 7 до 23 часов ежедневно, кроме воскресенья и праздников. Возможности и меню операций были сопоставимы с автоматизированными операциями других банков. Старые Инстабанк-724 были первоначальной версией банкоматов, и их возможности были ограничены. [45]