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

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

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

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

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

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

求解非结构四边形二次拉格朗日有限元方程的代数多重网格法

针对一类带间断系数的椭圆边值问题,在非结构四边形部分下,讨论了两种二次拉格朗日有限元方程的代数多重网格法,通过利用双线性元和二次元基函数之间的表示关系,给出了一种新的网格粗化算法和构造提升算子的代数途径.数值实验表明:新的AMC法具有更好的“鲁棒”性和效率.     

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

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

一类RNA二级结构的计数

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

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

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

中国民营企业二次创业的制约因素及对策分析

本文以民营企业二次创业的相关问题作为研究对象，重点分析了可以由企业控制的制约民营企业二次创业的内部因素。并结合民营企业的特点。对二次创业提出了一些建议。     

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

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

黄土高原西缘末次盛冰期以来古气候演化的有机碳同位素记录

综合CaCO3含量、碳酸盐碳、氧同位素资料，并结合研究区的区域特征，对兰州红咀寺剖面有机碳同位素气候指示意义进行了研究．结果表明，在黄土高原西缘，有机碳同位素δ^13Corg波动反映C3／C4植物比例改变，指示温度变化．δ^13Corg值偏正时，表明C4植物含量较大，反映温度较高．有机碳同位素和CaCO3含量、碳酸盐碳、氧同位素共同揭示了兰州地区末次盛冰期气候较全新世明显偏低，在11．5kaBP，13．9kaBP存在两次明显的降温；进人全新世以后，兰州气候开始逐渐变暖，但仍存在8．8kaBP、5．0kaBP和3．2kaBP的三次突然升温以及8．0kaBP、6．8kaBP和5．3kaBP的降温事件，说明了兰州地区气候变化的复杂性和不稳定性．