碳化硅肖特基器件多层金属化技术研究

碳化硅作为近年来迅速发展起来的一种宽禁带半导体材料,具有宽禁带、高击穿电场、高载流子饱和漂移速率、高热导率、高功率密度等优点,是制备大功率、高温、高频器件的理想材料.欧姆接触的实现是碳化硅器件制造工艺的关键.为保证欧姆接触的低接触电阻和高稳定性,基于对碳化硅材料金属化技术的理论分析,进行大量工艺实验,调整工艺参数,并进...     

防雷在新机场的应用

本文介绍广州新白云国际机场航站楼的建筑物防雷，建筑物防雷是建筑中比较常见的保护措施，而广州新白云国际机场建筑物的防雷，也有它的优点和特色。     

Static scheduling for barrier MIMD architectures

In a SIMD or VLIW machine, conceptual synchronizations are accomplished by using a static code schedule that does not require run-time synchronization. The lack of run-time synchronization overhead makes these machines very effective for fine-grain parallelism, but they cannot execute parallel code structures as general as those executed by MIMD architectures, and this limits their utility.In this paper we present a timing analysis that allows a compiler for a MIMD machine to eliminate a large fraction of the run-time synchronization by making efficient use of static code scheduling. Although these techniques can be adapted to be applied to most MIMD machines, this paper centers on the analysis and scheduling for barrier MIMD machines. Barrier MIMDs are asynchronous multiple instruction stream/multiple data stream architectures capable of parallel execution of variable execution-time instructions and arbitrary control flow (e.g., while loops and calls). However, they also incorporate a special hardware barrier synchronization mechanism that facilitates static scheduling by providing a mechanism which the compiler can use to enforce precise timing constraints. In other words, the compiler tracks relative timing between processors and uses static code scheduling until the timing imprecision becomes too large, at which point the compiler simply inserts a barrier to reduce that timing imprecision to zero (or a small constant).This paper describes new scheduling and barrier placement algorithms for barrier MIMDs that are based loosely on the list scheduling approach employed for VLIWs [Ellis 1985]. In addition, the experimental results from scheduling thousands of synthetic benchmark programs for a parameterized barrier MIMD machine are presented.     

基于移动无线传感器节点的栅栏覆盖研究

栅栏覆盖可用于入侵检测。研究具有有限移动能力的无线传感器节点在狭长区域中的栅栏覆盖问题。首先将狭长区域划分成网格,然后将移动节点和基准栅栏上的网格中心点构成二部图。基于二部图理论对1-栅栏覆盖问题进行数学描述,提出基于拍卖算法的1-栅栏覆盖算法(A1-BCA),并与基于匈牙利算法的栅栏覆盖算法进行性能比较。仿真结果表明A1-BCA算法在传感器节点较多时,优化性能好于匈牙利算法。     

TiO2薄膜敏感特性研究

利用ＭＯＣＶＤ工艺可制备得到锐钛矿型ＴｉＯ２薄膜,在其上溅射金属Ｐｔ并控制工艺流程的温度,Ｐｔ／ＴｉＯ２间将形成良好的金半整流接触。该Ｐｔ／ＴｉＯ２肖特基二极管在常温下表现出良好的气敏特性,响应时间短,对稳定环境中低分压气体浓度的变化反应灵敏。     

Exponential-Alpha Safety Criteria of a Class of Dynamic Systems With Barrier Functions

A classic kind of researches about the operational safety criterion for dynamic systems with barrier function can be roughly summarized as functional relationship, denoted by \begin{document}$\oplus $\end{document}, between the barrier function and its first derivative for time t, where \begin{document}$\oplus $\end{document} can be “=”, “\begin{document}$< $\end{document}”, or “\begin{document}$> $\end{document}”, etc. This article draws on the form of the stable condition expression for finite time stability to formulate a novel kind of relaxed safety judgement criteria called exponential-alpha safety criteria. Moreover, we initially explore to use the control barrier function under exponential-alpha safety criteria to achieve the control for the dynamic system operational safety. In addition, derived from the actual process systems, we propose multi-hypersphere methods which are used to construct barrier functions and improved them for three types of special spatial relationships between the safe state set and the unsafe state set, where both of them can be spatially divided into multiple subsets. And the effectiveness of the proposed safety criteria are demonstrated by simulation examples.     

High temperature field effect hydrogen and hydrocarbon gas sensors based on SiC MOS devices

The growing need for reliable, efficient, high temperature hydrogen and hydrocarbon monitoring has fueled research into novel structures for gas sensing. Metal oxide semiconductor (MOS) devices employing a catalytic metal layer have emerged as one of the leading sensing platforms for such applications, owing to their high sensitivity and inherent capability for signal amplification. The limited operating temperature of such devices employing silicon as the semiconductor has led research efforts to focus on replacing them with devices based on silicon carbide (SiC). More recently, MOS devices having different oxide layers exhibiting improved sensing performance have emerged. Considering the amount of research that has been carried out in this area in recent times, it is important to elucidate the new findings and the gas interaction mechanisms that have been ascribed to such devices, and bring together several theories proposed by different research groups. In this paper we first highlight the needs which have driven research into SiC based field effect hydrogen and hydrocarbon sensors, illustrate the various structures being investigated, and describe the device evolution and current status. We provide several sensing examples of devices that make use of different oxide layers and demonstrate how their electrical properties change in the presence of the gases, as well as presenting the hydrogen gas interaction mechanisms of these sensors.     

Barrier Lyapunov Functions for the control of output-constrained nonlinear systems

In this paper, we present control designs for single-input single-output (SISO) nonlinear systems in strict feedback form with an output constraint. To prevent constraint violation, we employ a Barrier Lyapunov Function, which grows to infinity when its arguments approach some limits. By ensuring boundedness of the Barrier Lyapunov Function in the closed loop, we ensure that those limits are not transgressed. Besides the nominal case where full knowledge of the plant is available, we also tackle scenarios wherein parametric uncertainties are present. Asymptotic tracking is achieved without violation of the constraint, and all closed loop signals remain bounded, under a mild condition on the initial output. Furthermore, we explore the use of an Asymmetric Barrier Lyapunov Function as a generalized approach that relaxes the requirements on the initial conditions. We also compare our control with one that is based on a Quadratic Lyapunov Function, and we show that our control requires less restrictive initial conditions. A numerical example is provided to illustrate the performance of the proposed control.     

基于相关性的同步优化算法

给出了一种基于数据相关图的同步优化算法，作为自动并行化编译器中的一个独立遍，利用并行化编译器对程序的相关性分析结果来实现编译时barrier同步优化。     

Fast and accurate pricing of discretely monitored barrier options by numerical path integration

Barrier options are financial derivative contracts that are activated or deactivated according to the crossing of specified barriers by an underlying asset price. Exact models for pricing barrier options assume continuous monitoring of the underlying dynamics, usually a stock price. Barrier options in traded markets, however, nearly always assume less frequent observation, e.g. daily or weekly. These situations require approximate solutions to the pricing problem. We present a new approach to pricing such discretely monitored barrier options that may be applied in many realistic situations. In particular, we study daily monitored up-and-out call options of the European type with a single underlying stock. The approach is based on numerical approximation of the transition probability density associated with the stochastic differential equation describing the stock price dynamics, and provides accurate results in less than one second whenever a contract expires in a year or less. The flexibility of the method permits more complex underlying dynamics than the Black and Scholes paradigm, and its relative simplicity renders it quite easy to implement.