关于两类循环分块矩阵的非异性

分别给出了只用ｒ－循环分块矩阵及对称ｒ－循环分块矩阵的元素本身和参数ｒ，便可判断其非异性的八种方法。     

有序三元系超大集

本文对有序三元系超大集的存在性进行了讨论，得到了ｖ≡４（ｍｏｄ２４），ｖ≡４（ｍｏｄ１２０）及ｖ＝７＇１１＾ｍ１３＾ｎП↓ａ，ｔ（４＾ａ＋１）＾ｔ－１（诸指数均为非负整数）时ＯＬＭＴＳ（ｖ）（１＝０）及ＯＬＤＴＳ（ｖ）（１≥０）的存在性。     

小波滤波器的构造及其在图像压缩中的应用

文中提出构造小波滤波器的一种新算法，这种方法避免使用Z变换或Fourier变换，是一种非常好的构造小波的方法．本文总结研究了如何确定滤波器长度与消失矩的阶数，并且构造了9／11，10／10，9／15小渡，并将其用于指纹图像的压缩，实验证明9／11，10／10小渡的效果都很好.     

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

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

有色金属资源循环利用

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

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

采用循环伏安法研究了肾上腺素在不同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.     

动物避暑有妙招

炎热的夏天总会让人感到烦躁不安,我们人类用遮阳伞、防晒霜以及各种爽口的冷饮来消暑避热,会选择各种休闲的避暑方式来让自己在这个暴晒的季节里过得清爽、过得有滋味。同样面对酷暑,动物们不可能躲进空调房,它们会被热死吗?别担心,动物其实比人类坚强得多,它们各有自己的避暑妙招。     

A local positive feedback of the tropical Pacific ocean-atmosphere system on interdecadal timescales

SINCE THE 1990S, THE CLIMATIC VARIABILITY ON INTERDE- CADAL TIME SCALES BECAME THE FOCUS OF THE INTERNATIONAL CLIMATOLOGY RESEARCH MISSIONS[1―3]. ON TIME SCALES OF A DECADE OR MORE, THE OCEAN CIRCULATION PREDOMINATEDHEAT BALANCE AND HYDROLOGICAL CYCLE, S…     

Seasonal variation of snow microbial community structure in the East Rongbuk glacier, Mt. Everest

Mt. Everest, the zenith of the world, plays an impor- tant role in the global climate change. During the lastdecade, some studies on glacier and snow have been undertaken in this region. The climate and environment changes in the past hundred years have b…