Комп'ютер для операцій з функціями

Позиційний код цілого числа ${\displaystyle A}$ являє собою запис цифр ${\displaystyle \alpha }$ цього числа в деякій позиційній системі числення, що має вигляд

${\displaystyle A=\alpha _{0}\alpha _{1}\dots \alpha _{k}\dots \alpha _{n}}$

Такий код можна назвати лінійним. На відміну від нього позиційний код функції ${\displaystyle F(x)}$ одного аргументу ${\displaystyle x}$ має вигляд

${\displaystyle F(x)={\begin{pmatrix}\ &\ &\cdots \\\ &\ &\alpha _{22}\cdots \alpha _{2k}\cdots \\\ &\alpha _{11}&\alpha _{12}\cdots \alpha _{1k}\cdots \\\alpha _{00}&\alpha _{01}&\alpha _{02}\cdots \alpha _{0k}\cdots \end{pmatrix}}}$

тобто є плоским і трикутним, оскільки цифри в ньому утворюють трикутник.

Вказаному позиційному коду цілого числа відповідає сума виду

${\displaystyle A=\sum _{k=0}^{n}\alpha _{k}\rho ^{k}}$,.

де ${\displaystyle \rho }$ — підстава даної системи числення. Вказаному позиційному коду функції одного аргументу відповідає подвійна сума виду

${\displaystyle F(x)=\sum _{k=0}^{n}\sum _{m=0}^{k}\alpha _{mk}R^{k}y^{k-m}(1-y)^{m}}$,

де ${\displaystyle R}$ — ціле позитивне число, кількість значень цифри ${\displaystyle \alpha }$, ${\displaystyle y}$ — певна функція аргументу ${\displaystyle x}$.

Додавання позиційних кодів чисел пов'язане з передачею перенесення в старший розряд за схемою

${\displaystyle \alpha _{k}\longrightarrow \alpha _{k+1}}$.

Додавання позиційних кодів функцій одного аргументу також пов'язане з передачею перенесення за схемою

${\displaystyle {\begin{pmatrix}\ \ &\alpha _{k+1,m+1}\\\ \nearrow &\ \\\alpha _{k,m}\longrightarrow &\alpha _{k+1,m}\end{pmatrix}}}$.

При цьому одне і теж перенесення передається одночасно в два старших розряди.

Трикутний код називається R-м (і позначається як ${\displaystyle TK_{R}}$), якщо числа ${\displaystyle \alpha _{mk}}$ приймають значення з множини

${\displaystyle D_{R}=\{-r_{1},-r_{1}+1,\dots ,-1,0,1,\dots ,r_{2}-1,r_{2}\},}$ де ${\displaystyle r_{1},\;r_{2}\geq 0}$ и ${\displaystyle R_{}^{}=r_{1}+r_{2}+1}$.

Наприклад, трикутний код є потрійним ${\displaystyle TK_{3}}$, якщо ${\displaystyle \alpha _{mk}\in (-1,0,1)}$, і — четверичним ${\displaystyle TK_{4}}$, якщо ${\displaystyle \alpha _{mk}\in (-2,-1,0,1)}$.

Для R-х трикутних кодів справедливі наступні рівності:

${\displaystyle {\begin{pmatrix}\ \ &0\\\ \nearrow &\ \\aR\longrightarrow &0\end{pmatrix}}={\begin{pmatrix}\ \ &a\\\ \nearrow &\ \\0\longrightarrow &a\end{pmatrix}},{\begin{pmatrix}\ \ &a\\\ \nearrow &\ \\0\longrightarrow &0\end{pmatrix}}={\begin{pmatrix}\ \ &0\\\ \nearrow &\ \\aR\longrightarrow &-a\end{pmatrix}},{\begin{pmatrix}\ \ &0\\\ \nearrow &\ \\0\longrightarrow &a\end{pmatrix}}={\begin{pmatrix}\ \ &-a\\\ \nearrow &\ \\aR\longrightarrow &0\end{pmatrix}}}$,

де a — будь-яке число. існує ${\displaystyle TK_{R}}$ будь-якого цілого дійсного числа. Зокрема, ${\displaystyle TK_{R}(\alpha )=\alpha }$. Також існує ${\displaystyle TK_{R}}$ любої функції виду ${\displaystyle y^{k}}$. Зокрема, ${\displaystyle TK_{R}(y^{2})=(0\ 0\ 1)}$.

У R-х трикутних кодах полягає в тому, що

• у даному ${\displaystyle (mk)}$-розряді визначається сума ${\displaystyle S_{mk}^{}}$ складових розрядів ${\displaystyle \alpha _{mk},\ \beta _{mk}}$ і двох перенесень ${\displaystyle p_{m,k-1},\ p_{m-1,k-1}}$, що поступили в цей розряд ліворуч, тобто

