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

Language and Williams Syndrome: How Intact Is "Intact"?

It has been claimed that Williams syndrome (WS), a rare neurodevelopmental disorder, is characterized by serious cognitive deficits alongside intact language. The syndrome is often used as a prime example of the modularity of an innate faculty for morphosyntactic rules. We challenge this claim and hypothesize that morphosyntax, although surprisingly good given WS level of mental retardation, is by no means intact. We make an initial test of this hypothesis through an analysis of the receptive language of a group of English-speaking WS individuals on a standardized morphosyntactic test. We then present an experimental study of expressive language that examines grammatical gender assignment in French-speaking WS patients. Despite a Verbal Mental Age selected to be higher than the chronological age of the young control group, these people with WS continue even in adulthood to show clear-cut deficits in their production of an aspect of morphosyntax that normal children acquire effortlessly very early. The results of the 2 studies, one focusing on receptive language and the other on expressive language, challenge the notion that comprehension and use of morphosyntactic rules in WS individuals are intact. The within-domain dissociations regarding the use of grammatical gender assignment across several sentence elements and their difficulties in understanding embedded sentences—two quintessentially linguistic skills—suggest that we must rethink the notion of spared, modular, language capacities in Williams syndrome. We conclude that WS language follows a different path to normal acquisition and may turn out to be more like second language learning.     

Pi演算建模BPEL4WS程序及实例研究

通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEIA．WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。     

A linguistic dissociation in Williams syndrome: Good at gender agreement but poor at lexical retrieval

Williams syndrome (WS) is a rareneuro-developmental disorder characterised byspared language in the face of serious deficitsin nonlinguistic cognitive abilities. Weconducted a study on ten WS individuals inwhich gender agreement and gender assignmentwere assessed by means of two tasks: gendercategorisation and gender concord. Subjectsperformed gender categorisation to real nounswhose gender was regular or exceptional giventheir ending, and to invented nouns which werecomposed of nonword or word stems and realword-endings. The same material was used in thegender concord task in which subjects had tomatch the items with the appropriate form ofthe article and the adjective carrying genderagreement. In the gender categorisation of realwords, WS were lower than controls but bothgroups demonstrated a similar sensitivity togender-ending regularities. In the gendercategorisation of nonwords, the results showeda clear dissociation. The WS subjects producedmore ending-consistent responses than thecontrols. Contrary to the controls, WS reliedheavily on the gender clue provided by theending even when the gender of the word evokedby the stem of the invented word was opposed tothat evoked by the ending. Participants with WSwere not influenced by the specific word evokedby the stem of the invented word. In the secondtask (concord task), the WS subjects performed well although lower than thecontrols. We concluded that the WS people werenot impaired in gender agreement which relieson syntactic rules and/or on the extraction ofregularities but experienced difficulties inretrieving lexical instances.     

Concurrent predictors of word reading and reading comprehension for 9-year-olds with Williams syndrome

Reading and Writing - We examined the cognitive, language, and instructional factors associated with reading ability in Williams syndrome (WS). Seventy 9-year-olds with WS completed standardized...     

Adaptive Functioning in Williams Syndrome: A Systematic Review

Literature on the level of adaptive functioning and relative strengths and weaknesses in functioning of individuals with Williams syndrome (WS) was reviewed. The electronic databases PsycINFO, PubMed, Expanded Academic, Web of Science, Scopus and ProQuest were searched electronically for relevant articles and dissertations using the search terms ‘Williams syndrome’ or ‘Williams-Beuren syndrome’ combined with ‘adaptive function*’, ‘adaptive behavio*’, ‘independ*’ and ‘autonomy’. Selection criteria included English language articles, theses and book chapters, participants with a diagnosis of Williams syndrome and inclusion of a standardised assessment of adaptive functioning. Twenty-two published articles and two PhD. dissertations (one subsequently published as a poster presentation) met the selection criteria for inclusion in the review. Fifteen investigated adaptive functioning in children and adolescents aged up to 19 years of age, five investigated adaptive functioning in adults and four included participants across a wider age range and included both children and adults. Along with identifying methodological issues, the review addressed the following areas: overall level of adaptive functioning in WS, domain strengths and weaknesses, evidence of heterogeneity, relationship to intellectual ability, changes with chronological age, relationship with maladaptive behaviour, gender differences and the potential influence of environmental factors which may be related to adaptive functioning in WS.     

