更多"程序正确性证明能证明程序的功能和动态特性符合设计要求."的相关试题:
[简答题]JARC-1000、JARC1-1000动态继电器的动态特性应符合哪些要求？
[简答题]什么是系统的动态特性？系统动态特性的数学模型有几种？要使系统有较好的动态特性，对一阶系统和二阶系统的动态特性参数有何要求？
[多项选择]证明责任具有以下哪几个特性（）
A. 证明责任的强制性
B. 证明责任适用条件的特定性
C. 证明责任与诉讼主张的紧密联系性
D. 证明责任的随意性
[简答题]什么是传感器的动态特性？对于一阶传感器其动态特性的主要技术指标是什么？
[多项选择]过热蒸汽温度动态特性试验内容之一，是一级减温水扰动下（）的动态特性试验。
A. 中间点温度
B. 一级导前汽温度
C. 主蒸汽温度
D. 二级导前汽温
[多项选择]过热蒸汽温度动态特性试验内容之一，是二级减温水扰动下（）的动态特性试验。
A. 中间点温度
B. 一级导前汽温
C. 主汽温度
D. 二级导前汽温度
[判断题]采煤机检修后牵引部性能调试液压油的油温为50±5℃时，根据设计要求调定系统的动态特性和流量特性。（）
[单项选择]挑选具有反向AGC特性的管子时，哪种特性符合要求（）
A. （Ie下降，β下降）
B. （Ie上升，β上升）
C. （Ie变化，β不变）
D. （Ie不变，β不变）
[单项选择]符合证明是签发给（），表明其安全管理体系符合要求的证明文件。
A. 船舶
B. 航运公司
C. 船员
D. 航运公司和船舶
[单项选择]胶条的烟火特性符合（）标准。
A. DIN5510--1
B. DIN5510--2
C. DIN5510--3
D. DIN5510--4
[多项选择]汽轮机动态特性指标有（）。
A. 稳定性；
B. 超调量；
C. 过渡时间；
D. 曲线斜度。
[填空题]一般的物理接口通常具有四个特性：（）特性、电器特性、功能特性和规程特性。
[多项选择]能证明条件反射建立的脑基础是神经系统的普遍特性并不是大脑皮层的特殊功能的实验是（）
A. 经典瞬眼条件反射
B. 主动躲避条件反射
C. 软体动物的条件反射
D. 简单运动条件反射
[多项选择]下列哪些特性符合构成地幔的岩石属性（）
A. 经过熔融可形成玄武质岩浆
B. 地震波纵波（P波）的传播速度为8.1公里/秒
C. 具有高压下可压缩的物理性质
D. 密度为3.2g/cm3
[多项选择]传感器动态特性也常用（）来表示。
A. 阶跃响应
B. 频率响应
C. 冲击响应
D. 脉冲响应
