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.

semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

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.

基于语义的Web服务匹配及其框架模型研究

随着Internet上异构应用系统的大量增加和SOA技术的空前发展，Web服务技术变得越来越重要，已经成为了学术界和工业界关注的热点。在Web服务技术中，服务发现为Web服务消费者调用Web服务提供者提供的服务提供了桥梁，起到非常重要的承接作用，成为了Web服务技术中的重点。目前的Web服务发现机制主要有两种，第一种是传统的Web服务发现方式，主要基于UDDI（Universal Description， Discovery and Integration）的纯粹关键字查找；第二种是基于Web服务的语义信息，进行Web服务间的语义匹配。 第一种方法的基础UDDI是国际标准，而且应用也最为广泛，但UDDI中对于Web服务的描述是基于语法的，而且缺乏Web服务所特有的I/O属性和服务质量属性等信息。第二种方法基于Web服务的语义信息，包括Web服务所特有的I/O属性，但因为缺乏灵活有效的Web服务匹配方法和与之对应的Web服务匹配框架，限制了其应用。 基于此，本文在对当前语义Web服务匹配技术分析和研究的基础上，对当前的语义Web服务匹配方法进行了改进，同时提出了基于过滤器（filter）的语义Web服务匹配框架模型。本文的主要工作有： 1）对目前的语义Web服务匹配技术进行了较为全面深入的探讨和综述。 2）对当前的语义Web服务匹配的各个阶段进行了详细的分析，对其中的匹配方法进行了改进。提出了基于向量空间模型(VSM)和TF-IDF(Term Frequency–Inverse Document Frequency)思想的本体权重的计算方法，本体层次关系图中边的权重的计算方法和本体之间相似度的计算方法。 3）提出了基于web服务黑盒属性的语义。 4）语义Web服务匹配框架方面，本文提出了基于filter的语义Web服务匹配框架，并将其延伸到非语义Web服务系统中。

A Simple, Universal Colorimetric Assay for Endonuclease/Methyltransferase Activity and Inhibition Based on an Enzyme-Responsive Nanoparticle System

An enzyme responsive nanoparticle system that uses a DNA-gold nanoparticle (AuNP) assembly as the substrate has been developed for the simple, sensitive, and universal monitoring of restriction endonucleases in real time. This new assay takes advantage of the palindromic recognition sequence of the restriction nucleases and the unique optical properties of AuNPs and is simpler than the procedure previously described by by Xu et al. (Angew. Chem. Int. Ed. Engl. 2007, 46, 3468-3470). Because it involves only one type of ssDNA modified AuNPs, this assay can be directed toward most of the endonucleases by simply changing the recognition sequence found within the linker DNA. In addition, the endonuclease activity could be quantitatively analyzed by the value of the reciprocal of hydrolysis half time (t(1/2)(-1). Furthermore, our new design could also be applied to the assay of methyltransferase activity since the methylation of DNA inhibits its cleavage by the corresponding restriction endonuclease, and thus, this new methodology can be easily adapted to high-throughput screening of methyltransferase inhibitors.