Parallel optical negabinary arithmetic based on logic operations

On the basis of signed-digit negabinary representation, parallel two-step addition and one-step subtraction can be performed for arbitrary-length negabinary operands.; The arithmetic is realized by signed logic operations and optically implemented by spatial encoding and decoding techniques. The proposed algorithm and optical system are simple, reliable, and practicable, and they have the property of parallel processing of two-dimensional data. This leads to an efficient design for the optical arithmetic and logic unit. (C) 1997 Optical Society of America.

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

The Intelligent Measuring Sub-System in the Computer Integrated and Flexible Laser Processing System

Based on the computer integrated and flexible laser processing system, develop the intelligent measuring sub-system. A novel model has been built to compensate the deviations of the main frame, a new-developed 3-D laser tracker system is applied to adjust the accuracy of the system. Analyzing the characteristic of all kinds of automobile dies, which is the main processing object of the laser processing system, classify the types of the surface and border needed to be measured and be processed. According to different types of surface and border, develop 2-D adaptive measuring method based on B?zier curve and 3-D adaptive measuring method based on spline curve. During the data processing, a new 3-D probe compensation method has been described in details. Some measuring experiments and laser processing experiments are carried out to testify the methods. All the methods have been applied in the computer integrated and flexible laser processing system invented by the Institute of Mechanics, CAS.

Classified one-step modified signed-digit arithmetic and its optical implementation

Based on the two-step modified signed-digit (MSD) algorithm, we present a one-step algorithm for the parallel addition and subtraction of two MSD numbers. This algorithm is reached by classifying the three neighboring digit pairs into 10 groups and then making a decision on the groups. It has only a look-up truth table, and can be further formulated by eight computation rules. A joint spatial encoding technique is developed to represent both the input data and the computation rules. Furthermore, an optical correlation architecture is suggested to implement the MSD adder in parallel. An experimental demonstration is also given. (C) 1996 Society of Photo-Optical instrumentation Engineers.

Novel bipolar conjugated polymer containing both triphenylamine and oxadizole units

A novel bipolar conjugated polymer containing triphenylamine and 1, 3, 4-oxadiazole units was synthesized by Suzuki reaction. Its structure and properties were characterized by NMR, IR, UV-Vis, PL spectroscopy and electrochemical measurement. The photo luminescent spectroscopy and cyclic voltammograms measurement demonstrated that the resulting polymer shows blue emission (477 nm) and possesses both electron and hole-transporting property.

Novel blue light-emitting PPV-based copolymer containing triazole and carbazole units

A novel alternating conjugated copolymer containing triazole and carbazole units was synthesized by the Wittig reaction. The resulting bipolar conjugated polymer emits a pure light with good thermal stability, which is a promising candidate for polymer light emitting display.

Synthesis and characterization of novel bipolar PPV-based copolymer containing triazole and carbazole units

Two new blue light-emitting PPV-based conjugated copolymers containing both an electron-withdrawing unit (triazole-TAZ) and electron-rich moieties (carbazole-CAR and bicarbazole-BCAR) were prepared by Wittig condensation polymerization between the triazole diphosphonium salt and the corresponding dialdehyde monomers. Their structures and properties were characterized by FT-IR, TGA, DSC, UV-Vis, PL spectroscopy and electrochemical measurements. The resulting copolymers are soluble in common organic solvents and thermally stable with a T-g of 147degreesC for TAZ-CAR-PPV and of 157degreesC for TAZ-BCAR-PPV. The maximum photoluminescence wavelengths of TAZ-CAR-PPV and TAZ-BCAR-PPV film appear at 460 nm and 480 nm, respectively. Cyclic voltammetry measurement demonstrates that TAZ-BCAR-PPV has good electrochemical reversibility, while TAZ-CAR-PPV exhibits the irreversible redox process. The triazole unit was found to be an effective pi-conjugation interrupter and can play the rigid spacer role in determining the emission colour of the resulting copolymer.

Domain decomposition hybrid method for numerical simulation of bluff body flows:theoretical model and application

