Cтраница 1
Фундаментальные результаты относительно существования решения задачи Дирихле для нелинейных эллиптических уравнений принадлежат С. Н. Бернштейну в случае двух независимых переменных. [1]
Модели механического поведения элементов структуры композита после достижения критического состояния и полная диаграмма деформирования. [2] |
Фундаментальные результаты по определению поля упругих напряжений внутри и вне эллипсоидального включения, помещенного в неограниченную однородную деформируемую матрицу, получены Дж. Им показано, что в рассматриваемом случае поле напряжений внутри включения является однородным. [3]
Фундаментальный результат в этом направлении дается следующей теоремой голономии Лока [ 1, теор. [4]
Фундаментальный результат, связывающий вычислимость по Тьюрингу с частично рекурсивными функциями и МНР-вычислимостью, состоит в следующем. [5]
Фундаментальные результаты по теории спектров были получены Паули, Гейзенбергом, Гундом, Ресселем, Юленбеком и Гаудсмитом. [6]
Фундаментальный результат существования равновесия в позиционных управлениях ( стратегиях) получен в [122] на основе вспомогательных функциональных построений и свойств компактности. При этом неединственность равновесия компенсируется либо априорной договоренностью, либо использованием игровых условий с правом первого хода. Достаточное условие существования позиционного равновесия получено в [336, 416] на замкнутом выпуклом множестве в рефлексивном банаховом пространстве при выпуклости и непрерывности показателей игроков-объектов в ММС, В работе [423] учитываются некоторые вырожденные свойства стратегий. [7]
Энтропия выхода оптимального неравномерного квантователя гауссовской случайной величины ( Макс, 1960. [8] |
Фундаментальный результат теории искажения заключается в том, что лучшую характеристику можно достичь векторным, а не скалярным квантованием, даже если непрерывный источник без памяти. Если, кроме того, отсчеты сигнала или параметры сигнала статистически зависимы, мы можем использовать зависимость посредством совместного квантования блоков отсчетов или параметров и таким образом достичь большей эффективности ( более низкой битовой скорости) по сравнению с той, которая достигается скалярным квантованием. [9]
Фундаментальный результат логики первого порядка ( исчисление предикатов) состоит в том, что любая истинная теорема, которая выражается в логике первого порядка, доказывается за конечное время, и существует алгоритм такого доказательства. Однако, остается нерешенным вопрос о том, будет ли этот алгоритм завершен. [10]
Фундаментальным результатом теории стационарных случайных последовательностей является следующая эргодическая теорема Биркгофа - Хинчина. [11]
Изложены фундаментальные результаты и идеи современной теории линейных эллиптических и параболических уравнений в пространствах Гельдера. Кроме теорем существования, единственности и регулярности представлены численные методы решения и обоснование этих методов с помощью абстрактных результатов. Книга содержит около 190 задач - с указаниями решений, а также методические рекомендации преподавателям. Изложение материала выстроено так, что читатель сможет самостоятельно распознавать правдоподобные результаты по данной тематике и иметь представление о способах доказательства этих результатов. Одновременно книга дает хорошую подготовку для чтения научных статей и специализированных монографий по эллиптическим и параболическим уравнениям. [12]
Многие фундаментальные результаты по математической логике и теории алгоритмов поданы конспективно, без подробных доказательств, а в ряде случаев и вовсе без доказательств. [13]
Этот фундаментальный результат Штейнера может быть обоснован следующим образом. Эти последние сводятся в конечном счете к определению точек пересечения: 1) окружности с прямой и 2) двух окружностей. [14]
Укажем нек-рые фундаментальные результаты, не зависящие от выбора меры сложности ( в том числе и от выбора конкретного уточнения понятия алгоритма) - лишь бы существовала, напр. Для простоты можно представить себе дело так, что речь идет о времени вычисления на машинах Тьюринга натураль-нозначыых функций натурального аргумента. Пусть Т и / t суть вычислимые натурально. [15]