Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок»




Скачать 342.84 Kb.
НазваниеЖебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок»
страница4/4
Дата публикации01.06.2013
Размер342.84 Kb.
ТипДокументы
vbibl.ru > Химия > Документы
1   2   3   4

^ On machine synthesis of some sequential programs.

The two methods of automatic generation of sequential programs for polynomial multiplication using Karatsuba algorithm are discussed. The first method is based on the analysis of Karatsuba algorithm and imitates manual generation of sequential program. The second uses the recursive implementation of Karatsuba algorithm. The first method generated programs accuracy is provided by method. The second method generated programs are not obvious, but optimized for computer memory. The way for testing equivalence of programs, generated by both methods gives the ability to build accurate optimized for memory programs. The same double method approach of sequential programs generation can be used for making sequential multiplication programs in integer rings, discrete Fourier transformation and Walsh transformation.
Key words: programming automation, machine synthesis of programs, sequential program, decomposition schema, Karatzuba method, functional equivalence of programs, Fourier transformation, Walsh transformation.

Сведения об авторах статьи ^ О машинном синтезе некоторых последовательных программ
1. Фролов Александр Борисович, доктор технических наук, Московский энергетический институт (технический университет), профессор,

Адрес дом.: 107207, Москва, ул. Чусовская, д. 11, корп.7,кв.8.

Адрес раб.: 111250, Москва, ул. Красноказарменная, 14, каф. Математического моделирования.

Тел. моб. 8-915-177-26-87; (контактный)

дом. (495) 466-16-17; (контактный)

раб.(495) 362-77-74;

факс (495) 362-77-72.

e-mail: abfrolov@mail.ru

2. Жебет Сергей Юрьевич, кандидат технических наук, ЗАО «КРОК», ведущий инженер-тестировщик,

Адрес дом. 111672, г. Москва ул. Салтыковская д. 11 к.1 кв.16.

Тел. моб. 8-903-148-07-72

e-mail: sergia@list.ru

Адрес раб. 111033, Москва, ул. Волочаевская, д.15.

3. Винников Александр Михайлович, Московский энергетический институт (технический университет), студент.

Адрес дом. 111396, г. Москва, ул. Фрязевская, д. 13, кв. 154

Адрес раб.:111250, г. Москва, ул. Красноказарменная, 14, каф. Математического моделирования.

Тел. дом. 303-00-93

Тел. моб. 89152612453

e-mail: alexander@vinnikov.msk.su
Ключевые слова статьи О машинном синтезе некоторых последовательных программ

автоматизация программирования, машинный синтез программ, последовательная программа, декомпозиционная схема, метод Карацубы, функциональная эквивалентность программ, преобразование Фурье, преобразование Уолша.


1 Работа подготовлена при финансовой поддержке РФФИ, проекты №08-01-00632-а и 11-01-00792-а..

2 Мы выбрали двоичную систему счисления для упрощения изложения, на самом деле можно использовать позиционные системы счисления по любому основанию.

3 Это матрица, определяемая по индукции: H1= (1); H2= (базис определения);

= H2(индуктивный шаг). Здесь  есть операция кронекеровского произведения матриц: AB=.

1   2   3   4

Похожие:

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconТестировщик, тестер, qa-инженер, Software Quality Assurance Engineer...
Тестировщики выступают в двух ролях одновременно – и как пользователи, и как эксперты по выявлению проблем

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconКрасноярский государственный технический университет англо-русский...
...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconЗаконы и иные нормативно-правовые акты, определяющие основные направления...
Образование: высшее профессиональное («Промышленная теплоэнергетика», «Тепловые электрические станции»). Специальность: инженер-теплоэнергетик,...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconЗаконы и иные нормативно-правовые акты, определяющие основные направления...
Образование: высшее профессиональное («Промышленная теплоэнергетика», «Тепловые электрические станции»). Специальность: инженер-теплоэнергетик,...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconСообщение о существенном факте
Смолякова Е. Б. – инженер службы гсм, Иващенко Н. Г. – инженер производственного отдела атб, Бондарева О. В. – заведующая общежитием,...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconN194 slonov net games dracula dracula 003 1 baza jpg
Ленинградской области слывет медвежьим углом. Места здесь глухие и малонаселенные, что делает их привлекательными для охотников и...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» icon• Статус эмиссии: в обращении
Агент по размещению облигаций: Организатор Альфа-Банк, Андеррайтеры: зао «ик «Тройка Диалог», ОАО «ТрансКредитБанк», зао «акб абсолют...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconИнженер по технике безопасности, инженер по охране труда
Уважаемый работодатель! Если Вас заинтересовал данный Соискатель, пожалуйста, обратитесь в Центр содействия трудоустройству выпускников...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconВ 5-6 классах
Ведущий читает задание. Игроки внимательно его слушают и дают ответ. Если ответ верный, ведущий вручает им жетон. Можно разделить...

Жебет С. Ю., к т. н., ведущий инженер-тестировщик, зао «крок» iconРоманчук Лариса Ивановна
Университет экономики и права «крок». Факультет экономический, специализация – финансы. 2000 -2005 гг

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
vbibl.ru
Главная страница