corrst koormtts väikestel kiirustel samuti väheneb. Sanruti on ilmne, et pirrge regltleerimise seaduspärasus mootori sagedusjrrhtimisel sõļtub otseSelt koormustunnusjoone kuiust. Konstantse koormusmomendi puhul püütakse tavaliseļt konstantsena ļroida ka nrootori rtraksi- maalset mometrti' Sobiva alņinge rJy valikuga saavutatakse nraksimaaĮse niomendi konstantsus kogu reguleerirnispiirkonnas. ūrtĮasi tagatakse rnootori konstantne lühiajaline ülekoonnatavus erinevatel kiirustel. aa L.) -.Ļ*_ a b
Vastasel juhul on muutuja vaba. Valem on kinnine, kui kõik tema muutujad on seotud. Vastasel juhul nimetatakse valemit lahtiseks. Lauseks nimetatakse kinnist predikaatarvutuse valemit, st valemit, milles ei ole vabu muutujaid. Nt valem Jx on lahtine ja muutuja x on vaba; valem ∃x Jx on lause – selles pole vabu muutujaid. Valem Rxy on lahtine ning muutujad x ja y on vabad. Asendame muutuja x indiviidikonstandiga j, mille interpretatsiooniks on Jüri. Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid – saadud kinnine valem ∀y Ajy on lause, mida saab interpreteerida „Jüri armastab kõiki saareelanikke”. Predikaatarvutuse tähestik: • predikaadisümbolid: A, B, C, P, A1, B2, A6, … (suurtähed, võivad olla alaindeksitega); • predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja
Vastasel juhul on muutuja vaba. Valem on kinnine, kui kõik tema muutujad on seotud. Vastasel juhul nimetatakse valemit lahtiseks. Lauseks nimetatakse kinnist predikaatarvutuse valemit, st valemit, milles ei ole vabu muutujaid. Nt valem Jx on lahtine ja muutuja x on vaba; valem x Jx on lause selles pole vabu muutujaid. Valem Rxy on lahtine ning muutujad x ja y on vabad. Asendame muutuja x indiviidikonstandiga j, mille interpretatsiooniks on Jüri. Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid saadud kinnine valem y Ajy on lause, mida saab interpreteerida ,,Jüri armastab kõiki saareelanikke". Predikaatarvutuse tähestik: · predikaadisümbolid: A, B, C, P, A1, B2, A6, ... (suurtähed, võivad olla alaindeksitega); · predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja