【判断题】任何一个谓词公式,都可以通过等价关系及推理规则化成相应的子句集。子句集不可满足,不是谓词公式不可满足的充要条件。
【单选题】下面语句中不是死循环的是 _______ 。
A.
int i=100; while (1) {i=i%100+1; if(i==20) break; }
B.
int i,sum=0; for(i=1;;i++)sum++;
C.
int k=0; do {++k; } while (k>=0);
D.
int s=3379; while (s++%2+3%2)s++;
【单选题】下面关于循环语句的说法错误的是()。
A.
相较于while循环,for循环更适合循环次数固定的循环。
B.
相较于for循环,while循环更适合循环次数不定的循环。
C.
当for循环的条件总是true,且循环体中不进行break,将会出现死循环。
D.
当for循环的条件总是true,且循环体中不进行continue,将会出现死循环。
【多选题】下列说法正确的是()
B.
在谓词逻辑中,不是任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集
D.
归结演绎定理证明的 实质是对前提P和结论Q,证明P->Q的永真性
【简答题】一台绕线转子三相异步电动机,定子绕组Y形联结。已知的技术数据为:P N =5.5kW, U 1N =380V,n N =1440r/min, E 2N =171V,R 1 =1.12Ω, R 2 '=0.95Ω, X 1 =2.32Ω,X 2 '=2.38Ω。如果该电动机正在以n=n N 的转速正向运行,将其换接到定子两相反接的反接制动状态,要求开始的制动转矩为1.5T N ,问:在电动机的转...
【单选题】Physician attitudes, biases, fatigue, stress, burn-out, as well as language and cultural barriers may ____________ impact the relationship with patients.
【简答题】三相异步电动机的定子绕组是如何组成的?按什么规律连接?有什么特点?