格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

pth Power Lagrangian Method for Integer Programming

When does there exist an optimal generating Lagrangian multiplier vector (that generates an optimal solution of an integer programming problem in a Lagrangian relaxation formulation), and in cases of nonexistence, can we produce the existence in some other equivalent representation space? Under what conditions does there exist an optimal primal-dual pair in integer programming? This paper considers both questions. A theoretical characterization of the perturbation function in integer programming yields a new insight on the existence of an optimal generating Lagrangian multiplier vector, the existence of an optimal primal-dual pair, and the duality gap. The proposed pth power Lagrangian method convexifies the perturbation function and guarantees the existence of an optimal generating Lagrangian multiplier vector. A condition for the existence of an optimal primal-dual pair is given for the Lagrangian relaxation method to be successful in identifying an optimal solution of the primal problem via the maximization of the Lagrangian dual. The existence of an optimal primal-dual pair is assured for cases with a single Lagrangian constraint, while adopting the pth power Lagrangian method. This paper then shows that an integer programming problem with multiple constraints can be always converted into an equivalent form with a single surrogate constraint. Therefore, success of a dual search is guaranteed for a general class of finite integer programming problems with a prominent feature of a one-dimensional dual search.     

Probing interactions in exploratory teaching: a case study

This study investigates an exploratory teaching style used in an undergraduate geometry course to help students identify an ellipse. We attempt to probe beneath the surface of exploration to understand how the actions of teachers can contribute to developing students’ competence in justifying an ellipse. We analyse the complex interactions between student, content, and teacher, and discuss explicit pedagogical strategies that help students develop a higher level of geometric reasoning. The findings indicate that students engaged in guided explorations by the teacher and in group discussions with peers were able to identify an ellipse and justify their reasoning.     

Carleman estimates for second-order hyperbolic systems in anisotropic cases and applications. Part II: an inverse source problem

In this paper, we consider Carleman-type estimate and consider an inverse problem for second order hyperbolic systems in an anisotropic case. In the previous Part I paper, we established a Carleman-type estimate for hyperbolic systems in which the coefficient matrices satisfy suitable conditions. We apply a Carleman estimate in the previous Part I paper to an inverse source problem for second-order hyperbolic systems in an anisotropic case and prove an estimate of the Hölder type.     

B-Construction and C-Construction

B-construction is a way of obtaining a graded algebra from the triple consisting of an additive category, an object, and an autoequivalence, while C-construction is a way of obtaining an algebra (without unity) from the pair consisting of an additive category and a set of objects. In this article, we study and compare three important classes of algebras in noncommutative algebraic geometry and representation theory of finite dimensional algebras, namely, quantum polynomial algebras, preprojetive algebras and trivial extensions, via these constructions.     

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

An XML schema is a set of rules for defining the allowed sub-elements of any element in an XML document. These rules use regular expressions to define the language of the element's children. Updates to an XML schema are updates to the regular expressions defined by the schema rules. We consider an interactive, data administration tool for XML databases. In this tool, changes on an XML schema are activated by updates that violate the validity of an XML document. Our schema validator is a Datalog program, resulting from the translation of a given XML schema. Changing the schema implies changing the validator.The main contribution of this paper is an algorithm allowing the evolution of XML schemas. This algorithm is based on the computation of new regular expressions to extend a given regular language in a conservative way, trying to foresee the needs of an application. A translation function from schema constraints to Datalog programs is introduced. The validation of an XML tree corresponds to the evaluation of the Datalog program over the tree. Our method allows the maintenance of the Datalog program in an incremental way, i.e., without redoing the entire translation.     

Bounded decomposition in the Brieskorn lattice and Pfaffian Picard-Fuchs systems for Abelian integrals

We suggest an algorithm for derivation of the Picard-Puchs system of Pfaffian equations for Abelian integrals corresponding to semiquasihomogeneous Hamiltonians. It is based on an effective decomposition of polynomial forms in the Brieskorn lattice. The construction allows for an explicit upper bound on the norms of the polynomial coefficients, an important ingredient in studying zeros of these integrals.     

用最少的虚工序构建等效多阶段工序网络

运用网络计划可以直观地表示项目管理中的诸多疑难问题, 便于分析和求解. 但是它也存在明显的缺点, 如, (1) 工序网络的有向无回路性表明很多时候适合运用动态规划法, 但它在通常情况下的无阶段性使得该方法无法直接应用; (2) 任意构建的工序网络容易表现得错综复杂, 不利于研究; (3) 用最少的虚工序表示双代号网络是NP-难问题, 因此对一个工序系统可能构建出多个差别迥异的工序网络, 有碍于进度计划管理研究, 等等. 如果能将工序网络构建成等效的多阶段网络, 各工序分别表示在相应的阶段中, 无疑有助于上述问题的解决. 构建等效多阶段工序网络需要添加虚工序. 通过添加最少的虚工序将工序网络构建成等效多阶段网络, 从而有助于建立更合理的工序网络表示法.     

L-Fuzzy拟序集的理想完备化

建立[4]中定义的L-fuzzy拟序集的一种理想完备化,即证明了L-fuzzy拟序集上的所有L-fuzzy理想组成的集合,赋以合适的程度映射构成L-fuzzydomain,任意从L-fuzzy拟序集到L-fuzzydomain的L-fuzzy单调映射都可以扩张成为一个L-fuzzyScott连续映射。     