江苏省建筑业增长预测及实证分析(英文)

为了把握江苏省建筑业的发展轨迹, 提出了其增长预测的多元线性回归模型. 选择影响江苏省建筑业增长的5个因素, 即建筑业固定资产K、地区生产总值GDP、房地产增加值REAV、建筑业对外输出WS和建筑安装工程投资JA作为解释变量, 使用主成分分析解决其多重共线性问题. 再选定建筑业增加值lnCAV作为被解释变量, 建立江苏省建筑业增长模型, 并用1990～2008年的统计数据检验模型预测精度. 预测结果表明: 2009～2012年江苏建筑业增加值的平均增长率将为17.65%, 同期GDP的增长率为14.16%, 江苏省建筑业未来增速快于GDP增速. 建筑业产值占GDP比重持续上升, 其支柱地位将逐步加强.     

小世界网络上的元胞自动机行为模拟

利用VC++6.0编程工具,编写出"WS小世界网络上的元胞自动机"程序。在编写好的程序实验平台上,演化运行,从得到的大量实验结果中,找出二维空间上的WS小世界网络的一些特性。     

局部凸空间的几种光滑性及其等价条件

设X是一个实线性空间,P是X上的一可分离的半范数族,(X,TP)表示由P生成的局部凸空间,(X,P)为一个偶对.给出偶对(X,P)为(弱)中点局部一致光滑的概念,讨论了它们与其它光滑性之间的关系,此外,还引入性质(WS)、性质(S)的概念,给出几个光滑性的等价性定理,得到了若干等价性,从而推广了Banach空间相应概念和结果。     

Polychlorinated dibenzo-p-dioxins and dibenzofurans in flue gas emissions from municipal solid waste incinerators in China

Polychlorinated dibenzo-p-dioxins and furalls(PCDD/Fs)emissions in flue gas from two types of municipal solid waste incinerators(MSWIs)most commonly used in China were investigated in this study.The selected incinerators include two grate-type MSWIs:MSWl-A(350 t/d)and MSWI-B(150 t/d),and two fluidized bed MSWIs:MSWI-C(400 t/d) and MSWI-D (400 t/d),which are all equipped with semi-dry lime scrubber and bag filter except MSWI-D equipped with cyclone and wet scrubber(WS)as air pollutant conffol device(APCD).Results indicated that the emission concentration and the international toxic equivalents(I-TEQs)of the PCDD/Fs from the stacks were in the range of 1.210～10.273 ng/Nm3 and 0.019～0.201 ngI-TEQ/Nm3,respectively.They were greatly lower than the emission regulation standard of PCDD/FS in China(1.0 ng I-TEQ/Nm3).However,only the PCDD/Fs emission Ievel from MSWI-C Was below 0.1 ng I-TEQ/Nm3.Although the homologue profiles were distinct,the contributions of the 2,3,7,8-subsituted congenem to the total I-TEQ were similar among all the investigated MSWIs.Two major 2,3,7,8-substituted congeners,2,3,4,7,8-PeCDF and 1,2,3,7,8-PeCDD,account for 47% and 9%(average values)of the total I-TEQ values,respectively.The correlation between PCDD/Fs levels and composition of flue gas Was also discussed.     

A Scale for the Evaluation of Structure Needs and Perceptions in Adolescence

An inventory was constructed which purports to measure the extent to which adolescents want structure and also perceive themselves as having such structure. “Structure”, as here defined, refers to guidance, advice, information, clarity, or direction offered to the adolescent by an adult authority figure. The scale was administered to approximately 1, 700 adolescents at junior and senior high school level on two separate testing occasions. Item analysis reduced the total number of items from 77 to 47 and improved the reliability considerably. Low correlations between the Wants Structure (WS) and Has Structure (HS) sub-scales suggest that the two are not measuring the same thing. Support given a number of hypotheses based on expected relationships between the structure inventory and other tests suggests that the former is measuring what it claims to measure, but further validation is desirable. The inventory seems to have some promise for research in an area which has been largely overlooked.     

