学科分类
/ 1
5 个结果
  • 简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。

  • 标签: 时间参数 时间逻辑 行事行为 2001年 语义解释 群体行动
  • 简介:我国的环境危机正进一步加剧,资源严重短缺,因此,必须走经济与环境协调发展的道路.本文分析了我国当前面临的主要环境和资源问题,以及造成我国环境和资源恶化的原因,提出了促进经济与环境、资源协调发展的途径.

  • 标签: 环境 资源 可持续发展 途径
  • 简介:<正>质量互变律是辩证法的一条重要规律。过去,它通常只是作为“事物”的普遍规律而加以研究和论述。现在,我们应该把它作为“系统”的普遍规律加以研究和论述。通过这样的研究,我们将会发现质量互变律作为系统的辩证律有自己的特点,从而使我们对质量互变律有更明确和更深刻的理解,并将纠正某些错误的传统观点。

  • 标签: 恩格斯 关节点 互变律 爆发式质变 相互联系 结构形式
  • 简介:浅析房地产开发企业质量保证框架及主要质量体系要素何於纲杨建良随着国民经济持续快速发展、宏观环境由紧变松,以及住房改革和现代企业制度改革的深入,“九七”香港回归等,房地产必将出现一个发展高潮。1987年,国际标准化组织(ISO)发布了ISO9000《质...

  • 标签: 房地产开发企业 质量保证模式 质量体系要素 可行性研究 质量管理 拆迁安置
  • 简介:<正>孔子基金会成立以来,做了不少工作,取得了较好成绩,在国内和国际上也有了一定影响。对此,我是比较满意的。孔子基金会召开这次会议,总结前段工作,明确今后任务,我看召开这次会议很有必要。希望大家畅所欲言,集思广益,把这次会议开好。目前我们国家正在加快改革开放和发展经济,孔子基金会的工作必须适应这种新形势,取得新的进展。在这里,我提出几点不成熟的意见,供大家参考。一、今后孔子基金会的工作应在提高研究水平和工作质量方面多下苦功夫,

  • 标签: 新形势 研究水平 基金会 孔子 工作质量 改革开放