简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘要:锅炉生产过程具有多变量、非线性、强扰动、大滞后等特点,传统PID控制方法难以取得理想效果。随着人们对控制精度要求的不断提高和环境保护意识的加强,迫切需要对锅炉生产过程中关键参数的精确控制问题进行研究,设计符合问题特点的算法,提高控制精度,优化控制变量。
简介:澳门旅游业占国内生产总值(GrossDomesticProduct,GDP)的首位,所以必须就其对整个社会经济的影响作出研究探讨,通过计算凯恩斯(Keynes)式的旅游收入乘数(TourismIncomeMuller,TIM),从而得知旅游收入的改变对GDP水平的影响,研究结果提供支持证明旅游对澳门经济发展的重要性,同时提供确保社会资源的善用的方向,促进社会的整体繁荣及进步。