位置不确定移动对象的连续概率反Skyline查询

为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自动机构造出扩展序列图(Extended Sequence Diagrams,ESD)的语义模型的方法。最后,给出验证准则,根据Web服务的交互消息和规约建模的结果来验证Web服务运行时行为与需求规约之间的一致性。基于上述研究,设计开发了Web服务运行时验证工具(Runtime Verification Tool for Web Services,RVT4WS),以支持对Web服务运行时行为的验证。     

热喷涂Al2O3—TiO2复合陶瓷涂层滑动磨损特性研究

本文利用环块磨损试验机在不同载荷下对热喷涂Ａｌ２Ｏ３－ＴｉＯ２复合陶瓷涂层的滑动磨损特性进行了研究,结果表明热喷涂Ａｌ２Ｏ３－ＴｉＯ２复合陶瓷涂层干摩擦和水润滑时的磨损量均随载荷的增加而增大。利用扫描电镜观察了磨损表面形貌并用能谱分析了磨损表面成分,结果表明干摩擦情况下在低载和高载时其磨损机理有所不同：低载时主要为钢轮对涂层的涂抹及陶瓷涂层的剥落,高载时主要为陶瓷涂层的断裂剥落;水润滑情况下的磨损     

CH2大楼的生态节能策略

该文推介一个至今为止具有范例意义的杰出生态节能建筑,它的一些生态节能的建筑概念与技术策略的实践经验很是值得借鉴。相信有关内容的认知可以有效加强建筑生态节能设计思维,并提升技术思考方面的关注程度。     

基于词语词义的建筑思维与建构模式

该文创建性地提出了基于词语词义为依据的建筑思维与建筑构成的设计模式,通过对文字词语词义的精心择定,进而引发关联思维的建筑概念立意与建筑构成的逻辑演绎。依据此种设计操作程序,相关的建筑文化、艺术与技术问题在执行过程必然得到较为妥当的解决。     

控轧控冷对高强建筑用钢组织与性能的影响

对一种试验性的高强建筑用钢进行了控制轧制和控制冷却处理,研究了终冷温度对试验钢力学性能和显微组织的影响,并对拉伸断口形貌进行了观察。结果表明,试验钢在终冷温度为450℃时具有较高的强塑性和低屈强比,能够满足780 MPa级高层低屈强比建筑用钢的要求;在终冷温度为650℃时,试验钢中的M-A岛状组织更加粗大、含量相对较高,形状主要以多边形和和条带状形态为主,而终冷温度为450℃时,试验钢中M-A岛状组织的数量相对较多,尺寸相对细小,且主要以颗粒状形态存在;贝氏体铁素体基体上弥散分布着颗粒状M-A岛的复相组织有利于提高试验钢的强塑性并降低屈强比;终冷温度为450℃时试验钢的抗拉强度、规定塑性延伸强度、断后伸长率和屈强比分别为1070 MPa、825 MPa、16. 6%和0. 771。      

浅谈VPN技术在建筑施工企业中的应用

对VPN技术及其应用优势进行了分析,从企业局城网的组建和延伸、免费网络电话、远程视频会议、远程项目监控等方面阐述了VPN技术在建筑施工企业中的应用情况,以快速提升建筑施工企业的信息化建设水平,从而增强企业的综合竞争实力。     

优化合金元素加入量对蠕墨铸铁耐磨性的影响

通过设计合金元素锑、硼、磷加入量的三因素、二水平的正交试验,研究了合金元素及其加入量对蠕墨铸铁的蠕化率、基体组织、硬度和耐磨性的影响。优选出了合金元素的加入量为：0．03％Sb,0．03％B,0．25％P,并对新材料进行了模拟磨损试验。结果表明：新研制的低合金蠕墨铸铁比铬钼铜硼磷灰铸铁的综合相对耐磨性提高17．56％,而生产成本有所降低。     

原位磷化技术的发展现状

传统的磷化处理工艺过程复杂,成本较高,需要加入有毒的硝酸盐、亚硝酸盐、氯酸盐等铜、镍、钴、铬等重金属作加速剂,而后再涂装具有保护和装饰作用的有机涂层.综述了国外近来开发和作为一种新型磷化技术的原位磷化,该技术是将磷化试剂直接加入有机涂层中,将金属磷化处理和有机涂层的涂覆结合起来,在一道工序中同时完成以前多道工序的任务,节省了自然资源,减少了有毒物质的排放.     

煤的磨料磨损特性研究

为了搞清煤对矿山机器的磨损作用及磨损机制,用不同碳含量的钢在改装的M-200磨损试验机上进行了原煤、浮选煤和煤中加不同石英砂含量的三体磨料磨损试验。结果表明:当煤和材料的硬度比H_a/H_m大于0.64时,造成材料的硬磨料磨损,但煤的磨料磨损机制同其他磨料不同。煤粒的磨料磨损特性是在其磨损过程中发生某些弹塑性变形,使材料以犁沟—塑变—最终造成材料的断裂而磨失。其过程类似于塑性金属的一般断裂机理,而直接的显微切削现象甚少。煤中的石英含量增加使材料的磨损率增大,磨损率和煤中的自由石英含量呈线性比例关系。     

一个组态系统的设计与实现

组态系统是一个生成具体软件的软件系统,它根据工业生产两头的具体描述和用户的需求让计算机直接生成面向特定工业生产对象的过程监控系统。本文介绍了适合于我国中小企业的组态系统的设计方法和实现过程。