Degenerate four-wave-mixing signals from dc- and ac-driven semiconductor superlattice

Within the one-dimensional tight-binding model;rnd chi-3 approximation, we have calculated four-wave-mixing (FWM) signals for a semiconductor superlattice in the presence of both static and high-frequency electric fields. When the exciton effect is negligible, the time-periodic field dynamically delocalizes the otherwise localized Wannier-Stark states, and accordingly quasienergy band structures are formed, and manifest in the FWM spectra as a series of equally separated continua. The width of each continuum is proportional to the joint width of the valence and conduction minibands and is independent of the Wannier-Stark index. The realistic homogeneous broadening blurs the continua into broad peaks, whose line shapes, far from the Lorentzian, vary with the delay time in the FWM spectra. The swinging range of the peaks is just the quasienergy bandwidth. The dynamical delocalization (DDL) also induces significant FWM signals well beyond the excitation energy window. When the Coulomb interaction is taken into account, the unequal spacing between the excitonic Wannier-Stark levels weakens the DDL effect, and the FWM spectrum is transformed into groups of discrete lines. Strikingly, the groups are evenly spaced by the ac field frequency, reflecting the characteristic of the quasienergy states. The homogeneous broadening again smears out the line structures, leading to the excitonic FWM spectra quite similar to those without the exciton effect. However, all these features predicted by the dynamical theory do not appear in a recent experiment [Phys. Rev. Lett. 79, 301 (1997)], in which, by using the static approximation the observed Wannier-Stark ladder with delay-time-dependent spacing in the FWM spectra is attributed to a temporally periodic dipole field, produced by the Bloch oscillation of electrons in real space. The contradiction between the dynamical theory and the experiments is discussed. In addition, our calculation indicates that the dynamical localization coherently enhances the time-integrated FWM signals. The feasibility of using such a technique to study the dynamical localization phenomena is shown. [S0163-1829(99)10607-6].

Nanoelectronic Circuit Architectures Based on Single-Electron Turnstiles

Single-electron devices (SEDs) have ultra-low power dissipation and high integration density, which make them promising candidates as basic circuit elements of the next generation VLSI circuits. In this paper, we propose two novel circuit single-electron architectures: the single-electron simulated annealing algorithm (SAA) circuit and the single-electron cellular neural network (CNN). We used the MOSFET-based single-electron turnstile [1] as the basic circuit element. The SAA circuit consists of the voltage-controlled single-electron random number generator [2] and the single-electron multiple-valued memories (SEMVs) [3]. The random-number generation and variable variations in SAA are easily achieved by transferring electrons using the single-electron turnstile. The CNN circuit used the floating-gate single-electron turnstile as the neural synapses, and the number of electrons is used to represent the cells states. These novel circuits are promising in future nanoscale integrated circuits.

A novel ultra low power temperature sensor for UHF RFID tag chip

A novel ultra low power temperature sensor for UHF RFID tag chip is presented. The sensor consists of a constant pulse generator, a temperature related oscillator, a counter and a bias. Conversion of temperature to digital output is fulfilled by counting the number of the clocks of the temperature related oscillator in a constant pulse period. The sensor uses time domain comparing, where high power consumption bandgap voltage references and traditional ADCs are not needed. The sensor is realized in a standard 0.18 mu m CMOS process, and the area is only 0.2mm(2). The accuracy of the temperature sensor is +/- 1 degrees C after calibration. The power consumption of the sensor is only 0.9 mu W.

A novel low-power input-independent MOS AC/DC charge pump

This paper presents a novel fully integrated MOS AC to DC charge pump with low power dissipation and stable output for RFID applications. To improve the input sensitivity, we replaced Schottky-diodes in conventional charge pumps with MOS diodes with zero threshold, which has less process defects and is thus more compatible with other circuits. The charge pump in a RFID transponder is implemented in a 0.35um CMOS technology with 0.24 sq mm die size. The analytical model of the charge pump and the simulation results are presented.

Thermoelectric Cooling and Power Generation

In a typical thermoelectric device, a junction is formed from two different conducting materials, one containing positive charge carriers (holes) and the other negative charge carriers (electrons). When an electric current is passed in the appropriate direction through the junction, both types of charge carriers move away from the junction and convey heat away, thus cooling the junction. Similarly, a heat source at the junction causes carriers to flow away from the junction, making an electrical generator. Such devices have the advantage of containing no moving parts, but low efficiencies have limited their use to specialty applications, such as cooling laser diodes. The principles of thermoelectric devices are reviewed and strategies for increasing the efficiency of novel materials are explored. Improved materials would not only help to cool advanced electronics but could also provide energy benefits in refrigeration and when using waste heat to generate electrical power.

Linearization Method and Linear Complexity

We focus on the relationship between the linearization method and linear complexity and show that the linearization method is another effective technique for calculating linear complexity. We analyze its effectiveness by comparing with the logic circuit method. We compare the relevant conditions and necessary computational cost with those of the Berlekamp-Massey algorithm and the Games-Chan algorithm. The significant property of a linearization method is that it needs no output sequence from a pseudo-random number generator (PRNG) because it calculates linear complexity using the algebraic expression of its algorithm. When a PRNG has n [bit] stages (registers or internal states), the necessary computational cost is smaller than O(2n). On the other hand, the Berlekamp-Massey algorithm needs O(N2) where N ( 2n) denotes period. Since existing methods calculate using the output sequence, an initial value of PRNG influences a resultant value of linear complexity. Therefore, a linear complexity is generally given as an estimate value. On the other hand, a linearization method calculates from an algorithm of PRNG, it can determine the lower bound of linear complexity.

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误

