离散数学网上考试系统的设计与实现

介绍了基于JSP和Delphi的离散数学网上考试系统的设计和实现,该系统分为考试管理系统、网上实时考试系统和网上监控系统3个部分.<离散数学>是计算机专业的专业基础课,也属于数学类课程,因此该系统不仅对计算机专业的教学起到很大作用,对数学类其它课程的考试方式也提供了新的思路.     

检验门限协整模型中的线性协整

考虑门限协整回归模型中线性的检验问题.在原假设为线性协整的条件下,构造TSupLM(supremumLagrange multiplier)统计量,并给出了极限分布.Monte Carlo实验研究了SupLM检验的有限样本性能,结果表明SupLM检验不受回归误差的序列相关性影响,也不受广义的自回归条件异方差GARCH(generalized autoregressiveconditional heteroskedastic)的影响.应用SupLM检验方法检测美国国库券收益率之间的关系,结果表明不同到期时间的国库券收益率之间存在门限协整关系.     

两级故障检测在SINS-Galileo-北斗组合中的应用研究

针对联邦滤波器子系统同时存在硬故障和软故障问题,提出一种适用于联邦滤波结构的两级故障检测方法。首先,构造联邦结构残差2χ检验法对系统硬故障进行检测,再用第k-m步未发生故障时的全局最优估计信息构造滑动残差检验函数,对未检测出的软故障进行时间积累,进而检测软故障,同时,联邦滤波信息分配系数根据软故障检测函数进行自适应调节。通过SINS-Galileo-北斗组合导航系统仿真对比分析了基于局部滤波残差2χ检验法和本文提出的故障检测方法,结果表明:该故障检测方法对系统硬故障和软故障具有较高的故障检测灵敏度,能够提高组合导航系统的可靠性。     

空地联合反导预警技术探讨

由于战术弹道导弹作战方式的特殊性,要求建立一个多层次的、完善的预警系统。指出了地基相控阵雷达探测战术弹道导弹的优点与存在的局限性,对空基预警机系统预警探测的特点作了分析。提出了地基相控阵雷达和预警机空地联合反导预警方式,按照系统集成的方法,建立了联合反导预警装备系统的数学模型,仿真分析了系统的探测效能,为联合反导预警体系的构建提供了参考依据。     

光电耦合器在干扰弹测速系统中的应用

对干扰弹炮口初速的精确测量是顺利进行试验的基础条件。提出了一种采用漫反射式光电耦合器测速的方法。该光电耦合器是集发射器和接收器于一体的传感器,当有被检测物体经过时,漫反射回来的光被探测器接收转换为电信号并采集到计算机进行数据处理。介绍了干扰弹测速系统的结构、工作原理与驱动电路,并测量了光电耦合器的响应速度,最后,利用该系统对干扰弹的速度进行了测试,给出了试验波形。试验证明:该方法具有体积小、电路简单、成本低、灵敏度高等优点。     

基于MAF模型的串扰时延故障的测试矢量生成

随着深亚微米技术,串扰噪声问题越来越严重。利用MAF模型的基本思想,探讨了一种串扰时延最大化算法,并且利用被修改的FAN算法,生成测试矢量。对于一条敏化通路,利用被修改的FAN算法适当地激活相应的攻击线和受害线,使电路在最恶劣情况下引起最大通路时延,从而实现更有效的时延测试。在标准电路ISCAS’85上进行实验验证,结果表明:该算法对于多攻击线的串扰时延故障的测试矢量产生是有效的。     

软件测试技术在某自行炮武器系统中的应用

随着装备信息化的发展,软件在装备中的作用日趋重要软件测试作为一个重要的工程过程,对软件质量保证起到关键作用。依托某型号项目介绍了软件测试技术在该项目当中的应用,并总结测试经验提出了自动化测试新思路。在弹道解算测试过程中如何采用自动化测试方法,减少人工测试由于输入数据错误造成测试错误和效率低下的问题。     

采用动态邻域扩展算法的非一致CA低功耗确定TPG

针对确定内建自测试向量发生器设计中常存在着对冗余向量依赖,导致测试应用时间增长,并产生额外的测试功耗等问题,提出一种新的低功耗确定测试向量发生器的综合算法.该向量发生器采用非一致细胞自动机的结构实现,利用基于模拟退火的动态邻域扩展算法寻找优化的细胞自动机的拓扑连接关系.对标准组合电路仿真实验的结果表明,所综合出的向量发生器可有效地产生给定的低功耗确定向量集,并且不影响原有的故障覆盖率和测试时间.     

用扫描链重构来提高EFDR编码的测试压缩率和降低测试功耗

为了解决系统芯片测试中日益增长的测试数据和测试功耗的问题,提出一种不影响芯片正常逻辑功能的扫描链重构算法--Run-Reduced-Reconfiguration(3R).该算法针对扩展频率导向游程(EFDR)编码来重排序扫描链和调整扫描单元极性,重新组织测试数据,减少了游程的数量.从而大人提高了EFDR编码的测试压缩率并降低测试功耗;分析了扫描链调整对布线长度带来的影响后,给出了权衡压缩率和布线长度的解决方案.在ISCAS89基准电路上的实验结果表明,使用3R算法后,测试压缩率提高了52%,测试移位功耗降低了53%.     

SoC测试访问机制和测试壳的蚁群联合优化

针对系统级芯片(SoC)测试壳优化和测试访问机制的测试总线划分问题,提出了基于蚁群算法的SoC Wrapper/TAM联合优化方法.构造蚁群算法时首先进行IP核的测试壳优化,用于缩短最长扫描链长度,减少单个IP核的测试时间;在此基础上进行TAM结构的蚁群优化,通过算法迭代逼近测试总线的最优划分,从而缩短SoC测试时间.对ITC2002基准SoC电路进行实验的结果表明,该方法能有效地解决SoC测试优化问题.