基于虚拟仪器的差分功耗分析攻击平台

差分功耗分析攻击利用嵌入式加密系统功耗泄漏信号来获取加密系统密钥,将穷举问题转化为数据采集、处理问题.在对DES加密嵌入式系统攻击实验中,基于虚拟仪器的差分功耗分析平台令差分功耗分析攻击的数据采集过程由虚拟仪器应用程序控制进行,而后再对采集的功耗进行分析,能够快速、准确地找到加密系统密钥.较传统的穷举攻击而言,减少了消耗的时间和成本.     

SPS烧结M42粉末冶金高速钢的显微组织与性能

采用放电等离子烧结技术(SPS)制备了M42粉末冶金高速钢,研究了SPS烧结M42粉末冶金高速钢及其热处理后的显微组织与性能。结果表明:与普通粉末冶金高速钢相比,SPS烧结制备的M42粉末冶金高速钢显微组织均匀、晶粒细小、无碳化物偏析。经过在1180℃×5min×550℃×1h的热处理后,硬度比普通粉末冶金高速钢提高1～2HRC。     

The influence of temperature, pressure, salinity and capillary force on the formation of methane hydrate

We present here a thermodynamic model for predicting multi-phase equilibrium of methane hydrate liquid and vapor phases under conditions of different temperature, pressure, salinity and pore sizes. The model is based on the 1959 van der Waals-Platteeuw model, angle-dependent ab initio inter- molecular potentials, the DMW-92 equation of state and Pitzer theory. Comparison with all available experimental data shows that this model can accurately predict the effects of temperature, pressure, salinity and capillary radius on the formation and dissociation of methane hydrate. Online calculations of the p-T conditions for the formation of methane hydrate at given salinities and pore sizes of sediments are available on: www.geochem-model.org/models.htm.     

Extension of the applicable range of the implicit curve-fitting method for refrigerant thermodynamic properties to critical pressure

The method of implicit curve-fitting and explicit-calculation has been used for fast and stable calculations of thermodynamic properties of subcritical refrigerants. In order to extend that method to the critical pressure, a method of sectional implicit curve-fitting and explicit-calculation for refrigerant thermodynamic properties is introduced in this paper. The whole data range is divided into several subsections. The requirements on the continuity of thermodynamic properties and the first order derivative of thermodynamic properties in the intersection points of subsections are indicated, and the methods to meet the requirements are presented. Quadric equations are constructed instead of curve-fitting when no data can be given. With the source data obtained from REFPROP 7.1, explicit fast calculation formulae for thermodynamic properties of R410A, covering the saturated temperature of 213.15–344.51 K and superheat of 0–65 K, are given as an example. The calculation speeds of the formulae of R410A are more than 7000 times faster than those of REFPROP 7.1 while the total mean relative deviation of the fast calculation formulae from REFPROP 7.1 is only 0.04%.     

有色合金电子束焊接的发展状况

随着有色合金的广泛应用,其焊接这种连接方法也愈加重要,其中的电子束焊接与传统的焊接工艺相比,具有不可替代的特点和优势。结合近年来国内外电子束焊接的研究,着重介绍了镁、铝、钛、镍基、铜合金的电子束焊接的研究现状,并展望了有色合金电子束焊接的发展趋势与研究方向。     

Effect of carrier screening on ZnO-based resistive switching memory devices

The carrier screening effect occurs commonly in dielectric materials. It reduces the electric potential gradient, thus negatively affecting the functionality of resistive random access memory (RRAM) devices. An Au/ZnO film/Al-doped ZnO device fabricated in this work exhibited no resistive switching (RS), which was attributed to the carrier screening effect. Therefore, annealing was used for alleviating the screening effect, significantly enhancing the RS property. In addition, different on/off ratios were obtained for various bias values, and the screening effect was accounted for by investigating electron transport mechanisms. Furthermore, different annealing temperatures were employed to modulate the free carrier concentration in ZnO films to alleviate the screening effect. The maximal on/off ratio reached 10⁵ at an annealing temperature of 600 °C, yielding the lowest number of free carriers and the weakest screening effect in ZnO films. This work investigates the screening effect in RS devices. The screening effect not only modulates the characteristics of memory devices but also provides insight into the mechanism of RS in these devices.

Open image in new window

     

NMOB与花生酸的组装多层膜及其非线性光学性质

利用与花生酸交替的方法，制备了2－硝基－5（N－甲基－N－十八烷基）氨基苯甲酸（NMOB）非中心对称多层膜，研究了它的非线性光学性质，结果表明，该多层膜的二次谐波强度与NMOB层数平方基本成正比。X－射线小角衍射测定结果再次表明，多层膜的排列相当有序，NMOB单层膜厚度为2．76nm.NMOB有良好的二阶非线性光学性质和出色的成膜性质，是一种很好的非线光学LB膜材料，可望用于制作光波导。     

A formal architectural model for logical agent mobility

The process of agent migration is the major difference between logical code mobility of software agents and physical mobility of mobile nodes in ad hoc networks. Without considering agent transfer, it would make little sense to mention the modeling of strong code mobility, which aims to make a migrated agent restarted exactly from the state when it was stopped before migration. From the perspective of system's architecture, this paper proposes a two-layer approach for the formal modeling of logical agent mobility (LAM) using predicate/transition (PrT) nets. We view a mobile agent system as a set of agent spaces and agents could migrate from one space to another. Each agent space is explicitly abstracted to be a component, consisting of an environmental part and an internal connector dynamically binding agents with their environment. We use a system net, agent nets, and a connector net to model the environment, agents, and the connector, respectively. In particular, agent nets are packed up as parts of tokens in system nets, so that agent transfer and location change are naturally captured by transition firing (token game) in Petri nets. Agent nets themselves are active only at specific places and disabled at all the other places in a system net. The semantics of such a two-layer LAM model is defined by transforming it into a PrT net. This facilitates the analysis of several properties about location, state, and connection. In addition, this paper also presents a case study of modeling and analyzing an information retrieval system with mobile agents.     

Ultra-thin Body Buried In0.35Ga0.65As Channel MOSFETs with Extremely Low Off-current on Si Substrates

In this paper, we investigated the electrical properties of the Metal-oxide-semiconductor gate stack of Ti/Al2O3/InP under different annealing conditions. A min...