基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

一类带饱和项互惠模型平衡态正解的存在性

研究了一类两个物种同时带有饱和项的互惠模型在第一边界值条件下的平衡态正解的存在性．首先用单调解的方法给出了此解的先验估计，然后利用局部分歧理论研究了在λ1-c〈a〈λ1和a〉λ1两种情况下模型分别在两个半平凡解上出现的局部分歧现象，并证明了分别在分歧点（β，0，θβ）和（b＇，θa，0）附近存在正解；最后利用全局分歧理论研究了其整体分歧，从而证明了这两种情况下模型存在平衡态正解．     

Drazin可逆算子在0点特征投影的刻画

研究了Drazin可逆算子在0点的特征投影,得到了两个结果:设A是Drazin可逆的,则Q=Aπ的充要条件是Q2=Q,AQ=QA,σ(AQ)={0}且A Q是可逆的;设E是与A可交换的幂等算子,A是Drazin可逆的且i(A)=k,那么下列条件是等价的:E是A在0点的特征投影;对所有的λ≠0,A λE是可逆的;AkE=0且对某个ξ≠0,A ξE是可逆的.     

论在国际民商事法律关系中国家豁免的废除

当国家参与国际交往时，应将国家行为分为公法的行为和私法的行为两种。在公法上的国家行为因为涉及到国家主权的原因，应该坚持国家豁免原则。在私法上的国家行为因为不涉及到国家主权的原因，应依据私法平等原则，废除国家豁免。     

旋转二次曲面折射成像的球差分析

为研究旋转二次曲面及其透镜对轴上物点的成像质量,从二次曲面的标准方程出发,以折射定律为基础,导出了旋转二次曲面折射成像的精确球差公式,并由此计算了不同类型二次曲面及其透镜成像的球差,结果发现,旋转椭球面、抛物面和双曲面双凸薄透镜的成像质量都优于球面双凸薄透镜的成像质量.     

GaN/AlxGa1-xN量子点中的激子态

在有效质量近似框架内,运用变分方法,考虑内建电场效应和量子点的三维约束效应,研究了含类氢杂质的G aN/A lxG a1-xN量子点中的激子态.结果表明:量子点中心的类氢杂质使激子的基态能降低,结合能升高,Q D系统的稳定性增强,光跃迁能减小;杂质位于量子点上界面时,激子的基态能最小,结合能最大,系统最稳定;随着杂质从量子点的上界面沿着z轴移至下界面,激子基态能和光跃迁能增大,结合能减小.     

浅谈流动人口对缩短东西部差距的影响

分析了流动人口对流入地、流出地的经济贡献以及流动人口对缩短东西部差距的影响,指出流动人口对流入地、流出地的经济具有积极的影响,我国应重视建立新的流动人口管理制度。     

关于α-Renyi熵序的若干结果

讨论α-Renyi熵序与一般随机序的关系,得到在一般随机序成立的前提下,α-Renyi熵序保持的一些充分条件,并给出次序统计量α-Renyi熵序和随机变量卷积α-Renyi熵序的一些有用的判别条件.     

阿尔茨海默病PS-1基因突变的研究

采用聚合酶链反应及基因测序技术探讨阿尔茨海默病（Alzheimer病，AD）早老素-1（Presenilin-1，PS-1）基因第3、4、5、8外显子的突变特点，对13例散发性Alzheimer病（sporadic Alzheimer＇s disease，SAD）患者、12例血管性痴呆（vascular demendia，VD）患者及31名正常老年人的PS-1基因第3、4、5、8外显子片段进行扩增与序列分析．编号为SAD5的患者PS-1基因第3外显子扩增片段上存在1个缺失突变位点，编号为SAD3的患者PS-1基因第8外显子扩增片段的近3’端处发现2个插入突变位点．12例VD患者与31名正常老年人的PS-1基因第3、4、5、8外显子均未发现突变．实验结果表明，SAD患者PS-1基因中存在第3、第8外显子的突变．     

多媒体教室常见故障及处理

简述目前常见的多媒体教室组成,并对多媒体教室使用中常见的故障进行分析,给出处理办法。