Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... on their specification grammar and system properties to be verified. This model simulates the behaviour of the systems ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Grammars (CDGs). CDGs are classical categorial grammars extended by oriented polarized valencies ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
"... is offered and considered. A context-free grammar (in N. Chomsky’s sense) which generates correct rhythmic ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... structures used in detailed system implementation are presented. Also the grammar of a language ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... A deductive approach to verification of telecommunication systems written in C is proposed ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... ) into the process of designing complex distributed software systems to improve the quality of software. We use ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... information systems. The described solution is based on the use of wireless keys – special devices ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... systems (RT MCS). A system configuration is called schedulable if all the jobs finish within ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... systems (CPSs). It implements a Dynamic Logic for Hybrid Programs (HPs), while a HP models a CPS very ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... concurrency issues (like races) are still very important for parallel systems in general and distributed ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... of system design and development. In particular, the MSC language is used for describing communication ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... Uniform systems of communicating extended finite automata are considered in the paper ..."
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин
"... The behavior of a distributed kinetic system, which is in homogeneous equilibrium within a flat ..."
 
Том 14, № 1 (2007) Автоморфизмы систем переходов Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... A automorphism of transitions system is an isomorphism of a system oneself. In the article ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... . Рассматривается пример моделирования и верификации ѕдискретныхї LD-программ с таймером с помощью программного ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... the correctness of system properties, especially for critical systems. However, there is still an open question ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... for ontology population. The system agents correspond to information items of the input data and the rule ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... sequential processes. It is the part of the intellectual system for supporting verification of behavioural ..."
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
"... In this paper a criteria of comparison of different tournament organization systems in sporting ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... of the CLR method construction, a computer algebra system (CAS) is applied for the derivation ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... of the verification system PVS. Using the PVS system, we give an interactive proof of this property of the Sliding ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... of correctness) software for reactive and controlling systems. This technology, besides other methods of software ..."
 
Том 14, № 2 (2007) Бифуркация Андронова - Хопфа для релейных систем Аннотация  PDF (Rus)  похожие документы
О. А. Чернышева
"... We describe the structure of a monodromy matrix of periodic solutions for relay systems that makes ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации LD-программ логических контроллеров (ПЛК) для ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации программ логических контроллеров (ПЛК) для ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... resource nets (Petri nets) with an infinite regular system grid. This formalism is a hybrid of Petri nets ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... An algorithm for solving the coverability problem for monotonic counter systems is presented ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... A new data structure is suggested for symbolic model checking of distributed systems defined ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... the program correctness. But what about the correctness of the verification system itself? The theoretical ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... This paper presents the expendable multi-language analysis and verication system SPECTRUM, which ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... , the program is correct. Several modules is distinguished in the system: “Program correctness prover”, “Axioms ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... .V. Shilov), published in Modeling and analysis of information systems, 18(2), 2011. ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... as connection of edges and truncated devices were constructed. Infinite systems of linear algebraic equations ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... The paper consider a mathematical model of a concurrent system, the special case of which ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
"... of Volterra nonlinear systems of the first kind is developed. Numerical results for test examples ..."
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация  PDF (Rus)  похожие документы
А. В. Ходунин, Л. Н. Казаков
"... The chaotic phase synchronization of two cascaded one-ring and two-ring PLL systems ..."
 
Том 15, № 1 (2008) О подходах к моделированию региональных экономических систем кластерного типа Аннотация  PDF (Rus)  похожие документы
А. Б. Дроздов, Н. В. Дроздова
"... Some approaches to modeling clusters as complex economic systems are considered. At the regional ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... of safe simulation of systems with refusals and destructions is proposed. The problems of complete testing ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... and abstract data planes and control planes of these systems. In a SDN a centralized controller manages ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... systems of complex structure, such as agricultural areas, have become universal. Therefore, the current ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... Статья продолжает цикл работ, посвященный разработке подхода к построению и верификации ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... В данной работе представлен метод анализа и верификации моделей Use Case Maps (UCM) с ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... оперативном режиме, сетевых коммутаторов. Во многих случаях проблема верификации программ такого рода может ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... We continue the study of extending the concept of invariance sets relative to control systems ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..."
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
"... and testing of the large industrial systems, are described, as well as the methodologies of software ..."
 
Том 18, № 3 (2011) Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... The article includes principal quasinormal forms of singular pertubed parabolic equations systems ..."
 
Том 14, № 2 (2007) Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... Исследуется задача о построении асимптотики решений некоторого класса линейных систем разностных ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... of the system. ..."
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Мордвинов
"... Property Directed Reachability (PDR) is an efficient and scalable approach to solving systems ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Предлагается подход к построению и верификации IL-программ логических контроллеров (ПЛК) для ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... Описывается полиномиальный алгоритм верификации цепей Маркова, динамические свойства которых ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... activity. In particular, heat supply systems have significant economic, environmental and social importance ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... методов и техник верификации программ. В этой работе представлена коллекция типовых примеров использования ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... computer systems (DCS) under cost constraints. In this problem we maximize reliability of DCS under ..."
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
"... The problem of a limiting degree of linear system stability is investigated. The conditions ..."
 
Том 22, № 3 (2015) КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ Аннотация  PDF (Rus)  похожие документы
Н. Д. Быкова, С. А. Кащенко
"... A system of two logistic equations with delay coupled by delayed control is considered ..."
 
1 - 75 из 551 результатов 1 2 3 4 5 6 7 8 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)