SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

关于铝合金模板与木模板组合工艺问题的研讨

首先对铝合金模板与木模板及其他传统建筑模板发展及工艺进行了解与分析,及对传统建筑模板发展进行分析。其次从理论角度分析铝合金模板与木模板组合使用是否可以改变传统施工方法,扬长避短,发挥两种建筑模板自身的优异特性,带来积极影响。最后通过对具体项目的铝合金模板与木模板组合工艺施工成功案例分析,对比得出组合工艺的可行性与优异性。     

易引发混凝土裂缝的因素及处理方法

随着社会发展进程的加快,建筑工程随之突飞猛进的发展。混凝土作为当前必须的建筑材料在土木、水利、桥梁、隧道等工程中得到了广泛的应用。但是混凝土裂缝的存在对混凝土的强度、耐久性以及抗渗能力的影响则不容小觑。文章在此对引发裂缝的因素和处理方法做了简单介绍。     

室内温度模糊神经控制策略研究

采用模糊神经控制器建立了室温控制系统模型,用遗传算法优化了模糊神经控制器的结构和参数,采用三段式遗传编码方式,有效地将隶属度函数和控制规则映射到遗传算法的搜索空间,实验结果表明,文中策略比一般的模糊神经控制在调节时间以及减少误差方面具有较好的性能.     

基于改进胶囊网络的X射线图像违禁品检测

针对X射线图像违禁品检测中存在的漏检和误检问题,提出基于改进胶囊网络的模型（DMF and SE Capsule）用于X射线图像违禁品检测。该模型在传统胶囊网络的基础上增加了特征增强（dilated convolution multi-scale feature fusion,DMF）模块和特征筛选（squeeze-andexcitation block,SE）模块。首先使用特征增强模块提取图像特征,通过增加空洞卷积层,并且将所得的高低层语义特征进行拼接融合,从而得到丰富的特征信息;然后再用特征筛选模块,以挤压激励的方式将得到的特征进行筛选;最后再经过网络的胶囊层,从而完成对违禁品的检测。为了验证模型对复杂场景下X射线图像中违禁品的检测能力,在SIXray数据集上进行实验,模型的检测准确率达到79.254%,与原始的胶囊网络（71.350%）相比提升了7.904%,因此,改进模型的检测能力提升明显。     

基于加窗FFT的风电场自适应振荡抑制策略

大规模风电送出系统会出现振荡现象,现有抑制策略在振荡频率变化时难以快速、有效地抑制振荡。针对该问题,以直驱风场送出系统为研究对象,提出一种基于加窗快速傅立叶变换(FFT)和附加准比例谐振控制器相结合的振荡自适应抑制方法。首先,基于谐波线性化方法建立直驱风机(permanent magnet synchronous generator, PMSG)阻抗模型,分析PMSG发生振荡的机理以及采用附加准比例谐振控制器抑制振荡的有效性;然后,设计一种基于加窗FFT的振荡频率快速检测和提取方法,并给出相关参数的设计原则。最后,通过PSCAD/EMTDC电磁暂态仿真对比基于加窗FFT和传统FFT的控制器对振荡的抑制效果。结果表明：基于加窗FFT的控制器对振荡的抑制速度和效果具有显著优势,验证了所提振荡抑制策略的有效性。     

基于并行遗传算法的对称多处理器任务调度策略研究

任务分配问题是公认的NP难问题。文章在以往有关多处理机任务分配算法的基础上，提出了一种适用于SMP系统结构的并行遗传调度算法。仿真结果表明。该算法具有较好的效果和收敛性。     

GFDM系统中基于实部反馈和Levenberg-Marquard算法的自适应预失真方案

为解决广义频分复用(Generalized Frequency Division Multiplexing,GFDM)系统中由于高功率放大器(High Power Amplifier,HPA)引起的非线性失真,在考虑放大器测量噪声的情况下,提出了一种基于实部反馈和列文伯格-马奎尔特算法(Real Valued Feedback Levenberg Marquard Predistortion,R LM PD)的自适应预失真方案。该方案采用记忆多项式模型(Memory Polynomial,MP)模拟HPA的逆函数,只利用输出反馈信号和期望信号的实部分量计算预失真器系数。同时,该方案选择收敛速度快、精确度高的LM算法进行参数辨识。仿真结果表明,该方案相比传统直接学习结构可以减少一个反馈支路,在信噪比为16 dB时,误比特率可达到5.1 ×10 -6 ,归一化均方误差相较无预失真时降低了约 17 dB。 与现有的一些补偿方案相比,该方案具有更好的线性化和抗噪声性能。     

基于压缩感知追踪算法的低计算量分组稀疏均衡方案

在广义频分复用(Generalized Frequency Division Multiplexing, GFDM)系统中,为了应对复杂的信道带来的符号间干扰,基于信道的稀疏特性,使用广义记忆多项式(Generalized Memory Polynomial, GMP)模型对均衡器输入信号进行非线性建模,进而提出了一种基于压缩感知追踪算法和分组数据模式的低计算量分组稀疏均衡方案。该方案中,为了适应复杂变化的信道,均衡过程中采用了分组数据模式,此外,利用分块矩阵求逆的原理,摒弃了复杂的矩阵求逆运算,在每步的循环中使用矩阵乘法进行迭代计算的方式对正交匹配追踪(Orthogonal Matching Pursuit, OMP)算法及双正交匹配追踪(Double OMP,DOMP)算法进行了改进。仿真结果表明,此分组数据模式有效地改善了均衡效果,同时提出的改进算法在保证误符号率性能的前提下明显地降低了计算量,提升了运算速度。     

基于加窗FFT的风电场自适应振荡抑制策略

大规模风电送出系统会出现振荡现象,现有抑制策略在振荡频率变化时难以快速、有效地抑制振荡。针对该问题,以直驱风场送出系统为研究对象,提出一种基于加窗快速傅立叶变换(FFT)和附加准比例谐振控制器相结合的振荡自适应抑制方法。首先,基于谐波线性化方法建立直驱风机(permanent magnet synchronous generator, PMSG)阻抗模型,分析PMSG发生振荡的机理以及采用附加准比例谐振控制器抑制振荡的有效性;然后,设计一种基于加窗FFT的振荡频率快速检测和提取方法,并给出相关参数的设计原则。最后,通过PSCAD/EMTDC电磁暂态仿真对比基于加窗FFT和传统FFT的控制器对振荡的抑制效果。结果表明：基于加窗FFT的控制器对振荡的抑制速度和效果具有显著优势,验证了所提振荡抑制策略的有效性。