【判断题】任何一个谓词公式,都可以通过等价关系及推理规则化成相应的子句集。子句集不可满足,不是谓词公式不可满足的充要条件。
【单选题】下面语句中不是死循环的是 _______ 。
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,将会出现死循环。
【多选题】签订施工合同中,符合履约担保要求的有( )。
A.
中标后的承包商应保证其履约担保在建设单位颁发工程接收证书前一直有效
B.
中标单位不能按要求提交履约担保的,视为放弃中标,其投标保证金不予退还,给招标单位造成的损失超过投标保证金数额的,中标单位还应对超过部分予以赔偿
C.
建设单位应在工程接收证书颁发后28 d内将履约担保退还给承包商
D.
在签订合同前,中标单位以及联合体中标人应按招标文件规定的金额、担保形式和履约担保格式,向招标单位提交履约担保
E.
履约担保一般采用银行保函和履约担保书的形式,履约担保金额一般为中标价的30%
【多选题】下列说法正确的是()
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.
【简答题】三相异步电动机的定子绕组是如何组成的?按什么规律连接?有什么特点?