简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:法国作曲家库普兰,是法国古钢琴乐派的核心人物,一生创作大量古钢琴曲,并对后来诸多音乐家的创作及演奏有着深远影响.库普兰的作品中,古钢琴曲尤为著名,他还为自己的大部分古钢琴曲附上标题,以繁缛的装饰音为特点,在其作品表现中,也有着与标题息息相关的音乐表现.
简介:19世纪末20世纪初是俄罗斯文学的“白银时代”,此时名家辈出,各种流派思潮争奇斗艳。在这个时期,出现了一大批文艺复兴式的人物,这其中既包括中国读者所熟悉的高尔基、马雅可夫斯基、叶赛宁、勃
简介:四川省峨眉山是我国佛教四大名山之一,驰名中外,风光绚丽,寺僧颇胜,游人不绝。从西山入口处通至半山腰之清音阁大河坝附近有数百名教友,因这里无圣堂,宗教生活十分不便。峨眉山市人民政府为贯彻宗教信仰自由政策,于1999年9月批准在清音阁处山地上修建一座天主堂。此举得到四川省和乐山市宗教局的积极支持。全国“一会一团”对此致以深深的敬意,并投入资金300万元。经过精心设计,已准备就绪。当地教友不无拍手称快。时值全国“一会一团”在四川省成都召开中国天主教爱国会省级秘书长会议之际,于6月15日,与会全体驱车前往同当地教友共同参加了峨眉山天主教清音阁圣堂奠基仪式典礼,四川省爱国会副主席兼秘书长雷世银神父主持