Логико-интуитивные методы исследования систем управления