基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

局部R0-代数

文提出了局部R0-代数的概念,并给出了相应的等价条件,即(i)R0-代数L是局部的,(ii)(?)x∈L,ord(x)<∞或ord(-x)<∞,(iii)每—个真滤子是primary.另外,我们又证明了任一R0-代数是局部R0-代数的子直积.     

关于R0 -代数的公理系统

该文给出了R₀ -代数的一些简化公理系统,并证明了R₀ -代数等价于满足某些条件的BCK -代数.     

关于格上蕴涵代数及其对偶代数

给出了格蕴涵代数、MV代数、R₀代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.     

范畴 RMRl上的一个函子及范畴A Grn0

本文定义了一个由范畴 _RM_R^l到范畴Ａ G_rn⁰ 的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧG_rn⁰ 证明了定理：     

命题公式集F(S)的基于R0-算子的16类分划

利用R₀-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

脉冲比较微分系统解的φ0-稳定性

本文主要利用分段连续的Lyapunov函数得到脉冲比较微分系统(2)的φ₀-稳定性,并且通过比较方程,得到脉冲微分系统(1)的稳定性.     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

n-Lie 代数的扩张

文章主要研究n-Lie 代数的扩张问题. 首先利用n-Lie 代数的模作n-Lie 代数的T_θ- 扩张与T_θ^*-扩张. 再利用模度量3-Lie 代数,做3-Lie 代数的双扩张. 文章最后利用4- 指标阵构造了m 维3-Lie代数的双扩张.     

一类Z-局部环的结构

假设R是交换局部环.如果J(R)=Z(R), J(R)²=0, 则称R为Z-局部环. 本文用多项式环的商环描述了一类Z-局部环的代数结构.     

Error Bounds for R0-Type and Monotone Nonlinear Complementarity Problems

The paper generalizes the Mangasarian–Ren (Ref. 1) error bounds forlinear complementarity problems (LCPs) to nonlinear complementarity problems(NCPs). This is done by extending the concept of R ₀-matrixto several R ₀-type functions, which include a subset ofmonotone functions as a special case. Both local and global error bounds areobtained for R ₀-type NCPs and some monotone NCPs.     

R 0-algebras and weak dually residuated lattice ordered semigroups

We introduce the notion of weak dually residuated lattice ordered semi-groups (WDRL-semigroups) and investigate the relation between R ₀-algebras and WDRL-semigroups. We prove that the category of R ₀-algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.     

AlmostP 0-matrices and the classQ

This paper demonstrates that within the class of thosen × n real matrices, each of which has a negative determinant, nonnegative proper principal minors and inverse with at least one positive entry, the class ofQ-matrices coincides with the class of regular matrices. Each of these classes of matrices plays an important role in the theory of the linear complementarity problem. Lastly, analogous results are obtained for nonsingular matrices which possess only nonpositive principal minors.     

PROPERTIES OF TENSOR COMPLEMENTARITY PROBLEM AND SOME CLASSES OF STRUCTURED TENSORS

This paper deals with the class of Q-tensors, that is, a Q-tensor is a real tensor A such that the tensor complementarity problem(q, A):finding an x ∈ R~n such that x ≥ 0, q+Ax~(m-1)≥ 0, and x~T(q+Ax~(m-1)) = 0,has a solution for each vector q ∈ R~n. Several subclasses of Q-tensors are given: P-tensors, R-tensors, strictly semi-positive tensors and semi-positive R_0-tensors. We prove that a nonnegative tensor is a Q-tensor if and only if all of its principal diagonal entries are positive, and so the equivalence of Q-tensor,R-tensors, strictly semi-positive tensors was showed if they are nonnegative tensors. We also show that a tensor is an R_0-tensor if and only if the tensor complementarity problem(0, A) has no non-zero vector solution, and a tensor is a R-tensor if and only if it is an R_0-tensor and the tensor complementarity problem(e, A) has no non-zero vector solution, where e =(1, 1 ···, 1)~T.     

Stochastic Nonlinear Complementarity Problem and?Applications to?Traffic Equilibrium under?Uncertainty

The expected residual minimization (ERM) formulation for the stochastic nonlinear complementarity problem (SNCP) is studied in this paper. We show that the involved function is a stochastic R ₀ function if and only if the objective function in the ERM formulation is coercive under a mild assumption. Moreover, we model the traffic equilibrium problem (TEP) under uncertainty as SNCP and show that the objective function in the ERM formulation is a stochastic R ₀ function. Numerical experiments show that the ERM-SNCP model for TEP under uncertainty has various desirable properties. This work was partially supported by a Grant-in-Aid from the Japan Society for the Promotion of Science. The authors thank Professor Guihua Lin for pointing out an error in Proposition 2.1 on an earlier version of this paper. The authors are also grateful to the referees for their insightful comments.     

Differential-geometric Newton method for the best rank-(R1, R2, R3) approximation of tensors

An increasing number of applications are based on the manipulation of higher-order tensors. In this paper, we derive a differential-geometric Newton method for computing the best rank-(R ₁, R ₂, R ₃) approximation of a third-order tensor. The generalization to tensors of order higher than three is straightforward. We illustrate the fast quadratic convergence of the algorithm in a neighborhood of the solution and compare it with the known higher-order orthogonal iteration (De Lathauwer et al., SIAM J Matrix Anal Appl 21(4):1324–1342, 2000). This kind of algorithms are useful for many problems. This paper presents research results of the Belgian Network DYSCO (Dynamical Systems, Control, and Optimization), funded by the Interuniversity Attraction Poles Programme, initiated by the Belgian State, Science Policy Office. The scientific responsibility rests with its authors. Research supported by: (1) Research Council K.U.Leuven: GOA-Ambiorics, CoE EF/05/006 Optimization in Engineering (OPTEC), (2) F.W.O.: (a) project G.0321.06, (b) Research Communities ICCoS, ANMMM and MLDM, (3) the Belgian Federal Science Policy Office: IUAP P6/04 (DYSCO, “Dynamical systems, control and optimization”, 2007–2011), (4) EU: ERNSI. M. Ishteva is supported by a K.U.Leuven doctoral scholarship (OE/06/25, OE/07/17, OE/08/007), L. De Lathauwer is supported by “Impulsfinanciering Campus Kortrijk (2007–2012)(CIF1)” and STRT1/08/023.