新型综合节能电源的应用

KIwA综合节电装置以其独特结构形式,通过调整三相电流和电压的平衡,消除电网高次谐波.并通过装置在风机供电系统中的应用,说明在节省大量电能的同时,还能有效地提高线路的抗干扰能力,使设备供电电压平衡、稳定.     

消除反应的立体化学

本文应用构象分析讨论消除反应的立体化学,并给出满意的解释。     

醇酸热消除反应的理论研究

采用ＡＭ１半经验分子轨道方法，辅以Ｂｅｍｙ梯度优化方法，对醇酸（即α－羟基酸）在气相中的消除反应进行了研究，计算与实验结果对比得到如下结论：（１）反应是２步过程，通过２个过程渡态和１个中间体得到产物，第１步通过１个五元环过渡态，第２步通过１个三元环过渡态。（２）该反应的取代基效应表明，烷基的斥电子效应有利于醇酸的热消除过程，取代基的加入有得盱反应的进行。     

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.     

滚齿加工中影响齿面粗糙度的原因及消除方法

系统介绍了在齿轮滚齿加工中，影响齿面粗糙度的各种原因及影响因素，通过对各种影响齿面粗糙度的原因分析，找出了滚齿加工中影响齿面粗糙度的原因及消除方法。     

高中体育课选项教学应注意学生运动性疲劳的消除

针对高中体育课选项教学过程中学生产生运动性疲劳形成的原因,指导学生如何进行运动后的放松、养成良好的生活习惯,并通过心里暗示、简易的按摩手法及理疗方法、适当的补充营养、放松心情和享受音乐等手段,消除运动性疲劳。     

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

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

H.264中树状结构运动估计的连续消除算法

为减少视频编码标准 H.2 6 4中树状结构运动估计的高运算复杂度 ,将连续消除算法 (SEA )应用于树状结构的运动估计中。在性能完全相同的条件下 ,与 H.2 6 4整像素运动矢量全搜索算法相比 ,其块匹配运算量减少到原来的 1%～ 2 0 %。利用不同大小块之间因部分重叠 ,其运动矢量具有更强相关性的特点。提出了一种简单有效地确定运动矢量搜索初值的方法 ,并应用两种快速的目标运动矢量判定方法 ,改进了 SEA算法。在性能损失可以忽略的情况下 ,进一步将基本 SEA运算量降低到全搜索块匹配运算量的 0 .3%～4 %。     

基于改进 FastICA 的冲击波工频干扰消除算法

在火炮冲击波信号测试领域中, 为解决陷波算法消除工频干扰损失有效信号成分的问题, 提出了一种改 进的 FastICA 算法消除工频干扰。 采用五阶收敛的牛顿迭代形式改进基于负熵的 FastICA 算法, 使其不仅具备 负熵算法的高精准度, 而且收敛速度快, 迭代次数少。 仿真结果表明, 该算法的相似系数和信噪比达到 0. 999 99和 45 dB, 较传统陷波算法的 0. 996 和 21 dB 有明显的优势。 相比于基于负熵的 FastICA 算法, 改进算 法与其精准度相同, 但迭代次数减少了 26. 7%; 与收敛速度较快的峭度算法相比, 改进算法迭代次数更少, 收 敛速度更快, 稳定性更高。 该算法具备精准度高、 收敛速度快和迭代次数少等优势, 因此适用于实时处理冲击 波的测试场合。