局部凸空间中的压缩映射

本文将压缩映射原理推广到Ｈａｕｓｄｏｒｆｆ局部凸空间,证明了几个不动点定理。     

缝隙宽度对频率选择表面透波特性的影响

从物理本质上分析了频率选择表面FSS(Frequency Selective Surfaces)单元的缝隙宽度对FSS平板透波特性的影响.FSS平板单元的缝隙越宽,则单元的谐振波长缩短就越多,谐振频率也随之升高.利用Floquet定理,计算分析了缝隙宽度对FSS平板透波特性的影响;采用蚀刻技术加工FSS平板小矩形缝隙单元.实验测试的结果表明,缝隙宽度变大时,谐振频率升高,同时,FSS平板的透波率和谐振带宽变大.实验数据与计算结果在误差允许的范围内基本一致.      

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

关于整系数不可约多项式

在文[1]中，作者推广了著名的Eisenstein的判别法，给出了在有理数上判断整系数不可约多项式的两个定理，并且形式比较简单，应用也比较方便。本文把文[1]中的定理作了进一步的推广，推广到更为一般的形式，相应也给出了几个判断整系数不可约多项式的定理，而形式与文[1]中的形式同样简单，比文[1]中给出的定理更具有一般性。     

机制设计理论及其在中国的应用

机制设计理论是博弈论和社会选择理论的综合运用,其基本思想就是对于一定的经济环境和社会目标,研究如何设计一个机制,使得人们在自利行为驱动下采取行动,使预定目标得以实现。赫维茨提出机制设计理论的基本概念和框架,马斯金和迈尔森进一步发展完善,田国强运用数学工具做了一般化的证明。机制设计理论的提出,弥补了亚当·斯密“看不见的手”的可能性缺失,从而进一步完善了经济学理论体系,论证了市场机制的有效性。对经济改革和社会制度变迁的中国而言,设计有效的机制是中国改革的主要任务之一,机制设计理论在其中有着广泛的应用领域和直接的借鉴价值。     

两个重要的均衡模型及部分相关的数学方法和对象

对经济理论中两个重要的均衡模型及其所使用的数学方法和对象给出了一个简要的综述。     

判断矩阵的一个恰当的校正方法

 本文首先证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。然后通过微分同胚,把原来的非线性逼近转化成一个线性逼近,从而用投影定理获得解决。算例证明该方法简易可行。     

一种用戴维南定理分析含受控源电路的方法

本文探讨了一种用戴维南定理分析含受控漂电路的方法。指导思想是将受控源当作独立源,以便求等效电路,特别是求等效入端电阻较为方便。     

基于公共余数最优估计的多通道干涉SAR高程重建方法

针对多通道干涉SAR高程重建方法计算效率较低的问题,提出了一种基于公共余数最优估计的多通道干涉SAR快速高程重建方法。该算法首先对干涉相位去除平地效应后,得出每幅干涉图像任意一个像素对应的缠绕干涉相位,构造出关于干涉相位模糊数的同余方程组;然后利用最优估计法求解出带噪声余数的公共余数的最优估计值,求解出各目标的高程值;最后再利用改进措施得到更高精度的高程重建结果。试验数据处理结果表明,该方法使得多通道干涉SAR高程重建的计算效率有了显著提升。