Gauss legendre quadrature formulas over a tetrahedron

In this article we consider the Gauss Legendre Quadrature method for numerical integration over the standard tetrahedron: {(x, y, z)|0 ≤ x, y, z ≤ 1, x + y + z ≤ 1} in the Cartesian three‐dimensional (x, y, z) space. The mathematical transformation from the (x, y, z) space to (ξ, η, ζ) space is described to map the standard tetrahedron in (x, y, z) space to a standard 2‐cube: {(ξ, η, ζ)| ? 1 ≤ ζ, η, ζ ≤ 1} in the (ξ, η, ζ) space. This overcomes the difficulties associated with the derivation of new weight coefficients and sampling points. The effectiveness of the formulas is demonstrated by applying them to the integration of three nonpolynomial, three polynomial functions and to the evaluation of integrals for element stiffness matrices in linear three‐dimensional elasticity. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Lipschitz映射的下方图形

令(X,d)是紧的度量空间,用↓USC(X)和↓LIP(X)分别表示从X到I所有的上半连续映射和所有Lipschitz映射的下方图形的全体．本文证明如果X是一个无限的紧的度量空间,则(↓USC(X),↓LIP(X))≈(Q,B(Q)),其中B(Q)=Q\(-1,1)~ω是Hilbert立方体Q=[-1,1]~ω的伪边界．     

移相式干涉仪在锥体棱镜角度测试中的应用

为了实时、高精度地测试光学零件，对移相式数字波面干涉仪在锥体棱镜角度测试中的应用进行了研究。通过锥体棱镜二面角偏差计算方法得到了二面角偏差和干涉波面之间的关系，分析了干涉波面的形状与锥体棱镜综合误差的关系，编写了锥体棱镜角度和综合误差测试程序，并且在移相式数字波面干涉仪和ZYGO干涉仪上分别对锥体棱镜进行测试，给出了2者的比较测试结果。结果表明，移相式数字波面干涉仪测量锥体棱镜二面角偏差的误差在0.3″范围内，RMS值的测量误差在λ/50内；提出的方法可实现检测过程的自动化。     

Division and k-th root theorems for Q-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.     

Star-triangle relation for a three-dimensional model

The solvablesl(n)-chiral Potts model can be interpreted as a three-dimensional lattice model with local interactions. To within a minor modification of the boundary conditions it is an Ising-type model on the body-centered cubic lattice with two- and three-spin interactions. The corresponding local Boltzmann weights obey a number of simple relations, including a restricted star-triangle relation, which is a modified version of the well-known star-triangle relation appearing in two-dimensional models. We show that these relations lead to remarkable symmetry properties of the Boltzmann weight function of an elementary cube of the lattice, related to the spatial symmetry group of the cubic lattice. These symmetry properties allow one to prove the commutativity of the row-to-row transfer matrices, bypassing the tetrahedron relation. The partition function per site for the infinite lattice is calculated exactly.On leave of absence from the Institute for High Energy Physics, Protvino, Moscow Region, 142284, Russia.     

交叉立方体的等价定义(英文)

For the crossed cube,an equivalent definition based on the quadrilateral is given,by which we obtain the main properties of this topological architecture,and propose a procedure to find a shortest path between any two vertices in it.     

Enumerating Groups Acting Regularly on a d-Dimensional Cube

Let K be a field of characteristic p > 0, K* the multiplicative group of K and G = G _p  × B a finite group, where G _p is a p-group and B is a p′-group. Denote by K ^λ G a twisted group algebra of G over K with a 2-cocycle λ ∈Z ²(G, K*). In this article, we give necessary and sufficient conditions for K ^λ G to be of OTP representation type, in the sense that every indecomposable K ^λ G-module is isomorphic to the outer tensor product V#W of an indecomposable K ^λ G _p -module V and an irreducible K ^λ B-module W.     

Optimized design of multiport optical circulator

This research proposes a practical multiport optical circulator design by using polarizing beam splitter cubes as spatial walk-off polarizers. The use of Porro prisms for directing light requires fewer components and improves space-efficiency. Therefore, a high performance device can be produced at a reduced cost. A six-port optical circulator prototype was fabricated to show the feasibility of the proposed design. The insertion losses range between 0.52 and 1.05 dB, the isolations range between 26.20 and 45.13 dB, and the return losses are 27.72 dB. The benefits of this design's simple and symmetrical structure include cost-efficiency, simple fabrication processes, polarization-independence, the resolve of polarization-mode dispersion issues, and high performance. Additionally, the number of ports can be increased easily.     

A topological position of the set of continuous maps in the set of upper semicontinuous maps

Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0, 1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c0 ∪ (Q \ Σ)), i.e., there is a homeomorphism h :↓USCC(X) → Q such that h(↓CC(X)) = c0 ∪ (Q \ Σ...     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.