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

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

关联噪声驱动多维系统的随机动力学

应用随机方法，将关联高斯白噪声驱动系统的随机动力学由一维随机变量的情况推广到了多维的情况，推导了该情况下的一般福克－普朗克方程．应用以上得到的一般福克－普朗克方程，推得了双模激光系统的福克－普朗克方程．发现关联噪声情况下，双模激光系统的福克－普朗克方程变得更为复杂     

电视视频噪声功率与加权压缩分析

本文对电视接收机的视频通道噪声功率互换前后进行了讨论。根据ＣＣＩＲ推荐的加权网络，采用加权压缩后对图象质量的实际受损情况进行修正，使被测结果与主观评价一致。     

密实型低噪声沥青路面振动特性试验研究

通过轮胎路面系统的振动模态实验、路面振动衰减特性试验研究，分析了密实型低噪声路面的减振降噪机理，为密实型低噪声路面的设计和实际应用、改善城市道路交通噪声环境提供了理论依据。     

拉曼光纤放大器噪声特性分析

分析了N信道密集波分复用系统采用拉曼光纤放大器时信道的噪声特性.利用非线性耦合波理论方程,推导出了噪声指数的表达式.应用数值分析法,得到了噪声指数与光纤长度、泵浦功率等的关系,并引入了噪声指数的极值.结果表明,光纤和信号功率一定时,噪声指数主要受光纤长度和泵浦光功率的影响,适当改变泵浦光功率对改善噪声性能有积极意义.     

振动压路机施工噪声的传播规律及控制对策

为了治理振动压路机施工时的噪声污染，对两种型号振动压路机施工时的噪声进行了现场测试，对试验数据进行了统计分析，并与采取隔声屏后的噪声数据进行了对比研究，得出振动压路机施工时噪声随距离变化的衰减规律。结果表明，利用隔声屏降低噪声效果明显，在距噪声源7．5m处就达到了国家噪声限制标准70dB。     

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.     

200 MN油压机液压系统的减振与降噪

通过测试200MN油压机液压系统表明动力流体和管路的耦合振动是液压系统主要的振动源.分析给出了液压泵和管路系统的模型,建立了液压管路及相关部件的传递函数矩阵,给出了解决特性阻抗的途径,为设计高压大流量油压机系统提供了参考.     

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

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