Cтраница 4
Обзор работ советских ученых по основаниям математики, математической логике и ее приложениям мы даем здесь, вообще говоря, в хронологическом порядке. [46]
Обзор работ первых исследователей показал с полной очевидностью, что применение реакции Густавсона к первично-первичным дибромидам обеспечивает хорошие выходы циклопропанов высокой чистоты. Вторично-вторичные дибромиды дают высокие выходы углеводородов, содержащих главным образом производные циклопропана, которые, однако, содержат примеси олефинов. [47]
Обзоры работы контактных и башенных сернокислотных цехов до 1968 г. составлялись отдельно, что приводило к разрыву в работе по обмену опытом всей отрасли производства серной кислоты. [48]
Дан обзор работ, в которых изучались Теплофизические свойства четырехокиси азота. [49]
Приводится обзор работ по переменнотоковой полярографии органических веществ. [50]
Дан обзор работ, посвященных анализу времен релаксаций каталитических реакций. Обобщено некоторые результаты, полученные авторами в зтои области. Детально р / ссмотреи случай одномарщрутной линейной каталитической схемы. Даны оценки числа промен-уточных веществ в линейных реакциях. Обсуждаются вопросы влияния изменения активности катализатора на релаксацию. [51]
Дан обзор работ, посвященных исследованию возможностей коррекции угловых и скоростных аберраций изображения второго порядка в масс-спектросколах с последовательным расположением электрического и магнитного полой. Описан ряд удачных конструкций масс-спектрометров с двойной фокусировкой второго порядка. [52]
Заканчивая обзор работ по теории проективных множеств, необходимо отметить, что в этой области работами советских ученых, в первую очередь Л у зи н а [25], выделена группа проблем, которые не только не решены, но относительно которых у всех работающих в этом направлении создается убеждение, что решение их средствами современной математики в духе классической теории множеств невозможно. Наиболее известные из этих проблем следующие: проблема мощности СА-множеств и проблема измеримости проективных множеств. Все более укрепляется убеждение в том, что рассмотрение этих проблем настойчиво требует методов математической логики. [53]
Заканчивая обзор работ, связанных с обобщением понятия интеграла, нельзя не вспомнить полученный Н. Н. Лузиным в его диссертации чрезвычайно общий результат: для любой измеримой функции / ( х) конечной почти всюду можно найти такую непрерывную F ( x), для которой F ( х) / ( х) почти всюду. Эта теорема позволяет, следовательно, найти примитивную для любой измеримой функции. [54]
Представлен обзор работ по вопросам измерений и экспериментов; определяющих современный уровень проектирования систем программного обеспечения. Обсуждается роль измерений в создании теоретических моделей, причем особо выделяются меры по обеспечению надежности и достоверности. В качестве примеров излагаются современные методы измерения характеристик программных средств и, в частности, обсуждаются метрики сложности программного обеспечения, связанные с процессом передач управления, связность модулей и теория программных средств Холстеда. Рассматривается также использование экспериментальных методов при оценке причинно-следственных связей. Проводится обзор конкретных программ экспериментальных работ, предусматривающих исследование операторов условных и безусловных передач управления. В заключение утверждается, что прогресс в области проектирования программных средств во многом связан с совершенствованием способов измерений и экспериментальной оценки методов и практических результатов проектирования систем программного обеспечения. [55]