与算子相联系的BMO空间的分子分解

应用泛函演算工具,给出与算子相联系的BMO空间的分子定义,然后利用与算子相联系的BMO空间的多种性质,结合与算子相联系的Hardy空间与BMO空间的对偶关系和帐篷空间的原子分解理论,给出与算子相联系的BMO空间的分子分解结构。     

基于分数阶微分的医学图像边缘检测方法

医学图像边缘检测是医学图像处理和分析的关键步骤,它的清晰程度直接影响到医生诊断的速度以及准确性.传统边缘检测算子对噪声敏感,检测到的图像边缘效果不够理想,得到的图片边缘有可能模糊不清,为了克服传统边缘检测算子对噪声敏感的缺点,给出了一种改进的基于分数阶微分算法的医学图像边缘检测方法,实验结果表明:该方法不仅有效的提取了图像边缘特征,而且对噪声具有较好的抑制作用.是一种有效的医学图像边缘检测方法.     

复杂动态环境下智能汽车局部路径规划与跟踪算法研究

路径规划及路径跟踪控制是智能汽车研究的关键技术，而复杂、时变的交通环境给智能汽车的路径规划与跟踪提出严苛要求。针对现有局部路径规划方法只适用于较为简单的工况，无法应对多车道、多静/动态障碍等复杂工况的问题，提出一种基于离散优化思想的动态路径规划算法。该算法利用样条曲线曲率变化均匀的特性，在s-ρ曲线坐标系中生成了一组参数化候选路径簇；考虑动态碰撞安全影响，在碰撞带约束下结合道路法规限制及车辆动态安全要求，规划车辆速度；此外，综合考虑静态安全性、舒适性、目标车道、道路占用率等影响因素，以选择最优路径。在路径跟踪层面，基于预瞄理论设计鲁棒性好、跟踪精度高的分数阶PID路径跟踪控制器，以跟踪误差最小为目标，采用粒子群优化算法对分数阶PID控制器参数进行整定。最后，基于Simulink/CarSim建立联合仿真平台，设计多车道，多静/动态障碍的复杂工况以验证该算法的有效性。研究结果表明：由于在评价函数中引入动态安全评价指标、目标车道评价指标以及道路占用率指标，极大地提升了规划器性能，使车辆在行驶过程中根据驾驶环境自主调整速度，降低换道次数，从而保证智能汽车的主动安全性能，提升了通行效率，使该算法能够较好地处理复杂动态环境下的避障问题。     

基于分数小波变换的空域相关特性的信号降噪新方法

简要介绍了分数小波变换的基本思想及在信号处理方面的特点。利用分数小波变换系数在不同尺度上对应点处的相关性对其进行选择和处理,这样处理后的分数小波变换系数基本上对应着信号的边缘,然后对信号系数进行重构,达到了降噪的目的。以数值仿真和实测齿轮箱振动信号为例,研究了该方法的降噪效果,同时和小波包直接降噪进行了比较。结果表明,该方法能够有效降低振动信号中的背景噪声。     

一种基于分数阶傅里叶变换的主动声自导回波检测方法

研究一种基于分数阶傅里叶变换(FRFT)的主动声自导回波信号检测方法.在主动声自导中chirp类信号是常用的主动目标探测信号之一.由于分数阶傅里叶变换在处理chirp类信号时具有巨大优势,提出一种新的chirp类回波信号检测方法,通过对回波信号进行FRFT处理与相关处理可实现对目标的有效检测.仿真结果表明,与传统拷贝相...     

一类分数阶非线性微分方程组的显式算法

讨论了一类分数阶微分方程组的一种数值算法,根据Caputo导数的性质,将分数阶微分方程组转化为Volterra积分方程组,再利用求解普通积分方程的Adams技巧,建立了分数阶微分方程组的一种显式数值算法,证明了该算法的收敛性与稳定性,并给出了数值仿真实例,证实了算法的有效性.     

辩证法在高等数学教学中的应用

高等数学存在的矛盾,即对立统一辩证法,无处不在。若要把这门课上得精彩分呈,就有必要利用辩证法讲述其中,本文在这方面做了些探索。     

公路规模-经济产出的分形理论模型

以研究非线性科学的分形理论为基础,建立了公路规模与经济产出的分形模型.该模型的实证分析表明:公路规模与经济产出之间具有广义的分形性质及分维数,反映了经济与公路运输系统性状的关系;在公路运输系统结构良好稳定的情况下,分维数应相对稳定,从发展趋势来看,分维数有提高的趋势;各省的公路发展不够均衡,从全国总体来看,公路运输系统还不能充分适应经济发展的要求.     

地铁区间盾构法隧道穿越岩溶填充区施工力学行为计算分析

地铁盾构隧道穿越岩溶填充区受力情况复杂,为保证施工安全和管片受力合理,采用有限差分程序建立数值计算模型,通过计算分析获得盾构穿越地层的受力情况。盾构隧道穿越岩溶填充区时虽然会产生一定的地表沉降,但在安全范围之内,管片受力也是合理的。     

Finite axiomatization for symbolic probabilistic π-calculus

This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.