求和生成器的相关性分析

J.Dj,Golic运用线性序列电路逼进的方法来分析具有任意个输入的求和生成器,他猜想可以通过这种方法来获得所有具有最大相关系数的输入和输出线性函数对,但是他未给出证明。利用Walsh变换技术证明了当n是偶数的时候这个猜想成立。另外,还研究了求和生成器的相关系数总和,发现它与带1比特组合器的相关系数总和非常类似。

钟控密钥流生成器及其密码性能

提出了一种新的钟控密钥流生成器,由3个移位寄存器组成:两个被钟控的线性反馈移位寄存器A和B,一个提供钟控信息的非线性反馈移位寄存器C。设A、B和C的长度分别为l1、l2和l3。移位寄存器A和B的钟控信息由从移位寄存器C选取的两个比特串提供,移位的次数分别是两个比特串的汉明重量。研究了该生成器的周期、线性复杂度和k错线性复杂度,分析了这种密钥流生成器的安全性。

一类密钥流生成器的相关分析

多输出逻辑函数是构造密码系统的重要工具,相关免疫性是设计安全逻辑函数的重要准则.该文利用一种较为简单的方法证明了多输出逻辑函数相关免疫性两种刻划的等价性.还对一类利用多输出逻辑函数相关免疫函数构造的密钥流生成器进行了相关性分析,证明了这种构造方法是不成立的,并不能达到构造者期望的相关免疫性,并且分别利用Walsh变换技术和线性序列电路逼近方法找出了这类密钥流生成器的漏洞,从而说明这类生成器在相关攻击下是脆弱的.

AC分组密码

本文推出了一个分组长度和密钥长度均为128bit的分组密码-AC（a cipher），它的整体结构是SP网络，加解密是相似的。AC分组密码的设计结合了宽轨迹策略和比特块技术，以确保算法对差分密码分析和线性密码分析的安全性。本文的目的是寻求公众对AC分组密码的测试、分析和评估。

AC分组密码的差分和线性密码分析

讨论AC分组密码对差分和线性密码分析的安全性，通过估计3轮AC的差分活动盒子的个数下界和12轮AC的线性活动盒子的个数下界，本文得到AC的12轮差分特征概率不大于2－128和线性逼近优势不大于2－67，因此，AC分组密码对差分和线性密码分析是安全的。

Fatty-acids and their C-13 signatures in seep carbonates from hydrocarbon seeps on the upper (GC 185) and lower (AC 645) continental slope of the Gulf of Mexico

Here we reported the fatty-acids and their δ 13C values in seep carbonates collected from Green Canyon lease block 185 (GC 185; Sample GC-F) at upper continental slope (water depth: ∼540 m), and Alaminos Canyon lease block 645 (GC 645; Sample AC-E) at lower continental slope (water depth: ∼2200 m) of the Gulf of Mexico. More than thirty kinds of fatty acids were detected in both samples. These fatty acids are maximized at C16. There is a clear even-over-odd carbon number predominance in carbon number range. The fatty acids are mainly composed of n-fatty acids, iso-/anteiso-fatty acids and terminally branched odd-numbered fatty acids (iso/anteiso). The low δ 13C values (−39.99‰ to.32.36‰) of n-C12:0, n-C13:0, i-C14:0and n-C14:0 suggest that they may relate to the chemosynthetic communities at seep sites. The unsaturated fatty acids n-C18:2 and C18:1Δ9 have the same δ 13C values, they may originate from theBeggiatoa/Thioploca. Unlike other fatty acids, the terminally branched fatty acids (iso/anteiso) show lowerδ 13C values (as low as −63.95‰) suggesting a possible relationship to sulfate reducing bacteria, which is common during anaerobic oxidation of methane at seep sites.

A new prototype of self-pressurizing fuel tank for micro and nano-satellites

To increase effective load, light-weight micro-propulsion system is necessary for micro-satellites. Traditional propulsion systems including large and heavy high-pressure vessels are difficult to be scaled down to fulfill the demand of micro-satellites. In this article, a novel self-pressurizing fuel tank without high-pressure gas vessel is proposed. When some liquid propellant is consumed, pressure is compensated with CO2 released by heating NH4HCO3 powder in the fuel tank. Comparing with other types of self-pressurizing liquid fuel tank, a gas generator with special and simple structure was designed to stop or continue the NH4HCO3 decomposition reaction easily, and consumed a small amount of energy to heat the powder effectively. Performance tests showed that this new prototype is very suitable for micro-thrusters.

CLIGEN非降水要素在黄土塬区的适用性评估

许多基于物理机制的水文和作物模型需要日序列气象数据来驱动,CLIGEN是为WEPP等模型产生气候输入文件的天气发生器,可以产生10个日序列气象变量来满足这种需要,但是其在中国的适用性需要进行评估。研究的目标是利用黄土高原陕西长武1957~2001年的气象数据评估CLIGEN产生非降水要素(最高温度、最低温度、露点温度、太阳辐射和风速)的能力。结果表明,CLIGEN对最高温度、最低温度和露点温度的模拟效果较好,对太阳辐射和极端气候事件的模拟效果较差,对风速的模拟效果最差。相关性检验表明CLIGEN很好地保持了气象要素的季节性,这对模拟农业生产是非常重要的;但是没有保留气象要素逐日的自相关和互相关性,进而导致产生的温度变化不符合连续渐变的规律。