一类具有时滞和捕获的食物链模型的周期解

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

具有时滞和变消耗率的比率型Chemostat模型稳定性分析

研究了一类具有时滞和变消耗率的比率型Chemostat模型,讨论了边界平衡点和正平衡点的局部稳定性以及Hopf分支的存在性;利用比较原理和构造Lyapunov泛函,给出了边界平衡点和正平衡点的全局稳定性的充分性条件;并通过数值模拟验证了理论结果。     

Nucleus Plus操作系统的实时性分析与测试

针对操作系统的实时性,以NucleusPlus嵌入式实时操作系统为研究对象,分析其内核的实时机制及上下文切换时间、中断响应时间这两个重要的实时性指标。设计了一个交替等待/获取信号量的方法来测试上下文切换时间,该方法主要是利用信号量的等待和获取来发生上下文切换,经实验验证,比原有的方法所测得的结果更精确,适用范围更广,可为实时应用在选择合适的操作系统方面做参考。     

关于网络教学资源建设的思考

教学资源的缺乏严重制约着学校网络教学的发展,成为学校教育信息化的巨大障碍。本文从网络教学资源建设的意义出发,给出了教学资源建设的主要内容,分析了教学资源的特征,提出了教学资源建设方案及组织与实施的建议。     

21世纪新疆高等农林院校化学教育教学改革与实践

文章提出了新疆高等农林院校化学教育存在的问题,并针对存在的问题提出了化学教育改革的具体内容和措施:化学课程和教学体系的改革;化学实验教学的改革;基础化学实验考核方式的改革;教学手段的改革。通过教学实践表明,化学教育改革的具体内容和措施是有效的。     

基于柔性基础的双层隔振系统概率灵敏度分析

对基于柔性基础的双层隔振系统的功率流传递特性进行了分析,利用有限元分析软件ANSYS计算了传递到基础的功率流,并用概率灵敏度分析方法研究了功率流对隔振系统给定参数的灵敏度,为双层隔振系统的优化设计奠定了基础.     

伊拉克反美武装军事行动特点分析

伊拉克主要战事结束两年半了,反美武装成为驻伊美军最主要的作战对象.面对美军先进的武器装备,反美武装采取了灵活机动的战术手段.分析了伊拉克反美武装军事行动的几个特点.     

双圆阵模式空间二维解相干

提出一种相干信号二维波达方向(Direction of Arrival,DOA)估计算法——模式空间波达方向矩阵(Mode-Space DOA Matrix,MS-DOAM)法。算法基于双圆阵,利用模式空间转换将圆阵转换为虚拟双平行线阵,计算虚拟线阵阵元间的互相关信息,构造两个等效协方差矩阵,进而构造波达方向矩阵,对该波达方向矩阵特征分解,利用得到的特征值与特征矢量求得入射信号的仰角和方位角。算法无需二维搜索,实现估计参数自动配对。仿真结果表明,算法在低信噪比和短快拍条件下,估计误差低于虚拟空间平移算法。     

利用分时刷新和位置约束的卫星载荷BRAM抗辐照设计方法

为解决星载资源严格受限条件下,静态随机存取存储器型现场可编程门阵列中块随机存储器(block random access memory, BRAM)的轻量级、高可靠抗辐照加固难题,提出了一种基于分时刷新和位置约束的卫星载荷BRAM抗辐照加固设计方法,通过监控算法执行时隙实现BRAM分时刷新,并增加位置约束有效降低三模冗余后两模设计同时发生异常的概率,以较少的资源消耗有效提升BRAM在轨抗辐照可靠性。重离子加速试验结果表明,采用分时刷新和位置约束加固方法后,卫星载荷单粒子功能中断截面下降约81.63%,在轨BRAM异常由3颗星2年发生3次减少为25颗星2年未发生,在轨抗辐照可靠性大幅提升。     

利用整帧翻转的SRAM型FPGA故障注入加速算法

不可恢复异常比特位(unrecoverable-sensitive bits, UR-SB)不能通过定时刷新修复,会造成卫星载荷在轨服务的长时间中断,是地面故障注入试验需要着重评估和改善的。但UR-SB占比极低,若采用传统逐位翻转故障注入方法,其测试耗时太长,效率极低。提出了一种基于整帧翻转的静态随机存取存储器型现场可编程门阵列的故障注入加速算法,其通过整帧翻转能够快速筛除不存在UR-SB的配置帧,并进一步用二分法对存在UR-SB的配置帧进行快速搜索,有效加速了UR-SB的精确定位过程。以在轨常用XQR2V3000器件为例,理论分析在较差情况下测试效率可提升207倍,信号生成载荷实测结果最高可提升949倍,理论分析和实测结果均验证了所提加速算法的有效性。