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

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

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

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

基于信道估值的判决反馈均衡器研究

比较分析了基于信道参数得到的滤波器系数解分别作为均衡器前向和反馈滤波器的最优解及最优初始解的情况下均衡的性能改善程度,并将波特间隔判决反馈均衡器(BS-DFE)和分数间隔判决反馈均衡器(FS-DFE)的性能作了比较.理论和仿真分析表明:基于信道参数得到的滤波器系数解如果作为均衡器前向和反馈滤波器的最优解,在信道保持不变的情况下有优势;将基于信道参数得到的滤波器系数解作为均衡器前向和反馈滤波器的最优初始化解,结合不同的均衡器结构(BS-DFE和FS-DFE),与LMS算法结合,得到的均衡效果在不同程度上得到改善,FS-DFE均衡的效果比BS-DFE的均衡效果更加收敛,但运算量并没有得到改善.研究表明:在不同的情况下,各种均衡方式方法都有其自身特点,根据实际要求采用不同的均衡方式或同时使用会取得最佳效果.     

有色金属资源循环利用

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

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

采用循环伏安法研究了肾上腺素在不同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积分作为断裂参数建立裂纹扩展的标准.由此计算的疲劳裂纹扩展速率符合通常的模式,预测的门槛值与实验拟合较好.当前模型的主要特点是近门槛疲劳主要由材料的循环变形行为确定,进而由标准循环加载的实验确定,这对于工程实际有重要意义.     

全角和半角及其转换

全角和半角主要是针对英文、数字、标点符号等来说的，全角字符占两个字节，半角字符占一个字节。全角字符的输入是在中文输入法状态下实现的。全角字符和半角字符在Word中可以互换。     

小波变换在图像压缩编码中的应用

介绍了小波变换的基本概念和基本理论及其在图像压缩编码中的应用技术，小波变换应用于图像压缩编码的优点。     

LDPO码在数字水印抗通信干扰（方面的性能研究）

本文提出了一种鲁棒图像数字水印系统设计方案，将低密度校验码（LDPC codes）作为水印信道编码方案对图像水印传输进行差错控制，LDPC码编码后的水印序列嵌入原始图像的小波域，经过衰落信道传输，在接收端采用迭代译码算法提取。仿真实验结果表明，该方案能为水印传输带来显著的性能提高，且系统复杂度低，译码时延短。