{"title":"短而完整的诊断测试,用于在一个基线上增加两个额外输入的电路。","authors":"Кирилл Андреевич Попков, K. A. Popkov","doi":"10.4213/dm1702","DOIUrl":null,"url":null,"abstract":"Доказано, что любую булеву функцию от $n$ переменных можно смоделировать тестопригодной схемой из функциональных элементов с двумя дополнительными входами в базисе «конъюнкция, косая конъюнкция, дизъюнкция, отрицание», допускающей полный диагностический тест длины не более $2n+3$ относительно константных неисправностей типа $1$ на выходах элементов.","PeriodicalId":42607,"journal":{"name":"Prikladnaya Diskretnaya Matematika","volume":"69 1","pages":""},"PeriodicalIF":0.2000,"publicationDate":"2022-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Короткие полные диагностические тесты для схем с двумя дополнительными входами в одном базисе\",\"authors\":\"Кирилл Андреевич Попков, K. A. Popkov\",\"doi\":\"10.4213/dm1702\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Доказано, что любую булеву функцию от $n$ переменных можно смоделировать тестопригодной схемой из функциональных элементов с двумя дополнительными входами в базисе «конъюнкция, косая конъюнкция, дизъюнкция, отрицание», допускающей полный диагностический тест длины не более $2n+3$ относительно константных неисправностей типа $1$ на выходах элементов.\",\"PeriodicalId\":42607,\"journal\":{\"name\":\"Prikladnaya Diskretnaya Matematika\",\"volume\":\"69 1\",\"pages\":\"\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2022-12-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Prikladnaya Diskretnaya Matematika\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4213/dm1702\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Prikladnaya Diskretnaya Matematika","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4213/dm1702","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
Короткие полные диагностические тесты для схем с двумя дополнительными входами в одном базисе
Доказано, что любую булеву функцию от $n$ переменных можно смоделировать тестопригодной схемой из функциональных элементов с двумя дополнительными входами в базисе «конъюнкция, косая конъюнкция, дизъюнкция, отрицание», допускающей полный диагностический тест длины не более $2n+3$ относительно константных неисправностей типа $1$ на выходах элементов.
期刊介绍:
The scientific journal Prikladnaya Diskretnaya Matematika has been issued since 2008. It was registered by Federal Control Service in the Sphere of Communications and Mass Media (Registration Witness PI № FS 77-33762 in October 16th, in 2008). Prikladnaya Diskretnaya Matematika has been selected for coverage in Clarivate Analytics products and services. It is indexed and abstracted in SCOPUS and WoS Core Collection (Emerging Sources Citation Index). The journal is a quarterly. All the papers to be published in it are obligatorily verified by one or two specialists. The publication in the journal is free of charge and may be in Russian or in English. The topics of the journal are the following: 1.theoretical foundations of applied discrete mathematics – algebraic structures, discrete functions, combinatorial analysis, number theory, mathematical logic, information theory, systems of equations over finite fields and rings; 2.mathematical methods in cryptography – synthesis of cryptosystems, methods for cryptanalysis, pseudorandom generators, appreciation of cryptosystem security, cryptographic protocols, mathematical methods in quantum cryptography; 3.mathematical methods in steganography – synthesis of steganosystems, methods for steganoanalysis, appreciation of steganosystem security; 4.mathematical foundations of computer security – mathematical models for computer system security, mathematical methods for the analysis of the computer system security, mathematical methods for the synthesis of protected computer systems;[...]