stochastic process algebra based software process simulation modeling

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

Preparation, characterization and quantized capacitance of 3-mercapto-1,2-propanediol monolayer protected gold nanoparticles

Monolayer protected gold nanoparticles (MPCs) are the focus of recent research for their stability and are deemed as the building blocks of bottom-up strategies. In this Letter, 3-mercapto-1,2-propanediol monolayer protected gold nanoparticles (MPD-MPCs) were synthesized and characterized by transmission electron microscopy, UV/Vis spectroscopy, X-ray photoelectron spectroscopy and Fourier transform infrared spectroscopy. The value of quantized double-layer capacitance (1.13 aF) of MPD-MPCs in aqueous media was obtained by differential pulse voltammograms.

3-Mercaptopropionic Acid Capped Gold Nanoclusters: Quantized Capacitance in Aqueous Media

3-Mercaptopropionic add monolayer protected gold nanoclusters (MPA-MPCs) were synthesized and characterized by transmission electron microscopy, UV-Vis spectroscopy, X-ray photoelectron spectroscopy and Fourier transform infrared spectroscopy. The exact value of quantized double-layer capacitance of MPCS in aqueous media was obtained by differential pulse voltammograms.

Studies of electrochemical quantized capacitance charging of surface ensembles of silver nanoparticles

CTAB-stabilized silver nanoparticles were synthesized by NaBH4 reduction. The as-prepared nanoparticles can be self-assembled on 3-mercaptopropionic acid (MPA) modified gold electrode, which was supported strongly by XPS measurements. Exceptional long-term stability of the as-prepared colloidal silver aqueous solution and the desorption of silver nanoparticle ensemble on MPA after alcohol rinsing proved that these CTAB molecules adsorbed on silver core formed interdigitated bilayer structure. DPV and differential capacitance measurements were performed to characterize the as-prepared silver nanoparticle ensemble. and the interesting quantized capacitance charging behaviors were observed.

Generalized rayleigh principle and its applications

In this paper, we mainly deal with cigenvalue problems of non-self-adjoint operator. To begin with, the generalized Rayleigh variational principle, the idea of which was due to Morse and Feshbach, is examined in detail and proved more strictly in mathematics. Then, other three equivalent formulations of it are presented. While applying them to approximate calculation we find the condition under which the above variational method can be identified as the same with Galerkin's one. After that we illustrate the generalized variational principle by considering the hydrodynamic stability of plane Poiseuille flow and Bénard convection. Finally, the Rayleigh quotient method is extended to the cases of non-self-adjoint matrix in order to determine its strong eigenvalne in linear algebra.

Two mechanisms for population inversion via two-colour coherent excitation in three-level systems

We analyse the physical origin of population inversion via continuous wave two-colour coherent excitation in three-level systems by dressing the inverted transition. Two different mechanisms are identified as being responsible for the population inversion. For V-configured systems and cascade (E) configured systems with inversion on the lower transition, the responsible mechanism is the selective trapping of dressed states, and the population inversion approaches the ideal value of 1. For Lambda-configured systems and Xi-configured systems with inversion on the upper transition, population inversion is based on the selective excitation of dressed states, with the population inversion tending towards 0.5. As the essential difference between these two mechanisms, the selective trapping of dressed states occurs in systems with strong decay into dressed states while the selective excitation appears in systems with strong decay out of dressed states.

Optical intrinsically fuzzy mathematical morphology for gray-scale image processing

Intrinsically fuzzy morphological erosion and dilation are extended to a total of eight operations that have been formulated in terms of a single morphological operation--biased dilation. Based on the spatial coding of a fuzzy variable, a bidirectional projection concept is proposed. Thus, fuzzy logic operations, arithmetic operations, gray-scale dilation, and erosion for the extended intrinsically fuzzy morphological operations can be included in a unified algorithm with only biased dilation and fuzzy logic operations. To execute this image algebra approach we present a cellular two-layer processing architecture that consists of a biased dilation processor and a fuzzy logic processor. (C) 1996 Optical Society of America

Logic-operated mathematical morphology and its optical implementation

A more powerful tool for binary image processing, i.e., logic-operated mathematical morphology (LOMM), is proposed. With LOMM the image and the structuring element (SE) are treated as binary logical variables, and the MULTIPLY between the image and the SE in correlation is replaced with 16 logical operations. A total of 12 LOMM operations are obtained. The optical implementation of LOMM is described. The application of LOMM and its experimental results are also presented. (C) 1999 Optical Society of America.

FUZZY SOLID SETS FOR MATHEMATICAL MORPHOLOGY AND OPTICAL IMPLEMENTATION

Fuzzy sets in the subject space are transformed to fuzzy solid sets in an increased object space on the basis of the development of the local umbra concept. Further, a counting transform is defined for reconstructing the fuzzy sets from the fuzzy solid sets, and the dilation and erosion operators in mathematical morphology are redefined in the fuzzy solid-set space. The algebraic structures of fuzzy solid sets can lead not only to fuzzy logic but also to arithmetic operations. Thus a fuzzy solid-set image algebra of two image transforms and five set operators is defined that can formulate binary and gray-scale morphological image-processing functions consisting of dilation, erosion, intersection, union, complement, addition, subtraction, and reflection in a unified form. A cellular set-logic array architecture is suggested for executing this image algebra. The optical implementation of the architecture, based on area coding of gray-scale values, is demonstrated. (C) 1995 Optical Society of America

Morphological ordered gray-scale erosion for optical image processing

An ordered gray-scale erosion is suggested according to the definition of hit-miss transform. Instead of using three operations, two images, and two structuring elements, the developed operation requires only one operation and one structuring element, but with three gray-scale levels. Therefore, a union of the ordered gray-scale erosions with different structuring elements can constitute a simple image algebra to program any combined image processing function. An optical parallel ordered gray-scale erosion processor is developed based on the incoherent correlation in a single channel. Experimental results are also given for an edge detection and a pattern recognition. (C) 1998 Society of Photo-Optical Instrumentation Engineers. [S0091-3286(98)00306-7].

On diagonal-Schur complements of block diagonally dominant matrices

It is known that the diagonal-Schur complements of strictly diagonally dominant matrices are strictly diagonally dominant matrices [J.Z. Liu, Y.Q. Huang, Some properties on Schur complements of H-matrices and diagonally dominant matrices, Linear Algebra Appl. 389 (2004) 365-380], and the same is true for nonsingular H-matrices [J.Z. Liu, J.C. Li, Z.T. Huang, X. Kong, Some properties of Schur complements and diagonal-Schur complements of diagonally dominant matrices, Linear Algebra Appl. 428 (2008) 1009-1030]. In this paper, we research the properties on diagonal-Schur complements of block diagonally dominant matrices and prove that the diagonal-Schur complements of block strictly diagonally dominant matrices are block strictly diagonally dominant matrices, and the same holds for generalized block strictly diagonally dominant matrices. (C) 2010 Elsevier Inc. All rights reserved.