P—(S)_+型映射的特征刻划及其满值性定理

本文首先给出了一个映射是P—(S)_+型的充要条件。继而以中所建立的拓扑度理论为工具获得了一个关于P—(S)_+型映射的满值性定理。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

(H)型映射的拓扑度及其应用

本文将(S)_+型映射度的有关理论扩展到(H)型映射类。基于经典的Brouwer度理论,笔者构造了(H)型映射的拓扑度,所得结果进一步丰富和发展了非线性单调型映射度理论。     

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

关于区域到区域映射的某些新结果

研究了指数函数、对数函数所构成的映射的映射特点;拓广了基本映射公式,提出了利用基本映射公式求区域到区域的映射。     

局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

生成n元数的全体排列的一个算法

许多组合问题可以表达为minf(q),其中q为1,2,…,n的任一排列。关于排列生成的各种算法,文献[1]作了全面的介绍,并且进行了比较分析。本文从集合映射出发,得到了一个算法。在这个算法的基础上,对每个排列可以得到一个序号,对每个序号可以得到一个排列,并且可以从任一给定的排列开始生成全体排列。     

对GPS区域映射比例影响因素的分析

根据GPS区域映射系统诱导原理,推导出求解虚拟点邻域的算法,进而在此基础上对映射比例影响的因素进行了分析,主要包括虚拟点位置和转发器分布对映射比例的不同影响,并且对如何在有效干扰区域内通过选择虚拟点的位置和转发器的分布以达到映射比例的优化进行了研究,得到了优化方法,得出的结论可为实际应用提供参考.     

基于效能分析方法的预警机探测效能研究

在预警机巡逻航线分析的基础上,运用系统效能分析的基本原理,对跑道型巡逻航线探测效能问题进行了研究,重点研究了强效区的探测模型和弱效区的系统映射模型。通过算例仿真对模型的各个因素的影响效果进行了分析。     

基于防空预警使命的预警机系统效能分析

对预警机的防空预警效能提出了使用SEA进行分析的方法。首先介绍SEA的基本原理,阐述了预警机遂行防空预警使命系统效能分析问题,给出了预警机的使命描述、性能量度、系统映射与使命映射,重点研究了性能量度的系统映射模型,提出了基于防空预警使命的预警机效能计算方法,有助于后续预警机综合系统效能研究。     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

加农炮身管纵向振动的固有特征分析

建立了加农炮身管纵向振动的力学模型,推导出了频率方程,给出了固有频率的数值计算结果,描绘了加农炮身管纵向振动的固有振型,对影响加农炮身管纵向振动固有特征的各种因素进行了分析。     

多杆多自由度连杆机构的分析与模拟

根据复杂平面连杆机构特点,提出对多杆多自由度连杆机构的运动分析策略和动态模拟方法,并以两种常见机构为例进行了分析、模拟。     

关键循环到粗粒度可重构体系结构的存储感知映射

针对已有工作面向粗粒度可重构结构(CGRA)研究循环映射的不足,提出一种新颖的存储感知的关键循环映射方法 MALP。该方法定义RCP_CGRA体系结构模型并阐述关键循环到CGRA的映射问题,通过引入结合数组分簇的多面体数据域划分方法进行循环存储分析,根据分析结果,结合体系结构资源约束实现了循环的有效映射。实验结果表明,与已有的方法相比,MALP方法能够快速分析存储需求并有效降低循环映射的资源占用率,提高数据吞吐量,进一步提升了CGRA上循环映射的性能。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。