简介：摘要：研究一类具有leakage时滞的离散型神经网络的状态估计问题．通过构造新的Lyapunov泛函得到保证估计误差全局渐近稳定的充分条件，并通过求解一个线性矩阵不等式（LMI）得到状态估计器的增益矩阵．采用一种新的时滞分割方法将变时滞区间分割为多个子区间，使该结果在获得更小的保守性同时也降低了计算的复杂度．

简介：考虑了一个自治的有密度制约与扩散项的n种群食物链型时滞系统,得到了持续生存系统的充分条件,推广了前人持续生存的相应结果.

简介：研究了具有HollingⅡ功能性反应的纯时滞的两捕食者、一食饵生物系统,通过构造合理的Lyapunov函数讨论了系统的全局吸引性,并得到系统持续生存的充分条件.

简介：研究一类具有分布时滞和反应扩散的随机细胞神经网络的稳定性。通过构造Lyapunov泛函,并利用It公式、半鞅收敛定理以及不等式技巧,得到了系统几乎必然指数稳定的充分条件。

简介：研究一类具有leakage时滞的随机马尔科夫跳变神经网络的稳定性，通过构造一个新的Lyapunov-Kra—sovskii泛函，并应用It6公式、随机不等式技术，得到了基于线性矩阵不等式（LMI）的均方意义下的全局稳定性判定条件．

简介：研究了一类具有治愈率和时滞的HIV-1（获得性免疫缺陷病）病毒动力学模型的性质,在模型中同时考虑了病毒感染细胞和细胞感染细胞的感染机制.通过计算和分析,得到了基本再生数的显式表达式,并且得到当基本再生数小于1时,无病平衡点全局渐近稳定,当基本再生数大于1时,病毒在宿主体内是持续生存的.

简介：研究一类具有时滞和基于比率的两种群捕食者-食饵扩散系统,证明了系统在一定条件下是持续生存的,并通过构造适当的Lyapunov泛涵,给出了系统局部渐近稳定的充分条件.

简介：讨论一类具有时滞和食饵具有阶段结构的捕食模型.通过分析特征方程,得到正平衡点局部稳定和Hopf分支存在的条件.同时,应用中心流形定理和规范型理论研究了正平衡点处Hopf分支方向和分支周期解的稳定性.最后,通过数值模拟对理论结果进行了说明.

简介：摘要：利用泛函微分方程的度理论，研究一类具有时滞的Cohen-Grossberg神经网络的全局分支的存在性，研究结果为该类神经网络的应用设计提供理论基础．

简介：研究一类具有时滞的两种群捕食系统，通过分析特征方程讨论了正平衡点的局部稳定性问题。通过构造适当的Lyapunov泛函，得到了保证系统正平衡点全局渐近稳定的充分条件，并讨论了在正平衡点附近Hopf分支的存在性问题。

简介：研究一类具有时滞和捕获的食物链模型,借助重合度理论中的Mawhin延拓引理,得到了保证系统至少存在8个正周期解的充分条件。

简介：在卫星覆盖特性分析中，一般仅考虑卫星的波束主轴（及覆盖圆锥中心线）通过地心时的覆盖情况，主要研究卫星姿态发生偏转后，波束主轴偏离地心时的覆盖情况，并进行了动态覆盖仿真，模拟并分析了几种卫星及星座在姿态发生偏转时覆盖区域的变化情况。

简介：研究一类具有时滞的病毒感染动力学模型。通过分析特征方程，讨论了系统各个平衡点的局部稳定性，得出了系统Hopf分支存在的充分条件。通过比较定理证明了未感染平衡点的全局稳定性。最后对所得理论结果进行了数值模拟。

简介：本文建立了火炮原地发射时五九式中型坦克车体的振动模型,它由瞬态振动模型和剩余振动模型两部分组成。模型着重考虑了悬挂系统和履带对车体振动的影响。模型与试验结果一致。

简介：l985年起，比利时军队认识到更换其过时的ANP51型防毒面具的必要性。ANP51型面具是采用法国概念设计的面具，其技术可以追溯至第二次世界大战之前。

简介：比利时CMI公司的LCTSMK8型90mm炮塔系统的投产是为了满足加拿大通用汽车公司柴油机分公司所需要的130个炮塔系统,以便安装在供沙特阿拉伯国民警卫队使用的轻型装甲车(LAV)8×8底盘上。10年前,SANG通过美国国外军事销售计划订购了1117辆8×8轻型装甲车,共有10个变型车.其中包括130辆轻型装甲突击炮车(LAV-AGS)。在不知选用何种炮塔情况下,SANG最后选择了比利

简介：以轴对称式单扩张腔消声器为例，在推导存在气流时消声器传声损失计算模型的基础上，利用有限元法、计算流体力学方法和计算气动声学方法，对其传声损失进行了数值计算，探讨了声源、气流速度和插入管长度的影响，并通过与试验对比验证了模型和计算方法的正确性。研究表明：传声损失同时受到声源和气流的耦合作用，且随流速升高下降明显，高速气流是引起消声器消声性能下降的主要原因。考虑噪声源的频率特征并适当增加插入管长度在一定程度上可以提高消声器的消声性能。

简介：一、引言当前，随着核化生武器技术的发展与扩散，战争、恐怖主义、自然灾害及核化生突发事件已经对国家安全构成了直接、现实的威胁，在战争和非战争条件下，水对保障官兵健康，提高部队战斗力有非常重要的意义。

简介：研究了联合空中作战对时敏目标的优先级排序问题。首先分析了影响时敏目标优先级排序的主要因素，并采用层次分析法定量地确定各主要因素权重；然后建立了时敏目标优先级排序的模糊优化模型；最后通过应用案例仿真，其结果验证了模型的有效性。

简介：提出了利用赋时Petri网(TimedPetriNet)对自动测试系统建模和性能分析的方法.采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率.