基于LMI的随机时滞神经网络的全局渐近稳定性分析

研究了一类时变时滞与分布时滞的随机神经网络模型的全局渐近稳定性,该模型考虑了神经网络的随机扰动性.通过构造适当的Lyapunov泛函,以线性矩阵不等式的形式给出了系统全局渐近稳定的充分条件.最后,数值算例说明了结果的正确性.     

旋风分离清选系统阻力特性及工况的试验研究

以清选系统(吸杂管道和旋风分离筒)代替风机性能试验台的阻力调节板,通过调节风机的转速检测了旋风清选系统的阻力特性,研究了系统正常工作时的气流状态(即吸杂风机工况点).分析了吸杂风机转速、系统阻力、喂入量变化时对清选系统工作状态的影响以及对吸杂风机的性能要求,为清选系统的改进、配套风机的参数选择和推广应用提供了试验依据.     

三点苜蓿盲蝽线粒体Cyt b基因扩增条件研究

以三点苜蓿盲蝽为材料,采用SDS-蛋白酶K消化法提取其基因组DNA,利用CB-1、CB-2昆虫通用特异性引物对线粒体Cyt b基因433 bp片段进行PCR扩增,获得三点苜蓿盲蝽线粒体Cyt b基因的最佳扩增条件.     

Banach空间中有限族“三解合一”的混合临近点法

在一致凸一致光滑的Banach空间中引进了一个新的混合迭代序列,利用混合临近点法,找到了均衡问题与变分不等式及有限族半相对非扩张映射不动点问题的公共解(简称"三解合一"),并证明了该迭代序列强收敛到其公共解.所得结果改进和推广了已有的相应结果.     

有限单群的一些数量性质

针对文献中关于素图分类存在的问题,利用单群的孤立点集对其进行了修正,并对原结论给出了一个简洁证明。为了刻画所有的交错单群,采取单群和谱相结合的方法,可知交错单群的谱与其他单群不同。同时,还得到一个有趣的数量结果,即阶能被素数p整除的最小的非交换单群是Al t5或A1(p)。这些成果丰富了有限群的数量刻画这一专题内容。     

随机利率下双指数跳扩散模型欧式期权定价

为了合理刻画股价实际变化趋势,将利率风险引入双指数跳扩散模型,建立了随机利率和双指数跳扩散组合模型,然后在组合模型下利用鞅方法、Fourier逆变换和Feynman-Kac定理给出了欧式看涨期权价格的闭式解,推广了Kou在2002年提出的模型及期权定价问题,所提模型及方法有利于资产收益的经验分析,同时为公司信用风险管理提供理论依据。     

基于TMR的FPGA单粒子加固试验探究

设计了一个可对基于静态随机存储器的现场可编程门阵列进行单粒子效应测试的系统.采用三模冗余和定时回读重配的方法对待测器件进行单粒子加固.测试电路为移位寄存器链,定时回读的间隔约为80 ms,测试时钟为10 MHz.在非辐照环境下先进行了单粒子翻转的仿真试验,获得系统基本参数后,在兰州中科院近代物理研究所进行了重离子单粒子效应辐照试验.试验芯片为商用FPGA,辐照试验增加单粒子闩锁监控,观察不同注量率下待测器件的加固效果.分析仿真试验与辐照试验结果,系统可正确实现加固与测试功能,也证明三模冗余技术结合回读重配方法能够提高FPGA芯片的单粒子加固能力.     

一类最小相位随机非线性系统的输出反馈控制及扰动抑制

对于一类具有模型不确定性的最小相位随机非线性系统,研究输出反馈控制使闭环系统状态响应对噪声具有扰动抑制作用,并且无噪声时闭环系统是随机渐近稳定的.首先假设模型系统中的一个子系统随机输入状态稳定,并且系统的漂移项与扩散项分别依赖于该子系统的状态和输出信号,在此假设前提下设计一个降阶观测器,得到一个等价系统,再由递推的方法得出等价系统的输出反馈控制律,使得最终得到的闭环系统对噪声方差是输入状态稳定的.     

基于随机访问扫描的低功耗确定性测试方案

大规模高密度的集成电路在测试中面临着测试数据量大、测试时间长和测试功耗高的问题.为此提出了一种基于随机访问扫描(random access scan,RAS)的混合模式测试体系结构,该测试方法先通过自动测试模式生成一个确定测试集,再将确定测试集嵌入片上生成的测试序列中进行确定性测试.测试分两个阶段进行,第一阶段利用块固定折叠计数器生成的具有块固定特征的测试模式序列,测试电路中的大部分故障;第二阶段,通过位跳变方法生成确定测试模式,测试剩余的难测故障.在ISCAS-89基准电路上的实验结果表明,该方案不仅减少了测试存储量和测试时间,而且有效地降低了测试功耗.     

跳-斜度变点估计的强收敛速度

对至多只有一个跳-斜度变点的模型,利用滑窗方法研究了独立误差分布条件下变点估计的强、弱相合性,以及强、弱收敛速度等统计推断问题.