Кратко описаны библиотеки операций и функций арифметического подмножества системы компьютерной алгебры АНАЛИТИК-2000. Функции и операции библиотеки определены над целыми, рациональными и десятичными числами произвольной длины. Данную библиотеку можно использовать автономно для расширения области применения, численных методов при необходимости вычислений с высокой точностью.

Проаналізовано результати розподілу внутрішніх сил у тонкостінних оболонкових конструкціях, одержаних за допомогою комп'ютерних технологій, в основі яких використовується метод скінчених елементів (МСЕ). Показано, що одержані результати не відповідають основним фізичним законам. Запропоновано проводити обов'язкову сертифікацію програмних продуктів на відповідність результатів фізичним законам.

Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built. Dimensions and dimensional distributions are presented in the paper in order to define invariants for program variables. The method to analyze the model is described and grounded in the paper. The experimental results shown in the paper make it possible to evaluate test-sensitivity at the rate of about 65 %.

Індекс рубрикатора НБУВ: З973.044.431 + В152.41

Рубрики:

Скінченні поля. Поля уявностей Галуа

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

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