美军最大战机起降阿富汗真相

阿富汗战争自2001年10月8日开始以来，美军为了军事作战，曾有许多军用飞机降落阿富汗。阿富汗是个多山的贫穷国家，然而，美军居然在阿富汗降落了最大的飞机。它就是重达400吨的战略运输机C-5。这是几十年来美军在阿富汗起降的最大战机。     

参加朝鲜战争的世界最大运输机——空中运输巨无霸“天空皇后”

朝鲜战争于1950年6月爆发后，美国很快派兵参战。在作战中，美军为了及时向战场提供作战物资和兵员补充，动用了当时世界上最大的运输机，这就是C-99空中“巨无霸”运输机，外号“天空皇后”。     

关于随机Ising模型的L_2理论中若干结论的证明

本文对随机Ｉｓｉｎｇ模型Ｌ２理论中几个一般结论重新给出证明。     

Mazur空间的特征

一个局部凸空间 ,若其上每一个列连续线性泛函是连续的 ,则称为Mazur空间 .文中给出Mazur空间的特征 ,讨论了Mazur空间与C 序列空间的关系 ,得到如下结果 :设 (X ,T)是一个局部凸空间 ,则以下结论是等价的 :1) (X ,T)是Mazur空间 ;2 )T+ (与T有相同收敛序列的最强的局部凸拓扑 )是相容拓扑 ;3) (X ,T)中每一个列开的半空间是开的 .     

分数次积分半群

本文引进了分数次积分半群的概念，并用它讨论了抽象Cauchy问题。     

一类保序压缩变换半群的Green关系

设Xn={1,2,…,n},Q（Xn）={A1,A2,…,Ar}为Xn上任意一个划分,令OCT（Xn）={α∈On：Ai,Aj∈Xn,d（Aiα,Ajα）≤d（Ai,Aj）},则OCT（Xn）是一个半群。本文刻划了该半群的Green关系及一些相关的性质。     

有限个幺半群的强半格的平移壳

设半群A是有限个幺半群{Ae}的强半格,所有幺元e的集合为I（A）．为I（A）定义一种序关系,使I（A）成为带偏序关系的半群．利用这个偏序半群构造出一个新的半群B,然后证明B和A的平移壳同构,从而揭示了A的平移壳的结构．     

状态机变换半群的可分性

在状态机的讨论中,覆盖问题和分解问题是讨论的主要方面。对于一个比较复杂的状态机要想找到的它的覆盖和分解一般是比较困难的,如果一个复杂的状态机具有可分性,我们就可以把它分成若干简单的状态机,从而解决它的覆盖和分解问题。本文主要讨论状态机变换半群的可分性,而状态机变换半群的可分性与它对应的状态机的可分性是一致的,从而解决状态机的可分性问题。