Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:517.98+517.11
Номер:10 (55)
Скачать PDF0 Кбайт
МОДЕЛИРОВАНИЕ ОСНОВНЫХ АСПЕКТОВ ВЕЩЕСТВЕННОГО И КОМПЛЕКСНОГО АНАЛИЗА В РАМКАХ АКСИОМАТИКИ ДЛЯ ГИПЕРНАТУРАЛЬНЫХ ЧИСЕЛ
Аннотация:
В работе излагается формализованная теория гиперрациональных чисел, основанная на консервативном расширении арифметики Пеано, которая используется для моделирования элементов вещественного и комплексного анализа в рамках формализованной теории чисел. Идея такого моделирования восходит к А.Г. Драгалину. В качестве приложения приводится ряд результатов о функциях, моделирующих вещественные и комплексные функции.
Ключевые слова:
Постоянный URL
Статьи в номере
- ИСПОЛЬЗОВАНИЕ ИНТЕГРАЛЬНЫХ ИЗМЕРЕНИЙ В НАБЛЮДЕНИИ СОСТОЯНИЯ РАСПРЕДЕЛЕННОГО ТЕРМОДИНАМИЧЕСКОГО ОБЪЕКТА
- АНАЛИЗ ВОЗМОЖНОСТЕЙ НЕПРЕРЫВНЫХ ПРЕДСТАВЛЕНИЙ ЗАДАЧИ ДИСТАНЦИОННОГО УПРАВЛЕНИЯ ТЕХНИЧЕСКИМ ОБЪЕКТОМ С УЧЕТОМ ФАКТОРА КАНАЛЬНОЙ СРЕДЫ
- КОНТРОЛЬ ВЫРОЖДЕНИЯ СЛОЖНЫХ ДИНАМИЧЕСКИХ СИСТЕМ СОЗИДАТЕЛЬНОГО ТИПА С АНТРОПОКОМПОНЕНТАМИ
- СИНТЕЗ ДВУХКАНАЛЬНОЙ ОПТОЭЛЕКТРОННОЙ ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ ИНТЕРВАЛЬНЫХ МОДЕЛЬНЫХ ПРЕДСТАВЛЕНИЙ
- МОДЕЛИРОВАНИЕ ЭФФЕКТА ВЛИЯНИЯ НЕСИММЕТРИЧНОГО НАГРЕВА ВАЛА НА ЕГО ТРАЕКТОРИЮ В ЦИЛИНДРИЧЕСКОМ ПОДШИПНИКЕ
- КОМПЕНСАЦИЯ ГАРМОНИЧЕСКОГО ВОЗМУЩЕНИЯ
- ПРИМЕНЕНИЕ ТЕХНОЛОГИИ ВЫДЕЛЕНИЯ ПОЛЯ ПРИ КОНЕЧНОЭЛЕМЕНТНОМ МОДЕЛИРОВАНИИ КВАДРУПОЛЬНОЙ ЛИНЗЫ
- ТРЕХМЕРНОЕ МОДЕЛИРОВАНИЕ САМОГРАВИТИРУЮЩЕГО ГАЗА
- МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОИЗВОДСТВЕННО-ТЕХНИЧЕСКИХ СИСТЕМ И ПРОГРАММНАЯ РЕАЛИЗАЦИЯ В ЗАДАЧАХ ПРОГНОЗИРОВАНИЯ СОСТОЯНИЙ
- СТАТИСТИЧЕСКИЙ АНАЛИЗ ВОЗРАСТНЫХ ИЗМЕНЕНИЙ НЕРВНО-МЫШЕЧНОЙ СИСТЕМЫ ЧЕЛОВЕКА
- МОДЕЛИРОВАНИЕ ПРОЦЕССОВ АБЛЯЦИИ ТВЕРДЫХ ТКАНЕЙ ЗУБА
- МЕТОД ПРОГНОЗИРОВАНИЯ РЕЗУЛЬТАТОВ МНОГОСУБЪЕКТОВОЙ КОНКУРЕНЦИИ В ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЯХ
- РАЗРАБОТКА МЕТОДИКИ СТРУКТУРИРОВАННОЙ ОЦЕНКИ РИСКА
- ОБНАРУЖЕНИЕ УЯЗВИМОСТЕЙ НА НАЧАЛЬНЫХ ЭТАПАХ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ПРОДУКТА
- МЕТОД ФОРМИРОВАНИЯ ПРОФИЛЯ ЗАЩИТЫ АВТОМАТИЗИРОВАННОЙ БАНКОВСКОЙ СИСТЕМЫ