Belief and Knowledge Reasoning

Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.     

校企合作环境下高职生人文素质的培育

培育当代高职大学生的人文素质,是校企合作环境下高职院校教育改革面临的一个全新课题。大力推行工学结合、校企合作的人才培养模式,不仅促进了高职人文素质教育模式的转换,而且对高职人文素质教育内涵建设提出了新要求,也为探究高职生人文素质培育的新思路提供了契机。     

后视觉中心主义理论之于英语口语教学的意义

本文梳理了后视觉中心主义理论，分析了视频文化与德里迭的“在场”和海德格尔的“补充在场”理论的关系，阐明了视觉隐喻对于可视化知识的传播的积极意义，探讨了旅游英语口语可视化知识的传播途径以及后视觉中心主义在英语语口语教学中的作用。     

基于SWOT理论的延平区乡村旅游发展对策探讨

乡村旅游是近年在全国范围内发展迅速的一种新型旅游形式。运用SWOT分析法对延平区乡村旅游发展过程中存在的优势、劣势,机遇和挑战进行分析,并提出具体对策与建议。     

浅谈图书馆如何服务地方小企业

小企业有强烈的信息需求,而图书馆有丰富的信息资源,馆企合作成为必然。服务小企业是图书馆延展服务范围、创新服务内容的有益尝试。论述了图书馆服务地方小企业的必要性,探讨了图书馆服务地方小企业的具体路径。     

文山州文化旅游理论环境分析与发展模式探究

文山州具有悠久的历史文化、浓郁的民族风情和秀美的自然景观,山水与人文融为一体,旅游资源得天独厚,区位优势日趋突出,为文山州文化旅游发展提供了十分有利的客观条件和物质基础,政策扶持倾斜和人民群众日益增长的多样化消费需求也为文化旅游业发展提供了新的机遇。对文山州文化旅游的理论研究和挖掘利用,充分发挥文化旅游对当地社会经济强大的拉动作用,走以文化旅游激活经济力的内涵式新型发展道路,对文山州加快转变经济发展方式、促进文山州经济社会文化和谐快速发展具有重大的战略意义。     

山东省与东北亚地区经济合作前景初探

在分析了山东省与东北亚地区经济合作的条件下现状的基础上，展望了合作的前景，提出了进一步加强合作的对策与建议。     

体验旅游时代导游服务效果的实证研究

在体验旅游时代,旅游服务的中心任务不再是单纯提供旅游产品与服务,而是为游客塑造某种难以忘怀的体验,导游服务是游客旅游体验的重要环节,游客体验程度的高低取决于导游服务质量。通过实证调研,发现导游的知识技能不足、个性化服务意识薄弱、购物服务技能差、服务于游客旅游体验的技能欠缺等直接影响游客旅游体验的效果,提出为加强游客的旅游体验,导游在服务中应该树立以游客体验为核心的理念,创造互动式的旅游过程,并创新旅游文化教育功能的建议。     

河南省市域旅游经济发展差异研究

区域经济协调发展是实现社会全面、协调发展的重要条件,随着＂旅游立省＂战略的提出,河南省旅游产业体系需要不断完善。以河南省18个城市为区域研究单元,从区域经济学的角度运用SPSS的主成分分析、聚类分析等方法,分析了河南省旅游经济发展的差异变化以及河南省市域旅游经济发展的不平衡态势,并就如何发挥地域特色、协调区域旅游业发展提出了具体的建议。     

浅谈基于网络的校际协作学习

结合全国中小学生的学习特点及教育部倡导的开展现代远程教育的指示精神，提出构建基于网络的校际协作学习，介绍基于网络的校际协作学习的含义、构建的必要性以及如何有效开展基于网络的校际协作学习．