一种基于双约束传播的面向路径自动随机测试方法

随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入,其自动测试实现容易。但随机地从输入域中选取满足某种测试准则的输入数据,测试生成效率较低。为此提出了一种基于双约束传播的面向路径自动随机测试方法,通过对输入变量的取值范围进行切分,执行两次约束传播来求取指定路径的输入域,在此基础上开发了一个自动随机测试生成系统,并与PRT方法进行了实验对比分析。结果表明,该方法计算出的路径输入域更加精确,可有效地减少对无效域的测试生成,提高了随机测试的效率。     

红火蚁防治技术的主要经验和做法

河源市2005年在连平县首次发现红火蚁为害时,发生点蚁巢密度之大属全省罕见,对当地群众的生产生活造成了严重的影响,部分田块无法耕种,群众深受蚁害。至目前为止,已有源城区、东源、紫金、和平、龙川等一区5县10多个乡镇发生红火蚁为害,发生面积63333hm2。这次红火蚁重大疫情具有来势凶猛、密度大、范围广、危害大的特点。红火蚁能通过自身和人为远距离传播。只要蚁巢成熟全年都可以有新红火蚁的生殖个体形成。雌雄蚁会飞到约30～100 m的空中进行婚飞交配,完成交尾的雌蚁约可以飞行3～5km降落寻觅筑新巢的地点。入侵红火蚁成熟蚁巢,平均每年约可以产生4500只生殖雌蚁。族群分为单蚁后与多蚁后型。一个蚁后一天能产1500～5000粒卵。我市红火蚁防控工作取得显著成效主要取决于各级、各部门的高度重视,采取了科学有效的防控措施。     

新安水厂技术改造

新安水厂建于20世纪80年代,设计能力为：一期1万m^3／d,二期2万m^3／d,三期4万m^3／d,分别于1983年、1985年、1988年建成投产。原水来自铁岗水库,水厂处理工艺详见图1。     

面粉厂负压输送中经济风速工程实用方程建立

以面粉厂负压输送的压损工程计算公式为基础，导出了经济风速的工程实用方程，通过麦间和粉间两个实例阐述了方程的求解方法。工程实用方程的建立为工程设计人员科学合理地选择输送风速提供了依据。     

非定常不稳定气固两相流动的离散涡数值仿真Ⅲ.非定常不稳定气固两相流动中颗粒运动与旋涡的相关结构

基于气固两相流动的离散涡模型与数值仿真方法,分别模拟了与重力方向垂直和与重力方向平行的平面内气固两相圆柱绕流(其中颗粒的St数为1.0),得到了流场中颗粒分布与旋涡分布的时间序列,由此进一步证明了高雷诺数下的二维气固两相流动中固体颗粒运动与流体旋涡存在着明确的相关结构:气体流经圆柱体时产生不稳定的剧烈分离流动,在圆柱绕流的尾迹区内存在着复杂的旋涡发展演化过程,由于流体旋涡对其周围固体颗粒的诱导作用,使得在尾迹区内中等尺度(St～o(1.0))的固体颗粒从均匀气固混合物中分离出来而往旋涡区运动,并最终在旋涡结构的外沿聚集.     

丁坝长度对弯道水力特性影响的数值模拟研究

于河道弯折处设置丁坝后,其水流特征显著改变,为探究该问题,采用RNG k-ε湍流模型及VOF模型对60°弯道内的单丁坝绕流进行了三维数值模拟,模拟中分别计算了设置3种丁坝的工况(模型单丁坝的长度分别为0. 15、0. 25、0. 35m)。基于数值计算的结果,重点对弯道流场结构、断面流速分布、湍流特征参数和液面特性等进行了分析探讨。研究表明:水流流经无丁坝的弯道,会对凹岸产生冲刷,凸岸造成淤积;丁坝的布设,加剧了凹、凸两岸的流速不均匀性,削弱了对凹岸的冲刷,调整了水面横比降;当丁坝长度增长,混流区的尺度变大,流体湍动能以及湍流黏度的强度和作用范围随之变大;在坝后流动分离区域,湍动能呈现最大值,在坝后旋涡中心区域,湍流黏度呈现最大值。     

罗茨鼓风机的热力学分析

应用热力学第一、第二定律和有效能分析法对罗茨鼓风机进行了详细的热力学分析，导出了罗茨鼓风机排气温度、有效能损失和有效能效率的计算公式，从而为罗茨鼓风机节能途径的探讨和气力压运系统中高温空气的处理，提供了必要的理论基础。     

面粉在气力压运系统弯管内运动的数值模拟研究

建立起面粉在气力压运系统弯管内的颗粒群运动微分方程，采用ＲｕｎｇｅＫｕｔａ方法求解运动微分方程，得出面粉在弯管内的运动数值模拟解（在５种不同空间布置形式的弯管，不同的输送条件下），并对数值模拟结果进行了详细地分析，得出了一些在理论上和工程应用上都有价值的结论。