^210Pbex depth distribution in soil and calibration models for assessment of soil erosion rates from ^210Pbex measurements

Throughout the past decade, the potential for using nuclear weapon-produced 137Cs ( half-life 30.2 a) fallout to quantify soil erosion rates on both cultivated and uncul- tivated lands for medium-term timescales (≈ 40 a) has been successfully demonstrated in a wide range of envi- ronments in different regions of the world[1—6]. Because in difficulties of distinguishing Chernobyl-derived compo- nent from total 137Cs input in many parts of Europe, and in measuring low activity samples of…     

Progress in the study of tectophysicochemistry

Tectophysicochemistry is a research area that deals with the interrelations between physical and chemical changes of crustal materials caused by tectonism. A given tectonic force may be resolved into two parts: homogeneous stress and differential stress. Homogeneous stress refers to isotopic pressure, which is superimposed on the original pressure and affects the equilibrium of various chemical reactions. It is also a factor that influences petrogenesis,metallogenesis and metamorphism. Differential stress is commonly produced when external forces act on a given solid body. It may cause deformation of crustal materials and generate various kinds of structural features. Tectophysicochemistry pays special attention to pressure, temperature and other physicochemical conditions produced or induced by tectonism and studies the influences of additional tectonic parameters on various chemical equilibria, so it gradually develops into an independent area of science.     

非齐次线性系统状态的收敛性质

用泛函分析方法讨论了(连续时间/离散时间)非齐次线性系统的收敛性质,该结果可用于处理经济控制论中的许多宏微观经济的线性系统模型,因此具有一定的实际意义。另外,针对带有锥有界非齐次项的不确定线性系统,也讨论了其全局渐进稳定性,给出一个有趣结果。     

北京一次降雪的云物理过程作用模拟

应用非静力平衡MM5 V3模式对2001年12月7日一次北京降雪过程进行了数值模拟试验，对云和降水物理过程的作用进行了初步分析。试验结果表明：本次降雪过程是从对流层上层形成冰核向下发展的，中高空的强低温和上升运动区与冰粒子及雪的分布基本吻合，为降雪的进一步发展提供了有利的条件。     

两多模相干态的叠加态光场的等幂N次Y压缩

根据量子力学态叠加原理,构造了由多模复共轭相干态|{zj(a)}>q和多模复共轭相干态的相反态等幂次|{-zj(b)}>q的线性叠加所组成的振幅不等的非对称两态叠加多模叠加态光场|Ψn(2)>q(j=1,2,3,…,q),利用多模压缩态理论研究了态|Ψn(2)>q的等幂次N次方Y压缩特性。结果表明:在各模的平均光子数不相等而对应模的初始相位相等亦即Rj(a)≠Rj(b)且ψj(a)=ψj(b)=ψj的条件下,如果各模的初始相位ψj和态间的初始相位差θpq(R)-θnq(R)=△θ满足一定取值关系,则无论压缩次数N为奇数还是偶数,态|Ψn(2)>q的两个正交相位分量均可分别呈现周期性变化的等幂次N次方Y压缩效应,但N是奇数时的压缩深度大于N是偶数时的压缩深度。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于力信息的机器人接触状态下作业的技能学习

为实现机器人接触状态下作业的演示编程，使机器人获得人的基于力信息的作业技能，首先提出了描述接触状态的元素接触形式，用元素接触形式序列建立技能模型，根据不同的接触形式具有的不同腕力分布，利用支持向量机(SVM)对不同的元素接触形式进行辨识，在此基础上机器人获得人在接触状态下的作业技能，实现了演示编程方法中最关键的一步。     

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

空间矢量PWM算法及波形分析

对空间矢量PWM算法进行了分析，提出了比较直观且适于操作的具体计算公式。同时，从中央处理器DSP功能模块易于实现的目的出发，进一步转化为用时间常数表达的形式。最后，通过对不同调制比下的PWM波形品质进行对比，得出调制比为奇数或偶数不是唯一影响波形质量因素的结论。     

供热管网水力失调的治理及其优化

重点分析了解决供热系统水力失调的两种途径及其特点，提出综合治理管网系统水力失调的一些措施。