The discrete vortex method is not capable of precisely predicting the bluff body flow separation and the fine structure of flow field in the vicinity of the body surface. In order to make a theoretical improvement over the method and to reduce the difficulty in finite-difference solution of N-S equations at high Reynolds number, in the present paper, we suggest a new numerical simulation model and a theoretical method for domain decomposition hybrid combination of finite-difference method and vortex method. Specifically, the full flow. field is decomposed into two domains. In the region of O(R) near the body surface (R is the characteristic dimension of body), we use the finite-difference method to solve the N-S equations and in the exterior domain, we take the Lagrange-Euler vortex method. The connection and coupling conditions for flow in the two domains are established. The specific numerical scheme of this theoretical model is given. As a preliminary application, some numerical simulations for flows at Re=100 and Re-1000 about a circular cylinder are made, and compared with the finite-difference solution of N-S equations for full flow field and experimental results, and the stability of the solution against the change of the interface between the two domains is examined. The results show that the method of the present paper has the advantage of finite-difference solution for N-S equations in precisely predicting the fine structure of flow field, as well as the advantage of vortex method in efficiently computing the global characteristics of the separated flow. It saves computer time and reduces the amount of computation, as compared with pure N-S equation solution. The present method can be used for numerical simulation of bluff body flow at high Reynolds number and would exhibit even greater merit in that case.

Digitized Processing Track Generation of a Computer Integrated Multi-Functional 5-Axis Laser Processing System

Based on the computer integrated and flexible laser processing system, an intelligent measuring sub-system was developed. A novel model has been built up to compensate the deviations of the main frame-structure, and a new 3-D laser tracker system is applied to adjust the accuracy of the system. To analyze the characteristic of all kind surfaces of automobile outer penal moulds and dies, classification of types of the surface、brim and ridge(or vale) area to be measured and processed has been established, resulting in one of the main processing functions of the laser processing system. According to different type of surfaces, a 2-D adaptive measuring method based on B?zier curve was developed; furthermore a 3-D adaptive measuring method based on Spline curve was also developed. According to the laser materials processing characteristics and data characteristics, necessary methods have been developed to generate processing tracks, they are explained in details. Measuring experiments and laser processing experiments were carried out to testify the above mentioned methods, which have been applied in the computer integrated and flexible laser processing system developed by the Institute of Mechanics, CAS.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

A reliable phase unwrapping algorithm based on the local fitting plane and quality map

A fast and reliable phase unwrapping (PhU) algorithm, based on the local quality-guided fitting plane, is presented. Its framework depends on the basic plane-approximated assumption for phase values of local pixels and on the phase derivative variance (PDV) quality map. Compared with other existing popular unwrapping algorithms, the proposed algorithm demonstrated improved robustness and immunity to strong noise and high phase variations, given that the plane assumption for local phase is reasonably satisfied. Its effectiveness is demonstrated by computer-simulated and experimental results.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

Characterization and Comparison of the Tissue-Related Modules in Human and Mouse

Background: Due to the advances of high throughput technology and data-collection approaches, we are now in an unprecedented position to understand the evolution of organisms. Great efforts have characterized many individual genes responsible for the interspecies divergence, yet little is known about the genome-wide divergence at a higher level. Modules, serving as the building blocks and operational units of biological systems, provide more information than individual genes. Hence, the comparative analysis between species at the module level would shed more light on the mechanisms underlying the evolution of organisms than the traditional comparative genomics approaches. Results: We systematically identified the tissue-related modules using the iterative signature algorithm (ISA), and we detected 52 and 65 modules in the human and mouse genomes, respectively. The gene expression patterns indicate that all of these predicted modules have a high possibility of serving as real biological modules. In addition, we defined a novel quantity, "total constraint intensity,'' a proxy of multiple constraints (of co-regulated genes and tissues where the co-regulation occurs) on the evolution of genes in module context. We demonstrate that the evolutionary rate of a gene is negatively correlated with its total constraint intensity. Furthermore, there are modules coding the same essential biological processes, while their gene contents have diverged extensively between human and mouse. Conclusions: Our results suggest that unlike the composition of module, which exhibits a great difference between human and mouse, the functional organization of the corresponding modules may evolve in a more conservative manner. Most importantly, our findings imply that similar biological processes can be carried out by different sets of genes from human and mouse, therefore, the functional data of individual genes from mouse may not apply to human in certain occasions.