岩溶洞穴长度空间形态的分形研究

为使洞穴的研究从定性走向定量,应用分形理论给出洞穴长度定义,进一步明确洞穴长度的物理意义,通过对洛塔洞穴系统２２个洞穴长度分形维数的计算,分析了洞穴长度维数与岩性的关系。     

高斯光束的反向传输变换

用高斯光束的复数表示和ＡＢＣＤ定律,讨论了高斯光束的反向传输变换,并求出了表述高斯光束的几个重要参量。     

关于时滞Liénard型方程的周期解

本文研究具有时滞的Lienard型方程周期解的存在性,得到了一些新的结果。     

质子—空气非弹性截面和质子—质子总截面对能量的依赖

在超高能宇宙线实验情况下,质子空气非弹性截面σｐａｉｒｉｎ和质子质子总截面σｐｐｔｏｔ由强子流强在大气中的衰减长度Λ导出．用改进方法分析宇宙线数据．结果表明,在１０１５和１０１９ｅＶ之间σｐａｉｒｉｎ随能量的增加为２９０Ｅ０．０５４±０．０５ｍｂ,σｐｐｔｏｔ随能量的增加为３８．５＋０．４１ｌｎ２（Ｓ／１００ＧｅＶ）ｍｂ．实验数据暗示,在膝附近σｐａｉｒｉｎ和σｐｐｔｏｔ随能量的增长率可能比原认为的快．     

具有任意未知常时滞线性大系统的稳定性

采用李雅普诺夫泛函法结合一个二次型不等式建立了时滞大系统的稳定性判据．所考虑的时滞可以是任意未知常时滞,故所得结果是时滞无关的．例子比较结果证明,所建立的结果优于文献中给出的结果．同时,给出了例子的仿真结果．     

可变2n点流水线FFT处理器的设计与实现

设计一种可以连续计算N点复数序列傅里叶变换(FFT)的流水线结构处理器,其序列长度N(为2的幂)可变.流水线结构由乒乓存储器将基本运算模块级联而成,对输入数据的顺序以及流水运算的级数加以控制便可计算不同长度序列FFT.给出了由序列长度控制输入数据倒序、旋转因子寻址以及数据输出的实现方法.数据采用块浮点表示,提高了运算精度.用硬件描述语言VHDL在寄存器传输级(RTL级)进行描述,并在单片FPGA上实现.该芯片可工作在80 MHz,连续计算时,处理长度为1 024点的序列仅需12.8 μs.     

Lotka-Volterra方程的全局指数稳定性

研究一类具有时滞的Lotka-Volterra生物方程，证明该系统在一定条件下存在正的平衡态，并给出了正平衡态指数稳定的充分条件。     

一类不确定时滞系统的鲁棒可靠控制

研究了在执行器发生故障的情形下,具有状态时滞的一类不确定系统的时滞依赖型鲁棒可靠镇定控制器的设计问题.基于二次可靠镇定的定义,通过构造双积分型Lyapunov函数,得出了系统鲁棒可靠镇定的充分条件,该方法减弱了控制器设计的保守性.最后通过仿真实例验证了所提方法的正确性和有效性.     

一类具有单个时滞的微分方程周期解的存在性

通过使用重合度理论研究了一类具有单个时滞的微分方程x′(t)=ax(t) bx(t-h) f(t)的2π周期解存在性问题，得到了周期解存在的充分条件，并改进了相关文献中的结论．     

一类时滞梁振动系统的不稳定性

讨论边界条件中带时滞的梁边界反馈控制系统{utt（x,t）＋uxxxx（x,t）=0,0〈1〈1,t〉0,；u（0,t）=ux（0,t）=uxxx（1,t）=0,t〉0,；uxx（1,t）=-uxt（1,t-ε）,ε〉0,；u（x,0）=u1（x,0）,ut（x,0）=u2（x,0）。证明了存在εn〉0，且εn→0使得该系统不稳定．