On the application of substitution algebra to program unification
Труды Института системного программирования РАН, 2018 Many problems in software engineering such as program refactoring, deobfuscation, vulnerability detection, require an efficient toolset for detecting pieces of code that have similar behavior.
V. A. Zakharov, T. A. Novikova
doaj
Количество информации по Шеннону в совместной задаче фильтрации, интерполяции и экстраполяции по непрерывно-дискретным наблюдениям с памятью [PDF]
, 2006 Рассматривается информационный аспект совместной задачи фильтрации, интерполяции и экстраполяции стохастических процессов по непрерывно-дискретным наблюдениям с фиксированной памятью.
Демин, Николай Серапионович +1 more
core
Интегральное исчисление и дифференциальные уравнения : учебное пособие [PDF]
, 2015 Учебное пособие является логическим продолжением курса «Теория пределов, непрерывность и дифференцируемость функций», способствует пониманию и развитию навыков вычисления интегралов и решения дифференциальных уравнений.
Новак, Е. В. +2 more
core
Закон достаточного основания и релевантный вывод с устранением импликации [PDF]
, 2006 Логика составления таблиц - практическая изобразительная логика естественного ...
Жалдак, Н. Н.
core
Метод синтеза поведения интеллектуальной системы [PDF]
, 2013 В статье рассмотрена формальная задача синтеза поведения интеллектуальной системы (например, робота) на основе системы логических формул с временным параметром, описывающих знания о системе.
Герман, Олег Витольдович +1 more
core
Объектно-ориентированные системы управления процессами движения технологических машин. Разработка методологии концептуального проектирования объектно-ориентированных систем автоматизации [PDF]
, 2009 Объект исследования – методология концептуального проектирования и методы синтеза систем управления процессами движения рабочих органов технологических машин широкого применения.
Cherviakov, Volodymyr Dmytrovych +7 more
core
Рассеяние линейных волн нелинейным дефектом [PDF]
, 2018 Рассмотрена задача рассеяния монохроматической световой волны, распространяющейся в линейной оптической среде на плоском ультратонком оптическом слое (волноводе) с нелинейным откликом.
Савотченко, С. Е.
core +2 more sources
Свободное движение материальной точки в спокойной изотропной газообразной среде [PDF]
, 2001 Рассматривается свободное движение материальной частицы,которая имеет собственный вес и занимает объем, в спокойной газообразной изотропной среде. Сила сопротивления среды принята пропорциональной квадрату линейной скорости.
Заика, П. М. +2 more
core
Дискретная математика : учебное пособие : в 2-х частях : Часть 1
, 2014 Учебное пособие включает в себя базисные разделы дискретной математики: бинарные отношения, элементы общей алгебры и теорию чисел. В работе предлагаются упражнения для самостоятельного решения.
Белоусова, В. И. +1 more
core
Синергетическая кинетика плавления ультратонкой пленки смазки [PDF]
, 2006 Исследуется кинетика плавления аморфной и кристаллической ультратонкой пленки смазки, заключенной между атомарно-плоскими кристаллическими поверхностями. Процесс представлен соответственно как фазовый переход второго и первого рода.
Khomenko, Oleksii Vitaliiovych +3 more
core