一类非谐振子的相干态描述

利用相干态和正规乘积对一类微扰项为^↑H^1=λ^↑X^1的非谐振子进行了讨论，得到了^↑H^1矩阵元的精确解和^↑H^1对非谐振了能级的一级修正值，为处理非谐振子的微扰问题提供了一种新的方法。     

基于Protel的信号完整性分析

文章讲述了信号完整性包含的内容、解决措施；介绍了利用Protel对PCB板进行信号完整性分析，并通过Protel仿真给出采用端接技术后信号质量的提高．     

消除反应的立体化学

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

可控串补多目标控制研究

可控串补暂态稳定控制，既要抑制功角第一摆，又要快速阻尼系统故障后的功率振荡，这是一个多目标控制问题。文中提出了基于Ｔ－Ｓ（Ｔａｋａｇｉ－Ｓｕｇｅｎｏ）模型的可控串补模糊控制策略，充分考虑了可控串补装置的非线性，并结合了线性最优控制理论和专家知识。该模糊控制器相当于自适应变增益的线性最优控制器，能满足系统多目标控制的要求。数字仿真表明，该模糊控制策略在暂稳控制中优于其它常规控制方式（ＰＩ控制，ｂａｎｇ－ｂａｎｇ控制，线性最优控制）。     

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

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

有耗传输干扰问题的一种分析方法

把传输线内的损耗用一个电路模型等效表示,用有限差分法分析传输线之间的电磁干扰,模拟结果与传统方法得到的类似.     

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.     

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

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

并行串级控制系统及其性能分析

文章在对并行串级控制系统的结构进行介绍的基础上,重点分析系统的抗扰动性能,通过对系统特征参数λ的定性和定量分析,揭示了并行串级控制系统抗扰动原理,并进行仿真予以验证,同时给出了该系统的使用范围.     

绕线式异步电动机转子斩波串级调速系统的研究

为了克服传统串级调速系统功率因数低的缺点,提出了一种新型斩波式串级调速方案,该方案利用整流桥和IGCT构成直流斩波电路来连续无级改变电机转速,同时介绍了一种新型电力半导体器件-集成门极换向晶闸管(IGCT)的特性和工作原理. 这种方法线路简单,对系统功率因数的改善也很有效.