小芯径空芯传能光纤的理论分析

从理论上给出了小芯径条件下的芯径选取范围，进而通过实验进行了验证。同时还对电介质包层空芯传能光纤应用于小芯径条件下的模式畸变规律及损耗特性进行了讨论。     

一种新的平面传输线传播常数的变分分析

基于严格的电磁场理论，给出了一种新的分析平面传输线传输特性的空域及谱域的稳定变分公式。该公式仅以槽口切向电场为未知参量，适用于各种开放和屏蔽的平面和共面传输线传播常数的计算。该方法推导简单、计算速度快。槽线计算结果和谱域法计算结果吻合较好。     

可撤销手掌纹脉二维PalmHash码的共轭认证

由于认证性、实用性和防伪性方面的多重优势,迫切需要开发融合掌纹和掌脉的双模态认证技术。作为新型的可撤销掌纹认证编码,二维PalmHash码(2DPHC)克服了直接使用原始掌纹特征的安全隐患和隐私问题。本文将2DPHC框架推广至可撤销掌脉,通过融合掌纹和掌脉的2DPHC,实现可撤销手掌纹脉认证。为了不增加双模态认证中的计算复杂度和模板数据量,对掌纹和掌脉的模板生成方向进行优选。在每种模态中,分别生成4个方向的2DPHC,并统计匹配分数协方差。根据小协方差选择策略,分别从掌纹和掌脉中选择低相关性的2个2DPHC作为可撤销共轭模板。通过均值策略融合多个模板的匹配分数,实现可撤销共轭认证。与认证性能排序选择策略相比,小协方差策略指导的方向选择可以更有效降低融合分数的方差,获得更高的共轭认证性能。     

柱形弹侵彻靶板剩余速度的有限元分析

为深入研究弹丸侵彻靶板后的剩余速度以提高战伤仿真精度,采用正交试验设计方法和有限元软件LS-DYNA,进行了不同弹速、靶厚、攻角等条件下柱形弹侵彻低碳钢靶板的仿真试验;通过试验条件参数与结果数据的方差分析,得出了各相关因素对剩余速度影响作用的主次顺序;利用试验数据,对THOR方程进行了修正,提出了相应公式。     

印刷体文档中的数学公式识别方法综述

数学公式识别是将中文电子文档中包含的数学公式识别出来的方法.印刷体文档中的数学公式识别是由预处理,数学公式的抽取分割定位和结构分析识别3部分组成.主要介绍了目前数学公式识别的研究现状,并对已提出的各种成熟识别方法进行总结.     

抗关键词猜测的授权可搜索加密方案

大多数可搜索加密方案仅支持对单关键词集的搜索,且数据使用者不能迅速对云服务器返回的密文进行有效性判断,同时考虑到云服务器具有较强的计算能力,可能会对关键词进行猜测,且没有对数据使用者的身份进行验证。针对上述问题,该文提出一个对数据使用者身份验证的抗关键词猜测的授权多关键词可搜索加密方案。方案中数据使用者与数据属主给授权服务器进行授权,从而验证数据使用者是否为合法用户;若验证通过,则授权服务器利用授权信息协助数据使用者对云服务器返回的密文进行有效性检测;同时数据使用者利用服务器的公钥和伪关键词对关键词生成陷门搜索凭证,从而保证关键词的不可区分性。同时数据属主在加密时,利用云服务器的公钥、授权服务器的公钥以及数据使用者的公钥,可以防止合谋攻击。最后在随机预言机模型下证明了所提方案的安全性,并通过仿真实验验证,所提方案在多关键词环境下具有较好的效率。     

不规则地面低频地波传播预测方法的性能比较

对不规则地面低频地波传播预测中积分方程方法、Millington经验公式以及FDTD算法的性能进行了分析比较.首先介绍了三种方法的模型和理论;然后分别采用这几种方法预测了传播路径中有高斯形山脉时低频地波的场强和二次时延分布,对几种方法的优势、局限性及误差进行了比较分析.结果显示:在地形起伏较小的区域,积分方程方法和FDTD方法吻合较好,Millington方法不能反映地形起伏对地波传播影响规律;当地形起伏较大时,积分方程方法也不再适用,FDTD则可以在山前及山脉区域预测到由地形反射引起的振荡信号.     

基于SystemVerilog的SRAM控制器IP核验证

随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。     

基于FPGA的ARM SoC原型验证平台设计

基于FPGA的验证平台是SoC有效的验证途径,在流片前建立一个基于FPGA的高性价比的原型验证系统已成为SoC验证的重要方法。ARM嵌入式CPU是目前广泛应用的高性价比的RISC类型CPU核,文中主要描述了以FPGA为核心的ARM SoC验证系统的设计实现过程,并对SoC设计中的FPGA验证问题进行了分析和讨论。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。