一个改进的Mihlin-Hrmander乘子定理

文章利用k阶Stein函数理论,通过减弱m(x)所满足的条件,得到了一个改进的Mihlin -H rmander乘子定理     

一个改进的Mihlin- H(o^)rmander乘子定理

文章利用 k阶 Stein函数理论 ,通过减弱 m(x)所满足的条件 ,得到了一个改进的 Mihlin- H(o^)rmander乘子定理.     

基于模糊状态模型的离散系统控制器设计和稳定性分析

给出了离散系统模糊动力学模型的表示方法,在此基础上给出了一种模糊状态反馈控制器的设计方法,并讨论了稳定性;同时也给出了一种模糊状态观测器的设计方法并讨论了稳定性.     

用MATLAB设计鲁捧PID压力控制器系统

利用可重复执行的交互式MATLAB软件，给出了鲁棒PID压力控制器的设计方法。研究结果表明、所设计的PID压力控制器的调节时间T≤0．5s，当输入为阶跃信号时，系统能达到ITAE最优。仿真结果表明，通过串联一个增益放大器，当C。在0．1—10范围内变化时，所设计的PID压力控制器具有很强的鲁棒性。     

一类理想二次损失函数下多参数统计模型的风险估计

Bunke曾讨论了一类多参数控制的线性模型在带正定“加权”矩阵的二次损失函数下，最佳线性无偏估计量的极小极大性。然而，对于相应风险中具有大估计温差的不合理加权，上述损失函数巳不适用。为此，提出了一类更为理想的二次损失函数，并在此损失函数下，对相关风险进行了极小极大估计与比较．结果表明，所提出的二次损失函数是合理的、适用的．     

退缩抛物方程组解的局部存在与爆破

讨论一类退缩抛物方程组的局部存在性与爆破性．证明在一定条件下解在有限时刻爆破，给出爆破时间的一个上限估计．     

基于混合样本的污染线性模型的非参数估计

研究污染线性模型 :yi=(1 -ε)xTiβ zi,1≤i≤n .设误差序列 {zi}是平稳的α 混合序列 ,fε(x)为其公共的未知密度函数 ,在假定Ez2 i<∞的情况下 ,讨论了基于残差的 fε(x)核估计的相合性及其收敛速度 .并构造了污染系数ε及回归参数 β的非参数估计 ,建立了估计量的强相合性及强收敛速度 .     

一种预测三步搜索算法

提出了一种用于运动估计的预测三步搜索(PTSS)算法，它是基于三步搜索(TSS)算法，同时充分利用了运动向量场的空间和时间相关性的一种块匹配运动估计算法。该算法特别适用于视频格式转换的运动补偿插值。实验结果表明，与传统的TSS、新三步搜索(NTSS)、全搜索(FS)算法相比，利用PTSS算法补偿得到的图像帧，其图像的主观质量有明显的提高，具有更加平滑的运动矢量场，且图像帧同原始帧之间的最小平方误差(MSE)最小。     

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

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

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

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