浅谈水泥搅拌桩加固软土地基处理的路基沉降分析

根据经水泥搅拌桩加固软土地基后的路基沉降观测数据,选取两段不同加固深度的路基,从地基固结深度、路基加载速率等方面进行了分析,确定了路基施工的最佳时间,为同类工程施工提供了经验。     

臭氧氧化苊及其中间产物特征分析

为考察生化法代替部分臭氧氧化的可能,研究了苊这种分子中含有饱和C-C键的典型性多环芳烃的臭氧氧化过程。使用液相色谱和紫外光谱观察了氧化过程和中间产物的变化,测定了中间产物水溶液的总有机碳浓度(TOC)和中间产物对活性污泥氧吸收速率(OUR)的影响。结果表明,苊被臭氧降解的同时将有中间产物生成;臭氧可以与中间产物继续反应,但过量的臭氧未实现对有机物的矿化;臭氧氧化改善了苊的可生化性。臭氧不完全氧化结合生物降解,有望成为兼顾经济性与效率的处理废水中苊的方法。     

光照、温度和水分对野生荞麦光合速率的影响

通过野生荞麦和栽培苦荞麦叶片光合速率对光照、温度、土壤含水量变化的反应,表明野生荞麦与栽培苦荞麦对光照、温度和水分变化的反应差异明显,野生荞麦叶片在利用光能和叶片光合速率的温度适宜范围,以及对水分胁迫适应力等方面都强于栽培苦荞麦,表现出较高的光合生产能力和较好的抗逆性.     

甲基丙烯酸叔丁酯的原子转移自由基聚合

分别以对氯甲基苯乙烯和α-溴代丙酸乙酯为引发剂,联二吡啶和N,N,N′,N″,N″-五甲基二亚乙基三胺为配位剂,在氯化亚铜的催化作用下,使甲基丙烯酸叔丁酯(tBMA)进行本体聚合.用凝胶渗透色谱跟踪聚合物的相对分子质量变化,发现不同引发剂与配位剂对聚合反应速率有明显的影响.根据体系中的ln([cM0]/[cM])变化与聚合反应时间成线形的关系,证明tBMA的聚合过程在实验范围内符合原子转移自由基聚合(ATRP)反应规律.利用ATRP的反应特点,改变引发剂与单体tBMA的配比,可将聚甲基丙烯酸叔丁酯(PtBMA)的相对分子质量控制在所需范围内,并保持PtBMA的相对分子质量分布≤1.2;同时用核磁共振氢谱对产物的结构进行表征,结果表明所得聚合物PtBMA的结构明确.     

水环境中石油烃类的TiO2光催化降解量子产率的测定

把反应速率常数和量子产率作为动力学常数,研究了石油烃类化合物的TiO2光催化氧化降解.并采用高光密度法,以K3Fe(C2O4)3做光露计,300 W中压汞灯为光源,在365 nm波长处测定石油烃类的反应速率常数和量子产率.结果表明:正十六烷、正癸烯和萘等石油烃类在365 nm波长下的TiO2光催化氧化降解反应均服从一级反应动力学,其反应速率常数分别为4.3×10-3、6.7×10-3和5.1×10-3m in-1.K3Fe(C2O4)3光解服从零级反应,其速率常数为5×10-5(mol/L)-1.m in-1;正十六烷、正癸烯和萘的量子产率分别为1.20、1.87和1.42,其值均大于1,进而表明了TiO2光催化氧化法对石油烃类化合物的降解反应可能有活性氧参与.     

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.     

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

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

优势菌种的驯化与纯菌液相油烟降解速率

用油烟气冷凝液为碳源,驯化来自城市污水处理厂氧化沟的活性污泥,结果表明真菌增长较快并显示出优势,微生物通过分工协作降解油烟污染物.一株优势红冬胞酵母菌被分离出来进行降解液相油烟污染物的动力学试验研究,实验结果表明:在优化条件37℃、pH值范围为6.0~7.0、无机盐浓度为1.0 m g/L、磷酸氢铵浓度为5.0 m g/L、溶解氧浓度为5.4 m g/L(搅拌速度120~160 r/m in)下,优势红冬胞酵母菌降解液态油脂的动力学模型是:u=0.13s352 s(-h 1);在低油烟浓度(352 m g/L)条件下,降解反应为一级生化反应;在高油烟浓度(352 m g/L)条件下,降解反应为零级生化反应;当油烟浓度等于352 m g/L时,比降解速率是最大比降解速率K值的一半,油烟浓度处于352 m g/L附近时,是从一级降解反应到零级降解反应的过度区.     

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

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

垃圾填埋场气体产生及其模型研究

对填埋气的回收利用，既能减排温室气体，又能回收能源。分析了填埋气产生的原理和过程，对目前出现的填埋场产气模型进行了分类，并系统地分析了各种产气模型的计算方法、优缺点以及适用条件，为填埋气体的大规模利用提供可靠的方法。