Сортировать по:
| Выпуск | Название | |
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... ... Many fascinating examples were examined and resulted in recursion elimination techniques known as tail ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования в ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... In the article, we consider verification of programs with mutual recursion in the data driven ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... этом в качестве языка программирования может использоваться любой язык с поддержкой .NET Framework. Для ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... программирования. Мы при разработке программы использовали язык C#. Были написаны параллельные программы для ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... программирования Пифагор. В императивных языках при оптимизации инварианта из цикла выносятся вычисления, не ..." | ||
| Том 18, № 4 (2011) | Типовые примеры использования языка Atoment | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... методов и техник верификации программ. В этой работе представлена коллекция типовых примеров использования ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... процедурно-параметрических конструкций на языке программирования C. Приведенный пример демонстрирует гибкое ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... помощью метода проверки модели (model checking). Подход получил название «Программирование и верификация ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... SMV. Предлагаемый подход к программированию и верификации программ ПЛК демонстрируется на примере. Для ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... . Проводится дискретное моделирование таймера. Новый подход к программированию ПЛК демонстрируется на примере ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... динамического программирования и концепции Парето; последовательная их реализация продемонстрирована на ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.Представлены результаты ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... программирования. В этой статье мы рассмотрим некоторые недавние расширения исчисления доказательств, применяемые ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... SMV. Подход к программированию и верификации IL-программ ПЛК демонстрируется на примере. Для ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... SMV. Подход к программированию и верификации LD-программ ПЛК демонстрируется на примере. Для ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... Процесс-ориентированное программирование — это подход к разработке управляющего программного ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... Процесс-ориентированное программирование — один из подходов к разработке управляющего программного ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... Процессно-ориентированное программирование — это парадигма, основанная на концепции процесса ..." | ||
| Том 13, № 1 (2006) | Иерархическая модель автоматных программ | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин | ||
| "... программированию. Приводится пример автоматной модели системы управления кофеваркой. ..." | ||
| Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... Рассматривается новая версия интегрированной среды рекурсивно-параллельного (РП-) программирования ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... подхода. Описана формальная система для функционально-потокового языка параллельного программирования ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... , имитирующих поведение императивных программ. Примеры сетей Петри с заданными характеристиками являются ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... . Во многих языках программирования используется как статическая, так и динамическая проверка типов ..." | ||
| Том 28, № 4 (2021) | Решение задач линейного программирования приведением к виду с очевидным ответом | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... В статье рассматривается способ решения задачи линейного программирования (ЗЛП), которая требует ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... В работе проводится анализ возможностей трансформации конструкций языка программирования C в ..." | ||
| Том 19, № 4 (2012) | Об одной нестационарной задаче маршрутизации с ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... . ). Построены экономичный вариант широко понимаемого метода динамического программирования (МДП) и, на его ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..." | ||
| Том 19, № 4 (2012) | Замечания о расположениях точек на квадриках | Аннотация PDF (Rus) похожие документы |
| Александр Владиславович Селиверстов | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| "... Рассматриваются вопросы, связанные с реализацией динамического программирования в задачах ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... . Исследуемая проблема возникает из-за того, что при одновременном применении в SQL запросе рекурсии и отношений ..." | ||
| Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
| А. В. Николаев | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... доказательства корректности для операторов языка предикатного программирования P. В работе представлены ключевые ..." | ||
| Том 28, № 3 (2021) | Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... -метода решения задач линейного программирования, хотя бесспорно представляет и самостоятельный интерес. В ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| "... неоднозначных имен в языке программирования. Эта работа является частью проекта по разработке нового языка ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... В настоящее время наблюдается огромный практический интерес к параллельному программированию. Этот ..." | ||
| Том 23, № 1 (2016) | Продолжение решения на границе разрыва как решение задачи усредненной оптимизации | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин | ||
| "... . Изложены условия оптимальности усредненной задачи нелинейного программирования и примеры их использования ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... Часто при разработке сложных программных систем используется более чем один язык программирования ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... программирования как обычных многоядерных процессоров (CPU), так и массивно-параллельных графических процессоров ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... параллельного программирования (CPPS) также разрабатывается в Институте систем информатики СО РАН. Cloud Sisal ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... Функционально-потоковая парадигма параллельного программирования ориентирована на разработку ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| "... , как жадные алгоритмы, динамическое программирование, метод разделяй и властвуй, метод отката, метод ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... , по которой осуществляется её программная реализация на любом из языков программирования ПЛК стандарта ..." | ||
| Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) похожие документы |
| А. В. Зыкина, Н. В. Меленьчук | ||
| "... программирования, вариационных неравенств и смежных задач. Доказана сходимость метода в общем случае. Для задач ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... управления, архитектурно-независимого и пригодного для описания программы любого языка программирования ..." | ||
| Том 23, № 2 (2016) | Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий | Аннотация PDF (Rus) похожие документы |
| А. Г. Ченцов, А. А. Ченцов | ||
| "... понимаемого динамического программирования. Используемый при этом алгоритм реализован на ПЭВМ; результаты его ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... типизированного языка функционально-потокового параллельного программирования Smile, обеспечивающие поддержку ..." | ||
| Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
| "... предложенного метода на качество получаемого оптимального решения на нескольких примерах составления ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... -) стиля программирования, объединенных в рамках интегрированной среды РП-программирования RpmShell. ..." | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... корректности) программных систем логического управления. В этой статье на примере линейной темпоральной логики ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... демонстрируется на примере. Представление ПЛК-программы на языке CFC в рамках подхода к программированию по LTL ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... При дедуктивной верификации программ, написанных на императивных языках программирования, особую ..." | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... принадлежат к классу задач нелинейного дискретного (булева) программирования. В заключении работы ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... инструмент проверки модели nuXmv, трансляция осуществляется в императивный язык программирования ST для ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... Верификация С-программ является актуальной проблемой современного программирования. Для применения ..." | ||
| Том 23, № 1 (2016) | A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... -полными задачами: максимальный разрез, булево квадратичное программирование, квадратичная задача линейного ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... основе автоматного подхода к программированию. Технология автоматного программирования является ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... интерфейса параллельного программирования MPI. Данная модель основана на понятиях последовательного и ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... язык программирования. В качестве решения данной проблемы авторы статьи предлагают использовать ..." | ||
| Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
| Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
| "... кафедре системного программирования Санкт-Петербургского государственного университета. Рассматриваемая ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... (теоретическое программирование) или как частный случай задачи планирования перемещений (искусственный интеллект ..." | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... Рассмотрены задачи нелинейного программирования, критерий и ограничения которых усредненно зависят ..." | ||
| Том 22, № 2 (2015) | Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей | Аннотация PDF (Rus) похожие документы |
| Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... ). Предлагается оптимальная процедура на основе динамического программирования, а также эффективный эвристический ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... программирования. В работе предлагается подход, характерный для систем, имеющих многоуровневое представление ..." | ||
| Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
| А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
| "... математического программирования и предполагает численное решение нелинейной оптимизационной задачи с линейными ..." | ||
| Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
| Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
| "... программирования и не позволяет эффективно анализировать и модифицировать модели. В данной работе получено ..." | ||
| 1 - 75 из 156 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
