http://dspace.nbuv.gov.ua:80/handle/123456789/115170 Mon, 13 Apr 2026 08:36:16 GMT 2026-04-13T08:36:16Z http://dspace.nbuv.gov.ua:80/bitstream/id/342500/ http://dspace.nbuv.gov.ua:80/handle/123456789/115170 http://dspace.nbuv.gov.ua:80/handle/123456789/115826 Титульная страница и содержание Wed, 01 Jan 2014 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/115826 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/115824 Метод доказательства инвариантности линейных неравенств для линейных циклов Львов, М.С. Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все собственные значения линейного оператора вещественны. Метод основан на вычислении числа итераций цикла, после выполнения которых инвариантность системы линейных неравенств либо обеспечивается, либо опровергается. Метод использует представление линейного оператора в его жордановой форме.; Представлено новий метод доведення інваріантності системи лінійних нерівностей для ітераційних циклів, визначених над полем раціональних чисел з лінійним оператором у тілі циклу. Метод враховує передумову циклу у вигляді системи лінійних нерівностей. Розгляд обмежено випадком, коли усі власні значення лінійного оператора є дійсними. Метод базується на обчисленні числа ітерацій циклу, після виконання яких інваріантність системи лінійних нерівностей або забезпечується, або спростовується. Метод використовує представлення лінійного оператора у його жордановій формі.; A new method is presented to prove the invariance of simultaneous linear inequalities for iteration loops defined over the field of rational numbers with linear operator in the loop body. The method takes into account the loop precondition in the form of simultaneous linear inequalities. The considerations are limited by the case of real eigenvalues of the linear operator. The method is based on computing the number of cycle iterations whose execution either ensures or disproves the invariance of the system of linear inequalities. The method uses the representation of linear operator in its Jordan form. Wed, 01 Jan 2014 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/115824 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/115823 О задаче упаковки шаров в куб Березовский, А.О. Рассмотрена задача упаковки одинаковых шаров в единичный куб в n-мерном пространстве. Исследована двойственная лагранжева оценка (верхняя оценка радиуса шаров) для классической квадратичной постановки задачи и ряда постановок, полученных путем ее расширения семействами функционально избыточных ограничений. В базовой постановке получено аналитическое выражение для двойственной оценки.; Розглянуто задачу пакування однакових куль в одиничний куб в n-вимірному просторі. Досліджено двоїсту лагранжеву оцінку (верхню оцінку радіуса куль) для класичної квадратичної постановки задачі та ряду постановок, отриманих шляхом її розширення сімействами функціонально надлишкових обмежень. У базовій постановці отримано аналітичний вираз для двоїстої оцінки.; The problem of packing identical spheres in a unit cube in n-dimensional space is considered. The dual Lagrange bound (upper bound for sphere radius) for the classical quadratic formulation of the problem and some formulations obtained by expanding it by families of functionally redundant constraints is analyzed. The analytical expression for the dual bound is obtained in the basic formulation. Wed, 01 Jan 2014 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/115823 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/115822 Комбинаторный алгоритм построения параметрического пространства признаков для классификации многомерных моделей Кнышов, Г.В.; Настенко, Е.А.; Кондрашова, Н.В.; Носовец, Е.К.; Павлов, В.А. Рассмотрен комбинаторный алгоритм поиска наилучшего набора обобщенных переменных для построения единой структуры моделей объектов классификации по заданным наборам данных на принципах метода группового учета аргументов. Предлагается строить классификатор в пространстве параметров найденной структуры моделей, наилучшим образом представляющих характеристики классифицируемых объектов.; Розглянуто комбінаторний алгоритм пошуку найкращого набору узагальнених змінних для побудови єдиної структури моделей об’єктів класифікації за заданими наборами даних на принципах методу групового обліку аргументів. Запропоновано будувати класифікатор у просторі параметрів знайденої структури моделей, що найкращим чином представляють характеристики класифікації об’єктів.; We consider a combinatorial algorithm to find the best set of generalized variables for constructing a unified structure of models of classification objects using given data sets based on the principles of group method of data handling (GMDH). We propose to construct the classifier found in the parameter space of the structure of models that represent in the best way the characteristics of the classified objects. Wed, 01 Jan 2014 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/115822 2014-01-01T00:00:00Z