循环农业的生态学阐释

加快发展循环农业是农业发展的必由之路。循环农业是采用循环生产模式的农业生产体系,实现了农业产业链物质、能量梯次和闭路循环使用。循环农业的生态学意义及启示,且看文中详实阐述。     

链啮合传动中影响链条寿命的因素分析及其对策

分析了链啮合传动的特点、原理及受力情况,找出了影响链条使用寿命的因素,提出了提高链条使用寿命的对策。     

循环流化床锅炉的国内应用现状

介绍了循环流化床锅炉的特性、现状、应用,分析了循环流化床锅炉在生产、使用中出现的问题,并提出了解决的办法。     

几种铈盐的热分解过程及非等温热分解动力学研究

利用TG—DTG—DTA热分析技术研究了二水合碳酸亚铈、九水合草酸亚铈、六水合硝酸亚铈三种铈盐的热分解过程．发现二水合碳酸亚铈在75-180℃下脱去2mol水生成无水碳酸亚铈，后者在220—300℃下分解脱去CO2生成CeO2；九水合草酸亚铈在100-180℃下脱去9mol水生成无水草酸亚铈，后者在290—380℃下分解并同时脱去CO和CO2生成CeO2；而六水合硝酸亚铈在60—80℃下首先脱去3．5mol水生成含2．5个结晶水的硝酸亚铈，后者在190-250℃下脱去2．5mol结晶水生成无水硝酸亚铈，在258—310℃下硝酸亚铈热分解脱去NO2和O2并生成CeO2．采用外推法研究了九水合草酸亚铈两步热分解过程的动力学，由不同升温速率下的热分析曲线及外推β→0获得了相应的固相热分解反应所遵循的分解机理及动力学参数．发现九水合草酸亚铈脱水过程遵循球形对称的三维扩散机理，即Jander方程G（α）=G（α）=[1-（1-α）^1/3]^2，动力学参数E=180．9kJ／mol、lnA=63．5s^-1；而脱CO和CO2过程遵循成核和生长机理，即Avrami-Erofeev方程G（α）=[-ln（1-α）]^1/1.5，动力学参数E=115．4kJ／mol，lnA=22．0s^-1．     

城市快速路布局方法

为了使城市快速路网规划符合城市发展的需要，提高城市路网的整体效益，分析了城市快速路的功能、适应性与快速路网布局的现状，把公路网规划中的节点重要度理论和交通区位论中的交通线干涉理论引入到城市快速路体系规划中，计算路网规划方案重要度，采用层次分析法对规划方案进行了评价。评价结果表明：优选规划方案符合城市规划专家的直观判断，为城市快速路线位布局规划提供了理论依据。     

有色金属资源循环利用

资源循环是维持整个生态平衡的重要法则之一。如果这一平衡遭到破坏并长期不加以恢复,其结果是人类社会本身难以持续。资源循环是建立循环经济的核心。资源循环利用是中国有色金属工业可持续发展的根本保证。文章论述了资源循环利用对有色金属工业的重大意义和最终建立资源循环型社会的必然性。     

溶液及电极表面性质对肾上腺素电子转移性能的影响

采用循环伏安法研究了肾上腺素在不同pH缓冲溶液中和不同铂电极表面上的电化学行为.实验结果表明,在不同pH值的Britton-Robinson缓冲溶液中及不同铂电极表面上,肾上腺素的循环伏安曲线中出现不同的氧化还原峰;而且在乙酸-乙酸钠、Britton-Robinson这两种不同的缓冲溶液中,随溶液pH值的变化,肾上腺素的氧化峰电流也呈现不同的变化规律.     

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.     

典型静磁阱的磁场结构

中性粒子的静磁囚禁依赖于非均匀电磁场与粒子的磁多极矩之间的相互作用,能提供这种非均匀场的电流结构被称为静磁阱.具有不同场结构的静磁阱有着各自不同的静磁囚禁特性.这里呈现的几种电流组态是一些最典型的静磁阱,也是构成复杂静磁阱的基本组成部分.在柱坐标之下,讨论了这些典型静磁阱中磁感应强度的精确表达式,并且在近轴条件下,利用泰勒级数展开等技巧,导出场的近似表达.     

循环塑性与疲劳裂纹扩展门槛值

基于材料的循环塑性预测了疲劳裂纹扩展的门槛值.所提出的模型强调材料的循环塑性对疲劳裂纹扩展的影响.结合无位错区理论和内聚区理论计算循环载荷下裂纹吸附区的J积分值,并以J积分作为断裂参数建立裂纹扩展的标准.由此计算的疲劳裂纹扩展速率符合通常的模式,预测的门槛值与实验拟合较好.当前模型的主要特点是近门槛疲劳主要由材料的循环变形行为确定,进而由标准循环加载的实验确定,这对于工程实际有重要意义.