数字仿真器中的时间校验探讨

针对事件驱动仿真检测时间延迟的困难，提出用时间校验网络来检测时间延迟。论述时间校验的几种方法及在时间校验中的几个问题。     

WDA相关法时间延迟估计

相控阵超声检测中,相关法时间延迟估计是实现自适应聚焦的关键技术之一。为了消除噪声、模板窗口大小和缺陷特征等因素对相关法时间延迟估计的影响,结合检测超声回波信号的特点,提出了基于小波变换的相关法时间延迟估计方法。理论仿真和实验均证明该方法能有效抑制上述因素的影响,提高时间延迟估计精度。仿真计算表明:在可信度为0.95的情况下,信噪比提高了3.2dB,最小窗口大小从无穷大变成了3倍于探头中心频率对应周期,模板有效范围扩展了60%。     

一种基于药品检测问题的信息校验算法研究

基于使用小白鼠对药品进行检测的问题,提出了药品检测的算法;在该算法的基础上结合信息校验,提出了一种信息校验算法,把信息校验算法与海明码校验算法进行比较分析,两种算法的算法复杂度一样,效率一样,该信息校验算法更易于理解、更方便阅读.     

T细胞受体激活过程模拟

对免疫系统T细胞受体结合外源多肽段后诱导的一系列受体磷酸化反应过程进行了系统的理论模拟。T细胞受体对于不同外源分子产生敏感而特异的反应, 可以由动力学校验模型进行解释。拓展了早期的动力学校验模型, 放宽和改进了原有模型对去磷酸化速率和以固定顺序进行受体磷酸化这两方面的假设, 得到了更一般的反应网络模型, 从数学模拟角度很好的满足和解释了生理上T细胞所表现出的对外源分子识别的敏感性、特异性和激活时间短等重要性质。     

在“大运行”体系下利用EXCEL/VBA深化OPEN3000的应用

本文结合笔者在OPEN3000的应用过程中的一些经验,采用EXCEL/VBA工具对OPEN3000的数据进行挖掘和分析,提出了几种OPEN3000在"大运行"模式下的深化应用方法,在监控信号分析、二次设备时间同步校验、电网数据校验等方面进行深化应用,提高自动化主站系统的应用水平。     

基于滤波估计的传递对准观测值延时抑制方法

传递对准过程中,由于主惯导的解算和传输延迟,子惯导解算信息与进行匹配的基准信息不能完全同步,有些情况下时间延迟较大。分析了时间延迟对速度加姿态角匹配传递对准的影响,并提出了一种时间延迟估计与补偿方法。建立了主惯导时间延时模型,推导了包含时间延时的传递对准观测方程。仿真结果表明,未补偿主惯导信息时间延迟,传递对准失准角估计误差达到40′左右,补偿后,传递对准失准角估计误差在6′以内。该方法可以有效降低由于主惯导信息延时而导致的估计误差发散现象,提高了传递对准精度。     

基于路由协议的低能耗数据融合方法

将无线传感器网络中的数据融合技术与路由协议相结合,详细分析了基于LEACH、图论、模糊神经网络和合作博弈的路由协议数据融合算法,给出了不同算法中影响能量消耗和时间延迟的因素,提出减少能量消耗和时间延迟的方法.最后,通过仿真实验对改进后的几种路由协议在融合能耗和平均时延方面进行比较.结果表明,改进后的数据融合算法能量消耗更低、时间延迟更少.     

海明校验的实现原理与方法

对如何掌握海明校验的实现原理和处理海明校验的基本方法归纳几点进行阐述,并通过基本的海明译码电路及实例加深理解海明校验的全过程。     

安全监测系统校验周期数学模型

在一系列假设的基础上，给出了安全监测系统单位时间内校验次数的泛函，用变分法求泛函极值，得出校验费和损失费最小的校验周期学模型，在校验费和损失费一定的情况下，当故障（泄漏）率较高时，校验周期应短些，反之则长些，根据安全监测系统和易燃易爆重大危险源常见的无故障工作时间的分布类型，给出了与之相应的校验周期数学模型的具体形式，计算实例说明，本模型是合理的，它对校验周期的确定具有一定的理论和实际意义。     

相关时延估计方法DSP实现研究

