Makinson一个公开问题的注记

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.     

基于动态分割和加权综合匹配的音乐检索算法

在模式识别领域中，音乐检索算法由于其易行和高效的特性而得到越来越多的重视。但是音符分割不精确和匹配模版不统一等问题直接影响MIR算法精确度。为解决上述问题，提出基于动态阈值分割和加权综合匹配算法。动态设定幅差步长，根据变化阈值分割音符，以提高音符分割的准确性。采用标准乐谱频率，转换音高模板实现输入归一化，以增强匹配的精确性。融合直接匹配和DTW匹配，以加强算法适应性和鲁棒性。最后由实验证明该方法的有效性。