${\displaystyle S_{mk}^{}=\alpha _{mk}\beta _{mk}p_{m,k-1}p_{m-1,k-1}}$,

• ця сума представляється у вигляді ${\displaystyle S_{mk}^{}=\sigma _{mk}Rp_{mk}}$, де ${\displaystyle \sigma _{mk}\in D_{R}}$,
• ${\displaystyle \sigma _{mk}}$ записується в ${\displaystyle (mk)}$-розряд сумарного коду, а перенесення ${\displaystyle p_{mk}}$ з цього розряду передається в ${\displaystyle (m,k1)}$-разряд і ${\displaystyle (m1,k1)}$-розряд.

Ця процедура описується(як і при однорозрядному складанні чисел) таблицею однорозрядного складання, де мають бути присутніми усі значення доданків ${\displaystyle \alpha _{mk}\in D_{R}}$ і ${\displaystyle \beta _{mk}\in D_{R}}$ і усі значення перенесень, що виникають при розкладанні суми ${\displaystyle S_{mk}^{}=\sigma _{mk}Rp_{mk}}$. Така таблиця може бути синтезована при ${\displaystyle R>2.}$

Нижче приведена таблиця однорозрядного складання при ${\displaystyle R=3}$:

Smk	TK(Smk)		${\displaystyle \sigma _{mk}^{}}$	${\displaystyle p_{mk}^{}}$
.	.	0	.	.
0	0	0	0	0
.	.	0	.	.
1	1	0	1	0
.	.	0	.	.
(-1)	(-1)	0	(-1)	0
.	.	1	.	.
2	(-1)	1	(-1)	1
.	.	1	.	.
3	0	1	0	1
.	.	1	.	.
4	1	1	1	1
.	.	(-1)	.	.
(-2)	1	(-1)	1	(-1)
.	.	(-1)	.	.
(-3)	0	(-1)	0	(-1)
.	.	(-1)	.	.
(-4)	(-1)	(-1)	(-1)	(-1)

у R-х трикутних кодах відрізняється від однорозрядного складання тільки тим, що в даному ${\displaystyle (mk)}$-розряді величина ${\displaystyle S_{mk}^{}}$ визначається по формулі

${\displaystyle S_{mk}^{}=\alpha _{mk}-\beta _{mk}p_{m,k-1}p_{m-1,k-1}}$.

у R-х трикутних кодах ґрунтовано на використанні співвідношення

${\displaystyle {\begin{pmatrix}\ \ &a\\\ \nearrow &\ \\0\longrightarrow &0\end{pmatrix}}={\begin{pmatrix}\ \ &0\\\ \nearrow &\ \\aR\longrightarrow &-a\end{pmatrix}}}$,

звідки витікає, що ділення кожного розряду викликає перенесення в два нижні розряди. Отже, розрядний результат в цій операції є сумою частки від ділення цього розряду на R і перенесень з двох верхніх розрядів. Таким чином, при діленні на параметр R

• у даному ${\displaystyle (mk)}$-розряді визначається сума

${\displaystyle S_{mk}^{}=\alpha _{mk}/R-p_{m1,k}/Rp_{m1,k1}}$,

• ця сума представляється у вигляді ${\displaystyle S_{mk}^{}=\sigma _{mk}p_{mk}/R}$, де ${\displaystyle \sigma _{mk}\in D_{R}}$,
• ${\displaystyle \sigma _{mk}}$ записується в ${\displaystyle (mk)}$-розряд результуючого коду, а перенесення ${\displaystyle p_{mk}}$ з цього розряду передається в ${\displaystyle (m-1,k-1)}$-разряд і ${\displaystyle (m-1,k)}$-розряд.

Ця процедура описується таблицею однорозрядного ділення на параметр R, де мають бути присутніми усі значення доданків і усі значення перенесень, що виникають при розкладанні суми ${\displaystyle S_{mk}^{}=\sigma _{mk}+p_{mk}}$. Така таблиця може бути синтезована при ${\displaystyle R>2.}$

Ниже приведена таблица одноразрядного ділення на параметр R при ${\displaystyle R=3}$:

