二次曲面和平面位置关系的判式

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离.     

Topological representation of posets

There is a canonical imbedding of a poset into a complete Boolean lattice and hence into a Boolean lattice. This gives it a representation as a collection of clopen sets of a Boolean space. There are reflective functions from a category of distributive posets to the subcategories of distributive and Boolean lattices and consequently a topological dual equivalence that extends the Stone duality of Boolean lattices.Presented by B. Jonsson.     

On the intersections of circuits and cocircuits in matroids

Seymour has shown that a matroid has a triad, that is, a 3-element set which is the intersection of a circuit and a cocircuit, if and only if it is non-binary. In this paper we determine precisely when a matroidM has a quad, a 4-element set which is the intersection of a circuit and a cocircuit. We also show that this will occur ifM has a circuit and a cocircuit meeting in more than four elements. In addition, we prove that if a 3-connected matroid has a quad, then every pair of elements is in a quad. The corresponding result for triads was proved by Seymour.     

A Priori and A Posteriori: A Bootstrapping Relationship

The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper, it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning, and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification.     

On dominance-based multiobjective local search: design, implementation and experimental analysis on scheduling and traveling salesman problems

This paper discusses simple local search approaches for approximating the efficient set of multiobjective combinatorial optimization problems. We focus on algorithms defined by a neighborhood structure and a dominance relation that iteratively improve an archive of nondominated solutions. Such methods are referred to as dominance-based multiobjective local search. We first provide a concise overview of existing algorithms, and we propose a model trying to unify them through a fine-grained decomposition. The main problem-independent search components of dominance relation, solution selection, neighborhood exploration and archiving are largely discussed. Then, a number of state-of-the-art and original strategies are experimented on solving a permutation flowshop scheduling problem and a traveling salesman problem, both on a two- and a three-objective formulation. Experimental results and a statistical comparison are reported in the paper, and some directions for future research are highlighted.     

Two questions on semi-clean group rings

It was proved in [4] that every group ring of a torsion abelian group over a commutative local ring is a semi-clean ring. It was asked in [4] whether every group ring of a torsion abelian group over a commutative clean ring is a semi-clean ring and whether every group ring of a torsion abelian group over a commutative semi-clean ring is a semi-clean ring. In this paper, we give a positive answer to question 1 and a negative answer to question 2.     

Partially isometric dilations of noncommuting -tuples of operators

Given a row contraction of operators on a Hilbert space and a family of projections on the space that stabilizes the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries that satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold decomposition for partial isometries to describe the models for these dilations, and we discuss how the basic properties of a dilation depend on the row contraction.

     

A splitting theorem for groups acting on quasi-trees

It is well known that a group is free if and only if it acts freely without inversions on a tree. We prove a generalisation of this fact by defining a quasi-tree to be a graph with a bound on the size of its simple loops. It is shown that a finitely generated group acting freely on such a graph is isomorphic to a free product of free groups and finite groups.     

On Martingale Approximation of Adapted Processes

We show that the existence of a martingale approximation of a stationary process depends on the choice of the filtration. There exists a stationary linear process which has a martingale approximation with respect to the natural filtration, but no approximation with respect to a larger filtration with respect to which it is adapted and regular. There exists a stationary process adapted, regular, and having a martingale approximation with respect to a given filtration but not (regular and having a martingale approximation) with respect to the natural filtration.     

Partnership formation based on multiple traits

A model of partnership formation based on two traits, called beauty and character, is presented. There are two classes of individual and partners must be of different classes. Individuals prefer prospective partners with a high beauty measure and of a similar character. This problem may be interpreted as e.g. a job search problem in which the classes are employer and employee, or a mate choice problem in which the classes are male and female. Beauty can be observed instantly. However, a costly date (or interview) is required to observe the character of a prospective partner. On observing the beauty of a prospective partner, an individual decides whether he/she wishes to date. During a date, the participants observe each other’s character and then decide whether to form a pair. Mutual acceptance is required both for a date to occur and pair formation. On finding a partner, an individual stops searching. Beauty has a continuous distribution on a finite interval, while character ‘forms a circle’ and has a uniform distribution. Criteria based on the concept of a subgame perfect Nash equilibrium are used to define a symmetric equilibrium of this game. It is argued that this equilibrium is unique. When dating costs are high, this equilibrium is a block separating equilibrium as in more classical formulations of two-sided job search problems. However, for sufficiently small dating costs the form of this equilibrium is essentially different.     

A Dynamic Frictional Contact Problem with Normal Damped Response

We consider a mathematical model which describes the frictional contact between a viscoelastic body and a reactive foundation. The process is assumed to be dynamic and the contact is modeled with a general normal damped response condition and a local friction law. We present a variational formulation of the problem and prove the existence and uniqueness of the weak solution, using results on evolution equations with monotone operators and a fixed point argument. We then introduce and study a fully discrete numerical approximation scheme of the variational problem, in terms of the velocity variable. The numerical scheme has a unique solution. We derive error estimates under additional regularity assumptions on the data and the solution.     

