简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘要在地理教学中要努力构建开放式的课堂教学,大胆放手,把属于学生的时间和空间还给学生,培养学生主动学习、合作学习、探究学习的习惯,让学生的动手能力、分析解决问题的能力、创新能力得到充分发展。
简介:2014年,中国制定了《中国与拉美加勒比国家合作规划(2015-2019)》,以贸易、投资、金融为"三大引擎",力争10年内贸易规模达到5000亿美元,投资达到2500亿美元,以能源资源、基础设施建设、农业、制造业、科技创新、信息技术为合作重点,推动中拉产业对接。政治利好促关系长足发展习近平主席2014年7月17日在巴西利亚出席中国-拉美和加勒比国家领导人会晤时表示,中方将正式实施100亿美元中-拉基础设施专项贷款,并在这一基础上将专项贷款额度增加至200亿美元;此外中方还向拉美和加勒比国家提供100亿的优惠性质贷款,全面启动中拉合作基金,并承诺出资50亿美元。