Precise navigation for a 4WS mobile robot

INTRODUCTION Precise navigation is being researched and ap- plied in various fields, especially for outdoor mobile robots (Wang et al., 1998; Lee, 1997; Iida et al., 2000), such as those used in cargo container trans- portation at seaport, in precision agriculture, military vehicles, etc. As we know, applied sensors and rele- vant data processing basically determine the accuracy of navigation. In our research, GPS and encoders are used as navigation sensors. As an absolute positioning s…     

中学教师工作支持量表的初步编制

目的:编制中学教师工作支持量表,并检验其信度和效度。方法:建构中学教师工作支持的理论模型,并依据该模型编制量表。量表的有效样本为275名中学教师,用因子分析和相关分析考察量表的信度和效度。结果:①量表的Cronbach′sα系数为0.858,分半信度为0.716,重测信度为0.831;②因素分析产生4个因子,共解释55.45%的变异;③与工作敬业量表(WES)的相关为0.50(p<0.01)。结论:中学教师工作支持量表具有较好的信效度,可以用于中学教师获得的工作支持的评定。     

数据库有关的两类特殊打印的设计与实现

本文简要阐述了利用数据库进行WS中文文稿折页打印和数据库超宽报表打印的设计思想及技术要点,并且给出了具体实现方法。     

Polychlorinated dibenzo-p-dioxins and dibenzofurans in flue gas emissions from municipal solid waste incinerators in China

Polychlorinated dibenzo-p-dioxins and furans （PCDD/Fs） emissions in flue gas from two types of municipal solid waste incinerators （MSWIs） most commonly used in China were investigated in this study. The selected incinerators include two grate-type MSWIs： MSWI-A （350 t/d） and MSWI-B 050 t/d）, and two fluidized bed MSWIs： MSWI-C （400 t/d） and MSWI-D （400 t/d）, which are all equipped with semi-dry lime scrubber and bag filter except MSWI-D equipped with cyclone and wet scrubber （WS） as air pollutant control device （APCD）. Results indicated that the emission concentration and the international toxic equivalents （I-TEQs） of the PCDD/Fs from the stacks were in the range of 1.210-10.273 ng/Nm^3 and 0.019-0.201 ng I-TEQ/Nm^3, respectively. They were greatly lower than the emission regulation standard of PCDD/Fs in China （1.0 ng I-TEQ/Nm^3）. However, only the PCDD/Fs emission level from MSWI-C was below 0.1 ng I-TEQ/Nm^3. Although the homologue profiles were distinct, the contributions of the 2,3,7,8-subsituted congeners to the total I-TEQ were similar among all the investigated MSWIs. Two major 2,3,7,8-substituted congeners, 2,3,4,7,8-PeCDF and 1,2,3,7,8-PeCDD, account for 47% and 9% （average values） of the total I-TEQ values, respectively. The correlation between PCDD/Fs levels and composition of flue gas was also discussed.     

信贷工作流管理系统可视化建模工具的设计与实现

从信贷工作流管理系统的业务和功能需求出发,给出可视化建模工具的总体设计方案,展现可视化建模工具的界面及功能,阐述系统的重要文件——mPEL4ws流程文件的生成和流程模型检查。     

PLAN 5000局部网共享机制浅析

本文从网络操作系统和工作站操作系统两方面分析 PLAN 5000局部网对服务器硬盘的共享方法.说明网络系统中文件服务器对硬盘的管理方法和工作站 PC 如何获得对共享硬盘的访问的。     

X100管线钢埋弧焊焊接性能研究

X100管线钢屈服强度在690MPa以上,为了实现钢管埋弧焊缝的高强度高韧性匹配,研制了与X100管线钢相匹配的WS01焊丝,该焊丝匹配大西洋CHF105焊剂,焊接接头抗拉强度810MPa,20℃冲击功,焊缝的弯曲、硬度实验结果均达到AP15L钢管标准要求。