Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

应用原子吸收法测定蛋中主要微量元素并进行营养比较

应用原子吸收光谱分析法对鸭蛋、土鸡蛋、洋鸡蛋各11份样品进行了钙、铁、锌、铜、锰等元素的定量分析，并将各元素作了加标回收率试验，其回收率在91．4－104％之间，能满足痕量分析。根据各项测量数据进行了营养比较。     

改善全息圆锥准直线及提高准直精度的一种方法

用一张计算全息图可产生锥面波,锥面波衍射图样的中心在空间是连续的,可作为直线基准。本文提出了提高锥面波直线准直精度的一种方法即空间滤波法。实验结果与理论分析一致。     

锐钛型TiO_2性能研究 Ⅱ.锐钛型TiO_2的光化学活性封闭及其表征

用水热法ＳｉＯ２致密包覆封闭锐钛型ＴｉＯ２表面的光化学活性点，以Ｃｒ２Ｏ２－７的还原反应考察包覆层的致密性及包覆效果。讨论了ＴｉＯ２浆液的浓度、温度、ｐＨ及保温熟化等反应条件对ＳｉＯ２致密包覆的影响。     

硫酸铜活化闪锌矿的电化学机理

通过热力学分析和电化学测试，深入探讨了硫酸铜活化闪锌矿的电化学机理．结果表明，硫酸铜对闪锌矿的活化作用：一是生成从Ｃｕ２Ｓ到ＣｕＳ的一系列不同含铜量的铜的硫化物活化组分，二是生成的活化组分可以防止闪锌矿表面过度氧化．     

10Cr9Mo1VNbN耐热钢的动态断裂韧度研究

采用自制的仪器化冲击试验机，研究了１０Ｃｒ９Ｍｏ１ＶＮｂＮ钢在７７～９２３Ｋ的冲击韧度和动态断裂韧度．结果表明：在１０Ｃｒ９Ｍｏ１ＶＮｂＮ钢下平台温度范围内，缺口试样冲击能量的绝大部分用于裂纹萌生；在韧脆转变区及上平台范围内，裂纹扩展消耗大量的能量，断口的形貌观察证实了这一点．采用带预制疲劳裂纹的夏比冲击试样的示波冲击试验，可以测量材料的动态断裂韧度，并且它比冲击韧度能更敏感地反映材料脆性断裂趋势．动态断裂韧度值的变化与延伸带宽度、启裂区宽度和启裂区内韧窝尺寸有相同的趋势     

10万立方米石油贮罐焊接变形的控制

分析了10万立方米油罐焊接变形的产生原因,并介绍了控制焊接变形的工艺措施.     

一种新型脱硫技术在燃油锅炉上的扩大试验

在介绍国内外主要烟气脱硫技术及其最新进展的基础上，重点阐述了用硫化碱加TFS添加剂进行燃油锅炉烟气脱硫并副产五水硫代硫酸钠的扩大试验结果，说明了这一新型脱硫技术的可行性。     

Ca^2＋和Mg^2＋对54kD钙结合蛋白荧光强度影响的研究

猪血小板 5 4kD钙结合蛋白 (calciumbindingprotein ,CaBP)是一个等电点为 5 .5的弱酸性蛋白质 ,其N 末端为丙氨酸 (Ala) ,且未经修饰 ,在 2 80nm波长的紫外光激发下 ,该蛋白质具有λmax为 335nm的内源荧光发射光谱 ,Ca2 +、Mg2 +均能减弱其发射荧光的强度 ,但对其λmax没有影响 .通过测定不同Ca2 +浓度下荧光强度的变化 ,可计算出在无Mg2 +存在时 ,该蛋白质的钙结合常数为 3.2× 10 - 8mol/L ,而在Mg2 +饱和条件下 ,钙结合常数为 7.4× 10 - 6 mol/L .乙醇亦不影响该蛋白质荧光的λmax,而对其荧光强度的影响则依赖于是否与钙结合 .未与Ca2 +结合时 ,乙醇浓度的增加导致荧光强度增强 ,与Ca2 +结合后 ,在低浓度乙醇溶液中 ,蛋白荧光强度减小 ,至乙醇浓度大于 16 .6 %后 ,其荧光强度逐渐增强 ,在 35 %乙醇溶液中 5 4kDCaBP对Ca2 +不敏感     

纺线或退绕气圈颈部曲面及其最小半径的近似解

纱线气圈面的曲线外形在第一象限内是十分接近简单正弦曲线,但进入第二象限后则逐渐偏离该正弦曲线,在到达颈部时更形成显著差别。环锭纺纱时,如果钢领钢丝圈位置逐步接近该气圈颈部就将造成气圈崩溃和纱线断头。这里给出了气圈颈部曲面的近似表达式及气圈颈部最小半径的近似计算,计算结果与精确解很接近。