sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2015-0-2-23-38sustain-89Research ArticleСТРУКТУРНАЯ НАДЕЖНОСТЬ. ТЕОРИЯ И ПРАКТИКАSTRUCTURAL RELIABILITY. THE THEORY AND PRACTICEПРИМЕНЕНИЕ ОБЩЕГО РЕШЕНИЯ СИСТЕМ ЛОГИЧЕСКИХ УРАВНЕНИЙ В ЗАДАЧАХ НАДЕЖНОСТИAPPLICATION OF GENERAL SOLUTION FOR A SYSTEM OF LOGICAL EQUATIONS IN DEPENDABILITY TASKSЧеркесовГ. Н.CherkesovG. N.

доктор технических наук, профессор кафедры информационных и управляющих систем факультета технической кибернетики

Doctor of technical sciences, professor of chair of information and control systems, faculty of technical cybernetics

cherkes@robotek.neva.ruСтепановЮ. В.StepanovYu. V.

ведущий инженер

Leading engineer

yu-stepanov@yandex.ruСанкт-Петербургский государственный политехнический университетРоссияSaint Petersburg State Polytechnic UniversityRussian FederationИнститут аналитического приборостроения РАНРоссияInstitute of Analytical Engineering of Russian Academy of Sciences, Saint PetersburgRussian Federation201506072016022338Copyright © Черкесов Г.Н., Степанов Ю.В., 20162016Черкесов Г.Н., Степанов Ю.В.Cherkesov G.N., Stepanov Y.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/89

В статье излагается новый метод решения логических уравнений с одним или несколькими неизвестными и систем логических уравнений, использующий модифицированную таблицу истинности. Данный метод позволяет находить все общие решения. Найдены условия разрешимости систем уравнений. Теория проиллюстрирована примерами. Показаны технические применения.

The article proposes a new method of solving logical equations with one or more unknown variables and systems of logical equations that use a modified truth table. This method allows finding all general solutions. Solvability conditions of equation systems have been found. The theory has been illustrated by examples. Technical applications have been shown.

надежностьлогическая модель надежностилогико-вероятностный анализ надежностиобщее решение систем логических уравнениймодифицированная таблица истинностииндикаторусловия разрешимостиdependabilitylogical model of dependabilitylogical and probabilistic analysis of dependabilitygeneral solution of logical equation systemsmodified truth tableindicatorsolvability conditionsReferencesРябинин И.А. Основы теории и расчета надежности судовых электроэнергетических систем. Л.: Судостроение, 1971.Riabinin I.А. Introduction of the theory and dependability calculation of naval power systems. Leningrad: Sudostroenie, 1971.Лунц А.Г. Алгебраические методы анализа и синтеза контактных схем // АН СССР. Сер. матем., 1952. Том 16, № 5.Lunts А.G. Algebraic methods of analysis and synthesis of contact schemes // AN SSSR. Ser. matem., 1952. Vol. 16, No. 5.Гогин Ю.А. Логико-вероятностное моделирование больших и сложных систем /ЛВИКА им. А.Ф. Можайского. Л., 1972.Gogin Yu.А. Logical and probabilistic modeling of large and complex systems / A.F. Mozhaisky military academy. Leningrad, 1972.Черкесов Г.Н., Можаев А.С. Логико-вероятностные методы расчета надежности структурно-сложных систем. М.: Знание, 1991.Cherkesov G.N., Mozhaiev А.S. Logical and probabilistic methods of dependability calculation of structurally complex systems. Moscow. Znanie, 1991.Рябинин И.А., Черкесов Г.Н. Логико-вероятностные методы исследования надежности структурно-сложных систем. М.: Радио и связь, 1981.Riabinin I.A., Cerkesov G.N. Logical and probabilistic methods of dependability study of structurally complex systems. Moscow. Radio i sviaz, 1981.Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1964.Pospelov D.А. Logical methods of analysis and synthesis of schemes. Moscow. Energia, 1964.Левченков В.С. Общий вид решений булевых уравнений. - Автоматика и телемеханика, 2, 2000. - С.139-150.Levchenkov V.S. Standard solutions а Boolean equations. – Avtomatika i telemekhanika, 2, 2000. – P.139-150.

The authors declare that there are no conflicts of interest present.