Сортировать по:
| Выпуск | Название | |
| Том 19, № 3 (2012) | Динамика простейших кусочно-линейных разрывных отображений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Кащенко | ||
| Том 14, № 1 (2007) | Динамика простейшей модели системы реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Ю. С. Колесов, А. Е. Харьков | ||
| "... Дается исчерпывающее описание динамических свойств простейшей разностной аппроксимации ..." | ||
| Том 13, № 1 (2006) | Смещение статистической оценки энтропии для простейшей меры Бернулли | Аннотация PDF (Rus) похожие документы |
| Е. А. Тимофеев | ||
| "... в работе [2], в случае простейшей бернуллиевской меры с р = q = 1/2. ..." | ||
| Том 32, № 2 (2025) | Кусочно-постоянные режимы работы полносвязных сетей и их предельных интегро-дифференциальных систем | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Дмитрий Сергеевич Костерин | ||
| "... Рассматриваются полносвязные сети осцилляторов и их предельные системы интегро-дифференциальных ..." | ||
| Том 19, № 3 (2012) | Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... Исследуется устойчивость простейших периодических решений комплексного уравнения с большим ..." | ||
| Том 30, № 2 (2023) | Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... Рассматривается система из трех связанных в кольцо генераторов с несимметричной нелинейностью и ..." | ||
| Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) похожие документы |
| А. А. Кащенко | ||
| "... В данной работе рассматривается сингулярно возмущенная система двух дифференциальных уравнений с ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... системы было разработано программное обеспечение, реализующее описанную систему аутентификации для ..." | ||
| Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... Автоморфизм системы переходов есть изоморфное отображение системы на себя. Множество автоморфизмов ..." | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин, Ал. А. Ахременков | ||
| Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... для нелинейных полиномиальных систем управления. Для оценивания устойчивости используется аппарат ..." | ||
| Том 20, № 1 (2013) | Влияние деформации области на поведение решений распределенной кинетической системы | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин | ||
| "... Рассмотрено поведение распределенной кинетической системы, находящейся в однородном равновесном ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... для проекта, а во-вторых, доказывать корректность свойств систем, что особенно важно для критических ..." | ||
| Том 14, № 2 (2007) | Бифуркация Андронова - Хопфа для релейных систем | Аннотация PDF (Rus) похожие документы |
| О. А. Чернышева | ||
| "... Описывается структура матрицы монодромии периодических решений релейных систем, что позволяет ..." | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| "... Рассматриваются вероятностные системы взаимодействующих недетерминированных интеллектуальных ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... элементарных действий, являются простейшей моделью вычислений, пригодной для описания поведения реагирующих ..." | ||
| Том 19, № 1 (2012) | Моделирование систем автоматического управления на основе полиномов Вольтерра | Аннотация PDF (Rus) похожие документы |
| Светлана Витальевна Солодуша | ||
| "... второй степени. Разработан алгоритм численного решения одного класса нелинейных систем Вольтерра I рода ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... Продолжено исследование расширения понятия инвариантности множеств относительно управляемых систем ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... Предложен алгоритм решения задачи покрытия для монотонных счетчиковых систем. Разрешимость этой ..." | ||
| Том 14, № 2 (2007) | Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... Исследуется задача о построении асимптотики решений некоторого класса линейных систем разностных ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... условиям. Кроме того, мы описываем возможную атаку на блокчейн-систему, в которой алгоритм генерации ..." | ||
| Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... Рассматривается вычислительная реализация алгоритма оценки спектра показателей Ляпунова для систем ..." | ||
| Том 16, № 4 (2009) | Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты | Аннотация PDF (Rus) похожие документы |
| А. В. Ходунин, Л. Н. Казаков | ||
| "... систем фазовой автоподстройки частоты в условиях аддитивного и фазового случайных воздействий. Предложена ..." | ||
| Том 15, № 1 (2008) | О подходах к моделированию региональных экономических систем кластерного типа | Аннотация PDF (Rus) похожие документы |
| А. Б. Дроздов, Н. В. Дроздова | ||
| "... Рассматриваются подходы к моделированию кластеров как сложных экономических систем. На региональном ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... . Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... Предложено эффективное символьное представление распределенных систем, определяемых линейными ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... проектирования сложных распределенных программных систем. В качестве центрального объекта проектирования ..." | ||
| Том 18, № 3 (2011) | Основные квазинормальные формы для двухкомпонентных систем параболических уравнений | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма и ..." | ||
| Том 23, № 2 (2016) | Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Волканов | ||
| "... отказоустойчивости для распределённых вычислительных систем (РВС). В данной задаче требуется выбрать ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... грамматики и верифицируемых свойств системы. Эта модель симулирует поведение заданных систем таким образом ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... Динамические реконфигурирования могут изменять архитектуру компонентно-ориентированных систем, не ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... В настоящей работе исследуется модель угроз безопасности компьютерных систем, формулируемая на ..." | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| "... Рассматриваются цепочки идентичных диффузионно слабо связанных колебательных систем с различными ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... возможность построения замкнутых систем «программа-окружение». В настоящей работе для описания поведения ..." | ||
| Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
| "... Дано определение обобщенного решения начально-краевой задачи для линейной системы дифференциальных ..." | ||
| Том 19, № 2 (2012) | Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Татаринов, Анатолий Михайлович Цирлин | ||
| "... Исследована задача о предельной степени устойчивости линейных систем. Получены условия, при которых ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... на всех этапах проектирования и разработки программных систем. В частности, язык MSC используется для ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... соленоидальным функциям. На всех этапах построения метода КНН применяется система компьютерной алгебры (СКА): для ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... данного средства является использование систем типов и эффектов для статического анализа реальных программ ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... Рассматриваются униформные системы взаимодействующих расширенных конечных автоматов, которые удобны ..." | ||
| Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин | ||
| Том 18, № 3 (2011) | Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... Предложен метод построения асимптотики некоторого набора линейно независимых решений систем ..." | ||
| Том 22, № 3 (2015) | КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ | Аннотация PDF (Rus) похожие документы |
| Н. Д. Быкова, С. А. Кащенко | ||
| "... Рассматривается система двух логистических уравнений с запаздыванием, связанных через ..." | ||
| Том 13, № 1 (2006) | Об одном подходе к различению элементов из больших совокупностей традиционных систем символов | Аннотация PDF (Rus) похожие документы |
| П. Г. Парфенов, С. Л. Назарычев | ||
| "... объединения как исторически сложившихся алфавитов, так и искусственно созданных алфавитно-подобных систем ..." | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Макаров | ||
| "... В работе для одного класса слабо нелинейных систем с зависящими от состояния коэффициентами ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... Рассматривается задача проверки допустимости конфигураций модульных вычислительных систем ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... свойств безопасности кибер-физических систем (CPS). Проверка таких свойств в интерактивном режиме может ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... системах переходов, открывает возможность применения ранее известных методов верификации систем вычислений ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... Для непрерывной нелинейной управляемой системы на конечном интервале времени с ограничениями на ..." | ||
| Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
| Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
| "... Рассмотрена задача о размещении центра обслуживания технических систем при известных значениях ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... логическими дискретно-событийными системами (ДСС), основанного на представлении их в виде позитивно ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... систем реального времени, выполняющихся на мультипроцессорных платформах. Чтобы использовать этот метод ..." | ||
| Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
| Валерий Анатольевич Соколов | ||
| Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... » (Моделирование и анализ информационных систем, том 27, №1, с. 86–94, 2020; https://doi.org/10.18255/1818-1015 ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: Ю. В. Косолапов, «Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода», Моделирование и анализ информационных систем, Том 27, №2, с. 138–151, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-2-138-151 | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... вредоносного кода» (Моделирование и анализ информационных систем, том 27, №2, с. 138–151, 2020; https://doi ..." | ||
| Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... феноменологическая модель простейшей трехзвенной осцилляторной генной сети — так называемого репрессилятора. Эта сеть ..." | ||
| Том 31, № 3 (2024) | Матрично-кубитный алгоритм семантического анализа вероятностных данных | Аннотация PDF (Rus) похожие документы |
| Илья Алексеевич Суров | ||
| "... решения. В простейшем трёхконтекстом случае один из кубитов раскладывается в суперпозицию оставшихся двух ..." | ||
| Том 25, № 1 (2018) | Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина | ||
| "... связи между осцилляторами предполагается вещательной, т.е. один из элементов системы односторонним ..." | ||
| Том 19, № 1 (2012) | Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко, Артем Сергеевич Полстьянов | ||
| "... периодических решений для нелинейных систем, указанных в названии. ..." | ||
| Том 21, № 5 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... В работе исследуется задача асимптотического интегрирования некоторого класса линейных систем ..." | ||
| Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... Предложен вариант метода усреднения для систем уравнений, заданных на временных шкалах. Полученные ..." | ||
| Том 14, № 1 (2007) | Принципы построения семантической сервис-ориентированной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... достижения адаптивности и гибкости инфраструктуры распределенных информационных систем. Рассматриваются ..." | ||
| Том 20, № 1 (2013) | Размерностные характеристики диффузионного хаоса | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... увеличение ляпуновской размерности аттрактора распределенных эволюционных динамических систем при уменьшении ..." | ||
| Том 23, № 1 (2016) | Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... убывающими коэффициентами. II // Моделирование и анализ информационных систем. 2014. Т. 21, № 5. C. 5 – 37. ..." | ||
| Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Балабаев | ||
| "... любых эллиптических систем первого порядка. Проведенное изучение системы Коши–Римана и ее обобщений ..." | ||
| Том 24, № 6 (2017) | Поэтология: задачи построения тезауруса и спецификации стихового текста | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков, Мария Сергеевна Каряева | ||
| "... систем”, Ярославль, 17 мая 2017 г. В нём рассматривается взаимосвязь задач по автоматизации построения ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... В статье рассмотрены особенности применения технологий разработки программных систем на основе ..." | ||
| Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
| "... человеческой деятельности. В частности, системы теплоснабжения имеют значительное экономическое, экологическое ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... система шаблонов семантической разметки, которая реализует типовые элементы систем автоматического ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... эту специфику системы переходов, а также определять свойства систем, моделирующих программы ПЛК, как ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... достаточно эффективной при создании программного обеспечения для «реактивных» систем и систем логического ..." | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... масштабируемый подход к решению систем символьных ограничений, известных как дизъюнкты Хорна с ограничениями ..." | ||
| 1 - 75 из 185 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
