Web服务编制的形式化模型研究

为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。     

用面向对象的方法表示图

图论的经典问题不仅在数据结构课程中很重要,而且在项目管理、网络等领域的应用中也很普遍。传统算法主要基于结构化的程序设计思想,非常繁琐。文章用面向对象的思想解决图论中的经典问题,定义新的顶点类存储图的拓扑信息,在类中封装了类成员及相应的方法,实现了模块化和信息隐藏;同时,实现了数据结构可视化,解决了数据结构课程学习和程序设计中不能形象直观显现所建数据结构的难题。     

再生骨料清水混凝土的制备与施工工艺优化研究

在住建部"十三五"规划关于加强再生建材生产技术和工艺研发政策的指导下,文中提出了将再生骨料运用到清水混凝土工程中的建议,对再生骨料清水混凝土的制备工艺进行了设计,通过试验分析不同体积率的抗裂纤维掺入对再生骨料清水混凝土性能指标的影响,给出了掺入纤维的体积率建议;针对实际工程中再生骨料清水混凝土的质量缺欠,从模板工程、表面颜色差异和表面气孔等方面,分析了缺欠产生的原因,提出了施工工艺的优化建议。     

高空作业车支腿反力限制器的研制

本文提出了防止高空作业车由于各种原因引起的超载及发生倾翻事故的一种新的方法，即对支腿反力进行限制。通过与目前在直臂式高空作业车上普通应用的力矩限制器相比，它具有保护功能更加完善，适用范围广泛，电路原理及系统组成更为简单等特点。     

分化与进化——即时战略游戏秘笈解码

在种类繁多的电脑游戏中,即时战略游戏独占一隔,不同流派的即时战略游戏渐至演化成系列,可谓百家争鸣,精品倍幽.一时间,人人都是运筹帷幄的统帅,个个都是决胜千里的将军.     

工程结构振动破坏分析与防震减灾研究

通过爆破拆除实验,研究了不同建筑物在爆破振动荷载作用下的动力响应,结合萨道夫斯基经验公式,推导出场地振动速度峰值的衰减公式;分析不同类型结构的地震震害实例,提出砖混结构、框架结构和底框结构在防灾减灾方面的抗震设计相关建议。     

Al-Zn-Mg／Fe复合粉体降解水体中氯代有机物污染的研究

Micro-scale Al-Zn-Mg/Fe composite powders (MAF) with high reactivity and good storage properties were prepared by reducing iron onto the surface of AI-Zn-Mg alloy powders. Experimental results show that MAF as advanced zero-valent iron are highly effective for degradation of chlorinated organic compounds. The efficiency of degradation for carbon tetrachloride and perchloroethylene is higher than 99% within a period of 2 h. The efficiency of degradation for trichloroethylene by MAF after storing for one month is equivalent to that by freshly prepared nano-size zero-valent iron particles.     

步进频连续波体制生命迹象探测方法研究

基于步进频连续波,利用MTD滤波,通过时域、频域联合检测,研究了生命迹象探测的新方法,在检测到人体的同时,实现测距的目的。首先,基于人体微动模型建立步进频连续波生命迹象探测的回波模型;然后由回波得到距离像信息,划分距离门,经时域检测后,对有信号的距离门内距离峰值变化信息进行傅里叶变换;再通过MTD滤波,滤除静止目标的影响,经频域检测,即可检测到人体。仿真证明了该方法的有效性。     

用铝镁锌系列合金颜料制备阳极型强屏蔽环氧重防腐涂料的研究

对采用铝锌、铝镁和铝镁锌合金粉体为颜料制备的阳极型强屏蔽环氧重防腐涂料涂层性能和防护机理进行了研究,同时还开展了对涂料的无溶剂化研究.通过对固化剂与助剂的优选,制得了融良好的施工性能和优异的防腐性能于一体的无溶剂铝镁锌阳极型强屏蔽涂料,其与有溶剂铝镁锌涂料的最佳颜料体积浓度相同,但电阻更高,屏蔽隔离能力更强.     

基于均值漂移的穿墙雷达多目标跟踪

针对穿墙成像雷达中多人体目标跟踪的问题,提出了一种基于均值漂移的多目标图像域跟踪方法。首先,通过基于双轴投影的变尺度模板创建方法进行航迹起始;其次该文利用均值漂移算法进行航迹更新,并对不同幅度像素点的加权处理使得迭代过程能收敛于目标图像中心;最后,结合M/N准则,实现了对航迹的管理。通过对多组实测数据的处理可以看出,该算法具有稳健的跟踪性能。