Математика, информатика, экономика. Рубрика в журнале - Труды Московского физико-технического института
Дедуктивный метод анализа логических гонок с использованием сепарационной логики
Статья научная
В работе предложен дедуктивный метод анализа логических гонок на основе метода Rely-Guarantee и сепарационной логики. В отличие от схожих методов, предложенный ме- тод позволяет проводить анализ параллельных программ на общей памяти, в которых неко- торые потоки имеют совместно используемые области памяти, скрытые от других потоков; не специфицировать состояния всей системы после каждого шага, что способствует прове- дению анализа логических гонок с меньшим числом ложных отчетов
Бесплатно
Статья научная
Получены и исследованы комбинаторные оценки вероятности переобучения для логических правил, имеющих вид пороговых конъюнкций над заданным подмножеством вещественных признаков. Введено понятие фиксированных объектов и предложены алгоритмы их эффек- тивного вычисления. С их помощью построены верхние оценки вероятности переобучения, учитывающие эффекты расслоения и связности в семействе пороговых конъюнкций. Эти оценки предлагается использовать в качестве критерия информативности при поиске конъ- юнктивных закономерностей в логических алгоритмах классификации.
Бесплатно
Моделирование режимов глобальных электроэнергетических систем
Статья научная
Предложена модель электроэнергетической системы и алгоритм поиска управляющего воз- действия. На основе программной реализации и тестовых расчетов сделан вывод о практи- ческой применимости модели. Дано сравнение с программным комплексом RastrWin
Бесплатно
Модифицированное равновесие и его свойства
Статья научная
При исследовании результатов игр, проведенных в контролируемых условиях лабораторий, наблюдается систематическое отклонение агрегированного поведения от равновесия Нэша. Вместе с тем сам принцип Нэша о наилучшем ответе на стратегии остальных игроков про- является в несколько более слабом смысле. Будем предполагать, что игрок имеет неточную информацию о стратегиях остальных игроков, выраженную в вероятностной форме. Ока- зывается, что полученное на этом пути модифицированное равновесие обладает полезными математическими свойствами и лучше согласуется с результатами экспериментов.
Бесплатно
Статья научная
С использованием расходящегося несобственного интеграла первого рода доказано необхо- димое условие существования одномерных ω-предельных множеств у косого произведения отображений интервала с замкнутым множеством периодических точек.
Бесплатно
Обобщенный непараметрический метод. Применение к анализу товарных рынков
Статья научная
В статье описано применение обобщенного непараметрического метода (ОНМ) к анализу то- варных рынков. Предложены новые средства исследования торговой статистики, предостав- ляемые ОНМ: построение индексов, исследование сегментации, изучение рациональности поведения репрезентативного потребителя.
Бесплатно
Приоритеты инновационного развития: конкурентное преимущество и общие интересы
Статья научная
С помощью упрощенных экономико-математических моделей проводится сравнительный анализ стимулов к совершенствованию собственных технологий предприятий и к улучше- нию общих условий (например, к повышению доступности общих ресурсов). Выявлены усло- вия осознания общих интересов конкурирующими участниками инновационного развития. Даны рекомендации в области государственного регулирования инновационного развития.
Бесплатно
Ранговые q-циклические и псевдо-q-циклические коды
Статья научная
В теории кодов, исправляющих ошибки в метрике Хэмминга, хорошо известны три клас- са кодов: циклические коды, укороченные циклические коды и псевдоциклические коды. Важным является результат, состоящий в том, что класс линейных укороченных цикличе- ских кодов совпадает с классом линейных псевдоциклических кодов [1]. В теории кодов, исправляющих ошибки в ранговой метрике, подобные результаты неизвестны. В этой рабо- те для линейных кодов, основанных на ранговой метрике, получен аналогичный результат. Обобщается понятие q-циклических кодов и вводятся два новых семейства кодов, а имен- но, укороченных q-циклических кодов и псевдо-q-циклических кодов. Показано, что класс псевдо-q-циклических кодов совпадает с классом укороченных q-циклических кодов, ес- ли число позиций укорочения кратно степени расширения поля. Для других укорочений проблема остается открытой.
Бесплатно
