CRM型对称函数及其逻辑综合

逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.     

互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

一种基于模型检查的入侵检测方法

在分析系统行为以及其动作序列的语义的基础上，利用时序逻辑公式描述攻击特征，提出了一种基于模型检查的入侵检测方法，该方法解决了检测中的重复验证等问题，通过增加推理链的长度约束，引入时序算子处理统计攻击，从而优化了入侵检测过程。     

高频电容器充电电源绝缘栅双极晶体管吸收电路

 高频化是提升电源功率密度的有效方法。为了保护高频电容器充电电源中的开关器件,以串联谐振式电容器充电电源为基础,研究了绝缘栅双极晶体管(IGBT)尖峰电压的产生机理及影响因素。介绍了几种抑制尖峰电压的方法,着重分析了IGBT吸收电路的基本原理,并进行了参数设计。结合仿真软件,对吸收电路的参数进行了优化,将仿真结果和40 kW,50 kHz电容器充电电源样机的实验结果进行对比,验证了提出方案的可行性。     

Mechanism of single-event transient pulse quenching between dummy gate isolated logic nodes

As integrated circuits scale down in size,a single high-energy ion strike often affects multiple adjacent logic nodes.The so-called single-event transient(SET)pulse quenching induced by single-event charge sharing collection has been widely studied.In this paper,SET pulse quenching enhancement is found in dummy gate isolated adjacent logic nodes compared with that isolated by the common shallow trench isolation(STI).The physical mechanism is studied in depth and this isolation technique is explored for SET mitigation in combinational standard cells.Three-dimensional(3D)technology computer-aided design simulation(TCAD)results show that this technique can achieve efficient SET mitigation.     

一种红外搜索系统中弱小目标自适应检测算法

为解决红外搜索系统中场景起伏造成的背景预测不准确这一问题,提出了一种自适应调整的空间滤波方法。该算法在估计背景的同时,对背景残差进行计算,根据残差值调整滤波参数,使背景残差趋于最小,以适应背景的起伏。当背景包含较多复杂因素时,不利于目标提取,多尺度形态学算子通过不同尺度不同形态的结构体参与计算,可以全面地估计背景,进一步抑制背景残差,再通过计算图像全局阈值,自适应分割出潜在目标。采用并行运算,可将算法实现于现场可编程器件(FPGA)上。试验结果表明:即使当场景较复杂,场景信噪比较低时,依然可以使处理后的图像信噪比大于3,从而可显著提高红外搜索系统的检测概率,实现弱小目标的检测。     

混沌时间序列的模糊神经网络预测

设计一种新型混合模糊神经推理系统，该系统仅从期望输入输出数据集即可达到获取知识、确定模糊初始规则基的目的.再利用神经网络学习能力便不难修改规则库中的模糊规则以及隶属函数和网络权值等参数，这样大大减少了规则匹配过程，加快了推理速度，从而极大程度地提高了系统的自适应能力.用它对Mackey-Glass混沌时间序列进行预测试验,结果表明利用该网络模型无论离线还是在线学习均能对Mackey-Glass混沌时间序列进行准确的预测，证明了该系统的有效性. 关键词： 神经网络模型 模糊逻辑 混合推理系统 混沌时间序列     

利用单个三粒子最大GHZ态或两个EPR态隐形传送任意三粒子GHZ态

提出利用单个三粒子最大Greenberger-Horne-Zeilinger (GHZ)态或两个Einstein-Podolsky-Rosen (EPR)态作为量子信道确定性隐形传送任意三粒子GHZ态的两个方案，并将方案推广至隐形传送任意n(n≥4)粒子GHZ态的情况.讨论了量子信道受噪声影响时隐形传态的保真度.研究发现，当作为量子信道的单个三粒子最大GHZ态受到噪声影响时，隐形传态的保真度仅与量子信道的纠缠度有关，而当作为量子信道的两个EPR态受到噪声影响时，隐形传态的保真度不仅与量子信道的纠缠度有关，还与待传送态的纠缠度有关.所提出的方案具有节省量子信道纠缠资源的特点. 关键词： 隐形传态 三粒子Greenberger-Horne-Zeilinger态 量子逻辑门 保真度     

Analytical model including the fringing-induced barrier lowering effect for a dual-material surrounding-gate MOSFET with a high-κ gate dielectric

By solving Poisson’s equation in both semiconductor and gate insulator regions in the cylindrical coordinates, an analytical model for a dual-material surrounding-gate (DMSG) metal–oxide semiconductor field-effect transistor (MOSFET) with a high-κ gate dielectric has been developed. Using the derived model, the influences of fringing-induced barrier lowering (FIBL) on surface potential, subthreshold current, DIBL, and subthreshold swing are investigated. It is found that for the same equivalent oxide thickness, the gate insulator with high-κ dielectric degrades the short-channel performance of the DMSG MOSFET. The accuracy of the analytical model is verified by the good agreement of its results with that obtained from the ISE three-dimensional numerical device simulator.