Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

非饱和土本构关系的混合物理论(Ⅱ)--线性本构方程和场方程

通过对非饱和土非线性本构方程和场方程的线性化，推导出了非饱和土的线性本构方程和场方程，把线性方程表示为与Biot饱和多孔介质方程相似的形式；证明了Darcy定律对非饱和土的适用性；说明了Biot饱和多孔介质方程是这些线性方程的特征。所有这些都表明用混合理论处理非饱和土本构问题的正确性。     

用三个关系式与Mathematica软件求第二类自然数幂和公式

首先介绍三个第二类自然数幂和关系式并对其中的两式给出证明,接着利用这些关系式与数学软件M athem atica4.0,给出求解第二类自然数幂和公式的若干机械计算方法.     

几种模糊传递关系的收敛性

本文对几种模糊传递关系进行比较 ,从一个侧面说明了用于构造偏好关系的模糊关系应是互逆关系 .文中证明了对任意的 n阶互逆传递模糊关系 R,必有 Rn=Rn+1 .     

Isotone relations revisited

We propose a new approach towards proving that the fixed point property for ordered sets is preserved by products. This approach uses a characterization of fixed points in products via isotone relations. First explorations of classes of isotone relations are presented. These first explorations give us hope that this approach could lead to advances on the Product Problem.     

REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the Urysohn-Nachbin lemma is presented which is quite different from the classical one.     

Integrable semiclassical deformations of general algebraic curves and associated conservation laws

Based on the Lenard relations, we completely classify integrable deformations of general algebraic curves. We construct the general solution of the Lenard relation from the invariance condition with respect to an element of the Galois group of the curve. We give some examples and also some associated conservation laws. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 3, pp. 458–469, June, 2007.     

耗散系统不可逆过程中的可拓展广义相对论时空关系

在引入非保守非惯性系的基础上对不可逆过程建立非保守系等效性假设，在引入广域度规的基础上对具有复杂行为的时空建立非保守系协变性假设；利用密度分布的不均匀度h(ρ)和粗粒熵S（ρtε）及推导的多标度因数η*计算式，引入非保守惯性质量和非保守引力质量.分析表明，新结果使引力理论与非平衡态统计理论和非线性动力学达到应有的谐和，发展并修正广义相对论. 关键词： 时空关系 耗散系统 不可逆性 可拓展广义相对论 非保守引力质量     

单循环赛赛程安排的一个图论方法

利用图论的边着色理论建立了一个赛程安排的数学模型 .首先建立 n支球队与完全图 Kn的 n个顶点间的一一对应 ,把球队 Ai和 Aj间的比赛关系抽象成 Kn的顶点 i和 j间的边 ( i,j) .然后分别构造出了图K2 m- 1和 K2 m的正常 2 m-1边着色 .从而给出了各球队每两场比赛间得到的休整时间最均等 ,休整的间隔场次数达到上限值 n2 的一个赛程安排方案     

Thermal effects on parallel resonance energy of whistler mode wave

In this short communication, we have evaluated the effect of thermal velocity of the plasma particles on the energy of resonantly interacting energetic electrons with the propagating whistler mode waves as a function of wave frequency and L-value for the normal and disturbed magnetospheric conditions. During the disturbed conditions when the magnetosphere is depleted in electron density, the resonance energy of the electron enhances by an order of magnitude at higher latitudes, whereas the effect is small at low latitudes. An attempt is made to explain the enhanced wave activity observed during magnetic storm periods.