The degree of the E-characteristic polynomial of an even order tensor

The E-characteristic polynomial of an even order supersymmetric tensor is a useful tool in determining the positive definiteness of an even degree multivariate form. In this paper, for an even order tensor, we first establish the formula of its E-characteristic polynomial by using the classical Macaulay formula of resultants, then give an upper bound for the degree of that E-characteristic polynomial. Examples illustrate that this bound is attainable in some low order and dimensional cases.     

Enforced stability of an eigenvalue in the continuous spectrum of a waveguide with an obstacle

Perturbations of an eigenvalue in the continuous spectrum of the Neumann problem for the Laplacian in a strip waveguide with an obstacle symmetric about the midline are studied. Such an eigenvalue is known to be unstable, and an arbitrarily small perturbation can cause it to leave the spectrum to become a complex resonance point. Conditions on the perturbation of the obstacle boundary are found under which the eigenvalue persists in the continuous spectrum. The result is obtained via the asymptotic analysis of an auxiliary object, namely, an augmented scattering matrix.     

Nonlocal diffusion,a Mittag-Leffler function and a two-dimensional Volterra integral equation

In this paper we consider a particular class of two-dimensional singular Volterra integral equations. Firstly we show that these integral equations can indeed arise in practice by considering a diffusion problem with an output flux which is nonlocal in time; this problem is shown to admit an analytic solution in the form of an integral. More crucially, the problem can be re-characterized as an integral equation of this particular class. This example then provides motivation for a more general study: an analytic solution is obtained for the case when the kernel and the forcing function are both unity. This analytic solution, in the form of a series solution, is a variant of the Mittag-Leffler function. As a consequence it is an entire function. A Gronwall lemma is obtained. This then permits a general existence and uniqueness theorem to be proved.     

Distributions on almost contact manifolds

It is known that any hypersurface in an almost complex space admits an almost contact manifold [11, 14]. In this article we show that a hyperplane in an almost contact manifold has an almost complex structure. Along with this result, we explain how to determine when an almost contact structure induces a contact structure, followed by examples of a manifold with a closed G₂-structure.     

Associative identities of octonions

We work to find a basis of identities for an octonion algebra modulo an associator ideal of a free alternative algebra, or, in other words, a basis for an associative replica of an ideal of identities of an octonion algebra.     

二阶常微分方程初值问题C^0有限元的超收敛

基于在一个单元上的改进的单元正交展开，得到二阶常微分方程C^0有限元Uh的误差表示式，以及节点和单元内部一些特征点上的超收敛结果。     

Enhanced methods of feasible directions for engineering design problems

After the advantages of methods of feasible directions in an engineering design environment are pointed out, several modifications to the classical scheme are proposed, aimed at improving computational efficiency while preserving convergence properties.First, an abstract algorithm model is set up and a set of sufficient conditions to ensure convergence is given. Several modifications are proposed, inspired by difficulties arising in an engineering design environment, and it is shown that the resulting algorithms satisfy the sufficient conditions just mentioned. An integrated-circuit bipolar operational amplifier is optimized in order to show the improvement in computation efficiency that the proposed enhancements can provide.This research was supported by the National Science Foundation, Grant No. ECS-82-04452 and by a grant from the Semiconductor Division of the Harris Corporation. The authors wish to thank K.H. Fan, for making numerous useful remarks and for carrying out the numerical experiments, and an anonymous reviewer for pointing out important flaws in an early version of the paper.     

Ambient connections realising conformal Tractor holonomy

For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal Tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus, for a C-space this example leads to an ambient metric in the weaker sense of Čap and Gover, and for an Einstein space to a Ricci-flat ambient metric in the sense of Fefferman and Graham. Current address for first author: Erwin Schr?dinger International Institute for Mathematical Physics (ESI), Boltzmanngasse 9, 1090 Vienna, Austria Current address for second author: Department of Mathematics, University of Hamburg, Bundesstra?e 55, 20146 Hamburg, Germany     

On the intersection of ovoids sharing a polarity

In this article, an ovoidal fibration is used to show that any two ovoids of PG(3, q), q even, sharing a polarity, must meet in an odd number of points. This result was previously known only when one of the ovoids was an elliptic quadric or a Tits ovoid. It is also shown that an ovoid and an elliptic quadric of PG(3, q), sharing all of their tangents, must meet in 1 (mod 4) points.      

A saddle-point criterion for convex problems with infinite-dimensional equality constraints

In this paper, we develop a saddle-point criterion for convex optimization problems with infinite-dimensional equality constraints. The method used in the derivation of this criterion is based on the property of openness of the equality operator. As an application, we develop necessary and sufficient conditions for an optimal control problem under a suitable controllability assumption. Constructing an optimal solution for a production planning problem is used as an illustrative example.The authors would like to thank Professor R. T. Rockafellar for his suggestions which have resulted in an improved version of the paper.     

Excellent扩张和弱维数

在这篇文章里，我们证明了，当环Ｓ是Ｒ的ｅｘｃｅｌｌｅｎｔ扩张，Ｍ是Ｓ－模时，Ｍ做为Ｓ－模的弱维数与Ｍ做为Ｒ－模的弱维数相等。