Сортировать по:
| Выпуск | Название | |
| Том 15, № 4 (2018) | Использование языка ПРАЛУ для верификации цифровых устройств | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... автоматически преобразована в модель уровня транзакций. ..." | ||
| Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
| "... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..." | ||
| Том 15, № 1 (2018) | МОДЕЛИРОВАНИЕ ТРАЕКТОРИИ ПОЛЕТА ОПЕРАТИВНО-ТАКТИЧЕСКИХ БАЛЛИСТИЧЕСКИХ РАКЕТ | Аннотация PDF (Rus) похожие документы |
| И. В. Филипченко, И. Л. Лапицкий, О. В. Воронин | ||
| "... Предлагаются основные подходы к совершенствованию систем моделирования боевых действий в части ..." | ||
| Том 15, № 1 (2018) | ИСПОЛЬЗОВАНИЕ МЕТОДА КОНЕЧНЫХ РАЗНОСТЕЙ ДЛЯ РАСЧЕТА ЭЛЕКТРОННЫХ СОСТОЯНИЙ В МДП-СТРУКТУРЕ С ОДИНОЧНЫМ ДОНОРОМ | Аннотация PDF (Rus) похожие документы |
| Е. А. Левчук, С. В. Лемешевский, Л. Ф. Макаренко | ||
| "... Проводится численное моделирование эволюции электронных состояний под действием неоднородного ..." | ||
| Том 15, № 4 (2018) | Управление положением опорных агрегатов автоматической системы подъема и горизонтирования платформы | Аннотация PDF (Rus) похожие документы |
| А. Г. Стрижнев, А. А. Шихов | ||
| "... гидропривода и осуществлен синтез цифрового корректирующего устройства. Проведены моделирование и ..." | ||
| Том 15, № 4 (2018) | Вычисление изменения состояния упругопластического материала Мурнагана в условиях течения при известных скоростях перемещений | Аннотация PDF (Rus) похожие документы |
| О. Л. Швед | ||
| "... величин для разрабатываемого комплекса программ на языке Фортран. Изложена процедура минимизации параметра ..." | ||
| Том 15, № 3 (2018) | Математическая модель распространения электромагнитных волн в композитных средах со сфероидальными частицами | Аннотация PDF (Rus) похожие документы |
| В. Т. Ерофеенко, А. И. Урбанович | ||
| "... также зависят от направления их распространения, что указывает на анизотропный характер разработанной ..." | ||
| 1 - 7 из 7 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
