基于抽象解释的变量值范围分析及应用

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undef...     

外墙外保温施工时应注意的一些问题

近几年来我国外墙外保温技术取得了巨大的进步．建成了大量的质量良好的新建和改建的外墙外保温工程，为国家的建筑节能事业做出了巨大贡献。这些工程实践证明，只有遵循外保温施工的规律，提出合理的技术要求，认真进行设计和施工，外墙外保温工程的质量是完全可以保证地。但是，在外墙外保温工程施工中也会产生一些质量问题，其中以施工质量问题最为常见。     

电视影像印制器

1984年4月份的“照像杂志”报道,日本三菱公司最近在日本市场上出售一种电视影像印制加工器。使用这种设备能够在瞬息之间获得一种接触印制片(Contact speeds),并把这种印制片从底片上转移到磁带,亦可由电视新闻报导图像中摘取单个的影像。这套设备在日本的售价约为2500法朗(250     

蒙达3号锅炉保温改进

蒙达公司3号炉在充分考虑锅炉房通风问题的同时,对锅炉各部位保温做了较大修改,运行后实测效果良好.文中对改进部位方案、效果加以分析对比,并对锅炉保温提出建议.     

基于PLC的步进式加热炉演示系统设计

本系统以八一钢铁股份有限公司棒材厂加热炉控制现场为背景,设计完成了步进式加热炉演示系统.系统采用西门子S/-200系列PLC为核心,通过检测传感器信号,根据加热炉控制工艺,并利用MCGS组态软件实现了对步进式加热炉工作情况的上位监控,为过程控制和PLC等相关课程提供实验平台.     

溴氟菊酯的大鼠两代繁殖毒性实验

为保证溴氟菊酯原油的安全使用,选用Wistar大鼠进行两代繁殖毒性的实验。溴氟菊酯原油在各喂饲饲料中的含量分别为0、20、200、1000mg/kg。试验中观察了亲代及子代实验动物的体重、行为表现、血液常规、血清生化、病理学检查以及幼仔的身长、尾长、窝重等指标,并计算繁殖指数指标。结果显示,在本试验条件下溴氟菊酯原油对大鼠的最大无繁殖毒性剂量分别为雄性大鼠1.87mg/kgbw·d、雌性大鼠1.97mg/kgbw·d。     

大规模C++工程单元测试性能优化研究

为了解决自动化单元测试工具在测试大规模C++工程时经常发生内存溢出故障且耗时较长这一问题,在测试流程中引入了缓存优化技术,并提出了一种面向不同测试方式的缓存优化方法;当用户直接对整个工程进行测试时,系统将采用缓存预取的方式,通过设计的缓存预取模型,在缓存出现读缺失之前为其提供数据块;当用户对单个文件进行测试时,系统将采用改进的GDSF替换算法进行缓存替换;实验表明,该方法能够有效地避免此类单元测试工具发生内存溢出故障并减少了测试的时间,使其支持的被测工程规模由5000行左右增加至十几万行,大大提升了系统的性能。     

防治高层建筑小砌块墙体裂缝产生的施工措施

分析了小砌块在高层建筑的填充墙体及饰面产生裂缝的原因。提出了在施工当中控制其裂缝产生的一些措施。     

最近相似距离延拓法耦合平行延拓法抑制EMD端点效应

在经验模态分解(Empirical mode decomposition,EMD)中,综合考虑信号内部的规律性,在深入研究最近相似距离延拓法和平行延拓法的基础上,对EMD端点延拓方法进行了改进,通过计算信号内部波段与端点波段的相似距离,确定信号内部规律性的强弱。在信号内部规律性较强的情况下,采用最近相似距离延拓法,使信号两端最大程度地反应信号内在信息;在信号内部规律较弱的情况下,考虑到端点信号发生异常的情况,采用平行延拓法在信号端点进行预测延拓。为验证该方法,本研究通过仿真分析和滚动轴承故障进行研究,研究结果表明,改进后的EMD分解得到的IMF分量与原模拟信号分量的匹配距离分别为3.378 7、7.240 4、7.390 7,波形相似系数分别为0.999 9、0.997 7、0.903 4,边际谱频率在f_1=5 Hz的误差为6.2%,与直接延拓法、平行延拓法相比更准确,能有效地抑制EMD端点效应。该方法能提高信号分解精度,实现对故障特征的有效提取,为机械故障诊断提供参考依据。     

干挂石材幕墙工程的质量控制

干挂石材幕墙工程存在着质量问题及安全隐患.本文主要是从原材料、设计阶段及施工阶段对其质量的控制加以论述.