基于相关分析的时延估计方法是一种重要的时间延迟估计算法.文章分析了基于相关分析的时延估计方法的信号模型,研究了利用DSP实现相关时间延迟估计的关键技术,以及实现中需要注意的问题和提高程序执行效率的方法.仿真结果表明,文中提出的方法能够检测序列的时延值.     

基于SVA的FPGA接口时序验证方法研究

本文介绍一种基于SVA(System Verilog Assertion)的FPGA接口时序验证实现方法,此方法以FPGA接口下级芯片的手册为基础,将手册中接口时序条件转换成SVA断言,并且在验证运行过程中,自动监测接口信号时序以到自动验证FPGA接口时序的目的。     

基于MVC的GNSS验证系统授时指标软件设计与实现

为了方便分析GNSS验证系统授时指标,设计并实现了授时指标软件。该软件具有数据解析、授时载波频率准确性分析、载波频率稳定性分析、码载一致性分析、数据拟合、频域分析等功能。采用MVC(model-view-controller)模式对软件的系统架构进行设计,描述了Qt的信号与槽机制和核心模块的设计及其交互,并用C++语言在Qt平台完成了软件的开发。实验表明,该软件可方便地实现GNSS验证系统授时指标的定量分析,GNSS验证系统频率准确度为10~(-10)、码载一致性为10~(-10)。     

FPGA软件无线电平台实现OFDM关键问题的研究

在软件无线电平台上快速实现原型样机,已成为评价通信新技术的重要方法.本文以基于FPGA的软件无线电平台实现OFDM收发信机为例,分析了浮点数与定点数仿真的基本方法及原型样机的设计流程,针对802.11a突发分组OFDM收发信机中的帧同步、符号定时和信道估计等在FP-GA中的实现问题,提出了适合于硬件实现的优化算法,节省了硬件资源.最后,在验证平台上实现了全数字OFDM收发信机.测试结果表明,新方法设计合理,收发信机在中频能稳定的无误帧传输.     

一种基于UVM面向RISC CPU的可重用功能验证平台

以UVM验证方法学和UVM1.1标准库为基础建立验证环境, 按照面向方面的模式分离功能、时序和结构属性, 设计参考模型, 在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用, 以PKU-DSPII为例建立完整的验证平台。实验结果表明, 可重用性得到大幅提升, 且测试用例的覆盖率效果提升约7%。     

时序电路的功能验证探析

本文笔者比较了基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证工程师挑选验证方案提供了有利的数据支持。     

逻辑综合中关键门的寻找

关键路径一直是电路性能优化的核心问题之一，门的尺寸调整和插入缓冲器是时间优化的重要方法。实际上，电路拓扑图中最长的路径不一定就是关键路径，只有在一定输入下能敏化的最长路径才是关键路径，因此，仅仅按拓扑信息优化最长的路径不一定能真正提高电路的性能，此外，仅仅利用D－算法判断路长敏化有不足之处，本文利用电路拓扑找出超出时间限制的路径，然后利用改进的FAN算法－T－FAN算法，提取关键门－即和电路整体延时有关系的门，为优化指出具体、准确的目标，实验表明，改进的算法在保证优化效果的前提下，能平均减少30％－40％优化对象。     

对运动船舶的多无人机协同查证路径规划方法

为解决无人机对运动船舶进行查证面临的最优路径生成问题,设计了一种面向运动目标的多无人机路径规划方法,通过模拟退火算法对查证路径进行优化,确定完成查证任务所需的最少无人机数量、查证序列和运动路径。结果表明：该方法能够生成满足时间约束的多无人机协同运动船舶查证路径,可为海事监管领域开展无人机路径规划应用及优化资源配置提供技术支撑。     

FORTRAN程序正确性的形式证明

本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。     

一种有效的性能驱动布图算法

提出了一种有效的性能驱动布局和布线算法。算法自始至终考虑互连线延时对芯片时间性能的影响，以优化芯片时间性能为主要布图目标，并兼顾布线均匀和连线总长最短。算法利用选定的单元、互连线延时计算模型以及关键路径识别算法对整个芯片进行动态的延时分析，并由此得出线网（亦称互连线）权重信息以指导迭代改善布局和布线，达到优化芯片时间性能的目的。运行实例表明本算法是正确、有效的。