نتائج البحث

Universal Hypergraphic Automata Representation by Autonomous Input Symbols ; Представление универсальных гиперграфических автоматов автономными выходными сигналами

• Authors : Ekaterina Khvorostukhina; Vladimir Molchanov; Екатерина Владимировна Хворостухина

Subjects: входной сигнал; semigroup; hypergraph

• Source: Modeling and Analysis of Information Systems; Том 25, № 5 (2018); 561-571 ; Моделирование и анализ информационных систем; Том 25, № 5 (2018); 561-571

تفاصيل العنوان

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms ; Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов

• Authors : V. A. Bitner; N. V. Zaborovsky; Вильгельм Александрович Битнер

Subjects: оптимизирующий компилятор; static analysis; multithreaded algorithms

• Source: Modeling and Analysis of Information Systems; Том 20, № 2 (2013); 166-177 ; Моделирование и анализ информационных систем; Том 20, № 2 (2013); 166-177

تفاصيل العنوان

Universal extremum of hyperplanes in some optimization problems ; Гиперплоскости универсальной экстремали некоторых задач оптимизации

• Authors : N. P. Fedotova; Н. П. Федотова

Subjects: optimization problems; Euclidean norm; symmetrical norm

• Source: Modeling and Analysis of Information Systems; Том 17, № 3 (2010); 91-106 ; Моделирование и анализ информационных систем; Том 17, № 3 (2010); 91-106 ;

تفاصيل العنوان

Verification of Programs with Mutual Recursion in the Pifagor Language ; Верификация программ со взаимной рекурсией на языке Пифагор

• Authors : Mariya S. Ushakov; Alexander I. Legalov; Мария Сергеевна Ушакова ...

Subjects: универсальная рекурсивная функция; Pifagor programming language; correctness of recursions

• Source: Modeling and Analysis of Information Systems; Том 25, № 4 (2018); 358-381 ; Моделирование и анализ информационных систем; Том 25, № 4 (2018); 358-381

تفاصيل العنوان

Fibred Product of Commutative Algebras: Generators and Relations ; Расслоенное произведение коммутативных алгебр: образующие и соотношения

• Authors : N. V. Timofeeva; Н. В. Тимофеева

Subjects: амальгамированная сумма; affine Grothendieck’ schemes; universal product

• Source: Modeling and Analysis of Information Systems; Том 23, № 5 (2016); 620-634 ; Моделирование и анализ информационных систем; Том 23, № 5 (2016); 620-634

تفاصيل العنوان

Suppression of additive periodic low-frequency interference on eddy current defectograms ; Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах

• Authors : Leonid Y. Bystrov; Artemy N. Gladkov; Egor V. Kuzmin

Subjects: автокорреляционная функция; rail surface defects; periodic interference

• Source: Modeling and Analysis of Information Systems; Том 31, № 2 (2024); 164-181 ; Моделирование и анализ информационных систем; Том 31, № 2 (2024); 164-181

تفاصيل العنوان

Testing Dependencies and Inference Rules in Databases ; Тестирование зависимостей и правил вывода в базах данных

• Authors : Sergey V. Zykin; Сергей Владимирович Зыкин

Subjects: testing; join dependencies; inference rules

• Source: Modeling and Analysis of Information Systems; Том 29, № 3 (2022); 210-227 ; Моделирование и анализ информационных систем; Том 29, № 3 (2022); 210-227

تفاصيل العنوان

Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 27, no. 3, pp. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 ; Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315

• Authors : Valery Anatolyevich Sokolov; Валерий Анатольевич Соколов

• Source: Modeling and Analysis of Information Systems; Том 27, № 4 (2020); 510-511 ; Моделирование и анализ информационных систем; Том 27, № 4 (2020); 510-511

تفاصيل العنوان

On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories ; О методах верификации и разработки программ развития сельскохозяйственных территорий

• Authors : Jorge Vega Vice; Valery Mikhailov; Хорхе Луис Вега Висе

Subjects: модель сельскохозяйственной территории; verification of development programs; development of proper development programs

• Source: Modeling and Analysis of Information Systems; Том 25, № 5 (2018); 481-490 ; Моделирование и анализ информационных систем; Том 25, № 5 (2018); 481-490

تفاصيل العنوان

On Safety of Unary and Non-unary IFP-operators ; О безопасности одно- и многоместных IFP-операторов

• Authors : Sergey Dudakov; Сергей Михайлович Дудаков

Subjects: безопасность; arity; safety

• Source: Modeling and Analysis of Information Systems; Том 25, № 5 (2018); 525-533 ; Моделирование и анализ информационных систем; Том 25, № 5 (2018); 525-533

تفاصيل العنوان