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

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

压实黄土的湿陷性与微观结构的关系

由于黄土特殊的工程性质和内部结构的复杂性，黄土地区高等级公路出现了一些湿陷破坏事故。采用扫描电镜、图像处理系统和能谱仪，对压实黄土在湿陷前后的孔隙特征、化学组成等微观结构进行研究，得出压实黄土的湿陷性与微观结构的关系。结果表明：大、中孔隙含量是黄土产生湿陷的主要原因，其与黄土湿陷系数具有定量关系，湿陷后黄土的主要化学元素含量发生了变化。     

强夯处理湿陷性黄土的应用

结合工程实例,从地基特点、强夯施工工艺及技术参数、检测结果3个方面介绍了高能级强夯法在处理湿陷性黄土和回填土中的应用,并对施工中的问题进行了分析,指出了强夯处理湿陷性黄土的效果。     

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后,人食用鱼肉是安全的.