使流体运动的浅水模式的非线性方程组存在行波解的几种动力学 …

从流体运动的浅水模式的非线性方程组出发,严格证明了在静压近似条件下,控制水波运动的非线性动力学方程组无行波解的结论,通过对物理机制的分析,补充了使此方程组存在行波解的上动力学效应。     

Fisher型方程的波前解及其波速(英文)

讨论了Fisher型方程波前解及其最小波速的存在性,并彻底讨论了当a→0时这些波前解及其最小波速之间的相互关系。     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

基于MATLAB的ΣΔ调制器的比较与研究

在数字产品日益增长的今天,ΣΔADC的角色越来越重要,其充分利用现代VLSI高速、高集成度的优点,已经是现代实现高精度转换器的主流方向。基于MATLAB对同阶级联结构的ΣΔ调制器进行了仿真与比较,研究结果表明2-2及2-1-1结构的ΣΔ调制器,虽然阶数相同,传递函数相同,但是2-1-1结构的量化信噪比比2-2结构的量化信噪比要小。     

全空间R?n中反应扩散方程的非平面行波解

对全空间$\mathbb R^N$中反应扩散方程非平面行波解的研究的主要研究结果做了综述性的介绍. 首先介绍本生灯模型作为非平面行波解的一个例子, 进而给出问题的偏微分方程模型, 以及具有鲜明实际背景的点火温度型和双稳态型这2种重要的非线性源. 然后介绍具这2种非线性源的方程非平面行波解的一些定性性质, 包括解的存在唯一性、 单调性、稳定性和水平集的性质等. 接着, 介绍具KPP型非线性源的方程无穷维非平面行波解流形的存在性, 以及解的单调性、稳定性和最小波速的性质等. 最后介绍一些其它相关的研究工作和这个领域内尚未解决的问题.     

分年龄段的互惠模型的行波解

讨论了一类分年龄段的生物种群互惠模型的行波解存在性问题．在一般带时滞的互惠Lotka—Volterra模型基础上,考虑了年龄段和空间非局部等因素对反应扩散方程行波解存在性的影响．构造了一对合适的上下解,利用单调迭代方法证明了模型的两个平衡点之间行波解的存在性,进一步丰富了单调方法的内容．     

铝转子单边盘式感应电机的新型等效电路

铝转子单边盘式感应电机气隙较大,主要参数随半径变化,用传统电机分析法会造成较大误差,且无法准确描述铝转子中集肤效应的影响.采用一种新的电磁模型,利用分环计算和多层行波磁场模型有效解决了该电机存在的特殊问题,提高了模型精度.通过磁场分布计算得到电机的T型等效电路.分析了等效电路中电感和电阻参数.制作样机并通过空载试验和短路试验测定其T型等效电路参数,试验结果与计算结果误差较小,证明该方法能准确估算铝转子单边盘式感应电机的主要参数.计算电机电磁转矩随转差率变化的情况,高转差率下的实验转矩输出值与计算值接近.     

一类流体波动方程的精确行波解

研究一类具有色散耗散效应的流体波动方程,给出了其解析行波解.     

一类反应—扩散方程组的行波解的存在性

本文证明了一类反应—扩散方程组的行波解的存在性,并说明了行波解的某些性质。     

用光谱仪测量M-Z电光调制器大调制指数

调制器频率响应的测量 ,在调制频率大于 5 0 Hz的情况下 ,用扫频法很难进行。该文提出了一种利用光谱仪测量 Mach- Zehnder(M- Z)电光调制器调制指数的频率响应的方法。通过调制器的直流特性 ,以及在一定的驱动功率和频率下 ,改变调制器的偏置点得到的相应的输出光谱 ,求解方程组得出该频率和功率下调制器的调制指数 Γ1 δ+Γ2 δ。按照该文提出的测试方法 ,对几组相同调制频率 ,不同输入功率下的输出光谱进行测试 ,并将测试结果与理论结果进行比较 ,二者符合相当好