Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

高校机房的管理与维护

计算机房是高校计算机教学实践的重要场所．加强机房的管理与维护,是保证教学工作、提高教学效率的重要任务．本文对机房日常管理和维护中常出现的问题进行了阐述,并提出了相应的对策和解决方案．     

重庆市发展乡村旅游的SWOT分析

发展乡村旅游已成为许多地区解决“三农”问题的有效途径．这对于重庆这个农村地域广阔且需解决三峡库区移民问题的特殊直辖市而言意义更显重大。本文以国际知名管理学者史提勒提出的SWOT模型为依据,分析发现重庆市拥有丰富的旅游资源、广阔的客源市场、良好的区位条件和一定的发展基础等优势条件。同时也存在看缺乏统一规划和统筹管理、旅游消费水平不高、旅游开发难度较大以及对外宣传促销不够、专业人才匮乏等不利因素;面对重庆市国民经济的进一步发展,居民消费观念的逐步改变,以及政府相关政策的大力扶持和重庆经济结构调整等良好机遇,发展乡村旅游必将成为今后一段时间的重头戏。但在发展中必须高度重视目前存在的几大挑战：即如何处理好旅游市场竞争、利益分配矛盾、人员素质提升以及开发保护协调等问题。     

翻译思维中的形象思维

翻译是一种渗透创造性的复杂的思维活动,需要译者运用形象思维。思维学中形象思维的研究为翻译思维中形象思维的研究提供了理论基础,二者存在着交叉关系。但是,翻译思维中的形象思维亦有其独特的思维模式,体现在翻译的两个阶段：即“言一象一意”（理解阶段）与“意一象一言”（表达阶段）。     

学英语不学语法行不行?

我们中国人在国内学英语,不得不学语法,因为我们的母语与英语完全不同,并且在英语课外很少有听、说英语的机会,也就是说,我们不能生活在周围都是说英语或用英文的环境中,因此,我们不能总是沉浸在"自然模仿和熏陶"的英语环境.怎样学习英语语法呢?最好是学英语教学语法并学会从语法到语法技能.     

徽州文化之成因

徽州地域特殊的地理自然环境、移民社会的社会历史变迁情况、程朱阙里"儒风独茂"的文化氛围、徽商经济丰厚的物质基础,是徽州文化产生和兴盛的主要原因。     

四川省FDI与环境污染问题初探

利用FDI在很大程度上促进了四川经济的增长。但与此同时,由于FDI直接涉及生产过程和资源利用,它对四川省环境也产生了不利影响。通过Granger因果关系检验发现FDI是四川省环境污染的Granger原因。实证分析结果表明,FDI和工业废气、废水排放物之间分别存在着协整关系,影响程度为实际使用FDI投资额每增加1％,工业废气、废水排放量均增加0．2％左右。     

论大型体育赛事承办中生态环境的保护

论述承办大型体育赛事所带来的对主办地环境生态环境的危害,提出在承办大型体育赛事的过程中应采取的生态环境保护的策略。     

基于高光谱遥感特征参数的樟树幼林叶绿素a含量估算模型

以ASD公司生产的手持式野外光谱辐射仪测量樟树幼林的冠层光谱,同时对观测叶片进行叶绿素a含量的测定。利用统计相关分析法,分析了高光谱遥感特征参数与叶绿素a含量的相关关系,在此基础上建立了高光谱遥感特征参数的樟树幼林叶绿素a含量估算模型,并对模型进行了精度检验。结果表明:樟树幼林叶绿素a含量与Db、Rg、Rg/Ro、(Rg-Ro)/(Rg Ro)之间的相关系数达到了0.01极显著性检验水平;建立它们与叶绿素a含量的估算模型,通过精度检验,选择出最适合叶绿素a含量估算的高光谱模型:y=exp[1.027 (-348.942)×Db]。     

澳大利亚墨尔本大学"墨尔本模式"改革初探

澳大利亚墨尔本大学2008年开始实施的"墨尔本模式",是一次新的课程体制和学位制度改革。文章从墨尔本模式改革的背景出发,概要介绍了这一模式的框架、内涵、特点和优势以及面临的挑战和问题,以期对我国研究型大学的办学理念和课程建设有所借鉴。