简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘 要 : 《极坐标与参数方程》是全国卷高考选考的重要内容,大部分学校都选这部分内容,而且《极坐标与参数方程》对必修中的圆锥曲线解题有很大的帮助。 极坐标方程和参数方程的综合问题一直是高考命题的热点,主要考查等价转换思想,代数式变形能力,逻辑思维推理能力,本文主要介绍的是将参数方程转化普通方程的高考常用的四种方法。
简介:摘要: 随着2000国家大地坐标系的应用,越来越多的原始数据需要转换。而转换这些数据不在是什么难题了,本文就转换过程中的计算过程及计算方法做了详尽的阐述。