Multi-server queueing system with a generalized phase-type service time distribution as a model of call center with a call-back option

A multi-server queueing system with a Markovian arrival process and finite and infinite buffers to model a call center with a call-back option is investigated. If all servers are busy during the customer arrival epoch, the customer may leave the system forever or move to the buffer (such a customer is referred to as a real customer), or, alternatively, request for call-back (such a customer is referred to as a virtual customer). During a waiting period, a real customer can be impatient and may leave the system without service or request for call-back (becomes a virtual customer). The service time of a customer and the dial time to a virtual customer for a server have a phase-type distribution. To simplify the investigation of the system we introduce the notion of a generalized phase-type service time distribution. We determine the stationary distribution of the system states and derive the Laplace–Stieltjes transforms of the sojourn and waiting time distributions for real and virtual customers. Some key performance measures are calculated and numerical results are presented.     

A relaxed extragradient-like method for a generalized mixed equilibrium problem,a general system of generalized equilibria and a fixed point problem

Very recently, Takahashi and Takahashi [S. Takahashi, W. Takahashi, Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space, Nonlinear Anal. 69 (2008) 1025–1033] suggested and analyzed an iterative method for finding a common solution of a generalized equilibrium problem and a fixed point problem of a nonexpansive mapping in a Hilbert space. In this paper, based on Takahashi–Takahashi’s iterative method and well-known extragradient method we introduce a relaxed extragradient-like method for finding a common solution of a generalized mixed equilibrium problem, a general system of generalized equilibria and a fixed point problem of a strictly pseudocontractive mapping in a Hilbert space and then obtain a strong convergence theorem. Utilizing this theorem, we establish some new strong convergence results in fixed point problems, variational inequalities, mixed equilibrium problems and systems of generalized equilibria.     

Remarks on pseudo-valuation rings

A prime ideal P of a ring A is said to be a strongly prime ideal if aP and bA are comparable for all a,b ε A. We shall say that a ring A is a pseudo-valuation ring (PVR) if each prime ideal of A is a strongly prime ideal. We show that if A is a PVR with maximal ideal M, then every overring of A is a PVR if and only if M is a maximal ideal of every overring of M that does not contain the reciprocal’of any element of M.We show that if R is an atomic domain and a PVD, then dim(R) ≤ 1. We show that if R is a PVD and a prime ideal of R is finitely generated, then every overring of R is a PVD. We give a characterization of an atomic PVD in terms of the concept of half-factorial domain.     

A note on subsymmetric renormings of Banach spaces

We revisit the concept of a subsymmetric norm and construct a subsymmetric renorming of a Banach space with a subsymmetric basis. As a by-product of our work we introduce the concept of a lower symmetric basis and investigate its connection with subsymmetric bases and subsymmetric renormings.     

Contractibility and Connectedness of Efficient Point Sets

Using the technique of space theory and set-valued analysis, we establish contractibility results for efficient point sets in a locally convex space and a path connectedness result for a positive proper efficient point set in a reflexive space. We also prove a connectedness result for a positive proper efficient point set in a locally convex space; as an application, we give a connectedness result for an efficient solution set in a locally convex space.     

Artin半单环的特征

本文证明了如下结果：环Ｒ是Ａｒｔｉｎ半单的当且仅当存在一个基数ｃ，使得任意左Ｒ－模是一个连续模和一个ｃ－限制的ＥＳ－模的直和，也当且仅当存在一个基数ｃ，使得任意左界Ｒ－模是一个拟投射模和一个ｃ－限制的ＥＳ－模的直和。     

Kripke submodels and universal sentences

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with (homo)morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms (including ? and ⊥) using ∧, ∨, ?, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model‐consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Mathematical modelling and computational analysis of enzymatic degradation of xenobiotic polymers

We study the enzymatic degradation of xenobiotic polymers mathematically. As a mathematical model, we derive a linear second-order hyperbolic partial differential equation which governs the evolution of the weight distribution with respect to the molecular weight. Given an initial weight distribution and a final weight distribution, we formulate a problem to determine a degradation rate. We establish a necessary and sufficient condition for which the problem has a local solution. We also introduce a numerical technique based on our analysis, and present a numerical result that we obtained applying weight distributions before and after enzymatic degradation of polyvinyl alcohol.     

A Characterization of Semirings Which Are Subdirect Products of a Distributive Lattice and a Ring

E -inversive semiring and a Clifford semiring and show that a semiring S is a subdirect product of a distributive lattice and a ring if and only if S is an E-inversive strong distributive lattice of halfrings. Further a Clifford semiring which is, in fact, an inversive subdirect product of a distributive lattice and a ring, is characterized as a strong distributive lattice of rings. Finally, as a consequence of these results we extend a result of Galbiati and Veronesi [2] in the case of Boolean semirings.