Індекс рубрикатора НБУВ: В15 я431(0)

Рубрики:

Алгебра

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

Запропоновано понад 100 задач різного рівня складності з основ алгебри та алгебричної геометрії. Розглянуто афінні багатовиди, проективні та абстрактні багатовиди, теорію розмірності, регулярні та особливі точки, теорію перетинів.

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

Розроблено багаторівневу модель виконання операції вертикального додавання, що підсумовує кількість одиниць паралельного коду з використанням способів перекладу чисел із однієї системи числення до іншої. Визначено операції ділення кількості та упорядкування одиниць, а також способи їх виконання на рівнях моделі. Запропоновано методи проектування пристроїв для упорядкування та ділення кількості одиниць, а також вертикального додавання. Дані методи дозволяють оцінювати відомі рішення та одержувати нові, що перевищують відомі за швидкодією та/або витратами обладнання. Результати роботи використано для розробки арифметичного блоку системи цифрової обробки сигналів.

Досліджено співвідношення адміністративної відповідальності з іншими видами адміністративного примусу. Наведено комплексну характеристику адміністративного примусу. Розкрито сутність категорії "правова форма реалізації адміністративного примусу", яку вперше введено до наукового обігу, описано її структуру та види. На підставі аналізу змісту та практики застосування в Україні законодавства про адміністративну відповідальність проаналізовано основні проблеми та недоліки реалізації адміністративного примусу в державі та розроблено пропозиції щодо їх усунення.

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

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

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

Описаны производные категории когерентных пучков над узловыми некоммутативными кривыми струнного и почти струнного типов.

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

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

Проаналізовано загальносоціальні й індивідуальні причини та умови алкоголізації. Досліджено роль таких мотивів уживання спиртного, як прагнення особи за допомогою алкоголю задовольнити свої природні потреби; прагнення особи до самоствердження; вживання алкоголю з метою регулювання свого психофізичного стану; а також мотиви, що властиві для осіб, у яких уже сформувався стійкий потяг до спиртного. З'ясовано роль причин і мотивів уживання спиртного в механізмі адміністративно-правової протидії пияцтву.

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

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

Определены представленческие типы (конечный, ручной, дикий) нодальных алгебр типа D.

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

Development of computer systems and their components on the way of increasing a development level of resources – models, methods and means – from exact and consecutive forms to parallel and approximate is considered. Increase of level is provided withtransition from the pipeline system made of single-cycle matrix units to a matrix of digit-by-digit pipelines for multithreading data processing in consecutive codes with the improved ratio of productivity to complexity. For increase of results reliability the model of data from exact to approximate is improved, and development of the scan checking which reliability grows with increase in number in parallel of the working pipelines is offered.

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

Індекс рубрикатора НБУВ: В1 д(45Укр) Кравчук, М.

Рубрики:

Математика

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