判定
逻辑公式的可满足性判定 : 方法、工具及应用.pdf
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
用标准贯入试验判定砂土液化时，若某一土层的实际贯入击数大于临界贯入击数，则该土层液化。（ ）
用标准贯入试验判定砂土液化时，若某一土层的实际贯入击数大于临界贯入击数，则该土层液化。（ ） B
在失能收入损失保险中，在某些情况下，被保险人患病或遭受意外伤害，最终是否残疾在短期内难以判定，为此保险公司规定一个定残期限，过了该期限后仍无明显好转征兆的，认定为全残。这种情况称为（ ）。
在失能收入损失保险中，在某些情况下，被保险人患病或遭受意外伤害，最终是否残疾在短期内难以判定，为此保险公司规定一个定残期限，过了该期限后仍无明显好转征兆的，认定为全残。这种情况称为（ ）。
两条通电直导线互相平行，且相隔一段距离，其中AB固定，CD可以自由转动，当通入如图的稳恒电流时，CD导线将（ ）．
两条通电直导线互相平行，且相隔一段距离，其中AB固定，CD可以自由转动，当通入如图的稳恒电流时，CD导线将（ ）．
如图所示，在磁感应强度为B的均匀磁场中，有两条平行金属长导轨，相距为L，两导轨所在平面与磁场垂直，导轨的一端与电阻R连接，电容C与R并联．图中MN为放置在两导轨上的金属棒，棒的电阻为r（导轨电阻不计），金属棒在一恒定拉力F的作用下向右运动．试求： （1）金属棒所获得的最大速度Vm； （2）电容器的下极板所带的最大电量Qm并确定其正负．
如图所示，在磁感应强度为B的均匀磁场中，有两条平行金属长导轨，相距为L，两导轨所在平面与磁场垂直，导轨的一端与电阻R连接，电容C与R并联．图中MN为放置在两导轨上的金属棒，棒的电阻为r（导轨电阻不计），金属棒在一恒定拉力F的作用下向右运动．试求： （1）金属棒所获得的最大速度Vm； （2）电容器的下极板所带的最大电量Qm并确定其正负．
汉语复句句法语义关系判定研究.pdf
进入信息化时代，语言愈益成为一种重要的信息资源和载体。语言信息处理及智能理解成为学界的焦点议题。 本书以小句中枢说、复句三分理论及模式识别思想为指导，以“关系标记为主，句法语义特征为辅”为原则，以复句语料库为基础，以汉语复句句法语义关系的判定为核心内容，综合运用关联词搭
实践作为检验认识真理性的标准，既是确定的，又是不确定的，是确定性和不确定性的统一。实践标准的确定性即绝对性是指（ ）。
实践作为检验认识真理性的标准，既是确定的，又是不确定的，是确定性和不确定性的统一。实践标准的确定性即绝对性是指（ ）。