着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

BitTorrent协议中激励机制的设计与分析

激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下栽速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这种新激励机制的BitTorrent协议进行了详细的着色Petri网（colored Petri nets,CPN）形式化建模分析,在验证模型正确性的基础上,进行基于模型模拟的性能分析实验,结果表明该激励机制能够严格限制搭便车节点行为,达到更好的激励效果。     

极热高温地区CBK项目大体积筏板基础分块施工技术

在某些极为炎热的高温国家,由于条件限制筏板被迫分成若干施工段浇筑.通过施工缝节点处理有效地解决了分段浇筑问题,并解决了膨胀、伸缩等问题,而取代后浇带.重点介绍了筏板施工段划分及施工缝节点处理方法,筏板混凝土浇筑及质量保证措施,并讲述了其他施工作业情况及基坑监测情况.实践表明,施工效果良好.     

科威特中央银行新总部大楼屋面种植区防水施工

科威特中央银行新总部大楼高约239m,由主楼、裙楼和人防工程组成.人防和停车场屋面均为绿化种植的建筑做法.系统阐述了科威特中央银行项目种植屋面防水施工的施工流程及工艺,尤其对基层处理、洞口封堵及找坡层施工中用到的新材料、新工艺进行了重点介绍.