on lin-bose problem

This paper study generalized Serre problem proposed by Lin and Bose in multidimensional system theory context [Multidimens. Systems and Signal Process. 10 (1999) 379; Linear Algebra Appl. 338 (2001) 125]. This problem is stated as follows. Let F ∈ Al×m be a full row rank matrix, and d be the greatest common divisor of all the l × l minors of F. Assume that the reduced minors of F generate the unit ideal, where A = K[x 1,...,xn] is the polynomial ring in n variables x 1,...,xn over any coefficient field K. Then there exist matrices G ∈ Al×l and F1 ∈ A l×m such that F = GF1 with det G = d and F 1 is a ZLP matrix. We provide an elementary proof to this problem, and treat non-full rank case.

传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

Four-dimensional Newton's constant in brane world with a sloping extra dimension

We show the four-dimensional Newton's constant obtained naturally from five-dimensional brane world with a tinily sloping extra dimension, which is independent of the bulk Weyl tensor. The corresponding universe is stiff fluid dominated when the slope of extra dimension is very small. Otherwise, the universe may be undergoing a self-acceleration at present epoch and have a decelerated phase in very recent past.

BRST quantization and canonical Ward identity of the supersymmetric electromagnetic interaction system

According to the method of path integral quantization for the canonical constrained system in Becchi-Rouet-Stora-Tyutin scheme, the supersymmetric electromagnetic interaction system was quantized. Both the Hamiltonian of the supersymmetric electromagnetic interaction system in phase space and the quantization procedure were simplified. The BRST generator was constructed, and the BRST transformations of supersymmetric fields were gotten; the effective action was calculated, and the generating functional for the Green function was achieved; also, the gauge generator was constructed, and the gauge transformation of the system was obtained. Finally, the Ward-Takahashi identities based on the canonical Noether theorem were calculated, and two relations between proper vertices and propagators were obtained.

Holographic dual of linear dilaton black hole in Einstein-Maxwell-dilaton-axion gravity

Motivated by the recently proposed Kerr/CFT correspondence, we investigate the holographic dual of the extremal and non-extremal rotating linear dilaton black hole in Einstein-Maxwell-Dilaton-Axion Gravity. For the case of extremal black hole, by imposing the appropriate boundary condition at spatial infinity of the near horizon extremal geometry, the Virasoro algebra of conserved charges associated with the asymptotic symmetry group is obtained. It is shown that the microscopic entropy of the dual conformal field given by Cardy formula exactly agrees with Bekenstein-Hawking entropy of extremal black hole. Then, by rewriting the wave equation of massless scalar field with sufficient low energy as the SLL(2, R) x SLR(2, R) Casimir operator, we find the hidden conformal symmetry of the non-extremal linear dilaton black hole, which implies that the non-extremal rotating linear dilaton black hole is holographically dual to a two dimensional conformal field theory with the non-zero left and right temperatures. Furthermore, it is shown that the entropy of non-extremal black hole can be reproduced by using Cardy formula.

Topological structure of the solitons solution in SU(3) Dunne-Jackiw-Pi-Trugenberger model

By using phi-mapping topological current theory and gauge potential decomposition, we discuss the self-dual equation and its solution in the SU(N) Dunne-Jackiw-Pi-Trugenberger model and obtain a new concrete self-dual equation with a 6 function. For the SU(3) case, we obtain a new self-duality solution and find the relationship between the soliton solution and topological number which is determined by the Hopf index and Brouwer degree of phi-mapping. In our solution, the flux of this soliton is naturally quantized.

State-to-state dynamics of elementary chemical reactions using Rydberg H-atom translational spectroscopy

In this review, a few examples of state-to-state dynamics studies of both unimolecular and bimolecular reactions using the H-atom Rydberg tagging TOF technique were presented. From the H2O photodissociation at 157 nm, a direction dissociation example is provided, while photodissociation of H2O at 121.6 has provided an excellent dynamical case of complicated, yet direct dissociation process through conical intersections. The studies of the O(D-1) + H-2 --> OH+H reaction has also been reviewed here. A prototype example of state-to-state dynamics of pure insertion chemical reaction is provided. Effect of the reagent rotational excitation and the isotope effect on the dynamics of this reaction have also been investigated. The detailed mechanism for abstraction channel in this reaction has also been closely studied. The experimental investigations of the simplest chemical reaction, the H-3 system, have also been described here. Through extensive collaborations between theory and experiment, the mechanism for forward scattering product at high collision energies for the H+HD reaction was clarified, which is attributed to a slow down mechanism on the top of a quantized barrier transition state. Oscillations in the product quantum state resolved different cross sections have also been observed in the H+D-2 reaction, and were attributed to the interference of adiabatic transition state pathways from detailed theoretical analysis. The results reviewed here clearly show the significant advances we have made in the studies of the state-to-state molecular reaction dynamics.

几类旋转对称布尔函数的密码学性质

Sumanta Sarkar等人给出了一类具有最大代数免疫阶的旋转对称布尔函数,但对给出的旋转对称布尔函数仅研究了该函数的非线性度而对其他密码学性质未加以研究.因此,研究了上面给出的旋转对称布尔函数的其他密码学性质:代数次数、线性结构、扩散性、相关免疫性等.研究结果显示,虽然这类布尔函数的代数免疫阶达到最大,但是其他的密码学性质并不好.因此,此类布尔函数并不能直接应用在密码系统中.

寻找布尔函数的零化子

通过解方程组来研究密码系统,是代数攻击的研究内容代.对方程组降次是降低求解复杂度的一种重要方法.为了达到这个目的,引入了布尔函数零化子的概念.然而迄今为止,尚未有求解零化子的有效算法.这篇文章提出了一种计算给定布尔函数的零化子集的算法.由前两个算法,可以得到给定布尔函数的零化子集的一组基;从第三个算法,可以得到最低次数的零化子.算法的复杂度与函数的单项式个数相关.对流密码来说,在很多情况下,相比以前的算法而言,这种算法的复杂度大为降低.最后,我们将给出一个实例,说明算法是如何工作的.