简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:宇航员头脑不清楚的现象可能是由太空旅行带来的生理和心理上的压力引起的,然而在背后是不是缺乏重力也在作祟?1997年6月,位于地球上空约350千米处,俄罗斯“进步”号太空补给船正在靠拢“和平”号空间站。由于空间站的测距雷达发生了故障,空间站上的宇航员只能依靠机载摄像头、手持式测距仪和肉眼来努力看清正在逐渐靠近的补给船。为了获得更佳的视野,宇航员穿梭于各个空间舱观察。然而,他们感到难以判断方位。等到最终锁定“进步”号的位置时,这艘飞船已经离得太近,速度也太陕。“进步”号撞向“和平”号,撞击撕裂了一块太阳能电池板,并在一个空间舱上撞出一个洞,导致了氧气泄漏。
简介:从两个研究平台的交错,我们渐渐地形成如下研究方法。第一,横向研究:敦煌与榆林窟普贤变比较,比如象牙数的变化、普贤形象的变化坐姿的变化、大象位置的变化等。第二,纵向研究:敦煌西夏壁画中的“普贤变”与唐代“普贤变”的区别,在构图框架、颜色,比如乘象普贤的出现与法华信仰的关系、《法华经》的翻译和乘象普贤的出现的时间差。第三,纵横向研究:敦煌壁画《法华经》与《华严经》普贤变比较,一个是区域性的普贤变比较,一个是不同经变普贤形象的比较。佛教艺术经变在敦煌壁画中的展现,可以为纵横向视野的文化转场研究提供生动的资料。我们关注的研究论题框架是:文本与艺术是如何转场的?艺术的特点与文本的特点是什么?时间上和内容上的相异性如何?