监理人员素质对监理工作的重要作用

工程监理行业在建筑行业的飞速发展下应运而生,它是一种在建设方和施工方二者之间存在的服务性行业,它主要是根据工程的承包合同和监理合同,促使承包合同双方按照合同的规定进行施工建设,并且还要在有关单位之间起到协调的作用。本文就监理人员的素质对于监理工作的重要作用进行探讨,并提出了笔者自己的浅见。     

协议一致性测试生成的路径叠加方法

基于UIO序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状态机中无重复转换的路径作为路径叠加转换序列,在其后连接该序列尾状态的UIO序列,从而验证该序列中所有转换。理论与实验结果表明,由路径叠加算法生成的测试序列长度要比其他基于UIO序列的算法生成的测试序列明显缩短。特别的,利用路径叠加转换序列来替代OUIO方法中对子序列直接叠加而生成的完全叠加转换序列,在检错性不降低的前提下,大大降低了叠加计算的复杂度。     

基于ABNF的高速硬件解码方法的研究

本文提出了一种硬件实现网络协议解码的方法.这种方法采用基于流水线的高速并行字符串匹配结构和基于ABNF(Augmented Backus Naur Form)范式定义的高速域值合法性检查.文中还对用这种方法实现的SIP(Session Initiation Protocol)协议解码器的性能进行了分析,并与软件实现进行了对比.通过比较可以得出,采用本方法所实现的协议解码系统只需要较少的硬件资源就可以得到比传统的软件实现几十倍的性能提高,并显著提高整个系统的吞吐量.     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.     

坚持生态,社会和经济效益并举加快城市绿化和风景园林建设

徐州古称彭城,位于江苏省西北部,北扼齐鲁,南屏江淮,东襟黄海,西接中原,向为兵家必争之战略要地。徐州市现辖二市四县五区,是国家级历史文化名城、平原绿化先进市,全国交通主枢纽,国家二级经济中心和商贸都会,陇海、兰新和淮海经济区中重要的中心城市。地理位置优越,交通便利,素称“五省通衢”,铁路、公路、水路、航空、地下管道“五通汇流”,南北东西货物交流集散中心。1993年徐州被国务院正式批准为全国“较大的市”,享有地方立法权。近年来,随着社会经济的高速发展和城市化建设进程的加快,市委、市政府按照“大城市、大框架、现代化、强辐射”的城市建设发展战略和“两通先行,大办工