简介：双时间参数理论由贝尔纳普于2001年提出，该理论使用不同的语义解释参数构建以言行事行为的语境，以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数，这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先，我们在简要介绍双时间参数理论以及其中问题的基础上，给出修正方案的大体思路，即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次，我们将介绍分支时空逻辑中的主要内容。再次，我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后，我们将具体介绍对双时间参数理论的修正方案。

简介：日常生活中每天都要做出与趋近或者回避有关的决策并且执行相应的反应。我们会凑近鲜花享受它的芬芳，却小心翼翼地躲开正在布网的蜘蛛。在实验室情景下以往绝大部分研究证实了趋利避害的相容效应即正性情绪引起趋近反应，负性情绪引起回避反应，这似乎已经成为不争的事实，但研究者对趋避的操作性定义不尽相同，没有一个权威的操作定义，于是就产生了各种各样的趋避方式，这也导致实验结果无法对比分析，但大多数研究都是运用推拉杠杆作为趋避的操作定义。

简介：体感交互是新兴的人机交互方式;当前,相关的人因学研究相对缺乏。本研究采用典型任务结合主观评价法,首次探索了用户运动信息反馈形式对体感交互用户体验的影响。笔者从易学性、控制性、情感与心理负荷四个方面,比较了有、无人形反馈形式对游戏体感菜单操作可用性的影响。结果发现,二者在心理负荷上无差异,无人形反馈在易学性上优于有人形,但有人形反馈在控制感上优于无人形,且更受用户喜爱。基于该结果,笔者建议在体感操作界面上使用有人形反馈。