Сортировать по:
| Выпуск | Название | |
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... The article is devoted to the methods of proving parallel programs correctness that are based ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... .The results of the development of methods and algorithms for transformation functional-parallel programs ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... This article is devoted to the problem of verifying parallel programs that may contain special ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... of the proof process. In this article a proof process of correctness of functional data-flow parallel programs ..." | ||
| Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... The new version of the recursive parallel programming shell for Win32 is reviewed. ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..." | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... A statically typed version of the data driven functional parallel computing model is proposed ..." | ||
| Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
| "... , but cannot be created or spent. Two sound RCWF-nets using the same set of resources can be put in parallel ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... Functional dataflow programming languages are designed to create parallel portable programs ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..." | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| "... function values using parallel computing without loss in accuracy is suggested. This procedure is realized ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| "... of parallel random number streams for Monte Carlo simulations are considered. The probability equidistribution ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In this paper, we offer an efficient parallel algorithm for solving the NP-complete Knapsack ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... . Both the sequential and the parallel version of the algorithm, their software implementation ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... flow parallel programming language Pifagor is the absence of explicitly specified cyclic computations ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... The paper presents a new mathematical model of parallel programs, on the basis of which ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
| Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
| Анна Шмилевна Непомнящая | ||
| "... ) parallel systems with simple single–bit processing elements and vertical processing. The associative ..." | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... The paper proposes a parallel algorithm for solving the Graph-Subgraph Isomorphism Problem ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... dynamically during the execution. For such problems, it seems reasonable to use parallel-recursive algorithms ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... There is a widespread and rapidly growing interest to the parallel programming nowadays ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... of the rules of program correctness for statements of the predicate programming P language. The paper presents ..." | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| "... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In the article by V. V. Vasilchikov “Parallel Algorithm for Solving the Graph Isomorphism Problem ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... программирования. В работе предлагается подход, характерный для систем, имеющих многоуровневое представление ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| "... -specified by correctness conditions, and semi-formally verified by means of Floyd method. Moreover ..." | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... computer. Numerical estimates of the performance of the proposed and original algorithm using parallel ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... : секретными и открытыми. Статический анализ безопасности информационных потоков программ идентифицирует ..." | ||
| Том 22, № 4 (2015) | Задача о наибольшем кратном потоке в делимой сети и ее частные случаи | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... can be decreased to k − s. 3. The divisible network of the parallel structure. Assume ..." | ||
| Том 26, № 1 (2019) | Анализ эффективности демультиплексирования транспортных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Степанов | ||
| "... the demultiplexing of traffic flows is justified. We proved the correctness of the obtained results by emulating ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... Static verification of a program source code correctness is an important element of software ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... in the ST-language according to an LTL-specification. The correctness analysis of an LTL-specification ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... programming approach provides an ability of a correctness analysis of PLC-programs using the model checking ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... a complex nature. In this connection there is an increasing necessity of means for assuring its correctness ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... . The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... in the LD-language (Ladder Diagram) according to an LTL-specification. The correctness analysis of an LTL ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... -TRL language. The correctness conditions generated for process-oriented programs regarding ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... . For all this modification it is crucial that the functionality and correctness of the original algorithm ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... the correctness of the proposed approach. A set of correctness requirements to models of system components ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... -program correctness analysis by the model checking method. For the specification of the program behavior ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... В работе рассматривается вариант построения универсального линеаризованного графа потока ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... Процессно-ориентированное программирование — это парадигма, основанная на концепции процесса ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... to prove the correctness of the program. Therefore, we add extra invariants containing auxiliary ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... of automatic validation of correctness conditions (instead of semi-automatic proof techniques). The key idea ..." | ||
| Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
| Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
| "... of parallel computing techniques and does not allow to effectively analyze and modify the model. In this paper ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... the correctness of system properties, especially for critical systems. However, there is still an open question ..." | ||
| Том 28, № 4 (2021) | Решение задач линейного программирования приведением к виду с очевидным ответом | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... В статье рассматривается способ решения задачи линейного программирования (ЗЛП), которая требует ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of parallel communicating components of these systems to separate verification of components written ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... В работе проводится анализ возможностей трансформации конструкций языка программирования C в ..." | ||
| Том 19, № 4 (2012) | Об одной нестационарной задаче маршрутизации с ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... . ). Построены экономичный вариант широко понимаемого метода динамического программирования (МДП) и, на его ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... at the preliminary phase of the analysis. The agents working in parallel check the syntactic and semantic consistency ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... the resulting set is constructed. An important part of the system is to monitor the correctness of all actions ..." | ||
| Том 22, № 4 (2015) | Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| А. Н. Носков, И. А. Манов | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... , что для таких сетей не выполняется теорема Форда и Фалкерсона о том, что величина максимального потока ..." | ||
| Том 20, № 1 (2013) | Несмещенная оценка энтропии для бинарных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... of correctness) software for reactive and controlling systems. This technology, besides other methods of software ..." | ||
| Том 19, № 4 (2012) | Замечания о расположениях точек на квадриках | Аннотация PDF (Rus) похожие документы |
| Александр Владиславович Селиверстов | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... динамического программирования и концепции Парето; последовательная их реализация продемонстрирована на ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... программирования, что позволило повысить возможности процедурного подхода. Это обеспечивает безболезненное ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... Hardware/software systems simulated by using the SystemC language are usually parallel ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... Mathematical square root function. Currently a computer-aided validation was carried for correctness ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..." | ||
| Том 27, № 1 (2020) | Определение расстояний между изображениями методом потоков де Рама | Аннотация похожие документы |
| Сергей Николаевич Чуканов | ||
| "... геометрическом методе потоков де Рама и предварительном аффинном преобразовании исходной формы изображения. При ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... software so the correctness of the control plane of the network can be ensured on-the-fly. ..." | ||
| Том 16, № 3 (2009) | Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... сведения к задаче нахождения максимального потока в сети. ..." | ||
| 1 - 75 из 165 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
