AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

凸单叶调和映射的Fréchet可微泛函的极值问题

借助一种变分方法 ,研究了凸单叶调和映射上具有 Fréchet可微泛函的极值问题 ,得到极值函数的必要条件。     

度量内向性条件下多值压缩映射的不动点

首先给出了度量内向映射新定义，进而证明了多值压缩映射一个新的不动点定理.它从新的角度改进与推广了文献[3]和[4]中某些重要结论.     

B-值多线性映射的有界型核定理

讨论了取值于一般的Banach空间（不必须是自反的）的有界型多线性映射的核定理．     

Monopulse instantaneous 3D imaging for wideband radar system

To avoid the complicated motion compensation in interferometric inverse synthetic aperture(InISAR)and achieve realtime three-dimensional(3 D)imaging,a novel approach for 3 D imaging of the target only using a single echo is presented.This method is based on an isolated scatterer model assumption,thus the scatterers in the beam can be extracted individually.The radial range of each scatterer is estimated by the maximal likelihood estimation.Then,the horizontal and vertical wave path difference is derived by using the phase comparison technology for each scatterer,respectively.Finally,by utilizing the relationship among the 3 D coordinates,the radial range,the horizontal and vertical wave path difference,the 3 D image of the target can be reconstructed.The reconstructed image is free from the limitation in InISAR that the image plane depends on the target's own motions and on its relative position with respect to the radar.Furthermore,a phase ambiguity resolution method is adopted to ensure the success of the 3 D imaging when phase ambiguity occurs.It can be noted that the proposed phase ambiguity resolution method only uses one antenna pair and does not require a priori knowledge,whereas the existing phase ambiguity methods may require two or more antenna pairs or a priori knowledge for phase unwarping.To evaluate the performance of the proposed method,the theoretical analyses on estimation accuracy are presented and the simulations in various scenarios are also carried out.     

L-Fuzzy理想的L-Fuzzy剩余类的刻画

给出当L是完全分配格时L-fuzzy理想的L-fuzzy剩余类的定义及若干刻画,并证明了若f:X→Y是环满同态,B是Y的L-fuzzy理想,则X关于L-fuzzy理想f -1(B)的L-fuzzy剩余类做成的环X/f-1(B)与环Y同构.     

拟共形映射下不同指数Hardy空间的复合算子

利用拟共形映射的性质,在诱导拟共形映射的逆映射连续可导的前提下,给出了不同指数Hardy空间之间的复合算子有界的充要条件。     

关于《区间上三段单调扩张自映射的周期轨道》的注记

设m≥0是任一整数.对每一正奇数n≥3,设λn,sn,rn分别是方程xn-2xn-2-1=0,xn-2xn-1-1=0和xn 2-3xn-x2-1=0的唯一正根.记tn0=rn,tni=sn,i≥1,iN,λ=nl→i∞mλn,s=nli→∞msn,t=nli→∞mtn.设λ为f C0(I,I)的扩张常数.利用实分析学中的极限理论,得到了:(1)若f F2(I)∪G2(I),且λ>λ1/2m,则存在最小的奇数n0≥3,使得f有2m.n0-周期点.(2)若f F3(I),且λ>s1/2m,则存在最小的奇数n0≥3,使得f有2m.n0-周期点.(3)若f G3(I),且λ>t1/2m,则存在最小的奇数k0≥3,使得f有2m.k0-周期点.     

一种基于核主元分析的非参数控制限算法

实际过程中,监控指标值往往不满足确定的概率分布,给控制限的计算带来了困难,现有的计算方法计算复杂、精度差.根据高维空间良好的分类特性,提出一种基于核主元分析(KPCA)的监控指标控制限计算方法,将监控指标值映射到高维空间,再在高维空间中对其映射数据进行监控,实现了控制限的间接求取,避免了复杂的计算.