提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

增压机油冷器改造可行性分析

;通过对5600Nm<'3>/h制氮装置增压机油冷却器运行状况分析,介绍了将原固定管板式换热器改为板式换热器的必要性和可行性,并对其进行了研讨与分析.     

脑深部神经刺激微电极的表面改性研究

为了提高脑深部刺激电极的生物相容性,降低脑组织的免疫反应,减少或抑制电极周围包裹物的形成,对电极植入端聚氨酯材料进行了表面改性处理.首先用N₂/H₂进行等离子体处理,在电极表面生成活性基团——氨基,再利用电极表面的氨基基团与YIGSR多肽分子发生聚合反应,从而实现在电极表面修饰上对神经细胞具有促进生长作用的多肽分子.改性电极的大鼠植入实验结果发现,改性电极能够在一定程度上减少胶质包裹物的形成,有利于电极与神经细胞之间接触,增加有效刺激体积,证明了电极聚氨酯材料表面接枝聚合生物大分子的可行性,对今后电极表面改性的深入研究具有一定的参考意义.     

大厚度湿陷性黄土地基处理方法

通过工程实例,对大厚度湿陷性黄土地区的地基处理方法进行了详细的分析和优选,确定强夯＋灌注桩为大厚度湿陷性黄土地基的最优处理方法,对强夯和灌注桩处理方案进行了设计,提出了设计参数,并分析了检测结果。     

氧化沟工艺处理城市污水及中水回用

结合南昌象湖污水处理厂工程,介绍了在城市污水处理厂中氧化沟工艺结构、原理及运行特点,分析了其运行情况和效果,并分析了城市污水中水回用的工艺及运行效果。     

一种快速DSSS/QPSK信号检测方法

针对DSSS/QPSK扩频通信的非协作检测问题,研究提出了一种基于时域分析处理的检测方法,该方法基于DSSS/QPSK信号的基本特征,通过对接收到的信号在时域做简单的延迟相乘处理与自相关分析完成对信号的检测和实现对DSSS/QPSK扩频系统重要参数信息码周期的估计.计算机仿真模拟结果显示,文章所建议方法简单有效,可操作...     

琼脂凝胶注模成形不锈钢粉末浆料与生坯的性能

研究温度、琼脂质量分数、分散剂质量分数、固相体积分数等因素对浆料流变性质和生坯力学性能的影响规律,获得最优的凝胶注模工艺参数.在此实验研究基础上,对金属浆料的混合、分散、凝胶机理和生坯的烧结过程进行初步分析和探索.研究结果表明:粒径分布为2～30 μm的316L不锈钢粉末,应用聚乙烯醇为分散剂,控制溶液pH值为8.5～...     

遮光处理对忽地笑生长发育的影响

五个梯度遮光处理忽地笑(Lycoris aurea)生长发育情况.结果表明:20％遮光出葶最早,全光照出葶最迟.花葶长度以40％遮光处理下最长,全光照最短,各处理差异显著.开花率全光照处理最低;40％遮光最高,适度遮光的环境更有利忽地笑开花.不同遮光处理集中开花时间在9月上中旬,遮光处理对开花时间影响不显著.40％遮光...     

液压挖掘机工作空间极限分析

液压挖掘机的高效性,使其在工农业生产、军事等众多领域得到了广泛的应用.工作空间参数,是设计与选用挖掘机的重要依据.求逆解是挖掘机机器人化需要解决的问题,若铲斗位姿超出工作空间,则会引起无逆解.挖掘机的工作范围是多条曲线围成的平面区域,而临界姿态角的函数图像则是一张空间曲面.本研究使用SolidWorks添加约束与MAT...     

絮凝过滤在石化废水深度处理中的应用研究

通过小试实验,比较分析无机、有机及复合絮凝剂对某石化企业污水处理厂出水的絮凝效果,通过处理效果和成本分析,筛选得到了聚合氯化铝-聚二甲基二烯丙基氯化铵复合絮凝剂(PAC-PDMDAAC).该絮凝剂在投加量为50 mg.L-1时,浊度最大去除率为72.4%;在实验投加量范围内,CODC r去除率均在40%以上;投加量为40 mg.L-1时,最大去除率达59.3%.在小试的基础上,将该絮凝剂应用于中试实验,分析监测不同构筑物对CODC r的去除效果等参数,确定了合理的投药量、排泥量、反冲洗时间、沉淀时间、处理水量等指标.