针对MUS求解问题的加强剪枝策略

极小不可满足子集(minimal unsatisfiable subsets,MUS)的求解是布尔可满足性问题中的一个重要子问题.对于一个给定的不可满足问题,其MUS的求解能够反映出问题中导致其不可满足的关键原因.然而,MUS的求解是一项极其耗时的任务,不同的剪枝过程将直接影响到搜索空间的大小、算法的迭代次数,从而影响算法的求解效率.提出一种针对MUS求解的加强剪枝策略ABC(accelerating by critical MSS),依据MSS、MCS、MUS这3者之间的对偶性和碰集关系特点,提出cMSS和subMUS概念,并总结出4条性质,即每个MUS必是subMUS的超集,进而在避免对MCS的碰集进行求解的情况下有效利用MUS和MCS互为碰集的特征,有效避免求解碰集时的时间开销.当subMUS不可满足时,则subMUS是唯一的MUS,算法将提前结束执行;当subMUS可满足时,则剪枝掉此节点,进而有效避免对求解空间中的冗余空间进行搜索.同时,通过理论证明ABC策略的有效性,并将其应用于目前最高效的单一化模型算法MARCO和双模型算法MARCO-MAM,在标准测试用例下的实验结果表明,该策略可以有效地对搜索空间进行进一步剪枝,从而提高MUS的枚举效率.

“兰纳之声”泰国北部传统乐器研究

本文通过实地考察,以泰国北部民间音乐家阿伦·蒂帕亚翁的乐器工作坊为研究对象,以此来探析泰国北部传统乐器的形制构造、演奏方式以及制作工艺,旨在对泰国北部传统乐器有更为深入的了解。

葫芦虽小 乐行万里--世界葫芦乐器综述(三)

(接上期)三、气鸣乐器气鸣乐器是指通过空气激发物体振动而产生声音的乐器,它包括边棱音乐器、簧管乐器、唇管乐器等。簧管乐器中还分为自簧乐器和异簧乐器。自簧乐器是指簧片从管体本身上切割出来,一端与乐器相连,另一端自由振动;而异簧乐器是指簧片从管体外另装上去。气鸣乐器中,葫芦常作为乐器的共鸣气室,大部分都与其形成的管内空气柱进行耦合(复合共鸣),对乐器音色起到修饰的作用。

葫芦虽小 乐行万里——世界葫芦乐器综述(二)

(接上期)5.科拉琴(Kora),弦鸣乐器,拨奏,里拉类,葫芦作为板振动的共鸣体扩散声能,并与其形成的空气腔耦合(复合共鸣),起到修饰音色的作用。科拉琴又称非洲竖琴、葫芦竖琴等。它流行于非洲西部的上沃尔特(布基纳法索)、冈比亚、塞内加尔、几内亚、马里等地区。科拉琴的琴体大约长120~130厘米,琴杆为木质直杆,一端插入葫芦共鸣匏内,共鸣匏面上蒙以羊皮,在一侧开有一个圆形或者方形出音孔,木质颈杆指板上布有20多个品。

葫芦虽小 乐行万里——世界葫芦乐器综述(一)

本文以萨克斯·霍恩博斯特尔分类法对世界葫芦材质乐器进行分类介绍,梳理出世界葫芦材质乐器的地域分布、乐器形制、演奏方式等,使人们更好地认识和了解世界各式各样的葫芦材质乐器。

浅析盛唐时期的女性造型——以影视中的杨玉环造型为例

盛唐之时,经济发展、对外交流达到了顶峰,万朝来贺,恐怕是除了现今中华最风光的时刻,也有许多人向往着盛唐的民俗文化。杨玉环作为开元盛世地位最高的女人,可以代表盛唐的时尚潮流,以其为原型的影视戏剧也数不胜数。