嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

既有运营地铁隧道整修修复工艺

结合上海轨道交通10号线盾构区间隧道整修修复工程实际,从管线改排与恢复、芳纶布施工、钢环片安装、隧道渗漏水处理等方面,介绍了盾构法隧道整修修复工艺技术的具体运用及主要工艺流程,以期为采用盾构法隧道整修修复运营中的地铁隧道提供经验参考。     

新型精煤压滤机在平顶山市选煤厂的应用

介绍了新型精煤压滤机在选煤厂浮选精煤脱水中的应用情况,以及入料浓度、粒度组成、加压方式等对脱水效果的影响,进行了精煤压滤机与真空过滤机的脱水效果对比试验。结果表明,该精煤压滤机脱水效果好,节能,是用于浮选精煤脱水的理想设备。     

利用图割实现背景自动切换

视频序列图像的背景切换是从视频图像帧中自动准确的提取出对象图像,然后赋予对象图像新的背景.针对此问题,本文提出基于图割理论的图像对象提取算法.首先提出采用能量最小化模型分离图像对象背景,并利用最小割/最大流算法实现能量最小化模型.其次,为了提高算法分割效果,算法采用HSV颜色模型,削弱V分离的作用从而减弱亮度变化对于分割的影响;最后对分割后的对象二值图像进行修正,提出用形态学操作进行边缘修补,用目标同化进行空洞填补.实验证明,算法提取出的对象图像完整、图像边缘清晰,较好的实现了视频序列图像的背景切换.     

工程项目风险管理浅析

工程项目风险,是指在工程建设过程中,可能出现的预期结果与实际结果间的差异而造成的损失。风险会造成工程项目工期延长、计划修改、投资增加等,最终导致工程项目经济效益降低,甚至工程项目失败。但是风险会和机会同在,通常只有风险大的项目才能收获较高的利润,因此风险又是对项目管理者的挑战。所有建设工程项目都存在风险,项目管理者对工程项目的结果缺乏认识时,     

煤矿通风安全隐患与管理对策

煤矿通风安全一直以来都是矿井安全的重要内容。通风安全的保障能够有效预防火灾、瓦斯爆炸等事故的发生,而煤矿通风机性能的安全则在其中起到至关重要的作用。因此,本研究在概述煤矿通风安全管理必要性的基础上,主要从通风机性能故障出发,即通过对通风机风量以及压力性能进行问题原因分析,以此为基础,探讨解决通风机性能问题的对策,以希望为煤矿通风安全管理提供有效的借鉴。     

新型精煤压滤机与脱水工艺的研究

介绍了中国浮选精煤脱水现状及存在的问题,新研制的精煤压滤机及脱水工艺在工业现场应用的情况。结果表明:该精煤压滤机压滤速度快、滤饼水分低,操作方便,具有广阔的推广应用前景     

水泥基渗透结晶刚性防水的工程应用

由于水泥基渗透结晶型防水材料环保、无污染、施工快捷的特点,越来越多的应用到工程中,本文介绍了水泥基渗透结晶型防水材料材料特性、施工工艺及应用效果,对刚性防水存在的问题进行了分析,并且针对存在的问题提出了建议。     

模板早拆技术应用研究分析

我国建筑业在发展过程中,模板工程一直需要采用新材料、新工艺、新技术来代替传统的模板工艺,对施工单位来说,采用模板早拆技术可以提高结构工程质量,降低工程成本,改变传统模板材料投入量大,工效低,经济效益差,施工现场乱等现象,加快材料周转,减少投入,加快工期,实现文明施工,所以,早拆技术的应用迫不容缓。分析早拆技术的原理、特点,结合早拆技术研究现状分析早拆技术市场应用前景。