Smk	TK(Smk)		${\displaystyle \sigma _{mk}^{}}$	${\displaystyle p_{mk}^{}}$
.	.	0	.	.
0	0	0	0	0
.	.	1	.	.
1	0	0	1	0
.	.	(-1)	.	.
(-1)	0	0	(-1)	0
.	.	0	.	.
1/3	1	(-1/3)	0	1
.	.	1	.	.
2/3	(-1)	1/3	1	(-1)
.	.	1	.	.
4/3	1	(-1/3)	1	1
.	.	2	.	.
5/3	(-1)	1/3	2	(-1)
.	.	0	.	.
(-1/3)	(-1)	1/3	0	(-1)
.	.	(-1)	.	.
(-2/3)	1	(-1/3)	(-1)	1
.	.	(-1)	.	.
(-4/3)	(-1)	1/3	(-1)	(-1)
.	.	(-2)	.	.
(-5/3)	1	(-1/3)	(-2)	1

R-х трикутних кодів полягає(як і в позиційних кодах чисел) в послідовно виконуваних однорозрядних операціях. При цьому однорозрядні операції в усіх розрядах кожного стовпця виконуються одночасно.

R-х трикутних кодів. Множення деякого коду ${\displaystyle TK_{R}'^{}}$ на ${\displaystyle (mk)}$-розряд іншого коду ${\displaystyle TK_{R}''^{}}$ полягає в ${\displaystyle (mk)}$-зміщенні коду ${\displaystyle TK_{R}'^{}}$, тобто зрушенні його на k стовпців вліво і на m рядків вгору. Множення кодів ${\displaystyle TK_{R}'^{}}$ і ${\displaystyle TK_{R}''^{}}$ полягає в послідовних ${\displaystyle (mk)}$-зміщеннях коду ${\displaystyle TK_{R}'^{}}$ і складаннях зрушеного коду ${\displaystyle TK_{R}'^{}}$ з частковим твором(як і в позиційних кодах чисел).

R-х трикутних кодів. Похідна функції ${\displaystyle F(x)}$, визначеною вище

${\displaystyle {\frac {\partial F(x)}{\partial x}}={\frac {\partial y}{\partial x}}{\frac {\partial F(x)}{\partial y}}}$.

Тому диференціювання трикутних кодів функції ${\displaystyle F(x)}$ полягає у визначенні трикутного коду приватною похідною ${\displaystyle {\frac {\partial F(x)}{\partial y}}}$ і множенні його на відомий трикутний код похідної ${\displaystyle {\frac {\partial y}{\partial x}}}$. Визначення трикутного коду приватною похідною ${\displaystyle {\frac {\partial F(x)}{\partial y}}}$ ґрунтовано на співвідношенні

${\displaystyle {\frac {\partial }{\partial x}}{\begin{pmatrix}\ &\ &0\\\ &0&\alpha _{mk}\\0&0&0\end{pmatrix}}={\begin{pmatrix}\ &\ &(k-m)\alpha _{mk}\\\ &0&(k-2m)\alpha _{mk}\\0&0&(-m)\alpha _{mk}\end{pmatrix}}}$.

Спосіб диференціювання полягає в організації перенесень з mk- розряду в(m 1, k) -розряд і в(m — 1, k) -розряд, а їх підсумовування в цьому розряді робиться аналогічно однорозрядному складанню.

R-х трикутних кодів. Функція, представлена рядом виду

${\displaystyle F(x)=\sum _{k=0}^{n}A_{k}y^{k}}$,

з цілими коефіцієнтами ${\displaystyle A_{k}}$, може бути представлена R-м трикутним кодом, оскільки ці коефіцієнти і функції ${\displaystyle y^{k}}$ мають R-ті трикутні коди(про що сказано на початку розділу). З іншого боку, R-й трикутний код може бути представлений вказаним рядом, оскільки будь-який доданок ${\displaystyle \alpha _{mk}R^{k}y^{k}(1-y)^{m}}$ у позиційному розкладанні функції(що відповідає цьому коду) може бути представлено таким же рядом.

R-х трикутних кодів. Так називається операція зменшення числа не нульових стовпців. Необхідність укорочення виникає при виникненні перенесень за розрядну сітку. Укорочення полягає в діленні на параметр R. При цьому усі коефіцієнти уявного кодом ряду зменшуються в R разів, а дробові частини цих коефіцієнтів відкидаються. Зникає також старший член ряду. Таке скорочення допустиме, якщо відомо, що ряди функцій сходяться. Укорочення полягає в послідовно виконуваних однорозрядних операціях ділення на параметр R. При цьому однорозрядні операції в усіх розрядах кожного рядка виконуються одночасно, а перенесення з молодшого рядка відкидаються.

R-й трикутний код супроводжується масштабним коефіцієнтом M, аналогічним порядку в числі з рухомою комою. Коефіцієнт M дозволяє представити усі коефіцієнти кодованого ряду у вигляді цілих чисел. Коефіцієнт M множиться на R при укороченні коду. При складанні коефіцієнти M вирівнюються, для чого необхідно укорочувати один із складових кодів. При множенні коефіцієнти M також множаться.