基于声发射监测的滑坡过程预警模型

滑坡是一种多发于山区的地质灾害，严重威胁隐患点周围群众的生命财产安全，急需针对滑坡建立及时、准确的监测预警系统。该文在已有的滑坡声发射监测技术和变形过程预警模型基础上，对比研究声发射和位移监测参量。基于小波变换和改进切线角方法，建立了基于声发射监测的滑坡过程预警模型。利用英国拉夫堡大学实验室模拟数据，初步验证了所建立的声发射预警模型的可靠性。在广东省连南县特大型滑坡隐患点安装监测设备，获取边坡现场变形监测数据，比较了声发射和位移监测的实际预警效果。结果表明：相较于位移参量，声发射参量在预警稳定性和准确性上均表现更好。     

集群有利于提高中华倒刺鲃幼鱼的数值辨别能力

以集群生活的中华倒刺鲃(Spinibarbus sinensis)幼鱼为实验对象,利用该鱼具有倾向加入较大群体的行为习性,采用自行设计的鱼类行为观测装置,通过改变仪器两端的刺激鱼群(Stimulus shoal)的数量大小,进行选择实验(Binary choice test)。实验结果发现,当以单尾目标(Focalfish)为选择主体时,实验鱼对12∶6和12∶7鱼群的选择正确率在60%以上,即偏向于较大鱼群;而对12∶8,12∶9,12∶10,12∶11和12∶12鱼群的选择不再具有偏向性;当以两尾目标鱼为选择主体时,实验鱼还能对12∶8和12∶9鱼群进行正确选择。以上结果表明:中华倒刺鲃幼鱼具备数值辨别能力,单尾鱼的辨别阈值在3∶2附近(即12∶8);双尾鱼的辨别阈值可达4∶3以上,表明合作有利于提高中华倒刺鲃幼鱼的数值敏锐性,其中机制可能与“错误稀释机制”有关。
     

混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高.