层次图(混合Horn)公式的部分极大可满足性

本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究。具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题。本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数。另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理。一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat.     

中国古代清真寺建筑艺术初探

中国古代清真寺建筑艺术初探优素福·纳光舜清真寺，亦称礼拜寺。阿拉伯语为“麦斯吉德”，意为“叩拜的场所”。中国唐代统称清真寺为“礼堂”，宋代称“祀堂”或“礼拜堂”。但具体就某一座清真寺而言，有许多不同称谓，如，怀圣寺、清净寺、清教寺、仙鹤寺、凤凰寺等。...     

积极引导宗教为构建社会主义和谐社会作贡献——贵州省第六次宗教学术研讨会综述

为促进我省宗教学术研究,加强宗教研究工作、宗教工作干部和宗教界人士之间的沟通与交流,2006年12月15日至16日,贵州省宗教事务局和贵州省宗教学会在贵阳市联合举办了“贵州省第六次宗教学术研讨会”。省民委党组书记、主任,省宗教局局长郝桂华出席会议并致辞。省民委党组副书记、副主任,省宗教局副局长柏怀思,省宗教局副局长张开银分别主持会议,柏怀恩作会议总结,张开银就论作的大会发言做点评。省民委领导杨贞杰、刘辉、徐飞,巡视员李明金、副巡视员杨祖勋、覃绍英,以及省民委（省宗教局）机关及委属单位负责人,省社会科学院、贵州民族学院、省史研究馆、宗教团体、市州地及县宗教局等部门和单位的60余人出席研讨会。与会专家学、宗教界人士、宗教工作干部围绕“宗教在构建社会主义和谐社会中的地位和作用、宗教与社会主义新农村建设、城市化进程中宗教问题、贵州民间宗教及民间信仰”等议题进行了探讨和交流。研讨会共收到论51篇,有32篇入选,12位作作大会发言。     

中国天主教第七届代表会议在京举行 贾庆林会见全体代表并发表重要讲话

中国天主教第七届代表会议于7月7日至9日在北京召开。来自全国30个省、市、自治区的262名神长教友出席了此次盛会。他们肩负着全国500多万广大神长教友的重托,齐聚首都北京,共商爱国爱教、民主办教的大事。这是新世纪中国天主教的一次求真务实、开拓进取的会议,也是一次团结奋进的盛会。会议始终洋溢着民主、祥和、欢乐的气氛。中共中央政治局常委、全国政协主席贾庆林9日在人民大会堂会见了出席中国天主教第七届代表会议的全体代表。贾庆林代表党中央、国务院对中国天主教第七届代表会议圆满召开表示祝贺。他说,宗教工作是党和国家工作的重…     

宋代蜥蜴祈雨法研究

蜥蜴祈雨法起源于唐朝,以中国传统的龙神信仰为核心内涵,操作过程中融入佛教、道教、巫术的仪轨,宋神宗时期被选定为官颁祈雨法颁行全国通行使用。作为一种巫术性很强且近乎虚妄与荒诞的祈雨法,尽管自诞生之初即饱受批评与非议,蜥蜴祈雨法却因其简单实用且内涵丰富而保持了顽强的生命力,不仅一直延续至明清乃至民国时期,而且远播海外,成为颇具影响力的一种祈雨法。     

新世纪宗教工作的根本指导方针——学习江泽民总书记重要讲话的体会

2001年12月,中共中央、国务院在北京召开了全国宗教工作会议,江泽民总书记在会议上作了重要讲话。《讲话》通篇贯穿了马克思主义宗教观的基本原则,体现了与时俱进、开拓创新的精神,是我党在社会主义初级阶段对马克思主义宗教理论的新发展和新总结,是“解放思想,实事求是”的思想路线在处理宗教问题上的具体运用。有很强的针对性和现实指导作用。     

贵州清真寺建筑艺术

贵州位于云贵高原东部,山川秀丽,气候宜人。穆斯林自元代进入贵州,至今已有750多年。贵州穆斯林历来重视清真寺建设。贵州最早的清真寺建于明洪武年间(公元1368年—1398年),主要有威宁下坝清真寺、马家屯清真寺和马撒营清真寺等;明万历年间(公元1573年-1619年)又建了威宁杨湾桥清真寺,盘县大坡铺清真寺。清代所建清真寺较多,著名的有:盘县大木桥清真寺、安顺清真寺、威宁岩格箐清真寺、兴仁三家寨道堂、平坝城关清真寺等。民国年间和中华人民共和国成立后各地都新建或重建了一批清真寺。到2004年6月,全省穆斯林17.5万人,清真寺为151座。贵州…     

宋代印度密教高僧金总持研究

金总持是一位印度密教高僧,早年受西夏李元昊延请至西夏并被尊称为"金总持"。宋元丰年间,金总持受邀入主传法院主持译经事务,尽管此时宋朝的译经事业正在走向衰退,金总持还是克服种种困难翻译佛教显密经典数部,被尊称为"译经三藏明因妙善普济大师"。除密教经典翻译之外,金总持还传承了密教的秽迹金刚法、密教祈禳术等,他的弟子永道和显超均以法力广大而闻名于世,金总持由此成为宋代密教史上一位承上启下的重要高僧。然而,由于宋徽宗即位之后逐渐推行崇道抑佛的政策,金总持未能继续发挥作用而不得不离开传法院南游江浙,自此便开始在民间弘法直至去世。