Машинная математика

Cтраница 2

Русский перевод: Ван X а о, На пути к машинной математике, Кибернетический сборник, вып. [16]

В большинстве случаев аналитические расчеты переменных САУ весьма затруднены и осуществляются средствами машинной математики. [17]

Математическая логика имеет глубокую принципиальную связь с теорией построения автоматов, в частности с машинной математикой. В свою очередь математическая логика составляет математическую основу кибернетики. [18]

Успех работ по применению квантовой механики в значительной море зависит от максимального развития и внедрения машинной математики, чему также могла бы содействовать постоянно действующая упомянутая выше комиссия. [19]

Предполагается, что читатель знаком с основными принципами устройства электронных цифровых вычислительных машин и основами машинной математики ( двоичной, восьмеричной, двоичнокодированной десятичной системами счисления и действиями над числами, записанными в пря - мом, обратном и дополнительном кодах) и владеет алгоритмическим языком АЛГОЛ. При необходимости эти сведения могут быть почерпнуты из имеющейся литературы по программированию. [20]

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

Уравнение состояния для. [22]

Полученное решение лучше всего проверить, сравнив его с результатами расчета уравнения состояния для системы жестких сфер методами машинной математики. [23]

Поэтому при подготовке молодых исследователей необходима разумная система совершенствования творческого интеллекта в сочетании ( сообразуясь) с возможностями современной машинной математики. Нужно научить будущего исследователя правильно и логично мыслить ранее, чем он приобретет вкус отдавать системы уравнений весьма умным электронным вычислительным машинам ( авось выйдет. Необходима, особенно в стадии становления и формирования способностей интеллекта, продуманная система развития разума искателей нового, которая могла бы обеспечить в беге времени умственное превосходство исследователей нашей страны. Мы убеждены, что классическое наследство аналитической школы механиков XIX и XX вв. [24]

Изучение вопросов, объединенных выше под заголовком Вычислимость, особенно конечных автоматов, связано, конечно, с машинной математикой, которую можно было бы назвать практической вычислимостью. [25]

Недавно появилась область исследований, связанная с систематическим доказательством теорем с помощью метода полных или частичных решений; Ван Хао [22, 23] назвал ее машинной математикой. Будущее определит сравнительную ценность таких и более прямых методов. Успех доказательства по-настоящему трудных теорем в математике в сильной степени зависит от плана доказательства, от конструкции лемм и изящности использования ранее полученных строгих результатов. Изучаемые сейчас систематические алгоритмы доказательства рассматриваемого типа не обладают этими качествами, и мы опасаемся, что они безнадежно затеряются среди бесконечных ветвей неудержно разрастающихся деревьев логического поиска, прежде чем принесут математике ощутимые плоды. [26]

Если по основным разделам математики к 30 - й годовщине Великой Октябрьской социалистической революции мы можем рапортовать: мы догнали, а во многих разделах и перегнали зарубежную математику, то в отношении машинной математики нам нужно еще много усилий, чтобы догнать. Вычислительная ячейка, созданная в 1935 г. в Математическом институте имени В. А. Стеклова, начинает выполнять, особенно за последние годы, крупные заказы. Эта ячейка за 12 лет из двух комнат распространилась на целый этаж: и занимает сейчас больше половины всей площади Математического института. [27]

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

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

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

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