Practical Criterion for Universal Laws and Practical Methods for Construction of Co-variance Sets

给出相对论力学中普遍定律的实用判别法和协变集的实用构造法,还给出实现非普遍定律的“可导出性”的一种实用方法．

Universal equilibrium range of turbulence

An attempt is made to determine the form of F(x), the dimensionless function of universal nature which occurs in the energy spectrum for the universal equilibrium range of fully developed turbulence, by the method of statistical mechanics without introducing any parameter of semiempirical nature. Then, the validity of the variational approach to the closure problem of turbulence theory is tested by applying it to the study of the universal equilbrium range of turbulence.

A universal Biot number determining the susceptibility of ceramics to quenching

A universal Biot number of ceramics, which not only determines the susceptibility of the ceramics to quenching but also indicates the duration that the ceramics fail during thermal shock, is theoretically obtained. The present analysis shows that the thermal shock failure of the ceramics with a Biot number greater than this universal value is a very rapid process that just occurs in the initial regime of the heat conduction of the ceramics. This universal Biot number provides a guide to the selection of the ceramics applying to the thermostructural engineering including thermal shock.

Universal quantum computation with trapped ions in thermal motion by adiabatic passage

We propose a universal quantum computation scheme for trapped ions in thermal motion via the technique of adiabatic passage, which incorporates the advantages of both the adiabatic passage and the model of trapped ions in thermal motion. Our scheme is immune from the decoherence due to spontaneous emission from excited states as the system in our scheme evolves along a dark state. In our scheme the vibrational degrees of freedom are not required to be cooled to their ground states because they are only virtually excited. It is shown that the fidelity of the resultant gate operation is still high even when the magnitude of the effective Rabi frequency moderately deviates from the desired value.

Universal Greenberger-Horne-Zeilinger-state analyzer based on two-photon polarization parity detection

We present a universal analyzer for the three-particle Greenberger-Horne-Zeilinger (GHZ) states with quantum nondemolition parity detectors and linear-optics elements. In our scheme, all of the three-photon GHZ states can be discriminated with nearly unity probability in the regime of weak nonlinearity feasible at the present state of the art experimentally. We also show that our scheme can be easily extended to the analysis of the multi-particle GHZ states.

Smart universal multiple-valued logic gates by transferring single electrons

This paper proposes smart universal multiple-valued (MV) logic gates by transferring single electrons (SEs). The logic gates are based on MOSFET based SE turnstiles that can accurately transfer SEs with high speed at high temperature. The number of electrons transferred per cycle by the SE turnstile is a quantized function of its gate voltage, and this characteristic is fully exploited to compactly finish MV logic operations. First, we build arbitrary MV literal gates by using pairs of SE turnstiles. Then, we propose universal MV logic-to-value conversion gates and MV analog-digital conversion circuits. We propose a SPICE model to describe the behavior of the MOSFET based SE turnstile. We simulate the performances of the proposed gates. The MV logic gates have small number of transistors and low power dissipations.

Compact universal logic gates realized using quantization of current in nanodevices

This paper proposes novel universal logic gates using the current quantization characteristics of nanodevices. In nanodevices like the electron waveguide (EW) and single-electron (SE) turnstile, the channel current is a staircase quantized function of its control voltage. We use this unique characteristic to compactly realize Boolean functions. First we present the concept of the periodic-threshold threshold logic gate (PTTG), and we build a compact PTTG using EW and SE turnstiles. We show that an arbitrary three-input Boolean function can be realized with a single PTTG, and an arbitrary four-input Boolean function can be realized by using two PTTGs. We then use one PTTG to build a universal programmable two-input logic gate which can be used to realize all two-input Boolean functions. We also build a programmable three-input logic gate by using one PTTG. Compared with linear threshold logic gates, with the PTTG one can build digital circuits more compactly. The proposed PTTGs are promising for future smart nanoscale digital system use.

function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

Universal Biot number determining stress duration and susceptibility of ceramic cylinders to quenching

A universal Biot number, which not only describes the susceptibility of ceramic cylinders to quenching but also determines the duration that ceramic cylinders are subjected to thermal stress during thermal shock, is theoretically obtained. The analysis proves that thermal shock failure of ceramic cylinders with a Biot number greater than the critical value is a rapid process, which only occurs in the initial heat conduction regime. The results provide a guide to the selection of ceramic materials for thermostructural engineering, with particular reference to thermal shock.