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

简介：输入模块的计算功能作为范围特异性和封装性的基本前提，支撑了整个心理模块理论，它与中枢系统的计算差异，以及语义加载过程中的渗透问题是理论的焦点问题。通过对心理模块理论中输入模块与中枢系统计算机制的比较和梳理，尝试对心理模块理论中两次计算的观点中存在的问题进行揭示并指出可能的解决路径。

简介：计算机模拟情境摆脱了实验室研究和现场研究的不足,满足了复杂问题解决的复杂性、动态性和模糊性等特征,受到研究者们的青睐.近年来,各种模拟情境在复杂问题解决研究中得到运用,其内部逻辑结构主要有线性结构方程和有限状态自动化,线性结构方程适用于等距数据,而有限状态自动化适用于称名数据.当前,对复杂问题解决的测量注重结果,而相对忽视过程.未来的模拟情境可以从问题特征、任务逻辑和测量方式来提高信度和效度.

简介：自启东教会1983年圣诞节开放至今,江苏南通一些地方的教会经历了从无到有、从少到多、从小到大的变化过程。[1]本文采用图表和数字统计方式,对改革开放30年来南通教会的成长史进行介绍、调查、总结和分析。笔者希望用实际的教会调查数据与读者交通,说明"三自"和神学思想建设对教会成长的重要作用,同时表达对基层教会牧养中比较复杂和细致的问题的一些思考,以期抛砖引玉。