简介:基于时间函数预计地表动态移动变形逐渐发展成了一种趋势。为此,详细介绍了原始Knothe时间函数和3种改进的Knothe时间函数,并讨论了这3种Knothe时间函数在地表动态下沉过程中的应用,最后给出了具体实例,结果表明:原始Knothe时间函数和3种改进的Knothe时间函数都有较高的精度,具有实践指导意义。
简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘要在学习领会新课程理念的基础上,本文通过三个教学案例论述了在进行反比例函数教学设计时如何改进新课引入、多媒体使用、反比例函数性质的发现过程以及相应的教学效果。
简介:在不增大功率孔径积的同时,数字阵列雷达通过灵活的波束控制可增加目标驻留时间,并提高微弱目标的检测性能。但是,随着积累时间增长,运动目标存在跨距离单元问题。针对Keystone变换长时间目标积累方法在多普勒模糊情况下对某些特定速度的目标性能下降问题,提出了一种改进的基于Key—stone变换的长时间目标积累方法。新方法通过预处理及修正处理,能够对所有速度的目标均能较好地补偿跨距离单元效应。仿真实验验证了该方法的有效性。