Normal view
MARC view
Алгоритм муравьиной колонии синтеза тестов для цифровых устройств (Record no. 720704)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 04428nab a2200337 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha000720704 |
| 005 - Дата корректировки | |
| Контрольное поле | 20221026165101.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 211027|2021 ru s c rus d |
| 024 7# - Прочие стандартные номера | |
| Стандартный номер | 10.17223/19988605/55/14 |
| Источник номера | doi |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha000720704 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Соловьев, Владимир Михайлович |
| Титул (звания) | канд. техн. наук |
| 9 (RLIN) | 504988 |
| 245 10 - Заглавие | |
| Заглавие | Алгоритм муравьиной колонии синтеза тестов для цифровых устройств |
| Ответственность | В. М. Соловьев, Д. В. Сперанский |
| 246 11 - Заглавие тома/части | |
| Заглавие тома/части | The ant colony algorithm for test syntesis for digital devices |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | электронный |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 8 назв. |
| 520 3# - Аннотация | |
| Аннотация | Описывается эволюционный алгоритм синтеза тестов для цифровых устройств (ЦУ), основанный на исполь-зовании алгоритма муравьиной колонии. Предлагаемый алгоритм ориентирован на диагностирование таких неисправностей ЦУ, которые обычно трудно обнаруживать и диагностировать другими широко практикуе-мыми методами. includes methods that are relatively easy to implement, but the tests they synthesize are detecting significant part of all possible faults. An example is the pseudo-random test synthesis method. The second group includes methods that are more laborious in implementation, but are capable of detecting faults that are difficult to diagnose. These include methods, for example, of the distin-guishing function and Boolean derivatives. The proposed method belongs to this group. Nowadays, so-called evolutionary algorithms are widespread. These algorithms are very effective for many practical applications. The article proposes a method for test synthesis based on the ideas of evolutionary ant colony algorithms. We briefly describe the problem under study. Let DD be determined in the form of a structural scheme and the set F of its possible faults. For simplicity, it is assumed that the DD is a combinational device, and the set F consists of single constant faults. We consider the problem of test synthesis (PTS) for DD, detecting out of faults from the set F. In the PTS the mathematical model of the DD is the undirected graph G = (V,E), where V is the set of vertices. Each of its verti-ces is some binary input of DD. Only the inputs that detect faults are included in the set V. The set E forms edges between any pair of vertices of the graph G. Each edge (i,j) is assigned to a some number (weight). Its meaning is to assess the feasibility of including the input j in the step-by-step process synthesis of test after the input i. Considered PTS is the most close to the classic traveling salesman problem (TSP).The basis of the proposed ant colony algorithm for the PTS is the analogy with the ant colony algorithm for solving the TSP. The article presents formulas similar to those used in the ant colony algorithm for solving TSP to calculate the probabilities of transitions from one input symbol of the test to the next, correction of the pheromone concentration on the edges of the graph G etc. Note that in the proposed ant colony algorithm for solving an TSP the basic principle of self-organization is based on the interaction of components of randomness, multiplicity, positive and negative feedbacks. |
| 653 ## - Ключевые слова | |
| Ключевые слова | цифровые устройства |
| 653 ## - Ключевые слова | |
| Ключевые слова | контроль и диагностика цифровых устройств |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритм муравьиной колонии |
| 653 ## - Ключевые слова | |
| Ключевые слова | синтез тестов |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 761261 |
| 700 1# - Другие авторы | |
| Другие авторы | Сперанский, Дмитрий Васильевич |
| Дата | 1939- |
| 9 (RLIN) | 101043 |
| 773 0# - Источник информации | |
| Название источника | Вестник Томского государственного университета. Управление, вычислительная техника и информатика |
| Место и дата издания | 2021 |
| Прочая информация | № 55. С. 122-126 |
| ISSN | 1998-8605 |
| Контрольный № источника | 0210-40860 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 4# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000720704">http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000720704</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 720704 |
No items available.