因素空间理论与知识表示的数学框架(XⅢ)──描述架中概念的结构(2)

本文是［１，１２］的继续，研究描述架中概念的结构；本文讨论后半部分，内容涉及概念内涵与外延的转换，清晰关系的内投影与内变换，概念的结构＊以及有关问题的注记。     

A Fixed Point Theorem for Multi—valued Composite Increasing Operators

Ａ　Ｆｉｘｅｄ　Ｐｏｉｎｔ　Ｔｈｅｏｒｅｍ　ｆｏｒ　Ｍｕｌｔｉ－ｖａｌｕｅｄ　Ｃｏｍｐｏｓｉｔｅ　Ｉｎｃｒｅａｓｉｎｇ　ＯｐｅｒａｔｏｒｓＬｉＦｅｎｇｙｏｕ（李凤友）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，Ｔｉａｎｊｉｎ＇ＮｏｒｍａｌＵｎｉ...     

非空交定理及其应用

本文得到了广义区间空间中几个参数型非空交定理，并用此结果证明了一些新型极大极小定理，截口定理，重合定理，以及变分不等式解的存在性定理。本文中的结果包含（１，３，５－１２，１４－１６）中相应结果。     

A Survey on Explicit Representation Formulae for Fundamental Solutions of Linear Partial Differential Operators

In the present article, we aim at treating the existence of fundamental solutions of linear partial differential operators with constant coefficients from the viewpoint of setting up explicit formulae yielding fundamental solutions.     

Twistor Geometry for Hyperkähler Metrics on Complex Adjoint Orbits

We study the hyperkähler geometry of complex adjoint orbits from the point of view of twistor theory. We introduce, for complex semisimple adjoint orbits, the associated spectral curve and construct the twistor space as a union of certain regular adjoint orbits; we also exhibit the family of twistor lines. Furthermore, we show how our methods may be applied for describing hyperkähler metrics associated to more general spectral curves. In particular, we give an algebraic characterisation of the twistor lines.     

A Note on Geometric Structures of Linear Ordered Orthogonal Arrays and (T,M,S)-Nets of Low Strength

The equivalent geometrical configurations of linear ordered orthogonal arrays are determined when their strengths are 3 and 4. Existence of such geometrical configurations is investigated. They are also useful in the study of (T, M, S)-nets.     

Crystal structure and magnetic ordering of RNi Si compounds

The element distributions and the magnetic ordering behaviour of compounds RNi₁₀Si₂ (R = Tb, Dy, Ho, Er, Tm) have been studied by neutron powder diffraction down to temperatures of 1.6 K. The compounds crystallize in an ordered variant of the ThMn₁₂ structure type in the tetragonal space group P4/nmm. An ordered 1:1 distribution of Ni and Si on sites 4d and 4e, respectively, corresponds to a modulation vector [0, 0, 1] with respect to the space group I4/mmm of the ThMn₁₂ structure. TbNi₁₀Si₂ orders antiferromagnetically below T _N = 4.5 K with a magnetic propagation vector of [0, 0, 1/2]. The magnetic Tb moments, 8.97(2) /Tb atom at 1.6 K, are aligned along the c-axis. The Ni sites in TbNi₁₀Si₂ do not carry any ordered magnetic moments. The compounds with R = Dy, Ho, Er, and Tm are paramagnetic down to 1.6 K and 3.0 K, respectively. Received 10 July 2002 / Received in final form 12 September 2002 Published online 29 October 2002     

Riemannian Manifolds in Which Certain Curvature Operator Has Constant Eigenvalues along Each Circle

Riemannian manifolds for which a natural curvature operator has constant eigenvalues on circles are studied. A local classification in dimensions two and three is given. In the 3-dimensional case one gets all locally symmetric spaces and all Riemannian manifolds with the constant principal Ricci curvatures r ₁ = r ₂ = 0, r ₃= 0 , which are not locally homogeneous, in general.     

Balance constraints reduction of large-scale linear programming problems

This paper describes a method and the corresponding algorithms for simplification of large-scale linear programming models. It consists of the elimination of the balance constraints (i.e. constraints with zero RHS term). The idea is to apply some linear transformations to the original problem in order to nullify the balance constraints. These transformations are able to simultaneously eliminate more balance rows. The core of this contribution is the introduction of the reduction matrix and the associated theorems on the equivalent linear programs (original and reduced). The numerical experiments with this method of simplification proved this approach to be beneficial for a large class of LP problems.This research work was done while the first author was at Duisburg University, Mess-, Steuer und Regelungstechnik, Germany, under the greatly appreciated financial assistance given by the Alexander-von-Humboldt Foundation.     

Extended convergence results for the method of multipliers for nonstrictly binding inequality constraints

In this paper, we extend the classical convergence and rate of convergence results for the method of multipliers for equality constrained problems to general inequality constrained problems, without assuming the strict complementarity hypothesis at the local optimal solution. Instead, we consider an alternative second-order sufficient condition for a strict local minimum, which coincides with the standard one in the case of strict complementary slackness. As a consequence, new stopping rules are derived in order to guarantee a local linear rate of convergence for the method, even if the current Lagrangian is only asymptotically minimized in this more general setting. These extended results allow us to broaden the scope of applicability of the method of multipliers, in order to cover all those problems admitting loosely binding constraints at some optimal solution. This fact is not meaningless, since in practice this kind of problem seems to be more the rule rather than the exception.In proving the different results, we follow the classical primaldual approach to the method of multipliers, considering the approximate minimizers for the original augmented Lagrangian as the exact solutions for some adequate approximate augmented Lagrangian. In particular, we prove a general uniform continuity property concerning both their primal and their dual optimal solution set maps, a property that could be useful beyond the scope of this paper. This approach leads to very simple proofs of the preliminary results and to a straight-forward proof of the main results.The author gratefully acknowledges the referees for their helpful comments and remarks. This research was supported by FONDECYT (Fondo Nacional de Desarrollo Científico y Technológico de Chile).