弱耦合一维扩展赫伯特模型的基态相图

我们利用玻色化和重整化群分析的方法研究了半满填空且排斥势小于跃迁动能时的一维扩展赫伯特模型的基态相图,发现基态相图是由自旋密度波,电荷密度波和键荷密度波组成.这些结果揭示了扩展赫伯特模型和赫伯特模型基态相图的差异.     

基于多目标影响图效果作战模型

针对目前基于效果作战评估中没有涉及多目标以及决策者的偏好的情况,将多目标影响图引入到基于效果作战模型.首先分析了基于效果作战中各主要要素之间关系,其次提出了基于效果作战模型构造过程,然后将其与多目标决策理论结合建立了多目标基于效果作战模型,用多目标影响图对其进行建模,并给出了求解方法,最后将基于多目标影响图效果作战模型应用于空战任务分配中.仿真结果表明该模型的有效性.     

A Singular Equation of Length Four Over Groups

Let G be a group and t an unknown. In this paper we prove that the equation atbtct^–1dt^–1 = 1 (a,b,c,d G, a² 1, c² 1, bd 1) has a solution over G. This forms part of a program to investigate precisely when an equation, whose associated star graph contains no admissible paths of length less than 3, fails to have a solution over G.2000 Mathematics Subject Classification: 20E06     

推出-拉回图上的覆盖性同态

In a pushout-pullback diagram,which consists of four morphisms f : A → B,g : A → C,α : C → D and β : B → D,we give some relations among the covers of these four modules.If kerf ∈ I(L ),then g : A → C is L -covering if and only if β : B → D is L -covering.If every module has an L -precover and kerf ∈ I(L ),then A and C have isomorphic L -precovers if and only if B and D have isomorphic L -precovers.     

Diagrams,orientations, and varieties

One of the central problems in the theory of ordered sets is to describe the orientations of the covering graph of an ordered set. We show that the particular operation called inversion, together with the classical constructions of retraction and product, provide a context for the classification of all such orientations. AMS subject classifications (1980). 06A10, 05C75, 05C20.     

Shape analysis of cubic trigonometric Bézier curves with a shape parameter

For the cubic trigonometric polynomial curves with a shape parameter (TB curves, for short), the effects of the shape parameter on the TB curve are made clear, the shape features of the TB curve are analyzed. The necessary and sufficient conditions are derived for these curves having single or double inflection points, a loop or a cusp, or be locally or globally convex. The results are summarized in a shape diagram of TB curves, which is useful when using TB curves for curve and surface modeling. Furthermore the influences of shape parameter on the shape diagram and the ability for adjusting the shape of the curve are shown by graph examples, respectively.     

图表追踪的一种机器实现方法

交换图表追踪法是同调代数中一种重要的证明方法.本文提出了一种基于前推的交换图表追踪的机器实现方法,它可以证明同调代数中一系列基于交换图的定理.该方法从定理的结论出发,通过构造辅助元素以及对辅助元素进行推导,能在有限步内给出定理的证明.本文提出的前推方法已经在Java开发平台上实现,同调代数中的五引理、九引理、蛇引理等的证明都可以由我们的程序自动产生.