二阶时滞差分方程的振动性

建立了二阶非线性差分方程Δ２ｙｎ＋Ｐｎｆ（ｙｎ－ｋ）＝０的一些新的振动定理。其中Δｙｎ＝ｙｎ＋１－ｙｎ是差分算子，ｋ为非负整数，｛Ｐｎ｝是非负实数序列，ｆ是Ｒ＝（－∞。

多项式族的鲁棒振动性分析

讨论了多项式族的鲁棒振动性。针对凸多面体多项式族，指出在一定条件下，其整族多项式的鲁棒振动性可由其顶点多项式振动性检验得到，对于区间多项式族和菱形多项式族，需要检验的顶点多项式数目还可进一步减少。反例表明。

C半群与无穷时滞抽象泛函微分方程的解

利用Ｃ半群的基本理论，在满足某些基本公理的抽象相空间中，建立了一类具无穷时滞的抽象泛函微分方程Ｃａｕｃｈｙ问题ｍｉｌｄ解的存在唯一性定理，并且进一步讨论了ｍｉｌｄ解的正则性。

离散时间系统的鲁棒稳定性分析——积分二次约束方法

利用新近发展起来的积分二次约束 (IQC)方法 ,对离散时间系统 ,给出了其鲁棒稳定性分析准则 ,使一大类古典稳定性结果可以统一和概括在积分二次约束的框架之下 .并且 ,利用积分二次约束方法 ,讨论了一类混合摄动系统的鲁棒稳定性 .

线性系统的同时镇定问题

线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.

求解特定消谐变换器开关角度的并行完备算法

结式消元法在求解特定谐波消除脉宽调制变换器的开关角度时会遇到中间表达式膨胀耗尽内存的问题,为此文中提出基于多项式插值的方法,将结式行列式的展开转化为插值点计算和线性方程组求解2个步骤,并给出了该方法并行实现的主要流程。计算结果显示此方法能够有效避免中间表达式膨胀的问题,所能求解的开关点数大幅提升。针对开关点数为6的变换器,给出了全调制比范围内的开关角度,实验结果验证了所求开关角度的正确性。

基于低成本磁场和MEMS惯性传感器的姿态测定系统(英文)

在机器人、小型无人自主飞行器等严格限制成本、体积、功耗的应用场合,一套合适的姿态测定系统显的尤为重要。为此,提出了一种低成本的实时姿态决定系统,该系统由传感器模块和数字信号处理器(DSP)组成。传感器模块由一个三轴的磁罗盘和一个基于MEMS技术的惯性测量单元构成,文中对系统的软硬件设计进行了详细的论述。在此嵌入式平台上面,开发了一套基于四元数和扩展卡尔曼滤波的姿态估计算法,对算法的原理进行了详细介绍。最后给出的实验结果显示此系统具有相当高的性能,姿态角误差的方差在0.02°以下。

高动态范围图像和色阶映射算子

图像传感器动态响应范围的局限使其在捕捉高动态范围场景时力不从心,为了捕捉高动态范围图像(High dynamic range image,HDRI),近年来出现了许多新型传感器和新方法,本文将简要介绍这些研究进展;同样由于动态响应范围的局限,显示设备也不能胜任HDRI的显示,必须利用色阶映射算子(Tone mapping operator,TMO)将图像的动态范围进行合理的压缩,TMO最终决定了图像显示的质量,本文将众多的TMO归纳为全局算子和局部算子并进行了详细论述.

阶梯波多电平变换器特定谐波消除的完全解

针对数值算法和智能算法在求解阶梯波多电平变换器特定谐波消除问题时存在初值选取困难且只能求得部分解的问题,依据Groebner基和对称多项式理论的代数算法,将多元高次多项式方程组的求解转化为一元高次多项式方程和线性方程组的求解,给出了无需选取初值且能得出方程组的所有解的求解方法。与目前已有的其他代数算法(例如结式消元法、吴方法)相比,所能求解的开关点数大幅提升。给出了三相13电平阶梯波变换器在全调制比范围内开关角度的所有解,并通过实验对解的正确性进行了验证。

