卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

成对需求的局内k-服务器问题及其工作函数策略

提出了多需求的k 服务器问题,建立了数学模型.研究了问题空间为k+2时的一个特例:即在任一时刻点都同时有两个服务需求提出.给出了此特例的工作函数策略,进行了相应的策略分析并给出了竞争比的证明.关于成对及多需求k 服务器问题的一般情形的策略设计及理论证明仍然是公开问题.     

小康社会与小康家庭的定量研究模型

中国小康社会的指标体系分国家层面、社会层面和家庭层面给出,小康家庭识别模型由一级、二级指标和测量要素来刻划,用属性识别的数学方法给出定量的计算.     

约束非线性l1问题的调节熵函数法

针对约束非线性l1问题不可微的特点,提出了一种光滑函数的近似逼近方法。该方法利用调节熵函数和罚函数技术将约束非线性l1问题转化为无约束可微优化问题,因而可利用光滑优化的经典算法求出原问题的近似最优解。给出了基于光滑优化问题的BFGS迭代,并介绍了约束非线性l1问题的调节熵函数的有关性质、算法的迭代步骤及其收敛性分析。最后通过数值实例表明了该算法的有效性。     

一类RNA二级结构的计数

应用组合计数技巧研究了一类RNA二级结构的计数问题,给出了序列[1,n]的二级结构数和序列[1,n]上恰有k个基对的二级结构数的精确表达式.     

应用连续小波变换提取对流云团

准确地从卫星云图背景中划分出对流云团的边界十分困难。提出了一种应用连续小波变换从红外卫星云图中提取对流云团的处理方法。将正弦波经过Gauss函数调制后，得到一组满足允许条件的连续小波基函数，利用这组小波基实现了对流云团小波提取算法，得到了强对流云团边界的分割。与提取对流云团的常规处理手段相比，这种方法具有物理意义明确、分割结果准确的优点，是提取卫星云图中对流云团的有效方法。     

完备非紧流形上的射线与Busemann函数

讨论了完备非紧正则黎曼流形上的Busemann函数间的关系，并用于讨论流形的几何拓扑性质．     

关于两个线性递推序列

用发生函数的办法考察了线性递推关系bi,j=αbi-1,j βbi,j-1和ci,j=αci-1,j βci,j-1 αβci-1,j-1的特殊情况所确定的矩阵B和C,得到了矩阵B,C的分解B=P[α](bo,oI ωE)PT[β],C=P[α]DPT[β]和相应行列式的值.发现B,C与Pascal矩阵P有着紧密的联系.     

CHESS系统中一种改进的G函数算法 

介绍了一种新型的短波通信系统CHESS系统,描述了CHESS的系统结构及其关键技术-差分跳频.差分跳频主要归结于一种G函数算法,在介绍G函数算法原理的基础上,提出了一种改进的G函数算法,并对其进行了分析和检验.     

二元分形插值函数的不定积分

介绍了矩形区域上由迭代函数系(iterated function system,IFS)生成的二元分形插值函数的不定积分.首先证明二元插值函数的不定积分也是由迭代函数系迭代生成的,并得到了其迭代函数系.其次,证明了二元插值函数的不定积分的2阶混合偏导数等于其二元插值函数本身的充要条件,并推广到2N阶的情形.