高拱坝蓄水期库岸变形与水库诱发地震相关性研究

高拱坝蓄水过程中观测到了库岸变形和水库诱发地震现象,水库诱发地震可能是边坡大范围变形的前兆,这给高拱坝的长期、高效和安全运行带来了巨大挑战。基于对溪洛渡拱坝蓄水期库岸变形监测资料的分析和对蓄水前后地震监测数据的分析,研究了蓄水后库岸变形的规律以及蓄水前后库区地震活动的变化规律,对水库蓄水后库岸变形和水库诱发地震的产生机理以及它们之间的相关性进行了研究。结果表明,库岸变形和水库诱发地震在规律和机理上均存在一定的相关性,两者都存在快速响应和滞后响应的特征,经历了由快变慢再到平缓的过程。快速响应是由于水的力学作用导致有效应力降低,产生了不可逆塑性变形和断层滑动。滞后响应是由于库水的物理化学作用降低了岩体和断层的抗剪强度,导致岩体的缓慢变形和断层的滑动。两种现象在规律和机理上的相关性为高拱坝蓄水期的智能监测和安全预警提供了新思路。     

基于聚类的本体块匹配方法

提出一种新的处理n:m映射的方法,该方法将n:m映射问题转化为聚类问题,利用Hownet中的资源使本体中的实体基于语义关系聚合,并重新给出了查全率和查准率的计算公式.使用Hownet及其相关工具对OAEI组织给出的一组本体对进行实验,实验结果表明,该方法对块匹配问题效果较好.     

一种多目标增量启发式搜索算法

提出一种多目标增量启发式搜索算法, 该算法结合启发式搜索与增量搜索的思想, 当多目标问题搜索图的状态格局发生改变时, 该算法并不是对变化后的问题进行完全重新求解, 而是部分利用了先前搜索保留的信息求解新问题的最优解集, 从而提高了问题求解的效率. 通过Gridworld标准测试问题上的实验测试, 验证了算法的效率.     

智能规划的逻辑编码求解性能分析

将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.     

基于依赖关系图模型的本体演化影响分析

基于描述逻辑子语言SHOIN(D)定义本体中各元素间的依赖关系, 再通过依赖关系建立本体依赖关系图模型, 并给出了变化影响频度的概念及相应的
计算方法.     

基于TMS320C620X系列DSP的SAA7113H控制实现

介绍了视频输入处理芯片SAA7113H的功能与特点和I^2C总线的特点及时序,着重阐述了图像处理系统中一种利用TMS320C620X系列DSP的McBSP13虚拟实现I^2C总线,控制SAA7113H的硬件接口和软件实现方法。     

基于重启策略的学习子句优化方法

以学习子句数据库优化为背景，在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想，在若干次重启后，根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数，尽可能靠近学习数据库中子句存储量的均衡点，从而使学习库的存储量尽可能达到Pareto最优.实验表明:所提的优化方法是有效的，并在随机SAT问题上胜过现有优化方法.该方法既不会因为学习数据库的子句过多而影响单元传播速度，也不会因为学习数据库中的子句过少而破坏学习的整体性.     

分布式灵活规划

设计了两个基于分布式的灵活规划系统： DFGP系统和IG DFGP系统. DFGP系统通过手工分解的方式将灵活规划问题分解为多个子问题, 并将各个子问题转化为灵活约束可满足问题进行求解. IG DFGP系统则通过交互图的结构自动分解灵活规划问题. 实验结果表明, 相对于目前国际上最为高效的灵活规划系统--灵活图规划系统, DFGP系统和IG DFGP系统在规划求解效率上具有数量级的提高.     

两种新的基于扩展规则#SAT问题求解算法

提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样例上的不良表现,结合NCER和CDP的优点提出混合#SAT求解算法NCDPER.实验结果表明:NCER较先前的#ER在所有85个随机SAT测试用例上有了显著的提高.通过与目前最好的基于扩展规则的#SAT求解器的比较,该求解器具有更好的性能.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。