基于函数调用序列模式挖掘的程序缺陷检测

程序中通常会隐含大量编程规则,若在程序编写过程中违反此类规则,则可能引发软件缺陷。函数调用规则是其中一类常见的程序隐含规则,常见的函数调用规则挖掘工作将整个函数体内的函数调用作为一个项集来进行分析,未使用程序中函数调用先后顺序等约束信息,导致软件缺陷挖掘结果的误报率较高。通过简单的静态分析即可获取函数调用序列信息,如在缺陷挖掘过程中充分利用函数调用序列信息,将有效提高缺陷挖掘精度。基于上述思路,提出了一种基于函数调用序列模式挖掘的缺陷检测方法,该方法自动检测程序中违反函数调用序列模式的疑似缺陷,并报告可疑度较高的缺陷。基于该方法,在一组开源项目上进行的实验的结果表明,此方法能有效发现程序中由于违反函数调用序列模式而导致的缺陷,减少了缺陷误报,从而降低了人工核查疑似缺陷开销。     

混合编程及其在力学计算中的应用

探索了用ＶＣ＋＋,Ｆｒｔｒａｎ,ＯｐｅｎＧＬ进行混合编程的方法。该方法充发挥了三种语言各自的优点,在最大限度地利用已适用的Ｆｏｒｔａｒｎ语言源程资源的前提下,能设计出画面丰富多彩、方便人机对话的界面,最终实现计算结果的可视化。     

基于零序阻抗突变特征的谐振接地系统高阻接地故障选线方法

针对配电网谐振接地系统高阻接地故障选线困难的问题,提出了一种利用消弧线圈并联电阻短时投入以增强线路零序阻抗特征的高阻接地故障选线方法.对发生单相接地故障时消弧线圈并联电阻投入前、后同一母线上的健全线路和故障线路的零序阻抗特征进行分析,由分析结果可知:任意健全线路在并联电阻投入前、后其零序阻抗基本保持不变,由线路自身对地电容阻抗构成;故障线路在并联电阻投入后零序阻抗减小,由所有健全线路、消弧线圈支路和并联电阻支路的并联等值阻抗构成.此外,综合考虑故障点电流的限幅要求和零序电压的启动要求分析了并联电阻的取值范围.利用消弧线圈并联电阻投入前、后线路零序阻抗的变化特征构造了故障选线判据,其能够适用于过渡电阻在3000Ω以内的高阻接地故障.利用MATLAB建模仿真,验证了所提故障选线方法的有效性.     

基于无线传感器网络的淮河大坝安全监测系统设计

一、引言大坝是调控水资源时空分布、优化水资源配置的重要工程,也是江河防洪工程体系的重要组成部分.大坝建造在地质构造复杂、岩土特性不均匀的地基上,在各种荷载的作用和自然因素的影响下,其工作性态和安全状况随时都在变化.如果出现异常未被及时发现,任其发展,后果不堪设想.如能事先运用有效的观测手段进行监测,及时发现问题,采取有效的工程措施,就能避免灾难的发生;同时,及时了解大坝的状况,可以为大坝的设计理论提供科学依据.因此,大坝安全监测非常重要.     

城镇脱水污泥蚯蚓堆肥处理的方法与效果

为了探究提高蚯蚓堆肥处理城镇脱水污泥效率的方法。将含水率为75%～80%的城镇脱水污泥制作成粒径为5 mm和15 mm的污泥颗粒，考察了蚯蚓对颗粒污泥系统的生存适应性，以及污泥粒径、环境温度、和蚯蚓密度对堆肥系统稳定化效率的影响。结果发现：在一个实验周期内，蚯蚓在5 mm颗粒污泥系统中的单条成蚓重量平均提高了约0.60 g，收获大量幼蚓和蚓卵，表现出很好的生存适应性；且蚯蚓的存在显著降低了污泥中有机质含量，平抑系统p H的变化幅度，促进了氨化和硝化的反应进程，提高了矿化效率。改变堆肥条件发现，5 mm粒径堆肥系统的稳定化效率显著高于15 mm粒径的堆肥系统；在15～25℃环境温度条件下，温度越高，系统稳定化程度越高；堆肥系统中蚯蚓接种密度越大，系统稳定化效率越快。研究表明：将城镇污泥造粒可为蚯蚓提供适宜生存环境，系统内富氧条件好，大大提高蚯蚓堆肥效率。同时，系统的稳定化效率与污泥粒径存在负相关关系，与环境温度、接种密度存在正相关关系。在一定范围内，污泥粒径越小、环境温度越高、蚯蚓密度越大，均可加速堆肥系统的稳定化进程。     

