修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

基于对偶基的比特并行算法实现RS编码

以DVB-C系统中的RS编码为例，参照Berlekamp比特串行乘法器，提出了一种基于对偶基的比特并行乘法器的方法来实现RS编码器，可以达到较高的吞吐率，从而可以采用FTGA／CPLD实现高速RS编码。     

发动机的曲轴转速方程及其近似解

从活塞发动机的动力分析中得到本文中的微分一积分方程(4),其中α为曲轴转角,θ为角速度的平方,而ε<<1为总等效转动惯量的倒数。本文利用压缩映象原理和摄动方法证明了所得方程解的存在性和唯一性,并给出了这个解的渐近展开。     

改进位姿估计环节的ORB-SLAM稠密建图算法

为了提高ORB-SLAM2系统的位姿估计精度并解决仅能生成稀疏地图的问题,提出了一种融合ICP算法与曼哈顿世界假说的位姿估计策略并在ORB-SLAM2系统中加入稠密建图线程来实现稠密建图。首先通过ORB特征点法、LSD算法和AHC方法进行点、线、面特征的提取,其中点、线特征跟上一帧匹配,面特征在全局地图中匹配。然后采用基于surfel的稠密建图策略将图像划分为非平面与平面区域,非平面采用ICP算法计算位姿,平面则通过面与面的正交关系确定曼哈顿世界从而使用不同的位姿估计策略,其中曼哈顿世界场景通过位姿解耦实现基于曼哈顿帧观测的无漂移旋转估计,而曼哈顿世界场景下的平移以及非曼哈顿世界场景位姿采用追踪的点、线、面特征进行估计和优化;最后根据关键帧和相应位姿实现稠密建图。采用TUM数据集对所提建图方法进行验证,实验结果与ORB-SLAM2算法比较,最终均方根误差RMSE平均减少0.24cm,平均定位精度提高7.17%,验证了所提方法进行稠密建图的可行性和有效性。     

Formula for Analyzing Hopf Bifurcation

CesariandHaleshowedthat[1],usingLiapunov-Schmidtreduction,theHopfbifurcationcanbetreatedasbifurcationofzerosofacertainreducedmapping.Consideranautonomoussystemofordinarydifferentialequation(ODE)definedneartheoriginoftheformdudt A(λ)u F(u,λ)=0,　u∈Rn,λ∈Rm(1)whereλisthebifurcationparameter,A(λ)isann×nmatrix,A(0)satisfiestheHopfhypothesis:ithassimpleeigenvalues±iandhasnoothereigenvalueslyingontheimaginaryaxis,F(u,λ)arethehigher-ordertermsofuandbothofAandFareC∞functionsofλ.Fixed…     

矿井监测系统双积分A／D转换器的设计

介绍了一种利用８０３１单片机实现的智能型双积分Ａ／Ｄ转换器的实用电路,所构成的Ａ／Ｄ转换器转换位数可由程序设定,最高可达１６位。     

广义强非线性拟变分不等式

引入并研究一类新的广义强非线性拟分变不等式,构造新的迭代算法,在没有紧性条件下,证明这类拟变分不等式解的存在性及由算法生成的迭代序列的收敛性,所得结果包含了近期一些作者的工作作为特例。     

多维OU型Markov过程的弱对偶半群及其无穷小算子

研究多维ＯＵ型Ｍａｒｋｏｖ过程的不变测度、参考测度、弱对偶半群及其无穷小算子．说明了ＯＵ型Ｍａｒｋｏｖ过程不变概率测度和弱对偶半群的存在唯一性,Ｌéｖｙ过程Ａｔ的不变测度不一定是由它产生的ＯＵ型Ｍａｒｋｏｖ过程的不变测度,以及Ｌｅｂｅｓｇｕｅ测度ｍ和极限分布ξ在ｓｕｐｐξ＝Ｒｄ的条件下都是ＯＵ型Ｍａｒｋｏｖ过程的参考测度．     

基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.     

设计距离为5的二元BCH码的周期和广义周期分布

利用对偶码周期分布的关系 ,给出了设计距离为 5的二元BCH码的周期分布、广义周期分布表达式 .