Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability desc...Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.展开更多
目的探讨双源CT区分混合结石的能力。方法收集134例泌尿系结石患者术后获得的结石标本,将结石标本放入猪肾中建立结石体外模型,并将猪肾放入水槽中模拟体内环境。应用双源CT在80 k Vp和140 k Vp下扫描猪肾模型,测得CT值、分析值,计算DE...目的探讨双源CT区分混合结石的能力。方法收集134例泌尿系结石患者术后获得的结石标本,将结石标本放入猪肾中建立结石体外模型,并将猪肾放入水槽中模拟体内环境。应用双源CT在80 k Vp和140 k Vp下扫描猪肾模型,测得CT值、分析值,计算DEI值。结果双源CT识别尿酸结石的灵敏度及特异度均为100%。草酸钙、磷酸盐组与磷酸盐、尿酸盐组在80 k Vp、140 k Vp的CT值,双能量值上比较差异有显著性意义(P<0.05)。草酸钙、磷酸盐组与草酸钙、尿酸盐组DEI值差异有显著性意义(P<0.05)。结论双源CT在识别尿酸盐结石上是可靠的,且具有一定的区分混合结石的能力。展开更多
基金This work was partly supported by the National Natural Science Foundation of China （Grant Nos. 60233010 and 60496324） the National Key Research and Development Program of China （Grant No. 2002CB312004） the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS of the Chinese Academy of Sciences.
文摘Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.
文摘目的探讨双源CT区分混合结石的能力。方法收集134例泌尿系结石患者术后获得的结石标本,将结石标本放入猪肾中建立结石体外模型,并将猪肾放入水槽中模拟体内环境。应用双源CT在80 k Vp和140 k Vp下扫描猪肾模型,测得CT值、分析值,计算DEI值。结果双源CT识别尿酸结石的灵敏度及特异度均为100%。草酸钙、磷酸盐组与磷酸盐、尿酸盐组在80 k Vp、140 k Vp的CT值,双能量值上比较差异有显著性意义(P<0.05)。草酸钙、磷酸盐组与草酸钙、尿酸盐组DEI值差异有显著性意义(P<0.05)。结论双源CT在识别尿酸盐结石上是可靠的,且具有一定的区分混合结石的能力。
