Interval arithmetic operations for uncertainty analysis with correlated interval variables

A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation,and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.

Speeding Up the Transformation of the Operational Mechanism And Further Developing the International Market

According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rate of the nation’s total exports. The proportion of machinery and electric product exports in the nation’s total foreign trade volume\ increased from 29.5 percent in 1995 to 31.9 percent in 1996, a growth at 2.4 percent.

L^p BOUNDEDNESS OF COMMUTATOR OPERATOR ASSOCIATED WITH SCHRDINGER OPERATORS ON HEISENBERG GROUP

Let L = -△Hn ＋ V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = （--△Hn ＋V）-1V, T2 = （-△Hn ＋V）-1/2V1/2, and T3 = （--AHn ＋V）-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP（Hn）, where b ∈ BMO（Hn）. Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.

New two-fold integration transformation for the Wigner operator in phase space quantum mechanics and its relation to operator ordering

Using the Weyl ordering of operators expansion formula （Hong-Yi Fan, J. Phys.A 25 （1992） 3443） this paper finds a kind of two-fold integration transformation about the Wigner operator △（ q＇,p） q-number transform） in phase space quantum mechanics,∫∫∞-∞dp＇dq＇/π △（q＇,p＇）e-2i（ p-p＇）（ q-q＇）=δ（ p-P）δ（ q-Q）,∫∫∞-∞dqdpδ（p-P）δ（q-Q）e2i（p-p＇）（q-q＇）=△（q＇,p＇）,whereQ,P are the coordinate and momentum operators, respectively. We apply it to study mutual converting formulae among Q-P ordering, P-Q ordering and Weyl ordering of operators. In this way, the contents of phase space quantum mechanics can be enriched. The formula of the Weyl ordering of operators expansion and the technique of integration within the Weyl ordered product of operators are used in this discussion.

On a Boundary Value Problem for a Polynomial Pencil of the Sturm-Liouville Equation with Spectral Parameter in Boundary Conditions

The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such operators, the asymptotic formulas for eigenvalues of the boundary value problem are obtained.

Hardy Type Estimates for Riesz Transforms Associated with Schrdinger Operators on the Heisenberg Group

Abstract. Let H^n be the Heisenberg group and Q = 2n＋2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n ＋V, where △H^n is the sub-Laplacian and V is the nonnegative potential belonging to the reverse H61der class Bql for ql _〉 Q/2. We show that the operators T1 = V（-△H^n-In ＋V）-1 and T2 = V1/2（-△H^n-V）-1/2 are both bounded from 1 n HL^1（H^n ） into L1（H^n）. Our results are also valid on the stratified Lie group.

Hamiltonian structure, Darboux transformation for a soliton hierarchy associated with Lie algebra so(4, C)

In this paper, we first introduce a Lie algebra of the special orthogonal group, g = so(4, C), whose elements are 4 × 4trace-free, skew-symmetric complex matrices. As its application, we obtain a new soliton hierarchy which is reduced to AKNS hierarchy and present its bi-Hamiltonian structure and Liouville integrability. Furthermore, for one of the equations in the resulting hierarchy, we construct a Darboux matrix T depending on the spectral parameter λ.

算子AB和BA的Drazin可逆性(英文)

In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the Drazin spectrum and the Aluthge transform of an operator M ∈ B(H), respectively.

Jupiter Made Abstract, and Then Refined

Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.