Формальне перетворення - Велика Енциклопедія Нафти та Газа, стаття, сторінка 1
Формальне перетворення
Формальні перетворення буде виправдано, якщо всі розглянуті твори матриць існують і для них виконується асоціативний закон. [1]
Формальні перетворення цих інтегралів дозволяють виключити з розгляду лише похідні другого порядку. [2]
Зазначені формальні перетворення легко програмуються і на ЕОМ, у зв'язку з чим симплекс-метод входить до складу програмного забезпечення ЕОМ загального призначення, що випускаються в даний час. [3]
Зазначене формальне перетворення має такий геометричний зміст. Розглянемо матрицю А як матрицю деякого лінійного перетворення А декартовому базисі з координатами хъ л: 2, хя. Тоді перехід ( 41), що приводить квадратичну форму F до виду ( 43), відповідає переходу до нового базису, складеного із власних векторів перетворення А. [4]
Ці чисто формальні перетворення вихідного рівняння можуть виявитися корисними не тільки за практичного реілені та рівняння. У ряді випадків вони допомагають відповісти на питання про існування рішення, коли його практично побудувати неможливо. [5]
Дійсно, формальні перетворення , очевидно, не зачіпаються продовженням змінної 5 в комплексну область, що стосується питань збіжності, то досить помітити, що всі ряди, що зустрічаються там, мажоруються рядами, що виходять з них при заміні s на а. У формулах ( 13) і ( 18) береться гілка In ( 5), речовинна на речовинної осі. [6]
Для виконання формальних перетворень та постановки прикладних завдань зручна матрична форма завдання графів. Це квадратна матриця розмірності х п, в якій одиниці ставляться на перетині / - х рядків іу-х стовпців для всіх дуг (у) е А. [8]
У межах формального перетворення Фур'є, тобто. без конструктивного опису дії ПД оператора f (D), [13] встановлена глобальна розв'язність зазначеної задачі Коші. [9]
Наведемо приклад формальних перетворень G символом V-Якщо за символом V слідує декілька членів, на один з яких він діє як оператор диференціювання, а на інші ні, то для ясності будемо позначати цей член вертикальною стрілкою. Пояснимо це з прикладу. [10]
Даний алгоритм формального перетворення тональної структури, що призводить до візуальних ефектів просторового поділу, будемо надалі називати алгоритмом розробки глибини та багатоплановості. [11]
Воно представляє результат формального перетворення останнього і застосовується тому як до голономних, так і іеголономних систем. У разі голояозних зв'язків та незалежних узагальнених координат варіації bqs незалежні, внаслідок чого коефіцієнт при кожному & qs у сумі ( 3) має бути окремо дорівнює нулю. [12]
Аналіз схем дозволяє шляхом формальних перетворень логічних виразів з'ясувати, наскільки економно побудовано схему, допомагає отримати схеми з найменшою кількістю елементів. При синтезі схем логічні висловлювання перетворюються раціональним чином те щоб кожен із членів висловлювання міг бути представлений про. З цих простих схем відповідно до логічних формул будуються складніші схеми. [13]
При таких формальних перетвореннях слід стежити за диферонцем. [14]
Для виконання різноманітних формальних перетворень над графами зручно використовувати матричне завдання графів. [15]