В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления....
В пособии излагается взгляд автора на то, что такое информатика, ее состав, основные понятия, концепция описания ее истории и поколений средств вычислительной техники. Особое внимание уделяется...
В статье предложен метод полиморфного выполнения алгоритмов на множественном контексте данных, что характерно для современных систем управления. Метод позволяет строить эффективные алгоритмы без...
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в...
В работе с помощью R-функций рассмотрено поэтапное моделирование кузова автомобиля многопараметрическими уравнениями с буквенными параметрами для геометрических характеристик и методика построения...
Нечеткие модели Такаджи-Суджено в последнее время стали довольно мощным средством для моделирования и управления сложными системами. Тем не менее, многие вопросы, в том числе проблема устойчивости...
Несмотря на имеющиеся программные комплексы, позволяющие производить финансовые расчеты в рамках оказания услуг по оценке, большинство практикующих оценщиков при определении рыночной или иной...
Авторами описаны основные концепции спектрального анализа, получение графического образа аудиосигнала, а также особенности восстановления искаженного аудиосигнала. Для реконструкции сигнала...
Описываются проектные решения, принятые при разработке программной реализации декодера одного класса алгебро-геометрических кодов. Данные решения развивают методологию обобщенного программирования, а...
Известно, что в ходе эволюции новые гены могут возникать путем комбинации уже существующих генов, в результате процессов склейки частей генов или вставки фрагмента одного гена в другой ген. Точки...
Основу любого ТСР-подобного протокола составляет алгоритм передачи многопакетных сообщений с адресным переспросом. В данной работе предложен подход к нахождению вероятностно-временных и временных...
Работа посвящена применению средств компьютерной графики в построении графических способов решения математических задач. Приведены примеры решения компьютерно-графическим способом систем линейных...
Целью данной статьи является проведение анализа различных подходов к определению понятия интерпретируемости, формирование наиболее полного списка критериев интерпретируемости нечетких множеств и...
В статье анализируется метод представления двух FIFO-очередей в памяти размера m единиц. Предполагается, что на нечетном шаге допускаются операции включения элементов в одну из очередей, а на четном...
В работе оценивается эффективность различных модификаций метода муравьиных колоний при решении задачи коммивояжера. Эффективность различных алгоритмов (оригинального, элитного и рангового)...
В учебнике, написанном преподавателями химического факультета МГУ им. М. В. Ломоносова, изложены современные теоретические основы химической термодинамики и химической кинетики, рассмотрены их...
Книга посвящена применению теории групп к исследованию различных вопросов теории управления. В частности, изучен вопрос о количестве первых интегралов у конкретной системы с управлением и способах их...
Рассматриваются альтернативные алгоритмы использования теста гипотетического монополиста для решения задачи о границах товарного рынка в рамках антимонопольного расследования. Обозначены трудности,...
Книга посвящена изложению многолетнего опыта разработки, создания и использования газодинамических установок кратковременного действия для аэродинамических экспериментов. Приведено подробное описание...
Учебное пособие содержит анализ теории и практики международного бизнеса. Основное внимание уделено стратегическим аспектам деятельности международных компаний с учетом динамичного характера...