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

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

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

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

固体火箭发动机可靠性评定的影子理论及应用

首次提出可靠性评定的影子问题,证明了影子定理,并用影子定理对固体火箭发动机的结构可靠性进行了评定,表明其具有应用价值。     

带可收缩挠性附件受控航天器稳定性分析

带可伸缩挠性附件受控航天器在附件收缩过程中可能因为收缩率设计不当导致系统不稳定,本文利用李亚普诺夫稳定性定理,推导出利用姿态角和姿态角速度反馈设计的PD控制律来实现可伸缩挠性附件在收缩过程稳定性控制的充分条件,对设计满足系统稳定性要求的收缩率和控制律具有指导意义。     

L-可积函数的逼近定理

通常所说的函数逼近,或者是在C—范数拓扑下连续函数的多项式逼近,或者是在L~p—范数拓扑下L~p函数的多项式逼近,或者是在Sobolev范数(‖·‖_(H~(m,p)(Ω)))拓扑下用C~∞(Ω)(或C~∞(Ω))对于Sobolev空间H~(m,p(Ω))的逼近。而对于有界L—可积函数的多项式a·e(即几乎处处)逼近,至今未见有任何文献。本文则借助于实变函数的性质与连续函数多项式逼近的技巧来处理这一工作,而文中的主要结果(即定理1—3)正反映了这一尚未有过的工作。确切地说,本文首先利用L—可测函数的重要定理,把L—可测函数转化为连续函数,使(用多项式)a·e逼近成为可能;而后,再对连续函数将广义Jackson算子逼近的已知结果与相应技巧应用上去,得到一系列刻划逼近程度(即逼近阶)的渐近估计。     

无失真恢复样点值非满足奈奎斯特准则不可吗

本文论证了一个与数据传输理论中关于样点恢复的传统理论完全相反的命题：信道传输特性不满足奈奎斯特第一准则，照样可以无失真地恢复被传输的样点值。如果这一命题成立，则对数据传输理论和工程实际产生重要影响。今作为一个有待进一步检验的命题提出来，供读者讨论、评说和批评。     

我对普适化采样定理公式及结论的理解

本文用不同于文献［１］的方法对普适化采样定理公式作了理论推导，并给出了公式成立的充要条件。对文献［１］作者根据该公式得出的在信道或滤波器带宽为ωＣ系统中，可以具有大子２ωＣ的数据传输率的结论作了否定回答。同时又认为，普适化采样定理公式是Ｎｙｑｕｉｓｔ第一准则基本理论的继承和发展，在实际工程中具有重大意义。     

采样定理与奈奎斯特准则的研究

揭示出采样定理存在的局限性，推导出了一个解决这一局限性的普适化采样定理公式。并由此证明，在存在码间相互干扰的情况下，在一定条件下，仍然可以无失真地恢复出样点值，而且Ｎｙｑｕｉｓｔ传输率可以超过。