简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:运动视觉中的计时行为分为两类:拦截行为和制动行为。“环境—活动者系统”(EAS)中的信息决定着计量行为的控制操作。本文阐明了信息和EAS的特性,通过对tau-margin在拦截行为中的作用以及视觉变量τ对于制动操作重要性的分析,论述了运动视觉中计时行为的控制操作理论。
简介:本文主要分析'菩萨唯识止观'的具体操作过程.整体而言,此乃结合唯识观与菩萨行的一种修行模式;其在大乘菩提心及六度四摄的基本前提下,运用唯识止观'以楔出楔'之实际操作,除遣凡夫自心所生之虚妄分别及虚假影像,直至其心无分别、无所住为止.
简介:体感交互是新兴的人机交互方式;当前,相关的人因学研究相对缺乏。本研究采用典型任务结合主观评价法,首次探索了用户运动信息反馈形式对体感交互用户体验的影响。笔者从易学性、控制性、情感与心理负荷四个方面,比较了有、无人形反馈形式对游戏体感菜单操作可用性的影响。结果发现,二者在心理负荷上无差异,无人形反馈在易学性上优于有人形,但有人形反馈在控制感上优于无人形,且更受用户喜爱。基于该结果,笔者建议在体感操作界面上使用有人形反馈。