Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- НОВОЕ "НЕКЛАССИЧЕСКОЕ" ИСЧИСЛЕНИЕ КУБИЧЕСКИХ КОМПЛЕКСОВ ДЛЯ ПОСТРОЕНИЯ ТЕСТОВ И МОДЕЛИРОВАНИЯ В ТЕХНИЧЕСКОЙ ДИАГНОСТИКЕ
- Авторы
- Правильщиков П. А. , канд. техн. наук, ,
- В разделе
- МАШИНОСТРОЕНИЕ, МЕТОДЫ ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЯ
- Ключевые слова
- Год
- 2003 номер журнала 4 Страницы 3 - 21
- Индекс УДК
- УДК 681.178
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Изложен новый вариант исчисления кубических комплексов, ставшего основным математическим аппаратом для описания регулярных D-алгоритмов для построения тестов и D-алгоритмов для диагностического моделирования. Подчеркивается, что потребность в новом исчислении появилась только после того, как в результате десеквенции последовательных D-алгоритмов были созданы новые параллельно-последовательные алгоритмы. Доказано, что использование нового исчисления позволяет сократить число используемых в нем символов. Показано, что сокращение числа используемых в исчислении символов приводит к уменьшению числа правил пересечения и, как следствие, к уменьшению числа логических элементов, из которых построен блок Bj пересечений - итеративная ячейка процессирующей (активной) оперативной памяти в механизме естественного параллелизма диагностического сопроцессора с новой архитектурой "процессор в памяти". Утверждается, что персональный компьютер (ПК), оснащенный таким сопроцессором, при решении многих задач способен успешно конкурировать с современными суперкомпьютерами, использующими механизм общего или массового параллелизма.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Roth J. P. Diagnosis of automata failures: a calculus and a method// IBM Journal of Research and Development, 1966. № 7. July. Р. 18-32.
Schneider P. R. On the necessity to examine D-chains in diagnostic test generation - an example// IBM Journal of Research and Development, 1967. № 1. Р. 114.
Roth J. P. and all. Programmed algorithm to compute and distinguish between failures in logic circuits// IEEE Trans. on El. Computers, 1967. v. EC-16. № 5. Р. 567-580.
Kubo H. A procedure for generating test sequences to detect sequential circuit failures// NEC Res. Development, 1968. Oct. № 12.
Roth J. P. An algorithm to compute a test to distinguish between two failures in logic circuits in a logic circuit// Proc. of the 1970 "IEEE International Computer Group Conference", 1970. Р. 247-249.
Armstrong D. B. A deductive method for simulating faults in logic circuits// IEEE Trans. Computers, 1971. v. C-20. № 5. Р. 321-336.
Putzolu G. R., Roth J. P. A heuristic algorithm for the testing of asynchronous circuit// IEEE Trans. Computers, 1971. v. C-20. № 6. Р. 639-647.
Bouricius W. G., Hsien E. P., Putzolu G. R., Roth J. P., Schneider P. R., Tan C.-T. Algorithms for Detection of Faults in Logic Circuits//Ibid. № 11. November. Р. 1258-1264.
Плитман А. Д. Об одном методе обнаружения неисправностей в схемах с памятью//А. и Т., 1972. № 10. С. 166-173.
Тюрин А. И. Об одном решении задачи анализа тестов// Там же. 1972. № 10. С. 159-164.
Карибский В. В. Учет состязаний на входах элементов при построении проверяющей последовательности// Там же. 1973. № 9. С. 152-164.
Правильщиков П. А. Алгоритм построения последовательности, различающей две неисправности в последовательностном устройстве// А. и Т. 1974. № 1. С. 176-190.
Карибский В. В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн. 1. - М.: Энергия, 1976. - 346 с.
Правильщиков П. А. Построение тестов для программ// А. и Т. 1977. № 5. Май. С. 147-160.
Roth J. P. Hardvare verification// IEEE Trans. on Computers. 1977. v. C-26. № 12. december. Р. 1292-1294.
Goel P. An implicit enumeration algorithm to generate tests for combinational logic circuits//Ibid. 1981. v. C-30. № 3. march. Р. 215-222.
Roth J. P., Savir J. Testing for, and distinguishing between failures// FTCS-12, 1982. Р. 165-172.
Fujivara H., Shimono T. On the Acceleration of Test Generation Algorithms// IEEE Trans. on Computers, 1983. v. C-32. № 12. december. Р. 215-222.
Schulz M. H., Auth E. ESSENTIAL: an Efficient Self-learning Test Pattern Generation Algorithm For Sequential Circuits// Proc. of the 1989 International Test Conference. С. 28-37.
Подольский С. Я., Правильщиков П. А. Моделирование и диагностирование аналоговых БИС// Сб. "ВОТ", 8-я серия, 1990. № 4(68). С. 20-25.
Правильщиков П. А. Элементы диагностической теории толерантности и подобия// А и Т, 1992. № 10. С. 141-160.
Правильщиков П. А. "Диоген" - диагностический сопроцессор для персональных ЭВМ IBM PC-386 и IBM PC-486// Сб. «Продукция НПО "Орион" для гражданского приборостроения и народного хозяйства"». - М.: Науч.-техн. центр "Информтехника", 1993. С. 50-55.
Правильщиков П. А. О концептуально-теоретическом обосновании универсальных диагностических процессоров// Сб. "Оборонный комплекс - научно-техническому прогрессу России". - М.: ВИМИ, 1996. № 1. С. 24-32.
Правильщиков П. А. Об экспериментально-практическом обосновании универсальных диагностических процессоров// Там же. С. 33-43.
Правильщиков П. А. Симметрия диагностического лабиринта и закон сохранения перебора// Там же. № 3. С. 52-68.
Правильщиков П. А. Верификация существенных путей и распараллеливание D-алгоритмов в диагностическом сопроцессоре "Диоген" для персональных ЭВМ// Там же. № 4. С. 27-35.
Правильщиков П. А. Закон сохранения перебора для алгоритмов построения тестов, основанных на исчислении кубических комплексов и обладающих свойством необходимой детерминированности// Там же. 2000. № 1. С. 11-42.
Правильщиков П. А. Механизм естественного параллелизма идеального генератора тестов// Там же. 2000. № 2. С. 27-35.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы первого типа и закон сохранения перебора для них// Там же. 2000. № 3. С. 13-33.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы второго типа и закон сохранения перебора для них"// Там же. 2000. № 3. С. 33-53.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы третьего типа и закон сохранения перебора для них// Там же. 2000. № 4. С. 93-103.
Правильщиков П. А. Параллельные D-алгоритмы и закон сохранения перебора для них// Там же. 2000. № 4. С. 104-116.
Правильщиков П. А. Проблема верификации БИС и ее решение с помощью "вычислительного решета" на основе закона сохранения перебора// Там же. 2001. № 4. С. 46-55.
Kravitz S. A., Brayant R. E., Rutenbar R. A. Massively Parallel Switch-Level Simulation: A Fasibility Study// IEEE Trans. on computer-aided design, 1991. v. 10. july. Р. 871-874.
PC WEEK(RE), 21-27 мая 2002. № 18 (336). С. 4.
Костелло С. Новое в рейтинговании суперкомпьютеров// COMPUTERWORLD, 2002 23 июля. № 27 (332). С. 28.
Филинов Е. До полного века осталось еще 10 лет. (К 90-летию корпорации IBM)// PC WEEK/RE. 2001 30 октября. № 40. С. 31-32.
Проект Data Intensive System (DIS)// Ibid, 15-21 октября 2002. № 38(356). С. 6.
Букреев И. Н., Мансуров Б. М., Горячев В. И. Микроэлектронные схемы цифровых устройств. - М.: Сов. радио, 1973. - 264 стр.
Подольский С. Я., Правильщиков П. А. Моделирование и диагностирование аналоговых БИС// Сб. "Вот", 1990. 8-я серия. № 4 (68). С. 20-25.
Правильщиков П. А. Построение тестов для программы// А. и Т, 1977. № 5. С. 147-160.
- Купить