ВУЗ:
Составители:
Рубрика:
289
4.4.2.9. Единая свернутая дробно-рациональная формула по методу
равновесных двоичных векторов
Эта формула получена по программе CIRSYMW, реализующей метод
равновесных двоичных векторов [64]. Выбирает тот или иной метод
двоичных векторов (НДВ или РДВ) сам пользователь, устанавливая
соответствующие опции в файле setup.sym. В приведенном ниже
выражении знаменатель D не показан, поскольку oн повторяет знаменатель
в формуле (4.4.12) по методу НДВ.
K =L1 p R3 L9 p ((R2 ((c6 p (L6 p (L7 p+L8 p)+L7 p L8 p)+L7 p+L8 p)
(c7 p c8 p)+(c6 p (L6 p+L7 p)+1) (c8 p+c7 p))) (L5 p ((c2 p
(L2 p)+1) (c3 p (c4 p (L3 p+L4 p)+1))+(c2 p) (L3 p (c3 p
(c4 p (L4 p)+1)+c4 p))))+(R2 c8 p (c6 p (L6 p)+1)) (L5 p ((c2 p
(L2 p)+1) (-c3 p (c4 p (L3 p+L4 p)+1))+(c2 p) (-L3 p (c3 p
(c4 p (L4 p)+1)+c4 p))))) / D
. (4.4.13)
Формула (4.4.13) содержит 310 мультипликативных операций и
занимает девятую строку в табл. 4.4.2.
4.4.2.10. Каноническая, групповая и развернутая формулы
Каноническую формулу сформируем, используя программу
CIRSYMW, а групповую и развернутую функции получим на основе
канонической формулы с помощью системы Maple. Полностью привести
эти формулы невозможно, поскольку они занимают слишком много места.
Запишем краткое выражение для групповой формулы, используя полином
(4.4.1):
.
)...))))))(...((((((
))))((((
01891011121314
5
5
2
7
2
9
2
11
2
13
bpbpbpbpbpbpbpbpb
papapapapa
K
++++++++
++++
=
(4.4.14)
Занесем вычислительные характеристики групповой, канонической и
развернутой формул в строки 10, 11 и 12 табл. 4.4.2 соответственно. Эти
функции содержат соответственно 13130, 13435 и 96057
мультипликативных операций, что многократно превышает число
аналогичных операций в восьми формулах, представленных в строках 1–8
табл. 4.4.2.
Страницы
- « первая
- ‹ предыдущая
- …
- 287
- 288
- 289
- 290
- 291
- …
- следующая ›
- последняя »
