水电站引水渠上涡管排沙式沉沙池试验研究

通过对涡管排沙式沉沙池的试验研究，证明这种沉沙池具有较好的沉沙及排沙作用，可应用于排除水电站引水渠道中的悬移质泥沙。试验表明，该沉沙池对悬移质中粗粒径部分排除率较高，对细粒径部分排除率较低。     

纵向涡发生器对矩形窄通道内对流换热的影响

针对反应堆堆芯板状燃料元件冷却通道内的强化传热问题,对带有周期性分布纵向涡发生器(LVGs)的水平矩形窄通道内的流动与换热进行了实验研究,得出了雷诺数在3×103~2×104的范围内LVGs安装形式(一侧带LVGs或两侧带LVGs)对水的流动与换热特性的影响规律.结果表明:带有周期性分布LVGs通道的平均努谢尔数比光通道的高25%~35%,但阻力系数也比光通道的高.在3种不同比较准则(相同质量流量、相同压降及相同泵功)下,两侧带同向LVGs通道的综合性能好于单侧带有LVGs通道的综合性能.LVGs能够破坏热边界层,带走更多的热量,从而降低板状燃料元件的温度和堆芯的烧毁率.     

一类带脉冲接种和脉冲剔除的SIR传染病模型的稳定性态

文章研究了一类具有脉冲接种和脉冲剔除的SIR传染病模型的动力学性态．应用Floquet定理研究了无病周期解的局部稳定性，通过脉冲微分不等式证明了其全局渐近稳定性．     

应用三维空间导叶的混流式水轮机流动

为减小混流式水轮机转轮内的叶道涡,设计了两种三维空间导叶,推导了流量调节方程,采用了全三维全流道的湍流计算方法,完成了从蜗壳进口到尾水管出口,包含所有流道在内的数值计算;并进行了模型对比试验。结果显示:应用三维空间导叶对水轮机能量性能没有太大的影响,但是增大了活动导叶上部的水流出口角,从而减小了转轮叶片进口处的冲击,尤其是在高水头、小开度情况下,上冠处的冲击和脱流比二维常规导叶有明显改善,降低了叶道涡发生的可能性,提高了水轮机的运行稳定性。     

纵向涡强化竖直平板自然对流换热的数值模拟

利用纵向涡发生器强化换热是一种有效的无源强化方式.文中运用PHEONICS计算软件对纵向涡发生器强化竖直平板自然对流换热进行了数值模拟,模拟结果与实验结果吻合较好.在此基础上,对纵向涡发生器的几何因素及在竖直平板上的布置方式进行了模拟研究.结果表明:采取多排布置时,纵向间距d1会影响换热,当d1为35mm时平均换热系数达到一个最大值;在其它几何条件相同的情况下,错列布置方式的整体换热效果优于顺列布置的情况;对于底边为20mm的纵向涡发生器采取错列布置时,换热效果是翼高和横向间距d2两种因素的叠加,最佳翼高和横向间距分别是20和90mm.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

BP神经网络算法探讨

BP神经网络算法是在BP神经网络现有算法的基础上提出的,是通过任意选定一组权值,将给定的目标输出直接作为线性方程的代数和来建立线性方程组,解得待求权,不存在传统方法的局部极小及收敛速度慢的问题,且更易理解。     

土霉素残留在鲫鱼体内的消除规律

在(10±1)℃水温条件下,用50mg/kg剂量对鲫鱼口灌土霉素3d,每天2次.用紫外分光光度计测定鲫鱼 血液和组织中土霉素的残留量.结果表明:在土霉素消除期间,肾脏中土霉素残留量最高,肌肉中最低,血液和肌 肉中土霉素的含量与时间的动态变化趋势很相似;给药后的第32h,土霉素的量在血液和组织中达到最高含量;土 霉素在达到最高含量之后的一段时间内,肾脏中土霉素含量随着时间的推移急剧下降,而在肌肉中,土霉素含量随 着时间的推移缓慢下降;第288h时,土霉素在肝脏、肌肉和血液中已经下降到较低水平,其含量分别为0.53, 0.12,0.39mg/kg,肾脏中药物含量仍然很高,为2.75mg/kg.由此得知:在所有的组织中,肌内中土霉素的残留 量是最低的;最后一次给药后的第12d后,人食用鱼肉是安全的.     

浮选过程的拓展及超重力油浮过程的分析

基于被去除颗粒和浮选剂的特性，对浮选过程进行了拓展，提出了更新、更全面的浮选概念，并着重分析了超重力油浮过程，其中包括油滴和固体颗粒在超重力场(旋流场)中的径向和切向碰撞吸附过程，得出了切向剪切应力与入口雷诺数的关系式，为有效控制调整超重力油浮过程中旋流器剪切应力提供了理论依据．     

农杆菌介导的胆碱脱氢酶基因(betA)转化小麦及影响转化效率的因素

用LBA4404／pCDH，Agl 1／pUNN2和Ag;P(无质粒)3种菌株分别转化小麦品种济南177、99P、核生3号幼胚诱导的愈伤组织以及济南177的幼胚．其中以胚性愈伤组织为外植体，获得了转基因植株．PCR和PCR-Southem分析证实转化植株中包含了外源基因．通过染色体分析，发现胚性愈伤组织在农杆菌LBA4404侵染后形成的染色体削减比经Agl1侵染和未经感染的对照形成的染色体削减程度更大，甚至发现较多的染色体断片．分析了农杆菌菌株，材料的基因型，外植体类型，培养时间和温度以及筛选的时间和周期对于转化效率的影响．