GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

苍鹰翼尾缘结构的单元仿生叶片降噪机理研究

利用逆向工程方法提取苍鹰尾缘非光滑形态的降噪特征元素,由此建立了仿生叶片结构模型;采用基于Smagorinsky亚格子应力模型的大涡模拟,结合基于Lighthill声类比的FW-H方程,分别对仿生尾缘锯齿叶片和标准叶片的流道模型进行了三维流场及声场的数值计算;通过分析仿生齿形结构对叶尾迹流场的影响,研究了仿生尾缘齿形结构的气流噪声控制机理.结果表明:仿生尾缘锯齿结构叶片的总A计权声压级比标准叶片降低了9.8dB;叶片尾缘锯齿结构可以改变流场噪声峰值的分布规律,从而降低了噪声峰值,且大部分频率范围内的气动噪声均有所降低;仿生尾缘锯齿结构可以改变各截面尾迹涡的脱落位置,从而增大了涡心之间的距离,抑制了脱落涡对尾迹流动的扰动,进而减小了叶片表面的非定常压力脉动和尾迹涡引起的气动噪声.     

210 tRH精炼过程的混匀特性

以某钢厂210tRH真空精炼装置为原型,根据相似原理建立1﹕4水模型,研究了吹气量、浸入深度、真空度以及气孔堵塞对混匀时间的影响。结果表明,RH混匀时间随着吹气量的增加而呈现减小的趋势;随着浸入深度的增加先减小后增大,并存在最佳浸入深度480 mm;随真空室压力的减小而减小;随着吹气孔堵塞个数的增加先减小后增加。利用粒子成像测速技术( particle image velocimetry,PIV)测量了RH精炼过程钢包内二维流场,与数值模拟结果对比,发现钢包内的流体运动主要是从下降管到上升管的循环流动以及下降管周围的回流运动,不活跃区主要集中在渣-钢界面以下浸渍管浸入深度范围内。     

基于SVM的电梯群控系统交通流模式识别

针对电梯群控调度中的交通流模式识别问题,提出了一种基于多值分类支持向量机的电梯交通流模式识别方法．文中介绍了电梯交通流模式识别的设计流程,并建立了相应的电梯交通流模式识别器．结果表明,基于支持向量机的交通流模式识别方法能够较准确地辨识出各种交通流模式．通过对比试验,证明了该算法的识别准确率优于人工神经网络算法,体现出较好的泛化能力,具有一定的实用价值.     

干扰状态下大规模网络数据流的分发协调技术研究

干扰状态下大规模网络数据流具有实时性、波动性、突发性等特点,当前数据流分发协调方法无法保证数据流的平稳传输及分发协调的实时性。为此,提出一种新的干扰状态下大规模网络数据流分发协调方法,通过网络数据流预测值和实际值之间的误差滤除干扰状态下的干扰数据,保证剩余数据流的纯正性。将大规模网络数据流分发协调问题转换成多目标优化问题,以提高大规模网络数据流分发协调的整体性能为目的设定一个目标函数,提出一种大规模网络数据流分发协调预测技术,通过比较处理器计算资源和未来的预期负载确定数据流分发协调策略。实验结果表明,采用所提方法对干扰状态下大规模网络数据流进行分发协调,不仅效率高、实时性好,而且CPU资源利用率很高。     

液幕状气液两相流传热特性的实验研究

针对强化脱硫塔内气液两相流的传热与传质，建立了一种新的气液两相流型——液幕状气液两相流．根据该流型的特点，进行了气液两相传热实验，分析了气液两相流中的温度场分布，并研究了传热系数与液气比之间的关系．结果表明：无论顺流或逆流，在空气流速一定时，传热系数都随着液气比的增大而减小，并且液幕顶部是传热效果最佳的位置，可以组织多层液幕来降低工业成本．得到的传热系数与液气比之间的关联式为工程设计和更深一步的研究工作提供了技术标准．     

铝电解槽内金属循环的数值模拟

本文对铝电解槽内熔融金属在电磁力作用下的流场进行了研究,分别采用常湍流粘性系数模型和k-ε模型联立求解N-S方程,用SIMPLE方法,数值求解得到铝电槽内的金属流速、湍动能、湍动能耗散及湍流粘性系数的分布。计算结果与现场测定结果相吻合。     

拟南芥类结瘤素基因At1g01070的生物信息学分析

类结瘤素基因在非结瘤植物生长发育中承担着重要的功能,但仅少数基因的功能被鉴定.本研究对拟南芥类结瘤素MtN21(Medicago truncatula NODULIN 21)家族成员At1g01070进行了生物信息学分析及亚细胞定位验证.结果表明,At1g01070有两种可变剪切体,编码两种蛋白At1g01070.1和At1g01070.2,前者比后者在N端多47个氨基酸,它们的分子量分别为40KD和35KD,等电点分别为9.2和8.9;均含有2个MtN21蛋白的特征结构域EamA(药物/代谢物转运结构域),At1g01070.1比At1g01070.2多一个PLN00411结构域,且其靠近N端的EamA结构域较后者长;三级结构均由7个α-螺旋和一些不规则卷曲组成,分别含有10个和8个疏水跨膜区,均含13个磷酸化修饰位点,亚细胞定位预测主要定位在质膜;进化上,与琴叶拟南芥(Arabidopsis lyrata)亲缘关系最近;亚细胞定位结果显示At1g01070.1定位在质膜,与预测结果一致.推测At1g01070在植物体内可能参与物质运输.     

板式蒸发式冷凝器传热传质的数值模拟

基于VOF算法,建立了板式蒸发式冷凝器气-液两相降膜流动传热传质的计算模型,该模型考虑了表面张力动量源项和气-液相间传热传质源项．并利用该模型,定量分析了不同壁面热流密度、液相进口温度和空气速度下竖直板面的温度分布、气-液界面处潜热和显热换热量的相对关系．计算结果显示,液膜和空气内温度随壁面热流密度的增大而增大,在气液界面处,温度梯度存在不连续;气-液相界面处的换热主要形式为水蒸发传质引起的潜热换热为主、空气显热传热为辅,并且传热热阻主要集中于水膜内;并且随风速的增加,相间传质量也随之增大．     

欠平衡钻井多相流模型评价分析

为了给欠平衡钻井工程设计提供切实可行的井底压力预测模型,比较了利用均匀流动方法（Guo Boyun模型）、经验公式方法（BeggsBrill模型、Orkiszewski模型、韩洪升和陈家琅模型）以及力学方法（HasanKabir模型和修正的Ansari模型）建立的三类欠平衡钻井稳定流动模型。利用FORTRAN90分别对6个模型进行了编程求解,模拟了欠平衡钻井过程的环空气液两相流动规律,预测了充气液欠平衡钻井的井底压力。并把模型预测结果和现场施工数据以及全尺寸试验井试验数据进行了验证,分别指出了6个模型的预测精度。验证结果表明用力学方法建立的修正的Ansari模型的预测精度较高,可以满足欠平衡钻井井底压力设计的工程精度要求。推荐在欠平衡钻井工程设计中使用该方法,保证全过程的欠平衡钻井,实现欠平衡钻井的经济效益。