Cтраница 3
Задача сохранения целостности базы данных настолько важна, что для ее решения всегда привлекаются дополнительные программные и языковые механизмы. Одним из таких механизмов являются языковые средства обработки аварийных ситуаций ( исключений), возникающих при исполнении тех или иных операций. Разработчики Плейна, учтя опыт предыдущих языков программирования ( в частности, Клу [160] и Ада [75]), предложили довольно развитый аппарат выявления и обработки таких ситуаций. В связи с широким распространением языка Ада, очевидно, при обсуждении этого аппарата полезно сравнить его с соответствующим аппаратом Ады. [31]
Язык ДБПЛ расширяет язык программирования Модула-2 реляционной моделью данных. Основными новыми конструкциями являются: тип отношения, селекторы отношений, процедуры-транзакции и модуль базы данных. Тип отношения позволяет представить базу данных в виде совокупности отношений. Развитый аппарат селекторов обеспечивает гибкую выборку элементов отношений, удовлетворяющих предикатам выборки. Процедуры-транзакции гарантируют модификацию элементов отношений, защищенную от воздействий параллельных программ. Модуль базы данных содержит определения тех данных ( например, отношение), которые должны постоянно храниться в базе данных и предоставляться различным программам. [32]
Система знаний представляется совокупностью таких формул. Будучи представлена в ЭВМ, она образует базу знаний. Формулы неделимы и при модификации базы знаний могут лишь добавляться и удаляться. Логические методы обеспечивают развитый аппарат вывода новых фактов на основе тех, что представлены в базе знаний явно. Это определяет интенсивное использование логических методов при создании ЭС. [33]
Они применяются как для упрощения сложных конечных выражений при больших значениях входящих в них параметров, так и при получении приближенных формул обходными путями, когда точные формулы неизвестны. Комбинаторную задачу перечислительного характера иногда удобно сформулировать как задачу отыскания характеристик распределения нек-рой случайной величины. Такая интерпретация дает возможность применять развитый аппарат теории вероятностей, а для отыскания асимптотик - предельные теоремы. [34]
Математические модели кинетики роста микроорганизмов, образования продуктов биосинтеза и утилизации субстратов отличаются от известных моделей химической кинетики. Однако, учитывая значительное число протекающих в клетках стадий биохимических ферментативных реакций, применение законов ферментативной кинетики носит в большинстве случаев формальный характер. Отличительной особенностью большинства моделей является использование в качестве основного параметра модели численности или концентрации микробной популяции. Именно большая численность микробных популяций позволяет широко применять при моделировании кинетики роста детерминистический подход, опирающийся на хорошо развитый аппарат дифференциальных уравнений. Среди них распространены работы, основанные на простой концепции рождения и гибели, что в математическом аспекте позволяет применять аппарат марковских процессов. [35]
Современная физика материалов считает объект своего исследования дискретным телом на двух уровнях: поликристаллическом и молекулярном. Однако полученные в подобных предположениях зависимости оказались настолько сложны и громоздки, что пока не получили широкого распространения в сопротивлении материалов. В этих обстоятельствах оказалась плодотворной гипотеза о сплошности материала, согласно которой тело рассматривается как некий материальный континуум или среда, непрерывно заполняющая данный объем и наделенная указанными выше экспериментально найденными физико-механическими свойствами. Практическая реализация такого подхода подтверждает его эффективность, поскольку именно на этой основе спроектированы, построены и успешно эксплуатируются все современные инженерные объекты. Одним из существеннейших преимуществ является возможность ввести в рассмотрение бесконечно малые величины ( например: длины, площади, объемы) и использовать тем самым мощный и хорошо развитый аппарат дифференциального и интегрального исчисления. [36]
Современная физика материалов считает объект своего исследования дискретным телом на двух уровнях: полнкристаллическом и молекулярном. Однако полученные в подобных предположениях зависимости оказались настолько сложны и громоздки, что пока не получили широкого распространения в сопротивлении материалов. В этих обстоятельствах оказалась плодотворной гипотеза о сплошности материала, согласно которой тело рассматривается как некий материальный континуум или среда, непрерывно заполняющая данный объем и наделенная указанными выше экспериментально найденными физико-механическими свойствами. Практическая реализация такого подхода подтверждает его эффективность, поскольку именно на этой основе спроектированы, построены и успешно эксплуатируются все современные инженерные объекты. Одним из существеннейших преимуществ является возможность ввести в рассмотрение бесконечно малые величины ( например: длины, площади, объемы) и использовать тем самым мощный и хорошо развитый аппарат дифференциального и интегрального исчисления. [37]
Оказалось, что такая правильная по преимуществу мера количества информации существует и позволяет решить до конца широкий класс задач... Хотя это высказывание относилось к шенноновской теории передачи информации, оно едва ли не в большей степени применимо к колмогоровскому понятию энтропии динамической системы, появившемуся годом позже. В самом деле, в начале 30 - х годов в фундаментальных работах Купмана и фон Неймана были построены основы спектральной теории динамических систем и определены спектральные инварианты - объекты весьма тонкие, неустойчивые, сложно вычисляемые. После 25 лет успешного развития спектральной теории было трудно предположить, что появится грубый числовой инвариант, позволяющий столь радикально переустроить всю теорию. Именно таким инвариантом оказалась энтропия. Аровым - см. работу А. Н. Колмогорова [69]), однако для проведения ее в жизнь требовался развитый аппарат, который им не был известен и который фактически был использован Колмогоровым. Речь идет о теории измеримых разбиений, разработанной В. А.Рохлиным в 40 - х годах. Дело в том, что основным инструментом энтропийной теории является условная энтропия относительно некоторого разбиения, а также последовательности измеримых разбиений; на этом понятии в значительной степени основан технический аппарат и вычисления энтропии. Вообще, как неоднократно подчеркивалось, понятие условной энтропии, или количества информации в одном объекте о другом, важнее, чем понятия безусловной энтропии и информации. Поэтому использование аппарата условных мер здесь неизбежно. [38]