具有非线性扰动的中立型系统的时滞相关稳定性

本研究了具有非线性扰动的中立型系统鲁棒稳定的时滞相关准则。基于LMI方法，并利用S—过程获得了依赖于时滞的鲁棒稳定性准则，所得结果优于已有结论。最后给出一个实例说明本方法的有效性。     

谈谈高校计算机辅助教学软硬件环境的建立

近几年来随着计算机软硬件的飞速发展，现代教育技术的重要分支计算机辅助教学(以下简称CAI)开始从研究、研制、开发逐步应用于实际教学过程，开始形成一定的教学能力。当前，我们处于科学技术高速发展、知识不断增长时代，如何使有限的大学教育时间内，给大学生传授知识、培养能力和提高素质，是现代教育工作者必须研究的问题。另一方面，     

暗腹雪鸡细胞色素b基因的克隆及其在雉科中亲缘关系的分析

用聚合酶链式反应克隆暗腹雪鸡(Tetraogallus himalayensis)Cyt b基因,首次报道该基因的全长序列(1143bp AY678108),并与雉科中其他19个属的Cyt b基因进行同源性比较,分析了碱基组成和变异情况.用邻接法、最大简约法和最大拟然法构建了系统进化树,得到了基本相同的拓扑结构.结果表明雪鸡属与鹌鹑属、石鸡属的亲缘关系最近,形成单系群.雪鸡属与鹌鹑属的分歧时间为1.5～2.0百万年,与石鸡属分歧时间为1.7～2.4百万年.     

一类递归集的Hausdorff维数及Bouligand维数

本文给出递归集的Ｈａｕｓｄｏｒｆｆ维数的下界估计，并由此确定了一类递归集的维数，所获结果包含并推广了Ｂｅｄｆｏｒｄ，Ｄｅｋｋｉｎｇ及文志英、钟红柳等人的有关结果。     

线性递归序列模q

设{u_k}_k≥0为一个线性递归序列．序列{u_k(mod q)}_(k≥0)是周期的,很多人都对其周期有过研究．本文应用二次数域中理想的理论,较完全地刻面了二次线性递归序列模q的周期长度,所获结果加强并推广了Engstrom及Wall的结论．     

关于有完全正规增长的准确零(R)级的整函数

设有一个由在复平面上绝对收敛的 Dirichlet 级数F(s)=(?)α_ne~(sλ)n(1)所表示的整函数,其中,s=σ it,0<λ_1<λ_2<…<λ_n…↑ ∞,(?)(logn/Kλ_nZ(λ_n))=0,(?)(logn/λ_n)<∞,α_n 是复数,σ及 t 是实变数.令 M(σ)=sup{|F(σ it)|,—∞相似文献   

模的n层实谱

以环上高层实谱和高层极大谱理论为基础,给出了模上高层实谱和高层极大谱的定义,并将环上高层实谱的拓扑性质推广到了模上。     

基于孪生神经网络在线判别特征的视觉跟踪算法

基于孪生神经网络的跟踪算法是利用离线训练的网络提取目标的特征并进行匹配,从而实现跟踪。在离线训练过程中,网络学到的是相似目标的通用特征,因此当有相似目标干扰时,用这种通用特征表达特定目标将会导致跟踪性能下降,甚至丢失目标。为提高对相似目标的判别能力,通过在线更新网络参数,使网络能够在通用特征的基础上,进一步学到当前目标的特定特征,这样不仅能有效地区分目标与背景,还能消除相似目标的干扰。实验在OTB50和OTB100数据库上进行,结果表明该算法可以提高对网络提取特征的判别力,实现对目标的稳健性跟踪。     

基于分类-验证模型的视觉跟踪算法研究

针对相似度目标跟踪算法主要考虑目标的类内相似,而忽略不同目标的类间差异的问题,提出基于分类-验证模型的视觉跟踪算法。该算法通过增加目标的属性(类别)信息,利用相似度信息与类别信息构建损失函数,在高维空间学习目标的类内相似和类间差异;将目标模板与候选目标输入网络模型,分别通过分类与验证模块实现网络参数更新;利用训练网络提取目标模板与候选目标的深度嵌入特征,实现目标跟踪。在OTB50和UAV123数据库上进行实验,结果表明,该算法可以大幅提高跟踪效果,对相似目标具有较强的稳健性。     

非衍生化/液相色谱-串联质谱法测定食品中的二硫代氨基甲酸酯类农药残留

通过优化质谱、液相色谱和萃取缓冲液等条件,建立了一种简单、快速、灵敏测定食品中二硫代氨基甲酸酯的方法。在优化条件下,代森锌(EBDC)、丙森锌(PBDC)的线性范围为2～100μg/L,相关系数均不小于0.997。在花椰菜、萝卜和豌豆中EBDC和PBDC的检出限(S/N>3)为2μg/kg;萝卜和豌豆中EB-DC和PBDC的定量下限(S/N>10)为10μg/kg,而花椰菜中EBDC和PBDC的定量下限(S/N>10)为15μg/kg。在花椰菜、萝卜和豌豆基质中加标5～100μg/kg的EBDC和PBDC时,测定加标回收率为83%～96%,相对标准偏差为4.4%～10.5%,方法可满足定量分析的要求。