k-集压缩映象的耦合不动点定理

本文在半序Banach空间中(导出半序的锥是一般的)得出了k-集压缩映象的耦合不动点定理,改进和推广了文[Dajun(1987)]的一些相应结果.     

一类映象的不动点及耦合不动点定理

本文获得了局部凸拓扑向量空间中一类非紧非连续映象的不动点及耦合不动点定理,它们推广了最近许多作者的结果.     

基于分散决策的拥挤型网络流及其变分不等式

以交通网为背景讨论一种基于分散决策的拥挤型网络流,给出并证明了网络流的变分不等式,并进而讨论了选址于弧上的微变特性,得出了一个重要的结果.     

单调半凝聚映射与半紧1—集压缩映射

给出了半凝聚映射的概念,讨论了单调半凝聚映射与半紧1-集压缩映射不动点存在的条件及不动点集{x(λ)}的性质。在两种意义下改进了已有的结果。     

基于历史的情景模拟修正模型

文中基于情景模拟方法，提出了一种参考历史数据的修正模型。通过构成历史情景，在最大似然原则下确定情景集合的关键参数Θ。通过一个利率产品的数值实验，对原模型、修正模型与传统蒙特卡罗模型的在值风险估计值的精度进行比较，得到了理想的结果。     

一类边值问题的三重正凹解

研究边值问题-u^(6)(t)=f(u(t)，-u″(t)，u^(4)(t))，t∈[0，1]，u(0)=u′（1）=0，u″(0)=u″(1)=0，u^(4)(0)=u^(4)(1)=0，其中f≥0，其边值条件不同于Lidstone边值条件，应用Leggett-Williams不动点定理得到边值问题存在三重正解的充分条件。     

无线定位技术的物理基础及其关键技术分析

无线定位技术受到越来越多的关注,推动了对无线定位技术的研究及测距技术的发展.研究无线定位技术的物理原理,讨论了几种常用的无线定位方案,移动通信信道特性与定位误差的关系以及基本的定位算法,并较详细地研究了基于时间的两种方案TOA及TDOA的定位算法,并指出有待进一步研究的方向.     

凸度量空间中非扩张映象的不动点迭代

在完备凸度量空间内对非扩张映射引入逼近不动点的新的迭代算法，利用非负实数序列的一个不等式，在适当假设下，证明了所引入的迭代序列收敛于非扩张映射的不动点．     

P-凸度量空间内拟压缩映射不动点迭代

摘要：在P-凸度空间内，对于P的拟压缩映射定义了Ishikawa迭代序列，并证明了Ishikawa迭代序列收敛于拟压缩映射的唯一不动点。     

Software Practicalization for Analysis of Wind-Induced Vibrations of Large Span Roof Structures

Wind loads are key considerations in the structural design of large-span structures since wind loads can be more important than earthquake loads, especially for large flexible structures. The analysis of wind loads on large span roof structures (LSRS) requires large amounts of calculations. Due to the combined effects of horizontal and vertical winds, the wind-induced vibrations of LSRS are analyzed in this paper with the frequency domain method as the first application of method for the analysis of the wind response of LSRS. A program is developed to analyze the wind-induced vibrations due to a combination of wind vibration modes. The program, which predicts the wind vibration coefficient and the wind pressure acting on the LSRS, interfaces with other finite element software to facilitate analysis of wind loads in the design of LSRS. The effectiveness and accuracy of the frequency domain method have been verified by numerical analyses of practical projects.