四次函数实零点的完全判据和正定条件

本文给出了四次函数实零点的完全判据和正定条件,这一结果在研究多项式系统的奇点分析和分支问题时给出了可以实用的判据．     

Category with a natural cone

Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given. We point out that the main results of this paper were already stated in [3], and the purpose of this article is to give full details of the foregoing.     

Positive solutions of singular boundary value problem of negative exponent Emden—Fowler equation

This paper investigates the existence of positive solutions of a singular boundary value problem with negative exponent similar to standard Emden-Fowler equation. A necessary and sufficient condition for the existence of C[0, 1] positive solutions as well as C¹[0, 1] positive solutions is given by means of the method of lower and upper solutions with the Schauder fixed point theorem.     

Periodic solutions of nonlinear impulsive differential inclusions with constraints

In this paper we obtain the existence of periodic solutions for nonlinear ``invariance' problems monitored by impulsive differential inclusions subject to impulse effects.

     

Multiplicity results for positive solutions of some semi-positone three-point boundary value problems

In this paper, some multiplicity results for positive solutions of some singular semi-positone three-point boundary value problem be obtained by using the fixed point index method.     

一个来自振动理论反问题的矩阵方程

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔＲｎ×ｍｄｅｎｏｔｅｔｈｅｒｅａｌｎ×ｍｍａｔｒｉｘｓｐａｃｅ ,Ｒｎ×ｍｒ ｉｔｓｓｕｂｓｅｔｗｈｏｓｅｅｌｅｍｅｎｔｓｈａｖｅｒａｎｋｒ ,ＯＲｎ×ｎｔｈｅｓｅｔｏｆａｌｌｎ×ｎｏｒｔｈｏｇｏｎａｌｍａｔｒｉｃｅｓ,ＳＲｎ×ｎ(ＳＲｎ×ｎ≥ ,ＳＲｎ×ｎ>)ｔｈｅｓｅｔｏｆａｌｌｎ×ｎｒｅａｌｓｙｍｍｅｔｒｉｃ (ｓｙｍｍｅｔｒｉｃｐｏｓｉｔｉｖｅｓｅｍｉｄｅｆｉｎｉｔｅ ,ｐｏｓｉｔｉｖｅｄｅｆｉｎｉｔｅ)ｍａｔｒｉｃｅｓ.ＴｈｅｎｏｔａｔｉｏｎＡ>0 (≥ 0 ,<0 ,≤ 0 )ｍ…     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.     

Prefiltration technique via aggregation for constructing low‐density high‐quality factorized sparse approximate inverse preconditionings

This paper considers a new approach to a priori sparsification of the sparsity pattern of the factorized approximate inverses (FSAI) preconditioner using the so‐called vector aggregation technique. The suggested approach consists in construction of the FSAI preconditioner to the aggregated matrix with a prescribed sparsity pattern. Then small entries of the computed ‘aggregated’ FSAI preconditioning matrix are dropped, and the resulting pointwise sparsity pattern is used to construct the low‐density block sparsity pattern of the FSAI preconditioning matrix to the original matrix. This approach allows to minimize (sometimes significantly) the construction costs of low‐density high‐quality FSAI preconditioners. Numerical results with sample matrices from structural mechanics and thin shell problems are presented. Copyright © 2002 John Wiley & Sons, Ltd.     

Image Formation in Low Vacuum SEM

The role of positive gaseous ions in the formation of secondary electron images in low vacuum scanning electron microscopes is discussed. This paper describes the charging processes and related effects that occur during high vacuum imaging of insulators and then discusses the influence of ions on those processes. The ions are responsible for a number of phenomena, including distortion of the electric field above and below the specimen surface due to space charge, removal of excess negative charge from the specimen, alteration of the specimen surface barrier, and scavenging/filtering of the secondary electron emission. The resulting electron-specimen-ion interactions can give rise to interesting contrast effects that are unique to this class of instruments.     

Benson真有效意义下集值优化的广义最优性条件

本文引入了关于集值映射的α-阶Clarke切导数、α-阶邻接切导数及α-阶 伴随切导数的概念,借此建立了约束向量集值优化Benson真有效解导数型的Kuhn- Tucker条件.