分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

Jorgense不等式在范数代数中的推广

证明了一个范数代数中的ＪＯＲＧＥＮＳＥＮ类不等式：设Ｒ是范数代数,〈ａ,ｂ〉包含Ｒ是离散非Ａ－ＮＩＬＰＯ－ＴＥＮＴ群,那么,可以得到（１）‖ａ‖＋｜（ａ,ｂ（－ａ＾２｜≥｜ａ｜＾２和（２）‖ａ‖＋｜≥｜ａ｜＾２,特别有：ｍａｘ（｜ａ｜＾２｜（ａ,ｂ）－ａ＾２｜,｜ａ－１｜）≥２－√３,ｍａｘ（｜ａ｜＾２｜ｂ－ａ｜,｜ａ－１｜）≥２－√３。     

有限维空间谐振子量子态的圈表示

在深入研究有限维空谐振子量子态的解析表示的基础上，利用有限维空间相干态的方法获得了任意量子态的圈表示。把任意量子态表示为复平面上沿一个半径为Ｒ的圆的路径积分，找到了量子态的解析表示和圈表示之间的关系。表明圈表示可以通过对解析表示的直接积分得到。     

单调集值映射为单值映射的一个判定定理

本文通过对自反Banach空间到拓扑对偶空间凸集值映射在其有效域为全空间且闭值时的讨论,得到 1°自反Banach空间到拓扑对偶空间的极大单调集值映射,当有效域为全空间时,必为单值的。 2°自反Banach空间到拓扑对偶空间的单调凸集值映射,当有效域为全空间时,必为单值的。     

关于乘法模的弱准素子模

讨论了乘法模的弱准素子模的性质.并证明了设R是具有单位元的交换环,M是酉R-模.(1)如果M是乘法模,N是M的弱准素子模,则√N是M的素子模;(2)设M是乘法模,L是M的子模,f:M-L是满同态.如果N是L的弱准素子模,则f-1(N)是M的弱准素子模.     

压缩体上圆片系统和曲面上的曲线的交

主要研究压缩体上的完全圆片系统和带边可定向的三维流形的强不可约的Heegaard分解(δ) W表示压缩体W的正边界.找到了压缩体W的完全圆片系统,并且证明了真嵌入到W中且边界在(δ) W上的任何本质圆片都可以由压缩体的这个圆片系统中的圆片的连通和表示出来.进一步研究了曲面(δ) W上与柄体的每一个圆片至少交n次的简单闭曲线,给出了一个判定简单闭曲线是n闭的一个有限的组合条件,并且给出一个带边的可定向的三维流形的Heegaard分解是强不可约的判定条件.     

两种非线性鲁棒PID控制器

针对非线性船舶航向保持系统,给出一种基于精确反馈线性化和闭环增益成形算法的非线性鲁棒PID控制器,该非线性PID控制器由非线性函数项和鲁棒PID控制器组成。另外,还给出一种完全基于闭环增益成形算法的非线性鲁棒PID控制器,其包含了具有定时功能的开关元件,两种非线性PID控制器在提高系统鲁棒性能的基础上,简化了控制器设计,从仿真结果可以看出,航向保持效果良好。     

基于单片FPGA的多路VFC数据采集器

描述了一个8通道压频转换(VFC)数据采集器的硬件设计和实现过程.该数据采集器主要由计数暂存单元、FIFORAM缓冲存储单元、RS232C串行通信单元和控制单元构成.数据采集器用一片Xilinx现场可编程门阵列(FPGA)芯片实现,因而具有设计实现周期短、电路工作可靠以及便于系统微小型化等特点.     

幂群的置换表示

利用群作用分别给出了有限群上幂群的置换表示和矩阵表示,进而给出了非空幂子集成幂群的条件.     

空间点到直线距离公式探析

利用向量的双重外积、点关于平面的离差的相关知识及已有的空间点到直线的距离公式推出空间点到直线距离的2个新公式.当直线的方程是一般式方程时,应用这2个公式可以直接求解空间点到直线的距离.