求解特定消谐逆变器开关角度的完备算法

数值算法和智能算法在求解特定消谐方程组时存在诸多局限,例如初值选取困难,只能得到局部最优解等。针对此问题,提出一种基于groebner基的完备算法。首先将消谐方程组转化为多项式方程组,再通过计算此多项式方程组在纯字典序下的约化groebner基将其化为三角列,最后通过逐次的代入求解并结合约束条件完成对消谐方程组的求解。此方法的优点是无需给定初值且能够求出方程组的所有解,进而得到全局最优解,对于开关点数小于9的单相逆变器和开关点数小于6的三相逆变器都能快速有效求解。仿真结果验证了该方法所求开关角度的有效性。

常用基本不等式的机器证明

不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.

传感网中的四锚点节点定位实解个数分析

针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题.利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题.首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组;然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布.分析结果表明:空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值.

制造系统的可重构布局设计

研究重构系统的新布局具有重要的理论与实际意义 .本文讨论了制造系统可重构布局研究的目标、对象、基础及研究范畴 ,提出了利用模拟退火方法寻找重构布局最优解的搜索算法 .

利用决策支持系统分析可重构制造系统中的问题

可重构制造系统是面向新世纪的先进制造模式 .本文提出利用决策支持系统解决可重构制造系统所面临的重构决策问题 ,在系统决策、加工单元布局、以及可重构产品的生产计划问题上采用智能化算法 。

惯性-视觉-磁场传感器组合的低成本标定方法(英文)

针对一种融合了惯性-视觉-磁场信息的传感器组合,给出了一套低成本的标定和建模方法。对于传感器模型中的确定性项和非确定性项参数,分别采用了基于输入指令向量模匹配的方法和基于时间序列分析的方法来进行标定和建模,利用所得到的模型补偿之后的传感器输出误差的方差降为原来的1/3以下;对于摄像机坐标系和加速度计坐标系之间的相对旋转矩阵,提出了一种基于重力向量和铅垂线的标定方法,仿真结果表明,标定结果的相对误差小于7%。

局部证据RBF人体行为高层特征自相似融合识别

针对传统人体动作识别算法通常重点解决某一类行为识别,不具有通用性的问题,提出一种局部证据RBF人体行为高层特征自相似融合识别算法。借用随时间变化的广义自相似性概念,利用时空兴趣点光流场局部特征提取方法,构建基于自相似矩阵的人体行为局部特征描述;在使用SVM算法进行独立个体行为识别后,利用提出的证据理论RBF(radial basis function)高层特征融合,实现分类结构优化,提高分类准确度。仿真结果表明,该方案能够明显提高人体行为识别算法效率和识别准确率。

高阶泛函微分方程的非振动解

高阶泛函微分方程的非振动解俞元洪，郁文生（中科院应用数学研究所北京１０００８０）（四川大学数学系成都６１００６４）关键词：泛函微分方程；振动性；非振动解ＡＭＳ（１９９１）主④分类：３４Ｋ２５．本文考虑”阶泛函微分方程（。１（）（。－２（）（…（Ｑ２）...

n阶泛函微分方程的非振动解

给出了一类n阶泛函微分方程的有界非振动解和一切非振动解渐近趋向于零的若干充分条件.

一种提高测量数据信噪比的方法

为了提高测量信号的信噪比,以最大似然估计理论为基础,针对加性高斯噪声,设计了一种信号估值滤波器。试验表明,通过适当的调整采样频率和调节滤波器的阶次,该估值滤波器能够有效地消除噪声干扰,提高信号的信噪比。

统计数据仓库体系中数据分析系统及其研究

数据仓库最重要的特征就是实现数据的集成与共享.基于统计数据仓库的数据分析系统众多,因此首先对统计数据仓库体系进行研究,然后对联机分析、决策支持及数据挖掘这3类分析工具进行对比研究,并通过介绍"万峰统计数据仓库"中数据分析部分的功能及划分,为统计数据仓库数据分析系统的研发提供了理论基础和实践依据.