集成电路形式化验证方法研究

文中给出了形式化验证的基本理论,介绍了VIS综合系统的验证技术和验证流程.以乘法器为实例对组合电路的正确性进行了验证,并与传统仿真结果进行比较,利用自动化验证工具对系统模型的相关属性进行检测和验证.     

基于综合业务数据库的智能网设计方案

提出了综合业务数据库系统的设计方案,数据库系统的设计采用软件总线思想,模块化的设计,通过实现SCP,SDP,SMP,SCEP的功能,为用户提供标准的智能网业务,定制各种增值业务,并能满足下一代网络NGN的智能业务应用.     

传播动力学研究综述

为了解决信息在复杂网络中的传播和控制问题,众多学者使用了传染病动力学作为建模和研究方法。本文介绍了传播动力学的研究意义,介绍了传染病动力学的SI、SIS、SIR和SEIR模型,并分析了各模型的特点。最后对传播动力学的研究提出了一些展望。     

双基地雷达空间定位精度分析

本文针对双基地雷达空间定位时的数据冗余提出了一种相关数据压缩算法。在不增加设备量的前提下,将双基地雷达二维定位理论推广到三维空间定位。仿真结果显示,该算法与只采用单一测量数据组合时的定位性能相比较,可大大改善发射站近区和接收机远区的定位精度。     

一种改进的OFDM水下可见光无线通信系统

在水下直流偏置光无线通信正交频分复用(UOWC-DCO-OFDM)系统中,为了保证光信号在发射端具有较低峰均比(PAPR)并在水下可进行远距离低误比特率传输,采用了子载波预留、最小二乘算法(TR-LSA)与压扩变换相结合的方法,同时运用优化的神经网络对水下环境进行信道估计,并基于该方法在接收端设计信道均衡器,以应对水下...