СОВЕРШЕНСТВОВАНИЕ ОПЕРАТОРОВ СИМВОЛЬНЫХ ПРЕОБРАЗОВАНИЙ ЛОГИЧЕСКИХ ФУНКЦИЙ В СРЕДЕ MATHCAD В ИНТЕРЕСАХ ОЦЕНКИ НАДЕЖНОСТИ РЕЗЕРВИРОВАННЫХ СИСТЕМ АВИАЦИОННОГО ОБОРУДОВАНИЯ
Abstract
Рассмотрены вопросы дальнейшего совершенствования операторов символьных преобразований логических функций в среде MathCAD в направлении повышения компактности и простоты реализации алгоритма их ортогонализации, применяемого в логико-вероятностном методе оценки надежности структурно-сложных систем. Работоспособность предложенной формализации операторов символьных преобразований логических функций показана на примере решения конкретной задачи, а ее корректность сравнением с результатами других работ.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 01, 2021
- Source ID
- 10.36535/0235-5000-2021-03-2
Entities
People
- A.m. Maltsev
- M.a. Zamyslov
- N.v. Shtankova
- S.b. Mikhaylenko
- А.м. Мальцев
- М.а. Замыслов
- Н.в. Штанькова
- С.б. Михайленко