基于电阻阵的红外图像实时生成和显示系统

对基于MOS电阻阵列红外图像转换器的红外图像实时生成和显示系统的实现进行了重点论述。根据红外图像仿真原理对典型目标建模,并利用openGL和开发的图像转换等软件,完成目标动态图像数据序列的计算机生成;论述了基于128×128电阻阵列的红外图像数据处理与驱动控制技术,实现了目标动态红外亮度图像向目标动态灰度图像的转换,并利用驱动控制系统以200Hz的帧频速度驱动MOS电阻阵实时生成目标动态红外图像。该系统已在红外成像目标仿真中得到应用。     

关于Cauchy中值定理逆问题的渐近性

对Cauchy中值定理的逆问题作了进一步的研究,得到了Cauchy中值定理逆问题的渐近性.     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

ρ~0→π~ π~-衰变的么正计算和ρ~0极化插入的虚部

本文给出了ρ~０→π~＋π~－衰变的么正计算及其衰变率和ρ~２极化插入的关系．ρ~０极化插入的虚部是用维度积分的方法来计算．极化插入虚部的计算方法是普适的．     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

图像相关方法中采用多种子区进行位移测量

在图像相关位移测量方法中一般采用正方型子区搜索中心点的位移.当测量靠近裂纹或缺陷部位的位移时中心型子区失去效果,为了解决这一问题提出了非中心型子区的方法.证明了方法的有效性.认为在相关搜索时测量点既可选定在子区的中心位置,也可选定在非中心位置.进而提出了将测量点确定在子区角点的多种子区的方法.除通常的中心型子区外,至少还有4种子区可以采用,分别是右下角型、左下角型、右上角型和左上角型,这4种子区不但适用于表面裂纹或缺陷部位的位移测量,而且增加了图像有效信息的提取面积.