Metric representation of DNA sequences

A metric representation of DNA sequences is borrowed from symbolic dynamics. In view of this method, the pattern seen in the chaos game representation of DNA sequences is explained as the suppression of certain nucleotide strings in the DNA sequences. Frequencies of short nucleotide strings and suppression of the shortest ones in the DNA sequences can be determined by using the metric representation.

On the invariant representation of spin tensors with applications

The invariant representation of the spin tensor defined as the rotation rate of a principal triad for a symmetric and non-degenerate tensor is derived on the basis of the general solution of a linear tensorial equation. The result can be naturally specified to study the. spin of the stretch tensors and to investigate the relations between various rotation rate tensors encountered frequently in modern continuum mechanics. A remarkable formula which relates the generalized stress conjugate to the generalized strain in Hill's sense. to Cauchy stress, is obtained in invariant form through the work conjugate principle. Particularly, a detailed discussion on the time rate of logarithmic strain and its conjugate stress is made as the principal axes of strain arc not fixed during deformation.

Classical correlated imaging from the perspective of coherent-mode representation

We use coherent-mode representation of partially coherent fields to analyze correlated imaging with classical light sources. This formalism is very useful to study the imaging quality. By decomposing the unknown object as the superposition of different coherent modes, the components corresponding to small eigenvalues cannot be well imaged. The generated images depend crucially on the distribution of the eigenvalues of the coherent-mode representation of the source and the decomposition coefficients of the objects. Three kinds of correlated imaging schemes are analyzed numerically.

Hit-or-miss representation of a pattern spectrum and its optical implementation

We demonstrate that a pattern spectrum can be decomposed into the union of hit-or-miss transforms with respect to a series of structure-element pairs. Moreover we use a Boolean-logic function to express the pattern spectrum and show that the Boolean-logic representation of a pattern spectrum is composed of hit-or-miss min terms. The optical implementation of a pattern spectrum is based on an incoherent optical correlator with a feedback operation. (C) 1996 Optical Society of America

Code conversion from signed-digit to complement representation based on look-ahead optical logic operations

We present, for the first time to our knowledge, a generalized lookahead logic algorithm for number conversion from signed-digit to complement representation. By properly encoding the signed-digits, all the operations are performed by binary logic, and unified logical expressions can be obtained for conversion from modified-signed-digit (MSD) to 2's complement, trinary signed-digit (TSD) to 3's complement, and quarternary signed-digit (QSD) to 4's complement. For optical implementation, a parallel logical array module using an electron-trapping device is employed and experimental results are shown. This optical module is suitable for implementing complex logic functions in the form of the sum of the product. The algorithm and architecture are compatible with a general-purpose optoelectronic computing system. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Series representation of the Gaussian beam far-field diffracted by annular aperture

Accurate, analytical series expressions for the far-field diffraction of it Gaussian beam normally incident on a circular and central obscured aperture are derived with the help of the integration of parts method. With this expression, the far-field intensity distribution pattern can be obtained and the divergence angle is deduced too. Using the first five items of the series, the accuracy can satisfy most laser application fields. Compared with the conventional numerical integral method, the series representation is very convenient for understanding the physical meanings. (C) 2007 Elsevier GmbH. All rights reserved.

Comparison between complex amplitude envelope representation and complex analytic signal representation in studying pulsed Gaussian beam

Analytic propagation expressions of pulsed Gaussian beam are deduced by using complex amplitude envelope representation and complex analytic signal representation. Numerical calculations are given to illustrate the differences between them. The results show that the major difference between them is that there exists singularity in the beam obtained by using complex amplitude envelope representation. It is also found that singularity presents near propagation axis in the case of broadband and locates far from propagation axis in the case of narrowband. The critical condition to determine what representation should be adopted in studying pulsed Gaussian beam is also given. (C) 2004 Elsevier B.V. All rights reserved.

Aging Affects the Neural Representation of Speed in Macaque Area MT

Human perception of speed declines with age. Much of the decline is probably mediated by changes in the middle temporal (MT) area, an extrastriate area whose neural activity is linked to the perception of speed. In the present study, we used random-dot pa

Characterization of entanglement transformation via group representation theory

Entanglement transformation of composite quantum systems is investigated in the context of group representation theory. Representation of the direct product group SL(2, C) circle times SL(2, C), composed of local operators acting on the binary composite system, is realized in the four-dimensional complex space in terms of a set of novel bases that are pseudo-orthonormalized. The two-to-one homomorphism is then established for the group SL(2, C) circle times SL(2, C) onto the SO(4, C). It is shown that the resulting representation theory leads to the complete characterization for the entanglement transformation of the binary composite system.

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

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.

上下文无关语言分析树的一种表示形式

介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而且进行结构匹配的速度快 .还介绍了这种分析树表示的实现技术 .

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.