用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案，以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件，通过对程序符号化执行后各控制点的路径条件进行逻辑推理，删除那些对性质检测无关的语句。理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。     

IPv6隧道技术及其安全性分析

IPv6隧道技术是在IPv6发展的初级阶段实现IPv6孤岛间互联的重要技术。通过介绍IPv6隧道技术的概念、工作机制和几种具体实现方案，分析IPv6隧道技术的安全特性，让大家对该技术有个全面、深层次的了解，为该技术的实际应用和建立一个安全的网络提供参考。     

超细煤粉再燃技术及其低NO_x排放分析

超细煤粉再燃技术是燃煤电站实现低NOx排放的关键技术之一.结合超细煤粉再燃机理,对低NOx排放的主要影响因素:燃料特性、煤粉细度、在再燃区的停留时间、再燃区反应温度、再燃燃料比和过量空气系数等进行了综合分析,得出了只要燃烧条件选择合理,采用低挥发分的烟煤代替高挥发分的烟煤或褐煤作为再燃燃料也是可行的结论.     

大截面锻材超声波探伤攻关

通过超声波探伤结果来确定锻造工艺以解决大截面锻材探伤合格率过低的问题。     

基于分数阶Tikhonov正则化方法的 电弧反演研究

有触点开关电器在分断电路时将不可避免地产生电弧。该文建立了直动式触头系统开断下的三维电弧模型,将电弧假设为电流折线集合。基于毕奥萨伐尔定律,通过正演分析获得电弧周围测磁平面的磁场分布,并根据磁场反演电弧电流密度分布。为了提高电流重建精度,采用Tikhonov正则化方法求解基于电磁逆问题建立的不适定方程组。考虑到标准Tikhonov正则化方法的最小二乘解由于滤波算子的作用而丢失重建数据的细节使得解过于平滑,采用分数阶Tikhonov正则化方法来提高解的精度,并基于Morozov偏差准则求取正则参数。反演结果表明,通过降低阶数α可减缓滤波算子的收敛速度,提高解向量范数而逼近精确解。同预设值相比,在施加标准差为0.001的测磁干扰下,电弧反演的最大相对误差为21.16%,平均相对误差为8.99%,重建精度高于标准Tikhonov方法与截断奇异值分解法,反演结果能够反映电弧分布趋势。     

融合C-DOCSIS体系的综合网管设计与实现

随着C-DOCSIS技术逐步在广电双向网络改造中的应用,在原有综合网管平台上搭建出运营级的C-DOCSIS网管体系尤为重要.通过分析C-DOCSIS技术组网方案,在结合原有DOCSIS网络管理架构的基础上,提出相互融合的综合网管搭建体系,明确在新融合网管系统中分层结构和功能描述,重点介绍C-DOCSIS配置管理、告警管理、诊断查询等特色部分,分享项目实施经验.     

蒙古文软件标准符合性检测的研究与设计

从蒙古文信息处理标准角度出发,分析与总结了蒙古文标准符合性检测的依据。针对软件产品应具备的基本功能,设计了蒙古文编码字符集标准、字型标准与键盘布局标准符合性检测的具体内容、检测流程与检测算法。     

基于红外热成像技术的车厢内部火灾预警研究

红外热成像技术是目前最为实用的火灾预警检测手段之一,可以有效提高列车车厢的运行安全。基于红外热像仪的原理及优点,结合动车组车厢较为狭长的特点,探讨红外探测器的镜头选择;提出了融合绝对温度和基于高度变化的火焰判定概率模型,提高了火焰检测的精度。在动车车组车厢环境中的测试验证了方法的有效性和稳定性,降低虚警。     

U形预应力钢板箍加固T形截面钢筋混凝土梁受剪性能试验研究

为改进T形截面钢筋混凝土(RC)梁的受剪加固工艺,提出了一种采用U形预应力钢板箍对T形截面RC梁进行受剪加固的技术。采用简支梁跨中集中力加载的方法,完成了1个足尺未加固RC梁和5个足尺加固RC梁的单调静载试验,研究U形钢板箍间距和预应力水平对加固RC梁受剪性能的影响。通过试验得到了试件的损伤发展过程、破坏形态、荷载-变形曲线以及钢板箍、钢筋和混凝土的应变曲线。研究表明：采用U形预应力钢板箍可有效提高既有T形截面RC梁的斜截面受剪承载力,试件受剪承载力随钢板箍间距的减小而提高,最大提高幅度可达46.1%。当钢板箍间距小于400mm时,加密钢板箍对试件受剪承载力的提高作用逐渐减弱。钢板箍预应力水平在0.35以上时,进一步提高预应力水平对试件受剪承载力无明显影响。提出了U形预应力钢板箍加固T形截面RC梁受剪承载力的计算式,计算结果与试验结果吻合良好,可为既有T形截面RC梁的加固设计提供参考。     

有机凹凸棒土处理乳化液的实验研究

用制备的有机凹凸棒土处理乳化液。实验结果表明,有机凹凸棒土的投加量为0.3 g,超声60 min时,对COD为720 mg/L、浊度为485 NTU的乳化液处理效果最佳,其COD和浊度的去除率分别可达91.5%、99.5%,均显著高于天然凹凸棒土。