Сортировать по:
| Выпуск | Название | |
| Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| "... the axis passing through the mass center of a rigid body and perpendicular to the plane of the rods ..." | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... consists from a solid and the rigidly connected flexible rod. To solve the problem we determine a solution ..." | ||
| Том 22, № 2 (2015) | Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| "... equations, which models the rotation of a rigid body with two elastic rods located in the same plane ..." | ||
| Том 18, № 3 (2011) | О гипотезе Лассака для выпуклого тела | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... В 1993 г. М. Лассак сформулировал (в эквивалентном виде) следующую гипотезу. Если в выпуклое тело ..." | ||
| Том 19, № 3 (2012) | О некоторых результатах по геометрии выпуклых и их приложениях | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... Даётся обзор результатов автора по геометрии выпуклых тел, полученных в последние годы. Отмечаются ..." | ||
| Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазинов | ||
| "... случайного многогранника в случае, если объемлющее тело — простой многогранник. Таким образом, доказана ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... Мы предлагаем один новый подход к проблеме вычисления объемов тел в пространстве Лобачевского и ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... описываются конструкции вызова функции и тела функции, а также описывается операция направленной композиции ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... подстановка тел функций в места вызовов, однако при этом значительно возрастает вычислительная сложность ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... .А. Непомнящим в 2005 году. Его идея состоит в представлении тела цикла в виде специальной операции замены при ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... специальную функцию, выражающую действие тела цикла. Данное правило было реализовано в генераторе условий ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... известной проблемы задания инвариантов циклов выбран подход финитных итераций. Тело цикла финитной итерации ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... функций, при котором происходит объединение тел вызывающих друг друга функций. Для преобразования ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... неизменяемыми структурами данных без выхода из тела цикла в C-light программах. Данный метод содержит новое ..." | ||
| Том 25, № 6 (2018) | О некоторых задачах для симплекса и шара в Rn | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... Пусть (C) --- выпуклое тело, (S) невырожденный симплекс в ({mathbb R}^n). Через (tau S ..." | ||
| 1 - 15 из 15 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
