New criteria on delayed state feedback stabilization for stochastic systems with time-varying delay

The problems of robust exponential stability in mean square and delayed state feedback stabilization for uncertain stochastic systems with time-varying delay are studied.By using Jensen’s integral inequality and combining with the free weighting matrix approach,new delay-dependent stability conditions and delayed state feedback stabilization criteria are obtained in terms of linear matrix inequalities.Meanwhile,the proposed delayed state feedback stabilization criteria are more convenient in application than the existing ones since fewer tuning parameters are involved.Numerical examples are given to illustrate the effectiveness of the proposed methods.     

岩巷掘进中深孔爆破中的掏槽和光爆问题

结合岩石爆破破碎理论、模型试验和工程实践 ,对岩巷掘进中深孔光爆几个较为关键的技术问题 ,特别是掏槽爆破和光面爆破进行了较为细致地分析和研究 ,推荐了较为合理的掏槽形式和掏槽参数、光爆装药和光爆参数 ,提出了较为合理的起爆延迟间隔时间     

一类一阶中立型常系数微分方程振动的充分条件

本文研究了既有滞后量又有超前量的一阶中立型常系数微分方程的振动性，得到了其振动的几个充分条件。推广和改进了文[1]的部分结果。     

一类二阶脉冲时滞微分方程的振动性

利用一类二阶脉冲滞后型微分方程的非振动解与其导数的符号关系，得到了振动的判别准则，并举例说明了准则的有效性。     

带分布时滞具有阶段结构的捕食与被捕食模型解的存在惟一性和局部渐近性质

讨论了二种群的捕食与被捕食数学模型，首先用上下解方法给出解的存在唯一性，再用特征值分析研究耦合半线性抛物方程组的动力学行为，并给出了解的局部渐近性质．     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

激光立体造型系统

提出了激光立体造型系统的设计思想及技术路线，介绍了基于ＣＡＤ／ＣＡＭ技术开发的软件功能，分析了振镜扫描器的控制技术，对由非线性几何特性产生的振镜枕形失真进行了软件校正。研究结果表明，激光立体造型技术有很好的实用价值和推广前景。     

某类二阶非线性中立型时滞微分方程的振动性

讨论中立型项目的一阶导数带有齐次幂的一类二阶非线性中立型时滞微分方程解的性质。在振动因子q(t)保号、中立型因子p(t)<1的情况下,通过对中立型项一阶导数符号的讨论,根据Holder不等式,研究了该类方程的解振动的条件,得到了所研究方程所有解振动的三个充分性定理,所得结论是对该类问题已有结论的进一步完善和推广。     

时标上二阶中立型时滞动力方程的振动性

借助时间尺度的有关理论，运用 Riccati 变换技巧，给出时间尺度上二阶非线性中立型时滞动力方程的新的振动准则。推广并改进时标上二阶非线性时滞动力方程振动性的一些结果。     

二维 Lotka-Volterra 扩散系统一致持久的无害时滞

研究了二维Ｌｏｔｋａ－Ｖｏｌｔｅｒｒａ扩散系统中时滞对持久性的影响，证明时滞对该系统的一致持久性无害．所用技巧是时滞反应扩散系统的单调方法．