В статье рассматривается задача синтеза тестов для нечетких линейных автоматов (НЛА). Сейчас известно несколько разновидностей НЛА, используемых в качестве моделей реальных нечетких систем. В статье вводится и исследуется одна конкретная разновидность НЛА. Она предполагает проявление нечеткости поведения автомата за счет использования в характеристических матрицах элементов специального вида. Каждый такой элемент представляет собой некоторое множество элементов поля, над которым задан НЛА. В процессе функционирования автомата такой альтернативный элемент матрицы замещается случайным образом одним из элементов упомянутого множества на каждом такте. Для НЛА вводится понятие допустимой неисправности. Содержательно она состоит в замещении множества альтернативных элементов матриц одним элементом этого множества. Предложенный в статье метод синтеза тестов для обнаружения неисправностей указанного вида сводится к решению систем линейных алгебраических уравнений. Метод ориентирован на µ-определенные и синхронизируемые НЛА и синтезирует тесты достаточно короткой длины, не превосходящей его размерности.
The paper discusses principles of construction for quantum algorithms and their main features. Distinction of quantum parallelism from classical methods of high-performance computing is shown. Quantum algorithms design strategy is presented based on quantum circuits. Methods of programming for implementation of quantum algorithms using high-level languages are proposed. An approach to implement unitary transformations based on the oracle method is described.Key words: quantum computing, quantum computers, quantum algorithms, qubit, quantum gate, quantum superposition, quantum entanglement, quantum parallelism, quantum interference, oracle, quantum-programming languages.
References
ОБ ОДНОМ ПОДХОДЕ К НEЧЕТКОМУ ЛОГИЧЕСКОМУ МОДЕЛИРОВАНИЮ ЦИФРОВЫХ УСТРОЙСТВ Д. В. СперанскийСперанский Дмитрий Васильевич, доктор технических наук, профессор кафедры высшей и прикладной математики, Мос-ковский государственный университет путей сообщения, Speranskiy.dv@gmail.com В статье исследуется проблема двоичного нечеткого моделирования цифровых устройств (ЦУ). В отличие от аналогичной классической проблемы предполагается, что входные сигналы ЦУ являются нечеткими. В реальных ЦУ для каждого входа (0 или 1) существует определенный диапазон в вольтах. Если входной сигнал выходит за этот диапазон, то корректность его идентификации не гарантируется. Нечеткость входного сигнала означает, что наблюдаемые его значения могут быть либо внутри определенного диапазона, или вне его. Известно, что логическое моделирование каждого ЦУ состоит в вычислении значения определенного логического выражения. Это выражение есть математическая модель ЦУ. Кроме того, это логическое выражение может всегда быть представлено в терминах трех логических операций, а именно И, ИЛИ, НЕ. В статье предлагается метод сведения исследуемой проблемы к проблеме нечеткого моделиро-вания систем в пространстве вещественных чисел. Метод основан на представлении логического выражения с исполь-c Сперанский Д. В., 2016
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.