基于MAS系统的动态web服务组合形式化建模研究

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.     

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服务组合进行推理和验证的.     

使用NWA对组合web服务进行可达性分析

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.     

从写作教材看句群写作的操练形式

文章通过10篇具有代表性的对外汉语写作教材分析,既肯定了部分教材逐渐用句群写作练习代替命题写作的练习、将句群写作训练与阅读和口语技能培养相结合的可喜进步,也客观地指出了一些教材对某些句群衔接手段还没有予以重视,并对句群写作的教学原则和具体操练形式进行了进一步的探索,认为在写作课中应该使句群写作的形式更加丰富。     

The developmental influence of sex composition in preschool classrooms: Boys fare worse in preschool classrooms with more boys

A multilevel modeling approach was employed to investigate the relation between sex composition and developmental change in 70 urban preschool classrooms. The research represents a unique contribution as (1) few studies have examined the influence of sex composition during the preschool years, (2) it represents the first research to use a continuous (i.e., sex ratio) as opposed to binary (i.e., mixed- versus single-sex) indicator for classroom sex composition, and (3) the sample represents an important and often neglected group (i.e., low-income children from urban schools). A series of HLM models were run, addressing the nested nature of the data (children within classrooms), and relating classroom sex composition to developmental change using the cognitive, motor, and social subscales from the Child Observation Record (COR). Overall, there were no main effects at the classroom-level for sex composition. However, a cross-level interaction indicated that, while girls’ development was not influenced by classroom sex composition, boys in classrooms with proportionally more boys fared significantly worse in terms of development as assessed by combined score on the COR. More specifically, this interaction was significant when predicting the COR cognitive subscale, but nonsignificant when predicting the COR social and motor subscales. This was true when controlling for the number of students at the classroom-level, as well as child's age and baseline ability (i.e., Time 1 COR) at the child-level. Implications for early childhood education policy are discussed.     

贴近生活领悟生活——试谈作文教学导向

作文能力是语文能力的综合体现,生活给学生提供了取之不尽用之不竭的创作源泉。然而,在应试教育的高压之下,学生远离生活,缺乏对生活的领悟,没有自己的思想与灵魂的套路作文是时下作文教学的最大弊端。扭转这种状况的关键在于革新作文教学理念,打破封闭的课堂教学模式,引导学生做生活的主人,生动而深刻地领悟生活。     

大学英语写作中错误分析及教学对策

写作向来被认为是大学生英语学习过程中比较薄弱的一个环节,而写作能力又通常被确定为衡量学习者语言综合运用能力的一项重要指标。本文运用错误分析理论并结合实证调查与研究,试图对大学生英语写作中出现的典型错误进行归类与分析,探究错误根源,并进一步探讨教师在大学英语写作教学中应如何有针对性地制定教学策略来帮助学生纠正错误。     

常熟市专利申请和专利授权状况之评估分析

根据《苏州统计年鉴）（2001-2007）的统计资料以及常熟市科技局于2006年开展的知识产权调查结果,采用线性回归和聚类分析等多种统计方法,从横向和纵向维度评估了常熟市的专利申请特别是专利授权在苏州地区的相对地住及其动态演化,探究了214家样本企业的专利授权在1988-2005年期间的动态变化、集中程度及其行为特征,分别依据专利结构和专利授权量的动态特征对相关企业进行了归类。     

小学作文教学中微课应用效果的调查研究

微课作为新型的教学资源受到越来越多的重视。本文首先分析了微课应用的意义,然后在微课模式下以"作文改写"为例对小学作文教学进行设计,最后通过实际的调查,比较前后微课对教学效果的影响,结果表明在小学作文教学中应用微课可以改变学生的学习方式,提高学生的学习积极性。     

初中作文结尾写法之我见

作文教学一直是初中语文教学的一个难点,也是学生和家长经常提到的一个难题,那么我们在实际教学当中,就需要注重培养学生作文写作的技能技巧,一步一个脚印地去培养学生的写作能力。一篇作文从开始构思到最后的修改文稿,这中间的过程非常复杂,其中作文结尾的写法很有讲究,一般情况下学生的作文在结尾的时候才能够揭示主题,表情达意,彰显作文的中心思想。因此在作文训练当中,培养学生作文结尾的写作方法技巧,也是作文教学的一个重点内容,让学生掌握基本的结尾写作技巧,逐步提高学生的写作能力。