简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:介绍非参数bootstrap方法的实现步骤,并通过具体实例,利用MATLAB强大的编程和计算功能实现了非参数bootstrap方法。
简介:摘要院为了优化施工进度,合理计算工程开工时间、完工周期等,需要严格计算网络图时间参数,网络图时间参数对于整个工程具有重要的意义,因此完善网络时间参数的识记工作是提高建筑工程效率的重要手段。本文以网络图时间参数的重要意义为阐述的切入点,分析网络图时间参数的内容,以及如何加深对网络图时间参数的识记经验。
简介:非参数可加ACD模型对条件期望的函数形式与随机误差项的分布形式要求都没有参数ACD模型强,因此不会像参数ACD模型那样因模型形式设定错误而得出错误结论。非参数可加ACD模型估计出来的各个可加部分图形的形状对于正确设定参数ACD模型具有一定的指导作用。