stochastic process algebra based software process simulation modeling

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

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.

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].

运用减法杂交、差异筛选与信使RNA差别显示聚合酶链式反应克隆冬小麦春化相关基因

对于某些一年生或二年生高等植物，春化作用是诱导其成花的一个重要的环境因子。冬小麦春化进程中存在着一个核酸代谢的关键期，利用分子生物学技术分离特异表达的基因是研究春化诱导成花机理的一个突破口。 利用TRIzol试剂快速提取冬小麦燕大1817(Triticum aestivum L. cv Yanda 1817)未春化、春化4d、春化20d、5d脱春化的胚芽中的总RNA，去除污染的DNA后，将引物P_1(5'TTTTTTTTTTTCA3')、P_2(5'TTTTTTTTTTCC3')与10个碱基的随机引物OPF_1-OPF_(20)、OPG_1-OPG_(20)组成80个引物对，对不同来源的RNA进行差别显示，共显示了大约10,000种mRNA，结果发现了两个仅在春化20d这一关键期表达而在未春化、春化4d、5d脱春化时不表达的春化相关基因(VRG)VRG49与VRG54。Northern分析进一步表明这两个基因仅与春化20d的冬小麦RNA有杂交信号。将VRG49与VRG54亚克隆于pGEM-4Z载体上，利用T_7测序系统获得了VRG49和VRG54的DNA序列，它们的长度分别为307bp与169bp。 春化21d的冬小麦京冬1号(T. aestivum L. cv Jingdong No. 1)胚芽的mRNA在逆转酶作用下反转录成sscDNA杂交，将过量的未春化、脱春化的mRNA与sscDNA杂交，运用磁珠法分离出未杂交上的sscDNA，以特异的sscDNA为模板，用DNA聚合酷I合成了dscDNA。通过对dscDNA内部EcoRI位点的甲基化、末端补平、EcoRI接头的安装、连接进入λgt10载体的EcoRI位置，以及运用包装系统进行体外包装，建立了库容为4 * 10~6pfu的富集低温诱导的冬小麦cDNA噬菌体文库。用来源于未春化、春化21d、脱春化的冬小麦mRNA合成3种cDNA探针，对噬菌斑进行原位杂交，结果筛选出了3个春化相关基因(VRG)VRG79、VRG111和VRG231。Dot blotting与Northern分析表明VRG79仅在冬小麦春化关键期21d表达。运用PCR方法从λgt10DNA中扩增出VRG79片断并亚克隆于PUC18载体上，通过T_7测序系统获得了VGR79的序列，其包括349个碱基。 通过Internet将VRG49、VRG54、VRG79与GenBank、EMBL、DDBJ、PBD中的序列进行同源性分析，结果发现这些基因至少是在植物中新发现的基因，对这些基因推测的一些功能也进行了讨论。

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.

Diassociativity in Conjugacy Closed Loops

Let Q be a conjugacy closed loop, and N(Q) its nucleus. Then Z(N(Q)) contains all associators of elements of Q. If in addition Q is diassociative (i.e., an extra loop), then all these associators have order 2. If Q is power-associative and |Q| is finite and relatively prime to 6, then Q is a group. If Q is a finite non-associative extra loop, then 16 ∣ |Q|.

On a Certain Algebraic Property of Block Ciphers

This is a study on a certain group theoretic property of the set of encryption functions of a block cipher. We have shown how to construct a subset which has this property in a given symmetric group by a computer algebra software GAP4.2 (Groups, Algorithms, and Programming, Version 4.2). These observations on group structures of block ciphers suggest us that we may be able to set a trapdoor based on meet-in-the-middle attack on block ciphers.