Stone代数的Cayley表示定理

首先通过集代数得到了Stone代数的表示定理,然后证明了每一个Stone代数均嵌入到某个集合X上的一个Stone映射类S中.     

Some properties of multi-degree-of-freedom potential systems and application to statistical equivalent non-linearization

This paper presents some properties of two restricted classes of multi-degree-of-freedom potential systems subjected to Gaussian white-noise excitations. Specifically, potential systems which exhibit damping terms with energy-dependent polynomial form are referred to. In this context, first systems with coupled stiffness terms and damping terms depending on the total energy are investigated. Then, systems with uncoupled stiffness terms and damping terms depending on the total energy in each degree-of-freedom are considered. For these two classes, it is found that algebraic relations among the stationary statistical moments of the energy functions can be derived by applying standard tools of Itô calculus. Further, it is noted that these relations are very useful within the framework of an equivalent statistical non-linearization technique to build approximate solutions for arbitrary non-linear systems.     

环上半线性椭圆型方程正解的存在性和唯一性

本文讨论了半线性椭圆方程△u+f(u)=0在三种边界条件下正解的存在性和唯一性,给出了正解存在和唯一的一些条件.     

Fully-angular polyhex chains with minimal total π-electron energy

By Hückel molecular orbital (HMO) theory, the calculation of the total energy of all π-electrons in conjugated hydrocarbons can be reduced to that of E(G)=|λ₁|+|λ₂|+?+|λn|, where λi are the eigenvalues of the corresponding graph G. Denote by Ψn the set of all fully-angular polyhex chains with n hexagons. In this paper, we show that Hn has the minimum total π-electron energy among chains in Ψn, where Hn is the helicene chain.     

基于演化博弈的武器装备研制合同定价模型研究

针对合同的动态性，提出利用基于演化博弈建立定价模型。考虑到决策群体中个体的认识误差，对所建立的定价模型进行修正，建立带偏离的定价模型并分析了偏离对均衡解的影响。最后将以上模型应用实例进行比较分析。     

Sharp condition of global existence for second-order derivative nonlinear Schrödinger equations in two space dimensions

This paper discusses a class of second-order derivative nonlinear Schrödinger equations which are used to describe the upper-hybrid oscillation propagation. By establishing a variational problem, applying the potential well argument and the concavity method, we prove that there exists a sharp condition for global existence and blow-up of the solutions to the nonlinear Schrödinger equation. In addition, we also answer the question: how small are the initial data, the global solutions exist?     

Buchsbaum homogeneous algebras with minimal multiplicity

In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous k-algebras A in terms of the dimension d, the codimension c, the initial degree q, and the length of the local cohomology modules of A. Next, we introduce the notion of Buchsbaum k-algebras with minimal multiplicity of degree q, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.     

Separable anisotropic differential operators and applications

The nonlocal boundary value problems for anisotropic partial differential-operator equations with a dependent coefficients are studied. The principal parts of the appropriate generated differential operators are nonself-adjoint. Several conditions for the maximal regularity and the fredholmness in Banach-valued Lp-spaces of these problems are given. These results permit us to establish that the inverse of corresponding differential operators belongs to Schatten q-class. Some spectral properties of the operators are investigated. In applications, the nonlocal BVP's for quasielliptic partial differential equations and for systems of quasielliptic equations on cylindrical domain are studied.     

First-principle studies on the electronic structure of Fe3O4(110) surface

The first-principle was employed to study the six possible models for the Fe₃O₄(110) surface, namely the AB-terminated surface (AB model), the AB-terminated with Fe_A vacancy (AB-Fe_A vac model), the AB-terminated with Fe_B vacancy (AB-Fe_B vac model), the B-terminated surface (B model), the B-terminated surface with Fe_B vacancy (B-Fe_B vac model) and the B-terminated surface with O vacancy (B-O vac model). The stability, the electronic structure and the magnetic properties of the six surface models were also calculated. The results predict that the B-O vac model is more stable than other types of surface models. The half-metallic property remain in the AB and B models, while the other four surface models exhibit metallic properties. At the same time, the AB, AB-Fe_A vac, AB-Fe_B vac, B and the B-Fe_B vac models have ferrimagnetic properties, while the B-O vac model has antiferromagnetic property.      

The function of graphs and gestures in algorithmatization

The purpose of this paper is to present evidence supporting the conjecture that graphs and gestures may function in different capacities depending on whether they are used to develop an algorithm or whether they extend or apply a previously developed algorithm in a new context. I illustrate these ideas using an example from undergraduate differential equations in which students move through a sequence of Realistic Mathematics Education (RME)-inspired instructional materials to create the Euler method algorithm for approximating solutions to differential equations. The function of graphs and gestures in the creation and subsequent use of the Euler method algorithm is explored. If students’ primary goal was algorithmatizing ‘from scratch’, they used imagery of graphing and gesturing as a tool for reasoning. However if students’ primary goal was to make predictions in a new context, they used their previously developed Euler algorithm to reason and used graphs and gestures to clarify their ideas.