Конструктивный анализ

Cтраница 3

На конструкцию механизма подъема оказывает существенное влияние кратность полиспаста, которую выбирают по результатам конструктивного анализа схемы механизма. [31]

Здесь три лаборатории: первая - общей логики и теории доказательств, вторая - теории множеств и оснований математики, третья - конструктивной математики, конструктивного анализа и конструктивной алгебры. [32]

Эффективный метод повышения надежности - проявление внимания ко всем случаям отказов и неувязкам в конструкции, сведения о которых поступают из отчетов о разработке, конструктивного анализа, формальных программ испытаний, отчетов о неисправностях и отказах при эксплуатации и материалов исследований причин отказов. Оперативные эффективные корректировочные меры могут в значительной степени повысить надежность. [33]

В теории НА - f ЕСТ - f M ( НА - f nCT - f M -) естественно формализуются все основные результаты, полученные в рамках конструктивного анализа в стиле школы Маркова. [34]

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

Варианты соединения барабана с редуктором. [36]

На конструкцию механизма подъема и его габариты значительно влияет кратность полиспаста. Выбор полиспаста производят на основе конструктивного анализа выбранной схемы механизма. Так, в мостовых кранах, где канат непосредственно наматывается на барабан, применяют сдвоенные полиспасты, что обеспечивает строго вертикальный подъем груза. В кранах стрелового типа, где канат перед навивкой на барабан проходит через направляющие блоки стрелы и лебедки, сдвоенные полиспасты используют редко. [37]

При линейных ограничениях выбор показателя качества идентификации в виде положительно определенной квадратичной формы (6.14) вполне оправдан. Модели квадратичного стохастического программирования поддаются конструктивному анализу. Учет нелинейных ограничений вида (6.15) - - (6.17) приводит к евылуклой и несвязной области допустимых планов. В таких задачах выбор критерия качества иденти - фикации определяется главным образом содержательными соображениями. Трудности, связанные с упрощением вычислительной процедуры, отходят здесь на второй план. [38]

Соответствие между этими двумя подходами достигается в классическом анализе при помощи канторовско-го понятия континуума. Отметим, что интуиционистский анализ, конструктивный анализ и нестандартный анализ, по существу, не находят еще приложений в физике из-за отсутствия подходящих геометрических представлений, хотя в идейном отношении эти концепции близки к образу мыслей прикладной математики. Переход от поля в физическом смысле к математическому полю происходит при помощи понятия функции области - и процесса локализации. Находится плотность поля / lim ( A / 7AD) при условии, что область v стягивается в точку. Обратно, F находится как интеграл от fdv по соответствующей области. Плотность f, которая здесь возникает, может быть величиной скалярной, векторной, тензорной или иметь иную, более сложную природу. [39]

Брауэра, а затем аналог континуума в конструктивном анализе, описываемый средствами теории рекурсивных функций ( см., например, Р. Л. Гуд-стейн, 1970) или теории нормальных алгорифмов ( школа А. А. Маркова и Н. А. Шанина; конструктивный математический анализ в этом стиле изложен в книге: Б. А. Куш-нер, 1973); конструктивный континуум с позиций классической ( неинтуиционистской и неконструктивистской) математики оказывается при этом не совсем континуумом - уже потому, что он счетен. [40]

В работе [27] с этой точки зрения анализируется опыт крупных разработок программного обеспечения, причем основное внимание сосредоточивается на сравнении достоинств разнообразных методов проверки и измерения качественных характеристик людьми и автоматическими средствами. Среди этих методов следует особо отметить метод, основанный на применении определенных принципов проектирования и инспектировании программ [28], а также родственный ему метод конструктивного анализа. [41]

Эти и многие другие вопросы волновали Шаумяна. Он все яснее видел необходимость в переходе от конкретного конструктивного анализа, которым занимался до сих пор, к обобщенному структурному, к систематике схемных решений, опирающейся на признаки, наиболее специфичные для автоматов: принцип их действия и характер управления. [42]

КОНСТРУКТИВНЫЙ АНАЛИЗ, рекурсивный анализ, вычислимый анали з - название, объединяющее различные течения в основаниях математики и математич. Для исследований первого типа характерно либо использование нестандартных логик, либо существенные ограничения в употреблении традиционных логических и математических средств, в то время как в работах второго типа свободно используются традиционная математика и логика. Конструктивный анализ Бишопа занимает промежуточное положение между интуиционистским анализом и системами, использующими точные концепции алгоритма. В СССР начиная с 50 - х гг. n трудах А. А. Маркова, Н. А. Шанина и их учеников ( см. [15], [16], [19]) интенсивно разрабатывалась система К. Являясь частью конструктивной математики, эта система ( за к-рой ниже для краткости закрепляется термин К. [43]

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

Мое понимание БПП гуманнее, так как алгорифм может выполняться по мере надобности машиной. А главное - мое понимание конструктивно. Ведь понятие алгорифма может быть стандартизовано, что дает возможность кодирования алгорифмов, записи их посредством слов в фиксированном алфавите. Алгорифмы тем самым становятся конструктивными объектами. К ним можно применять другие алгорифмы, что имеет большое значение в конструктивном анализе. [45]

Страницы: 1 2 3