函数后置信息在软件静态测试中的应用

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.     

草酸改进铁/铜微电解体系降解活性艳蓝KN-R

在铸铁上负载铜的铁/铜催化微电解体系中加入草酸后,质量浓度为100 mg/L活性艳蓝KN-R溶液迅速脱色,化学需氧量明显降低,改善了微电解体系对废水处理时间长、化学需氧量去除效果低等缺点.实验结果表明:在pH为3.28(加入草酸后)、草酸投加量为5 mg/L、催化剂投加量为10 g/L的条件下,对质量浓度为100 mg...     

浅谈大学生科技创新活动中存在的问题及对策

大学生科技创新活动是大学科技创新活动的重要组成部分,也是国家创新体系不可缺少的组成部分。本文主要阐述了大学生科技创新活动的重要性以及我国当前科技创新活动过程中存在的问题,并提出了推进大学生创新活动深入开展的措施。     

泡沫铝填充在轿车B柱中的侧面耐撞性研究

为了提高轿车侧面耐撞性,设计耐撞性能强的B柱成为主要课题之一.目前的优化方法很难将B柱侵入量和侵入速度同时控制在理想范围内.因此,提出泡沫铝材料填充在汽车B柱内代替B柱加强板的方法,缓冲侧面碰撞冲击.通过建立泡沫铝有限元模型与材料特性分析,确定仿真泡沫铝主要材料参数.进而根据中国新车评价规程C-NCAP要求,建立轿车整车侧面碰撞有限元模型,采用LS-DYNA软件进行仿真分析.结果表明,泡沫铝填充后的B柱侵入量和侵入速度都有明显降低.泡沫铝材料塑性变形和整体弯曲变形能够吸收1.51kJ的能量,是B柱加强板的3倍.填充泡沫铝前后仿真结果表明,轿车B柱填充泡沫铝是一种提高轿车侧面耐撞性的方法.     

聚氯乙烯树脂分子量分布的测定

用凝胶渗透色谱(GPC)法测定聚氯乙烯(PVC)分子量分布与经典方法相比具有快速,试样用量少、重复性好、易连续化和自动化等优点。因此目前国外已将GPC法广范的应用于高聚物的分子量测试中。 PVC的性质和加工性能,与树脂的分子量分布及平均分子量有密切关系。所以了解树脂的分子量分布情况,对于改进树脂性能及选择加工条件等都是十分重要的。关于这方面的测试,近年来逐渐被生产单位和使用单位所重视。我们通过实验     

新工科背景下基于OBE的混合教学模式探索——以软件工程为例

基于OBE的混合教学模式以成果为导向,以学生为中心,以培养目标为核心的教学设计理念,符合新工科背景下培养大量应用型创新创业人才的需求。本文以提升学生自主学习能力和实践应用能力为目标,基于OBE反向教学设计理念实施软件工程混合式教学,将线上自主学习和线下翻转教学和案例驱动实践教学有机结合,充分调动学生的积极性和主动性。     

可见光级铝合金反射镜一体化设计与分析

高精度的反射镜对于航空航天载荷具有重要的意义。随着单点金刚石车削加工技术(SPDT)和抛光技术的发展,铝合金反射镜以快速低成本制造等优点用于可见光级的应用中。为了降低系统装调的自由度,设计了一种一体化的反射镜结构,并针对126mm口径主三反射镜进行有限元建模仿真,通过对反射镜自重分析、模态分析和加工离心力分析。得出设计的主三反射镜具有较高的动态刚度,多种工况下反射镜的镜面形变化均低于1/40λ(λ=632.8nm),可应用于可见光系统中,为金属反射镜的集成设计和制造提供一定的参考。     

工艺参数对直流磁控溅射法制备氧化铝薄膜的试验研究北大核心

采用直流磁控溅射法在载玻片和不锈钢基底上制备某设计要求的氧化铝薄膜,首先采用单因素法分别分析溅射功率、氧气流量、工作压强、负偏压及本底真空度等制备参数对薄膜沉积速率的影响;在此基础上设计正交试验,研究优化范围内溅射功率、氧气流量、工作压强对沉积速率的影响,并进行极差与方差分析。结果表明,在一定工艺参数范围内,随着溅射功率的增加,薄膜的沉积速率不断增大;氧气流量增加时薄膜的沉积速率不断下降;随着工作压强的增大,薄膜的沉积速率先增大后减小,在1.0 Pa时达到最大速率;加载的负偏压增加时,薄膜的沉积速率不断降低;本底真空度提高时薄膜的沉积速率不断增大;通过使用XRD衍射仪对制备的薄膜进行物相检测,研究结果表明,常温下不同氧气流量制备的氧化铝薄膜均为非晶态;获取了制备所需薄膜的较优的制备工艺。