一种具有正确性保证的组合Web服务自动合成方法

Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.     

预裂爆破在实际施工中的几大问题分析

通过官地水电站对外交通公路大盐池合同段边坡开挖中预裂爆破的工程实践,对预裂爆破的孔距选择及下部严重出现岩坎、预裂面平整度、预裂爆破后辅助孔成孔率低、预裂与爆破区爆破网络以及预裂孔角度变化等问题进行分析,提出了具体的解决方法。     

检测行业现状及施工企业试验室发展对策

本文对工程质量检测行业过去和现在的背景条件和特点作了概述;面对检测行业现状,对施工企业试验室存在的主要问题进行了分析,提出了现阶段施工企业试验室的发展对策:提高检测质量意识,树立服务观念,找到自己真正的定位;施工企业试验室申请独立法人和取得建设部实验室资质认证成为必然,利用自身优势促发展,加强人才培训和技术力量的保留,使施工企业试验室发展成为施工检测行业的中坚,适应将来的竞争,促进检测行业的健康发展。     

海上平台冷放空二氧化碳灭火用量研究

海上平台在设置冷放空系统处理无法利用的气体时,为防止因雷击等原因点燃冷放空头,非常必要设置一套二氧化碳气瓶灭火系统用以处置冷放空头着火工况。对于二氧化碳气瓶数量的确定,在各规范中有不同的推荐做法,笔者对比了这些方法,并依据海上平台的特点,给出了适用于海上平台做法的建议。     

IPTV承载网组网研究

随着互联网业务高速发展以及国家大力推动三网融合,IPTV业务步入高速发展阶段,IPTV增值业务的运营空间也得到极大拓展。而成都联通作为省内较大运营商,还没有部署完善的IPTV网络,在此背景下撰写本文,主要研究IPTV系统在成都城域网内的部署即网络服务层中IP承载网络部分,包括IPTV承载网络模型、组播能力部署、IPTV接入方案等,希望为以后成都联通构建IPTV网络提供一定的参考。     

IPTV承载网组网研究

随着互联网业务高速发展以及国家大力推动三网融合,IPTV业务步入高速发展阶段,IPTV增值业务的运营空间也得到极大拓展。而成都联通作为省内较大运营商,还没有部署完善的IPTV网络,在此背景下撰写本文,主要研究IPTV系统在成都城域网内的部署即网络服务层中IP承载网络部分,包括IPTV承载网络模型、组播能力部署、IPTV接入方案等,希望为以后成都联通构建IPTV网络提供一定的参考。     

基于射流支撑的细长轴加工精度

细长轴是典型的低刚度零件,在生产生活中有着广泛的应用,由于其刚性较差被认为是机械加工中的难题。专家学者和技术人员都在这方面进行了相关研究,新工艺、新技术层出不穷,而至今还没有一种方法可以高效地加工出质量优异的细长轴。文章对细长轴加工力学模型的进行了分析,并设计了一种以切削液为介质的射流作为细长轴车削的柔性辅助支撑新的加工方法。最后,通过实验验证了射流支撑细长轴加工误差补偿方法的有效性和可行性。     

仙草多糖提取工艺的优化

目的对仙草多糖碱液提取工艺条件进行优化。方法研究碱提法提取仙草多糖的条件,考察碱浓度、提取温度、提取时间及液料比等因素对仙草多糖得率的影响。在单因素实验的基础上,选取碱浓度、提取时间及液料比3因素应用响应面中Box-Benhnken设计原理进行试验设计,以仙草多糖提取率为响应值,建立多糖提取率的二次回归方程,得到碱液提取多糖的最佳条件。结果仙草多糖提取的最佳浸提条件:Na HCO_3 1.25%,提取时间3h,液料比35:1(V:m),在此条件下仙草多糖提取率为8.10%。结论碱液提取法能够提高仙草多糖的提取率。     

利用电教手段为数学教学营造和谐的乐学氛围

电教媒体作为数学教学的重要辅助工具,对提高数学教学效果起到了非常重要的作用。文章从现代技术对教育教学的影响入手,结合实际教学经验,阐述了在数学教学中运用电教媒体的思路和措施,以供教学同仁参考。