Труды КНЦ вып.8 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2017(8))

Поскольку сопротивление лампы является положительным, то напряжение ( V) и ток (С) должны иметь одинаковый знак и поэтому одно и тоже качественное значение. В числовых моделях электрических схем, помимо закона Ома, используются некоторые фундаментальные законы, такие как законы Кирхгоффа. Законы Кирхгоффа гласят: во-первых, сумма всех напряжений вдоль любого замкнутого контура в схеме равна 0, во-вторых, сумма всех токов в любом соединении в схеме равна 0. Чтобы применить эти законы в качественной модели, необходимо предусмотреть качественную версию операции ариф­ метического суммирования. В настоящей работе вместо обычного арифметического суммирования X + V = Z применяется сокращенный вариант в виде операции качественного суммирования, которая реализована в форме следующего отношения QSUM [X, Y, Z\ : Данное отношение (как и два других, описанных выше) можно рас­ сматривать как типовое отношение, на основе которого в процессе подстановки вместо X, Y, Z конкретных атрибутов получается конкретное отношение. Строки этой матрицы представляют собой некоторые факты. Например, в строке 3 утверждается, что сумма положительной и отрицательной величин может представлять собой любое значение из множества {neg, zero, pos}. Такая операция суммирования является недетерминированной (неопределенной), что типично для качественных рассуждений. Конкретная схема задается в виде совокупности отношений, записанных в виде С-систем. Например, для электрической схемы, приведенной на рис. нужно рассмотреть следующие отношения: Y Z {neg,zero,pos) {neg,zero, pos) {neg, zero, pos) 1 {zero} {zero} {zero} 2 {pos} * {pos} 3 {pos} {neg} * 4 * {pos} {pos} 5 * {neg} {neg} 6 {neg} {pos} * № 1. Выключатель “51” - SWITCH \ .Viv1. VSwl, Cl]: Swl VSw 1 Cl {on,off} {neg, zero, pos} {neg, zero, pos} 1 {on} {zero} * 2 {off} * {zero} 102