具有时滞的脉冲Robin抛物边值问题的振动性

考虑具有时滞的满足Robin边界条件的脉冲微分系统。利用Robin特征函数和脉冲时滞微分不等式得到了这类系统解振动的充分条件。     

一类线形方程系统稳定性的F.N Bailey方法

介绍了变系数二阶线形微分方程组解的稳定性的判别方法.运用F.N Bailey方法的思想,将其运用在稳定性理论中关于系统的分解问题,得到了保证系统解的稳定性所需的条件.     

基于显式运动建模的视频伪装目标检测

目前的视频伪装目标检测方法通常采用隐式运动建模或直接输入存在噪声的离线光流图来获取运动线索,这会影响模型性能。为了解决这一问题,提出一种新的基于显式运动建模的视频伪装目标检测框架,称为SMHNet。首先,该框架将显式运动建模与伪装目标检测联合在同一个框架中进行学习。然后利用特征双向更新模块实现两个分支的双向交互更新,相互补充、优化和纠错,输出光流估计结果和目标检测图。此外,为了解决缺少光流真值图这一问题,采用自监督策略对显式运动建模分支进行监督。在两个数据集上的对比实验结果表明,SMHNet有效地提高了视频场景中伪装目标检测的性能。     

F.Smarandache第80问题与除数问题

研究了∑n≤xd（ak（n））的渐进公式,这里ak（n）是F．Smarandache教授提出的“0nly problems,not solutions”中第80问题的数列。     

具有脉动的泛函微分系统的稳定性定理

研究了具有脉动的泛函微分系统关于两个测度的稳定性。在允许解轨线碰撞同一脉冲面有限次的情况下,利用变分Lyapunov方法给出了判定脉冲泛函微分系统稳定性的比较结果。     

时标上脉冲动态系统的指数稳定性

利用Lyapunov函数直接方法研究了时标上固定时刻脉冲动态系统的指数稳定性,并给出了此系统指数稳定性的几个判别准则。由于时标理论是离散和连续的统一,时标上脉冲动态系统的稳定性研究更具有普遍性,它包含了已有的脉冲微分系统指数稳定性的结果。同时,给出的定理中对Lyapunov函数的Δ-导数及其在脉冲点处的要求更具一般性,使得定理具有更广泛的适用范围。最后给出了一个例子说明其应用。     

一类脉冲泛函微分系统的集合稳定性

主要考虑一类特殊的脉冲泛函微分系统:{x′=f(t,xt),t≥t0,t≠τk,x(τk)=Ik(x(τk-))+Jk(x(τk--τ)),t=τk,其脉冲函数在每一时刻都带有时滞,因而具有更广泛的实际意义。用Lyapunov函数结合Razumikhin技巧的方法,分别得到了判定集合关于这类系统的解一致稳定和一致渐近稳定的充分条件,由于集合稳定性包含了Lyapunov稳定性,这一结论是对已有结果的改进,也更具有一般性.最后给出例子说明定理的实用性。     

变分方法和脉冲摄动微分系统的有界性

利用变分方法和一个新的比较定理建立了关于脉冲摄动微分系统的若干个有界性定理。     

新型力反馈双向伺服系统干扰观测器PID控制算法的研究

针对目前力反馈双向伺服遥操作工程机器人控制系统所存在的反馈力冲击过大及主从位移控制的随动性 较差等问题,提出了在新型力反馈伺服系统中加入干扰观测器来改善从动机构的动态特性差异,从而提高从动机 构的鲁棒稳定性和抗干扰能力。仿真结果表明提出的方法是有效的。     

安全设施论

正安全设施的概念由来已久,从产生之初就与"三同时"制度密不可分,尤其对高危行业来说,建设项目安全设施"三同时"是安全许可的主要内容。但长期以来,安全设施的定义和范畴仍以定性为主,更有相关概念相互混淆,给实际操作带来诸多问题。作为安全生产工作的基本着力点,对安全设施进行论述具有重要的理论和实践意义。一、安全设施的由来及含义安全设施"三同时"制度最早于1992年11月通过的《矿山安全法》确