绍兴某地区挥发性有机物监测溯源及管控建议

为了解绍兴某地区环境空气挥发性有机物污染现状，基于2020～2021年绍兴某地区站点挥发性有机物自动监测数据，对挥发性有机物污染特征物质及来源进行分析。该地区挥发性有机物年均质量浓度为125μg/m³，整体呈现V型走势，即2020年3～7月逐渐递减，2020年8～12月逐渐升高，2021年1～2月明显下降。使用正交矩阵因子分解受体模型对挥发性有机物进行解析，发现移动源、涂料-溶剂使用源、植物排放+工业源、燃料挥发源和化工石化源5大类源。其中，移动源是挥发性有机物最主要的排放源，贡献率达到43.3%；针对某地区园区站点的污染源特征，提出了移动源管控、工业源管控等措施建议。     

永磁无刷直流电机性能的影响因素的数学推导与仿真分析

在理论上推导出电机性能的影响因素是科学设计电机的前提。为了在理论上推导出影响永磁无刷直流电机的电磁转矩和电磁效率的影响因素,并用虚拟仿真加以验证,按照电机学的粘性阻尼理论,结合电磁学基本原理推导了电磁转矩和电磁效率关于各设计变量的公式。通过公式可以发现,此类电机的电磁转矩和电磁效率可用多元函数来表达,两者的决定性因素是额定电压、平均半匝长系数、永磁体厚度、极数和气隙等设计参数,并且经过数学分析可以得到电磁转矩和效率关于各设计变量的变化趋势。为了进一步证实理论推导的正确性,ANSYS Electronics Desktop软件的RMxprt模块进行了此类电机性能影响因素的仿真分析,分析结果与理论研究基本一致。这些趋势可以为永磁无刷直流电机研发人员选取优化设计变量和调整变量的数值提供方向。     

圆锥破碎机控制系统的设计

文中设计了圆锥破碎机控制系统的、开关量控制和过程变量控制，这两个系统相互联系，同时运行，圆锥的功率控制在一个相对稳定的范围，使圆锥运行在满负荷状态。     

适应新形势 培养高素质运动员

目前,随着科学技术的飞速发展,竞技体育借助科学技术的发展,使所有运动项目的运动成绩得到广泛的、大幅度的提高。射击是一项静力性并追求精确性的运动项目,它要求射击运动员有良好的心理素质。心理素质的好坏决定运动成绩的高低,而运动员的综合素质的高低、认知水平的高低、文化程度的高低决定了心理素质的好与差。在新形势下如何适应这种形势并培养出高素质的运动员成为教练员的一个重要课题。     

DFⅢ型公路桥架桥机

随着我国交通事业的快速发展,国家对高速公路的投资逐年增加。由于混凝土预制梁(PC梁)具有施工速度快、质量易控制等优点,使其成为目前及今后几年桥梁结构的主流。伴随着新技术、新材料从新工艺的不断发展与成熟,桥梁的跨径已由原来的20～30m,增大到40～50m。架桥机是满足混凝土预制梁安全、快捷架设安装的新设备。作为桥梁机械研制的专业公司,郑州大方桥梁有限公司早在1996年成功研制出DF50/150I型斜缆式架桥机,并成功地完成了江阴长江大桥北引桥