Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"...  by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... and verification of PLC LD-programs is shown by an example. For a discrete problem, we give a LD-program, its LTL ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... , an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Some properties of formal languages (ACML) of automaton counter machines are investigated. We show ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... uses a variety of features of different nature that have not been yet used together for machine ..."
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A method of modeling the Minsky counter machine behaviour by a two-head finite automaton ..."
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Properties of automaton counter machines are investigated. We prove that reachability sets ..."
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... In this paper we prove the existence of automaton 3-counter machines which have non-semilinear ..."
 
Том 15, № 1 (2008) О разрешимости проблем ограниченности для счетчиковых машин Минского Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... In the paper the decidability of boundedness problems for counter Minsky machines is investigated ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... . The practical result of the work is an application of the tool SPIN and the temporal logic LTL for specification ..."
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... and its building along with the STAR–machine that simulates the run of associative (content–addressable ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... procedures, the reduction to the universal form – Turing machine is performed. A way to create a Turing ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... . The specification of the protocol by a state machine and its safety property are represented in the language ..."
 
Том 23, № 2 (2016) Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий Аннотация  PDF (Rus)  похожие документы
А. Г. Ченцов, А. А. Ченцов
"... ) and the machine building. In the second case, which consists in controling a machine for the sheet cutting ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... machine for NP-nets modeling, simulation and automatic verification. ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... Abstract. The notation of state machines is widely adopted as a formalism to describe ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... state machines (TFSMs). In order to build such a composition we can derive the corresponding binary ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... realized on CNC machines, questions connected with constructing precise (optimal) and heuristic algorithms ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... loop. Moreover, universal computational devices (Turing machines et al.) can be modelled ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... , such as image analysis, machine learning, chemicalinformatics. Recently, with the development of process mining ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... простую аксиоматизацию машинной арифметики в терминах вещественной арифметики (то есть арифметики поля ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... .А. Рябухина «Построение и верификация LD-программ 7 ПЛК по LTL-спецификации», в которой предлагается подход ..."
 
Том 24, № 6 (2017) К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев
"... of homing and synchronizing sequences for a specific class of such machines for which at each state ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... -agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... авторы всех упомянутых работ использовали для этой цели темпоральные логики (CTL или LTL) как средство ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... транслятор программ, написанных на while-языке, в код машины MMIX [2]. ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... behaviour. We discovered that a restricted variant LP-1-LT L of our logic is more expressive than LTL ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... Mellon University, Baker Hall 132 Pittsburgh, PA 15213 4Machine Learning Department, Carnegie Mellon ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... нескольких компьютеров, объединенных в параллельную вычислительную машину) генерируем сообщества и составля ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... связано с добычей данных (data mining), машин- ным обучением (machine learning), моделированием и анализом ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... машина с компонентами трёхуровневых прило- жений Fig. 1. Managed virtual machine with three-tier ..."
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... at the conference are: • M. Kerber, The dual complex of hyper-rectangular partitions; • M. Belkin, Machine ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... , Differential Geometric Aspects of Machine Learning and Data Analysis ; • Brittany Terese Fasy, Statistical ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... верифицировать свойства, представленные в виде формул линейной темпоральной логики LTL, а также в виде ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... будет специальный вид систем LTS, машина Мура M = (S,R, I, O, S0), такая что множества входов I и ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... логика является ком- бинацией пропозициональной логики с общими знаниями (PLC) [5] и µ-исчисления (µC ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... машинам Тьюринга; сети без выходных портов экви- валентны конечным автоматам; сети без входных портов ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... .1% 173553 173697 0.08% 5 The test runs were performed on a AMD Phenom(tm) II X4 machine with 4 cores and 8 ..."
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
"... complicated queries effectively on large data with a help of virtual machine clusters [15, 16, 17, 18]. A set ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... ), легко заметить, что рассматриваемый фрагмент TCTL тесно взаимосвязан с темпо- ральной логикой LTL−X ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... повы- шенную частоту. Для моделирования процессов использовались различные алгоритмы машинного ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... плохо обусловленной или вырожденной. У нее с точностью до небольшого числа, близкого к машинному нулю ..."
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
"... .Y. Principal Graphs and Manifolds, Ch. 2 // Handbook of Research on Machine Learning Applications and Trends ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... компиляцию IR в машинный код. За счет того, что все преобразования в LLVM выполняются над LLVM IR, любой язык ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... . [25] Dunichkina N., “Algorithms for bi-criteria single-machine scheduling problem of servicing ..."
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
"... оптимизации. М.: ЛКИ, 2008. 184 с. 2. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... Russian).] [8] Blei D. M., Ng A. Y., Jordan M. I., “Latent Dirichlet Allocation”, Journal of Machine ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... передачи данных посылающей машины, а функция receiver — на уровне передачи данных принимающей машины ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... фишке в ко- нечной точке исполнения HMSC. Свойство 2 определяется при помощи LTL форму- лы, приведённой ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... междисциплинарным подходом стала «общая теория управления и свя- зи в человеке, машине и обществе», или кибернетика ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... - стве промежуточной формы, удобной для редактирования и напрямую годной для машинного применения ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... , позволяющие получать быстрый доступ к данным, и алго- ритмы машинной графики, заточенные под одновременное ..."
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
"... машинного обучения, основанных на алгоритмах ближайших и взаимных ближайших соседей и двух метриках ..."
 
1 - 75 из 95 результатов 1 2 > >> 

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

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