双稳动力学系统中耦合效应对逻辑随机共振现象的增强作用

研究了电路耦合作用对逻辑随机共振现象以及逻辑门器件稳定性的影响．相对于单个的逻辑门电路,耦合的逻辑门器件可以在更宽的噪声范围内都保持逻辑运算的准确性,即耦合作用可以增强逻辑随机共振现象．此外,这种增强效应随着耦合体系尺度的增大而增大,但是当体系尺度达到一定程度时,这种增强作用达到一个稳定值．最后还考察了耦合强度的影响,发现随着耦合强度的增加,逻辑门器件可以保持逻辑运算准确性所对应的噪声区间非单调地改变,表现出一种共振的行为.     

核实验数据获取系统中的触发信号预处理

简要介绍了在核物理实验数据获取系统中,用FPGA芯片和VHDL语言实现对事件触发信号的预处理。阐述了在核物理实验数据获取系统中对事件触发信号的一般要求; 结合60Co伽马谱测量实验,介绍了基于一套自主研发的数据获取系统中触发信号的预处理,并给出了用VHDL语言实现该触发信号预处理的思想、仿真时序图和实验结果。该方法通过实验验证,证明切实可行,灵活性强。     

Multi-qubit controlled-NOT gates and Greenberger–Horne–Zeilinger state generation using one qubit simultaneously controlling n qubits

Based on superconducting flux qubits coupled to a superconducting resonator. We propose a scheme for implementing multi-qubit controlled-NOT (C-NOT) gates and Greenberger–Horne–Zeilinger (GHZ) state with one flux qubit simultaneously controlling on n qubits. It is shown that the resonator mode is initially in the vacuum state, a high fidelity for operation procedure can be obtained. In addition, the gate operation time is independent of the number of the qubits, and can be controlled by adjusting detuning and coupling strengths. We also analyze the experimental feasibility that the conditions of the large detuning can be achieved by adjusting frequencies of the resonator and pulses.     

The influence and explanation of fringing-induced barrier lowering on sub-100 nm MOSFETs with high-k gate dielectrics

The fringing-induced barrier lowering(FIBL) effect of sub-100 nm MOSFETs with high-k gate dielectrics is investigated using a two-dimensional device simulator.An equivalent capacitance theory is proposed to explain the physics mechanism of the FIBL effect.The FIBL effect is enhanced and the short channel performance is degraded with increasing capacitance.Based on equivalent capacitance theory,the influences of channel length,junction depth,gate/lightly doped drain(LDD) overlap length,spacer material and spacer width on FIBL is thoroughly investigated.A stack gate dielectric is presented to suppress the FIBL effect.     

Tableau method for residuated logic

Residuated logic is a generalization of intuitionistic logic, which does not assume the idempotence of the conjunction operator. Such generalized conjunction operators have proved important in expert systems (in the area of Approximate Reasoning) and in some areas of Theoretical Computer Science. Here we generalize the intuitionistic tableau procedure and prove that this generalized tableau method is sound for the semantics (the class of residuated algebras) of residuated propositional calculus (RPC). Since the axioms of RPC are complete for the semantics we may conclude that whenever a formula 0 is tableau provable, it is deducible in RPC. We present two different approaches for constructing residuated algebras which give us countermodels for some formulas φ which are not tableau provable. The first uses the fact that the theory of residuated algebras is equational, to construct quotients of free algebras. The second uses finite algebras. We end by discussing a number of open questions.     

模型论逻辑与理论计算机科学

近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义模型论）则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系．本文从抽象逻辑的观点出发．介绍模型论中与计算机科学（ＣＳ）密切相关的若干概念及其应用．特别是广义的有限模型论，它在ＣＳ的刺激下于８０年代形成并急速发展起来，已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用．     

Complete Analysis of Four-Photon χ-Type Entangled State via Cross-Kerr Nonlinearity

We propose an efficient method to construct an optical four-photon |χ> state analyzer via the cross-Kerr nonlinearity combined with linear optical elements. In this protocol, two four-qubit parity-check gates and two controlled phase gates are employed. We show that all the 16 orthogonal four-qubit |χ> states can be completely discriminated with our apparatus. The scheme is feasible and realizable with current technology. It may have useful potential applications in quantum information processing which based on |χ> state.     

基于FPGA的激光测速仪信号处理方案设计与实现

为满足高动态环境下的激光多普勒测速仪信号处理需要,提出了一种基于现场可编程门阵列（FPGA）的激光测速仪信号处理方案。在FPGA内部完成全部信号处理的内容,利用快速傅里叶变换（FFT）算法得到信号的频谱,利用能量重心法对离散频谱进行校正,开发采样频率自适应算法,兼顾测量准确度与测量范围的要求,最后将结果通过通用串行总线上传个人计算机显示。程序采用流水线方式设计,提高信号处理速度。经过实验验证,数据更新率达到2.4~24 kHz, 数据延迟时间为123~1230 s,测量准确度优于810-4,测量稳定度优于2.510-7。     

单轴应变硅N沟道金属氧化物半导体场效应晶体管电容特性模型

电容特性模型是单轴应变硅金属氧化物半导体场效应晶体管(Si MOSFET)和电路进行瞬态分析、交流小信号分析、噪声分析等的重要基础. 本文首先建立了单轴应变Si NMOSFET 的16 个微分电容模型, 并将微分电容的仿真结果与实验结果进行了比较, 验证了所建模型的正确性. 同时对其中的关键性栅电容C_gg 与应力强度、偏置电压、沟道长度、栅极掺杂浓度等的关系进行了分析研究. 结果表明, 与体硅器件相比, 应变的引入使得单轴应变Si NMOSFET器件的栅电容增大, 随偏置电压、沟道长度、栅极掺杂浓度的变化趋势保持不变.     

量子计算机

简要介绍了量子计算机的基本概念及实验方案。