基于可满足性问题的非对称密码方案设计

基于可满足性问题构造加密方案具有挑战性,关键是如何构造具有加密功能的难解的SAT合取范式,并将明文安全地隐藏在其中。文章首先改进了SRR(N,k,s)模型用以隐藏明文;其次,通过恰当选取约束密度值,保证密文的难解性;最后,证明方案满足选择明文攻击(IND-CPA)是安全的。     

高效率单相全桥零电流开关谐振极逆变器

为改善单相全桥逆变器的效率,提出了一种新型高效率单相全桥零电流开关谐振极逆变器拓扑结构.在桥臂上的辅助谐振电路参与换流的过程中,逆变器的开关器件可实现零电流软关断.当开关器件为绝缘栅双极型晶体管(Insulated Gate Bipolar Transistor,IGBT)时,IGBT实现零电流软关断可使其拖尾电流导致...     

半诚实模型下安全多方排序问题的研究

安全多方排序问题是百万富翁问题的推广问题,用于n个参与方在不泄漏各方秘密输入的前提下比较出其输入在全体输入中按照一定顺序所处的位置.本文首先提出了半诚实模型下基于同态加密的安全两方排序协议.然后将该协议推广到多方排序的情况,并提出两种提高效率的改进算法.最后本文还提出了基于模糊贴近度的安全多方排序协议,并对这几个协议的安全性和效率做了分析、比较.     

半无限规划的增广拉格朗日对偶理论

本文主要研究带有不等式约束的非凸半无限规划的对偶问题.众所周知,运用标准的拉格朗日函数构造对偶问题通常会存在对偶间隙,为了消除对偶间隙,我们构造一个增广拉格朗日函数,然后讨论对偶性.在合理的假设下,原问题与增广拉格朗日对偶问题之间的强对偶性成立.最后,通过一个算例对结果进行了验证.     

B~+注入隔离在宽禁带半导体中的应用

利用B~+离子注入实现宽禁带半导体的有源层隔离。通过Monte Carlo软件TRIM模拟,优化离子注入能量和剂量。在SiC MESFET中测量两组不同条件的样品及在GaN HEMT测量了三组同种条件的样品都得到了纳安级电流,表现了很好的隔离效果;通过测试表明离子注入隔离的器件相比台面隔离器件的击穿电压有一定程度提高。     

半圆环嵌套多频印刷天线

文章从多频天线的研究现状出发,提出了具有多频特性的半圆环嵌套天线,通过电磁仿真软件CST Microwave Studio？仿真研究了半圆环的外半径、宽度和嵌套数目对通频带的中心频率、带宽和通频带个数的影响;设计了可工作于24GHz、3．5GHz、5．2GHz以及5．8GHz四个频段的共面波导馈电的印刷单极子天线,在此基础上设计了平衡微带线馈电、以嵌套半圆环为辐射单元的对称振子天线,并制作了两种天线实物进行测试,实验结果与仿真吻合较好,验证了设计思路的正确性。     

半桥型LLC变换器稳态建模与参数设计

本文介绍了LLC型谐振变换器的主电路结构和工作原理。通过基波分析法对半桥型LLC谐振变换器进行稳态建模分析,得出了谐振腔的等效电路和直流增益表达式。基于稳态模型的基础上,给出了半桥型LLC谐振电容、谐振电感和励磁电感的设计方法。最后通过saber仿真验证了半桥型LLC谐振变换器稳态模型与参数设计方法的正确性。     

非相参多点源抗反辐射武器诱偏效果半实物辐射式仿真研究

简述了非相参多点源抗反辐射武器诱偏原理,提出了非相参多点源抗反辐射武器诱偏效果半实物仿真试验方法。通过对半实物仿真结果与理论分析、实弹打靶结果的比对分析,总结了试验方法对评估非相参多点源抗反辐射武器诱偏的有效性。     

线缆护层挤出方式及挤出模具的设计

在线缆制造过程中,线缆护层的挤出占据了十分重要的地位.线缆护层挤出方式以及挤出模具对挤出护层质量至关重要.目前挤出方式有很多种,但都是由三种基本挤出方式单独作用或组合而成.介绍了线缆的三种基本挤出方式的优缺点及其适用范围,以及挤出模具的设计原理,给出了部分材料的拉伸比和拉伸平衡比.并以挤管式模具设计为例,详细介绍了模具设计方法及其相关典型参数,最后简要介绍了模具的装配规则.     

基于FPGA的高速抽取过程的实现

下变频后的高速基带信号必须经过抽取后才能减轻后续基带处理的负担。多级抽取滤波有利于滤波器的实现。梳状滤波器用作多级抽取的首级，半带滤波器可以实现2倍的抽取，剩余的抽取滤波器用升幅FIR实现。针对各级滤波器系数的特点，在滤波器的硬件实现上采用了一系列简化方法。计算机仿真结果表明，用FPGA实现高速抽取系统是十分灵活有效的。