Рассмотрены варианты определения археомоделирования и взаимосвязь нового научного направления с археоастрономией. Описаны программные инструменты, используемые в исследовании и приведены требования к новому поколению моделирующих программ, оптимизированных для исследований по археомоделированию. Изложена концепция расширенного и обобщённого кодо-логического базиса в контексте доцифрового этапа в развитии вычислительного моделирования эпохи монокодов. Освещены монокодовые модели как основные объекты исследований в данной области, представлены их классификации. Проанализированы когнитивное компьютерное моделирование, когнитивные мегакарты, а также астроморфное моделирование.

Приведены результаты дистанционного исследования объектов и природных сред с помощью сверхширокополосного импульсного электромагнитного зондирования. Детально рассмотрен разработанный в Донецком национальном техническом университете новый способ структурно-геодинамического картирования (СГДК-А), являющийся разновидностью индуктивного метода электроразведки. Описана, созданная для реализации данного способа установка ЭФА, разрешающая способность которой намного превышает стандартные средства индуктивного метода.

Рассмотрены особенности формирования информационной инфраструктуры Донбасса за последние 20 лет и дан анализ предпосылок и тенденций ее дальнейшего развития. Обоснована целесообразность разработки долгосрочной программы развития региональной информационной инфраструктуры на период до 2020 г.

В основе предлагаемых подходов лежит принципиально новый подход к датированию Атлантиды, предпологающий интерпретацию указываемых Платоном лет как сезонов, что позволяет связать историю описанной им цивилизации с формированием и распадом индоевропейской общности.

Рассмотрены основные особенности и закономерности кодо-логической эволюции, многомерное логическое пространство, различные варианты компьютерной логики и кодирования количественной информации. Обоснована актуальность перехода к постбинарному компьютингу. Даны представления о логическом пространстве и алгебре тетралогики. Проанализированы основные тенденции перехода к пространству тетралогики, рассмотрена реализация ноль-, одно- и двуместных логических операций. Рассмотрены представление элементов тетралогики с помощью аксиоматического аппарата теории множеств и реализация базовых логических операций над элементами тетралогики. Внимание уделено развитию понятия числа в контексте истории математики и компьютерных вычислений. Освещена эволюция алгоритмического базиса интервальных вычислений. Предложены постбинарные методы реализации интервальных вычислений для компьютерного моделирования и других критичных по производительности и надежности приложений. Показаны особенности перехода от бинарного к постбинарному компьютингу, постбинарного кодирования на примере интервального представления результатов вычислений по формуле Бэйли - Боруэйна - Плаффа. Приведена обобщенная архитектура постбинарного процессора, реализующего описанные средства и методы вычислений.

Рассмотрены эволюция интервальных методов и современное состояние классической интервальной арифметики. Предложена возможность гиперкодового представления чисел с плавающей точкой для сохранения информации об исходной точности чисел и предоставления достоверной информации о точности полученных результатов.

Індекс рубрикатора НБУВ: З973-047.10

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж69802 Пошук видання у каталогах НБУВ 

Рассмотрена реализация некоторых действий с элементами тетралогики (тетритами), которые представлены четырьмя логическими условиями - истина, ложь, неопределенность и множественность. Показаны основные возможности реализаций логических действий на базе тетритов. Выявлены зависимости между действиями тетралогики и некоторыми законами алгебры логики.

На базе примера, предложенного профессором З. Румпом еще в 1988 году, проведен детальный анализ условий формирования неверных результатов в современных системах компьютерной математики. Проанализирована возможность использования интервальных методов для минимизации отрицательных последствий получения ошибочных результатов вычислений. Предложены варианты постбинарного представления численной информации и методы работы с ней, исключающие появление ситуаций, подобных тем, которые имеют место в случае с примером Румпа.

Рассмотрены технологии виртуализации, их эволюция, различные варианты использования, связь с облачными вычислениями. Проанализирована техническая возможность реализации и современные проблемы виртуализации. Рассмотрено и проанализировано внедрение виртуализации в ВУЗах США на примере Государственного университета Северной Каролины. Описаны преимущества использования виртуализации в ДонНТУ и предложена модель цифровой библиотеки будущего, которая может быть внедрена в образовательный процесс ДонНТУ.

Одна из главных функций университета состоит в распространении знаний. Показателем успешности университета в решении данной задачи является его значимое присутствие в информационном пространстве. Степень присутствия университета в информационном пространстве все сильнее влияет на его рейтинги и признание в мире. Рассмотрены и проанализированы особенности развития и продвижения ресурсов университета на примере ДонНТУ.

Представлена программная реализация извлечения из тетракода как полного набора двоичных и десятичных значений (преобразование тетракод - двоичное/десятичное число), так и значений границ интервала с оценкой их предельных колебаний (преобразование тетракод - интервал).

Рассмотрен ряд модификаций традиционных форматов чисел с плавающей запятой. Описаны методы идентификации данных форматов и надано краткое описание каждой модификации. Разработаны алгоритмы определения форматов модифицированных чисел по коду и модификатору формата. Представлена VHDL-модель устройства, выполняющего преобразование традиционных форматов чисел в постбинарные с возможностью их дальнейшего использования как интервальный тип данных в соответствующих (постбинарных, интервальных) вычислениях без потери точности.

Рассмотрено представление постбинарного логического пространства с помощью аксиоматического аппарата теории множеств. Предложен способ построения постбинарных логических операций, в котором в качестве операндов выступают множества, включающие в себя различные сочетания высказываний тетралогики. Выявлен парадокс представления множественности и предложен альтернативный подход, предполагающий раздвоение множественности, как в ее понятийном представлении, так и в представлении ее как состояния, доминирующего над неопределенностью.

Рассмотрены особенности представления (позиционирования на числовой оси) целочисленных и вещественных интервалов в виде тетракода. Выведены соотношения для получения значений диапазонов "плавающих" границ, т. е. ширины их предельных колебаний. Представлены основные зависимости для определения параметров интервальной оценки и приведены наглядные примеры их реализации.

Рассмотрена актуальность перехода к постбинарному компьютингу как важному шагу к достижению "гибкой разрядности" при кодировании количественных значений в современных компьютерных системах. Предложен ряд модификаций традиционных форматов чисел с плавающей запятой. Показаны принципы формирования дробных, интервальных и постбинарных форматов, основанных на модификации стандартных представлений чисел в формате с плавающей запятой.

Рассмотрены основные свойства интервалов и операций над ними с целью демонстрации преимуществ использования интервальных типов данных в качестве входных и результирующих параметров, а также использование интервального анализа как основного инструментария при реализации комплексных расчетов параметров серверных компьютерных систем. Показаны пути перехода от традиционного представления сетевых параметров к интервальному. Приведена демонстрация применения интервальных вычислительных методов на примере расчета времени отклика системы обработки запросов.

Предложена и описана программа-преобразователь для представления вещественного числа в постбинарных форматах чисел с плавающей запятой. Описаны интерфейс и рабочее пространство программы, рассмотрена ее структурная модель. Выполнена оценка времени работы и показаны примеры преобразования иррационального числа в различных вариантах приближения.

Проведена оценка временных затрат при реализации арифметических операций с вещественными числами в СКА Mathematica с использованием традиционных и интервальных вычислений. Проведены исследования при выполнении циклических вычислений для каждой из простейших арифметических операций. Получены аппроксимирующие зависимости и рассчитан коэффициент увеличения временных затрат при переходе к интервальным вычислениям.