一种验证Web服务流程的新方法*

在实际的服务组合中,Web服务流程（process）的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑（TLA）建模服务流程,然后,利用模型检验（model checking）技术验证模型的某些属     

CSAMT法在南水北调中线采空区探测中的应用

南水北调中线工程,是采用明渠开挖自流引水方式,其沿线经过多个煤田地区,探明线路上的采空区尤为重要,本文以南水北调中线禹州采空区为例,阐述了可控源音频大地电磁法（CSAMT）的基本理论、野外工作措施,并结合该区地质概况,准确探明采空区的位置、深度。探测结果与煤田钻孔地质剖面图、采空区钻孔验证基本吻合。说明CSAMT法在复杂多个煤系地层探测采空区的有效性。     

碳纳米管蒸发特性及其对场发射性能的影响

为了探究场发射阴极电流的跌落机制,采用四极质谱仪分析的方法研究高温蒸发对阴极场发射性能的影响。实验结果表明：碳纳米管阴极在1173 K以上温度时开始蒸发出碳;在1373 K高温下连续蒸发100小时,碳纳米管阴极的开启场强增加21.7%,阈值场强增加31.7%,增强因子减小16.2%,功函数增加11.9%。扫描电镜（SEM）和能量色散X射线光谱仪（EDX）分析显示：增大的功函数和减小的场增强因子降低了阴极的场发射性能。阴极材料的蒸发是阴极电流跌落的重要原因。     

深化改革 搞活经营 走向市场

<正> 改革开放使我国经济气象万千,我们厂也走进了姹紫嫣红的春天。1986～1991年五年中,我厂经济效益指标以年平均二位数的速度增长,1991年末固定资产增加到4500万元,年生产能力达43200吨。经济效益历年在全省大、中型企业100强评价中处于靠前的位置,1990年进入中国500家最佳经济效益工业企业之列,列湖南省第12位;1991年完成工业总产值1.41亿元,销售收入1.14亿元,实现利税2300万元,经济效益及经营规模(销售收入)均进入湖     

人均节约200元 降耗更上一层楼

<正> 湖南造漆厂是一个拥有年产值七千万元,职工一千多人的国家二级企业。在湖南省内涂料行业中是一个占全省油漆总产量70～80％的举足轻重的大厂,年产油漆一万五千吨左右,全年消耗各种原材料近两万吨,是原材料消耗大户。近年来,涂料行业由于市场疲软,销售不畅,资金紧缺和原材料涨价,企业面临着生产和经济效益滑坡的严峻考验。如何消除这些不利因素,提高企业的经济效益,是摆     

基于GIS的房地产项目控制信息系统

针对地理信息系统的特点 ,在具体分析房地产项目控制的基础上 ,提出房地产项目控制管理信息系统的设计。     

建筑物中庭高空网架结构滑移法拖工

泰州市市级机关综合办公楼总建筑面积48000m2,地下1层,地上12层,总高48m,平面尺寸48m×120m。建筑物内设有两个中庭,中庭设两个不锈钢螺栓球节点抽空四角锥网架结构作采光屋面,支承形式为上弦对边支撑,平面尺寸42m×20m。1施工方案若按常规的高空散装法进行网架结构施工,需从地下室底板向上搭设满堂脚手架至43.270m标高处作安装网架的操作平台。这样做钢管满堂排架搭拆工期长,会影响其他工序施工,费用也较高。针对本工程网架设计特点及支承方式(上弦对边支撑),确定采取将网架分块、高空滑移法就位的施工方法,即:布设滑轨等滑移系统→在网架…     

政府在推进民用建筑节能实施中的作用

建筑节能是一个市场机制部分失灵的领域,单纯依靠市场机制不能全面推行建筑节能工作。这项工作必须依靠政府,由政府主导,由国家立法,调动建材商、开发商、科研工作者的积极性,协调各方利益关系,才能得以顺利实施。     

浅议高校成绩管理工作

成绩管理是高校教务管理工作中的重点与难点。本文指出了当前成绩管理工作中的一些问题与困难,并对如何提高成绩管理工作的水平提出了建议和看法。     

Web Services的权重空间距离和定量选择

一个Web Service服务有很多的QoS属性,不同的用户对不同的QoS有不同的偏好要求,为从众多功能相同的Web Service中选择用户最期望的服务,本文给出了基于n维空间的权重距离的算法。根据用户给定的偏好,计算每个Web Service服务的一阶权重距离,其最大值对应的服务a为最优;如果服务a和次优服务的相对差大于等于给定阈值,则向用户返回该服务;否则计算二阶权重距离对应的最优服务b,如果服务b和次优服务的相对差大于等于给定阈值,就向用户返回服务b;否则,比较服务a和服务b的相对差,将相对差较大的服务返回给用户。该算法能充分体现用户对不同QoS属性的偏好,因而具有明显的优势。