基于波叠加的噪声源识别方法

将波叠加方法引入了噪声源识别领域,结合基于传声器阵列的测量技术和可视化的结果表示方法,提出了一种新的噪声源识别方法,并通过仿真和实验验证了该方法的正确性.根据波叠加方法的原理,声源产生的空间声场可以用其内部的一系列虚源点来等效代替,而虚源源强可以通过匹配场点的声压来获得,进而由这些虚源重构任意场点的各种声学量.声压可通过阵列测量技术获得,计算结果可显示成等高线图、矢量图或动画,便于直观地判别出声源的位置、大小、传播路径.仿真和实验都取得了良好的分辨效果,表明该方法可对任意形状物体进行噪声源识别.     

垂直向上横掠水平管束两相流型的实验研究

在小质量流速和流动沸腾条件下,对R134a工质垂直向上横掠水平光滑管束的汽液两相流型进行了实验研究,实验的质量流速范围为4~25 kg/(m2.s),质量干度范围为0.02~0.90.通过可视化观察,发现泡状流、块状流和环状流等3种流型.对汽液两相流的压差波动信号的功率谱特征进行分析的结果表明,压差时域信号的功率谱密度可以客观地鉴别泡状流、块状流和环状流3种主要流型.     

齿轮信号特征识别的谱相关密度分析

针对齿轮初期故障以调频形式表现且包络解调仅能够解调幅的现状,以一般调制信号为模型,引入解析思想,对各类型调制信号进行二阶循环平稳分析,理论推导了各自的分析结果,给出了调制信号谱相关密度分析的统一构架,证明了解析形式的谱相关密度同时提取调幅、调频特征的能力.仿真分析和齿轮故障实例验证了该分析方法对于调制特征的提取能力,表明该方法能够准确反映齿轮振动信号调制特征的变化,适用于齿轮初期故障的监测和识别.     

利用妊娠奶牛血液快速鉴定不同发育阶段的胚胎性别

采集妊娠奶牛静脉血液，从血浆中提取胎儿DNA，利用牛Y染色体上性别决定基因（sex-determining region Ylinked gene, SRY gene）的特异性序列设计引物，应用巢式PCR扩增SRY基因特异性片段，同时以牛肌动蛋白（β-Actin）特异性片段的扩增产物作为内参照，对32头妊娠奶牛早期胚胎性别进行鉴定。结果表明：从不同妊娠期奶牛血浆中提取胎儿游离DNA进行胚胎性别鉴定的总准确率为80％，其中1～2月龄、2～3月龄、4～8月龄胚胎性别鉴定的准确率分别为60％、85．7％、92．3％。     

基于TC9181的数字锁相频率合成器的设计

文章介绍了锁相环路频率合成器的基本原理,分析了集成锁相环芯片TC9181的工作特性,给出了基于集成锁相环芯片TC9181的“吞除脉冲”式串行数字锁相频率合成器设计方法,为高频频率合成器的设计提供了一个较好的思路。     

企业应树立正确的人才观

分析了传统人才观念存在的误区,指出在市场经济条件下,企业要适应时代要求,必须树立人才范围的开放性观念、人才鉴别的实践性观念、人才评价的合理性观念、人才能力的相对性观念、人才管理的创新性观念、人才出于团队的观念等六大观念。     

基于Loop细分方法的曲线插值

生成带有曲线插值约束的细分曲面,提出基于Loop细分方法的曲线插值方法,不需要修改细分规则,只需以插值曲线的控制多边形为中心多边形,向其两侧构造对称三角网格带,该对称三角网格带将收敛于插值曲线.因此,包含有该三角网格带的多面体网格的极限曲面将经过插值曲线.运用本方法可在三角网格生成的细分曲面中插值多条不相交的曲线.     

探索对外汉语文化教学的有效途径

语言和文化的关系密不可分,语言教学离不开文化传授。在对外汉语教学中,应把文化背景知识教学寓于语言课教学和实践课教学之中。在课堂教学过程中注意运用对比的方法,防止“负迁移”作用。注意区分留学生所属的“文化圈”,有针对性地因材施教。采取灵活多样的教学手段,促进文化交流与融合。     

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.     

狭叶獐牙菜的生药学研究

目的：对狭叶獐牙菜进行系统的生药学研究。方法：采用性状鉴定，显微鉴定，理化鉴别。结果：详细描述了狭叶獐牙菜的生药性状、横切面构造、粉末特征及理化鉴别的研究结果。结论：所得结果可以为生药的鉴定，质量标准的制定及进一步开发利用狭叶獐牙菜提供依据。