Сортировать по:
| Выпуск | Название | |
| Том 31, № 2 (2024) | Детекция БПЛА при помощи нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Мария Дмитриевна Аверина, Ольга Александровна Леванова, Дарья Грушевская, Кирилл Александрович Кухарев, Дмитрий Михайлович Мурин, Максим Александрович Калинин | ||
| "... of $4times4$ and even $3times3$ pixels. The work investigates architectures SSD (VGG16) and YOLOv3 ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... on the UAV landing time, and the introduction of wind into the simulation under any other external conditions ..." | ||
| Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... in well-structured multiagent systems with perfect recall. In this paper we show that a perfect recall ..." | ||
| Том 19, № 2 (2012) | Уравнение кинетики измельчения с произвольным законом распределения времени ожидания | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Королев, Донат Олегович Бытев | ||
| "... for arbitrary distribution of particle destruction waiting time. In terms of the equation a grinding process ..." | ||
| Том 30, № 1 (2023) | Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей | ||
| "... for a group of unmanned aerial vehicles (UAVs). The movement of the UAV group is carried out in accordance ..." | ||
| Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... Recall Lebesgue’s singular function. Imagine flipping a biased coin with probability p of heads ..." | ||
| Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
| С. Н. Баранов, В. В. Никифоров | ||
| "... An approach to estimate feasibility of a real-time multi-task application with various ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model ..." | ||
| Том 20, № 3 (2013) | Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... of the parametric resonance phenomenon is established. In conclusion, we construct an example of a time-dependent ..." | ||
| Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... We develop a method of averaging for the study of linear systems of dynamic equations on time ..." | ||
| Том 28, № 2 (2021) | Выделение условий разрешимости NP-полных задач для класса предфрактальных графов | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров | ||
| "... . At the same time, for some subclasses of dynamical graphs, which are used to model the structures of network ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... The paper presents an algorithm for the worst case response time (WCRT) estimation ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... and transition systems with independence can be considered as distributed asynchronous automata. Time distributed ..." | ||
| Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
| Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... implementing a virtual link-based approach to real-time data transfer. The main drawback of these networks ..." | ||
| Том 16, № 4 (2009) | Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... and the calculation of header fields. The questions of precise time dispatching of the received packets are discussed ..." | ||
| Том 25, № 3 (2018) | Об оценке средней временной выгоды в вероятностных эколого-экономических моделях | Аннотация PDF (Rus) похожие документы |
| Людмила Ивановна Родина, Илья Индусович Тютеев | ||
| "... is described by the differential equation ˙x = g(x) and in time moments τk some random share of resource vk, k ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... In this paper, we consider a schedulability analysis problem for real-time modular computer ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... is determined not only by the sequence of values of input signals, but also by the time of their arrival ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... This paper uses the model checking method for an exact schedulability test of real-time systems ..." | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... at a specified time moment and with the controller function norm minimum in the L∞(0, T) space and time control ..." | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) похожие документы |
| Маргарита Александровна Калашникова | ||
| "... -time scale singular perturbed linear-quadratic optimal control problem with the help of the direct ..." | ||
| Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
| Ж. О. Домбровская | ||
| Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Николаевич Азаров | ||
| "... primes p, it is nilpotent. Recall that a group G is said to be a residually finite p-group if for every ..." | ||
| Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) похожие документы |
| Дмитрий Николаевич Азаров | ||
| "... Let π be a set of primes. Recall that a group G is said to be a residually finite π-group ..." | ||
| Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
| А. А. Кряжева | ||
| "... separable, then in group G all finitely generated subgroups are finitely separable. Recall that a group G ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... Recall the Lebesgue's singular function. We define a Lebesgue's singular function (L(t ..." | ||
| Том 31, № 2 (2024) | Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин | ||
| "... by precision, recall, and F-measure. All neural network language models showed a similar F-measure quality ..." | ||
| Том 25, № 3 (2018) | О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 | Аннотация PDF (Rus) похожие документы |
| Ольга Владимировна Орешкина (Никольская) | ||
| "... })), then for the fibre product (X_1 times_C X_2) the Hodge conjecture is true, for any smooth projective (k)-variety ..." | ||
| Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
| Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
| "... , precision and recall of hierarchical and synonym relations, and characteristics of the thesaurus graph ..." | ||
| Том 28, № 3 (2021) | Сравнение стилистических характеристик для верификации авторов художественных текстов | Аннотация похожие документы |
| Ксения Владимировна Лагутина | ||
| "... value for precision, recall, and F-measure for the AdaBoost classifier exceeds 90% when all three types ..." | ||
| Том 30, № 3 (2023) | Классификация текстов по уровням CEFR с использованием методов машинного обучения и языковой модели BERT | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Анастасия Михайловна Бредерман, Наталья Николаевна Касаткина | ||
| "... , LogisticRegression. Precision, recall and F-score served as quality measures. Two open text corpora, CEFR Levelled ..." | ||
| Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
| Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
| "... availability factor on the average time between failures and the average recovery time of the system elements ..." | ||
| Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
| Павел Валерьевич Лебедев | ||
| "... of linear time). The algorithm allows to find probability of the validity of the formula on the Markov chain ..." | ||
| Том 19, № 3 (2012) | Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александрович Марушкина | ||
| "... , Lyapunov dimension and time plots are slightly different. ..." | ||
| Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Артамонов | ||
| "... and with reference, that are relevant at a given time. The reference property value points to an object whose name ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... for the probabilities of computer system states at any arbitrary moment of time are derived, some limiting cases ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... Nowadays, the behaviour of many systems can be properly described by taking into account time ..." | ||
| Том 20, № 4 (2013) | Исследование ортогональности сигналов с вращением вектора поляризации | Аннотация PDF (Rus) похожие документы |
| Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук | ||
| "... The objects of this study were the properties of time-bound electromagnetic waves (wave packets ..." | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... of this shift is caused by the requirements of new applications that actively use video, real-time interactivity ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... system. The time needed to prove the program correctness conditions in the PVS is more than the time ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... , the static type checker verifies everything possible at compile time, and the dynamic one checks ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... the initial one, taking into account orientation. At the same time, if the network transitions are marked ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... -time temporal logic LTL. ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... lists, the return of delayed lists and the variation of the data arrival pace relative to the time ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| "... some packet forwarding rules have been disabled (say, at the expiry of their time-outs). We study ..." | ||
| Том 21, № 1 (2014) | Влияние запаздывающей обратной связи на устойчивость периодических орбит | Аннотация PDF (Rus) похожие документы |
| Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко | ||
| "... circle. Delay time is proportional to the cycle period. The D-partition of the parameter plane ..." | ||
| Том 21, № 1 (2014) | Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова, Елена Викторовна Григорьева | ||
| "... The problem about the local dynamics of the logistic equation with rapidly oscillating time ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... places in real time. We propose mathematical means for automation of correctness checking ..." | ||
| Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
| С. Н. Пупырев, А. В. Тихонов | ||
| "... for analyzing real-world data and the evolution of social relationships changing over time. ..." | ||
| Том 22, № 1 (2015) | Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... oscillations, that is, oscillations with slow components asymptotically close to time-discontinuous functions ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... program errors and contract violations in a memory and time efficient way. We implemented this approach ..." | ||
| Том 23, № 3 (2016) | Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
| В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер | ||
| "... of a solution periodic in time and with boundary layers at both ends of the space interval in the case ..." | ||
| Том 26, № 2 (2019) | Пороговый анализ деградации запросов внутри вычислительной сети | Аннотация похожие документы |
| Василий Павлович Кирнос | ||
| "... is described by four based metrics, each metrics representing a time series. The input data are aggregated ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... on the servicing completion time. Minimized criteria of schedule quality are assumed to be total service duration ..." | ||
| Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... a static problem that does not take into account the change in the position of the population with time ..." | ||
| Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
| "... . The extraction of semantic relations by hand is considered as a time-consuming and biased task, requiring a large ..." | ||
| Том 19, № 4 (2012) | Об одной нестационарной задаче маршрутизации с ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... time or can also correspond to the natural regular succession (the first visiting, the second visiting ..." | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... that the considered equation admits transformations in space and time. At a certain condition on parameters ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... for data race detection in a SystemC program without quantitative time. These algorithms can detect all ..." | ||
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| "... and recovery. The proactive backup controller allocation algorithm which allows to minimize the time to repair ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... This paper introduces a method for static semantic analysis of source codes at com- pilation time ..." | ||
| Том 23, № 3 (2016) | Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток | Аннотация похожие документы |
| Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер | ||
| "... time and enhance the stability of the numerical process compared with classical approaches. The article ..." | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин, Ал. А. Ахременков | ||
| "... to avoid a time-consuming procedure of sorting out possible variants. ..." | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... the average over time and across multiple variables is considered. ..." | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... in the dimension of the covariance matrix of input signals by almost two times. ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... . The results of our experiments revealed that, in certain cases, the matching time was significantly reduced ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... as well as the local clocks of separate processes, the time of which is measured in the number ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... that the time of adding a new rule, when using PreFirewall, substantially increases with increase in the number ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... For a continuous nonlinear control system on a finite time interval with control constraints ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... -agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments ..." | ||
| 1 - 75 из 155 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
