广义Lupas—Baskakov积分算子

定义了广义Ｌｕｐａｓ－Ｂａｓｋａｋｏｖ积分算子，研究该类算子的逼近性质，并建立相应的逼近等价定理     

绑定验证技术在WLAN信息安全中的应用

提出了在WEP的基础上，采用将静态IP、MAC、用户口令三者绑定验证的方法。为验证该方法，2000年11月，笔者采用WLAN技术建立了清新县公众信息无线网，覆盖面积近20平方公里，它包含了远程宽带无线接入系统和WLAN两个部分，无线设备是朗讯公司的Wave PointⅡ和AP-1000。到目前为止，网络还未发生过安全问题。该网3年多的实际运行证明：绑定技术是解决WLAN安全问题最简单有效的防范方案。     

多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．     

基于交叉巢式Logit的多用户多模式随机用户均衡模型

为了完善现有城市交通分配模型,建立了一个基于交叉巢式Logit的多用户多模式随机用户网络均衡模型。该网络具有以下特征：网络中存在多类用户,不同类别用户的出行时间价值不同;用户可使用多种交通模式,不同模式相互干扰,且模式间路段阻抗影响满足对称条件。路径的选择采用克服多项式Logit模型的不相关备选方案独立属性的交叉巢式Logit模型来表示,并建立了一个等价数学规划公式来表示这一多用户多模式混合均衡状态,同时使用一个简单算例对基于交叉巢式Logit和基于传统的多项式Logit的模型进行了比较。结果表明：数学规划公式与基于交叉巢式Logit的随机用户均衡条件具有等价性,证明了模型最优解的存在性和唯一性;相比传统的离散选择模型,所提出的模型能更好地在混合状态下进行路径选择。     

基于等价交路组合的乘务值乘计划优化

根据乘务值乘计划的优化性与乘务交路的排列顺序不是一一对应的特性,提出等价交路组合的概念。通过构建接续网络刻画部分交路接续关系,在此基础上,基于等价交路组合设计了求解乘务值乘计划的启发式优化方法。以广深线数据为例,对提出的优化方法进行验证,并分析了不同乘务规则取值对需要的乘务员数量的影响。     

唯一分解整环上的矩阵环

本文研究了唯一分解整环上的矩阵的等价标准形,找到了方阵可逆及不可约的条件,并给出了方阵的一种分解。     

应用波型分析方法设计低波阻船型

本文应用波型分析方法设计低波阻船型。对设计的母型船进行波型测量，获取波幅函数。根据刘应中教授提出的等价薄船概念。用变态的Furier变换方法求出等价薄船的修正函数，用互补主元法优化横剖面面积曲线，得到低兴波阻力船型。     

关于多项式互素的等价命题

给出十几个关于多项式互素的等价命题，其中包括数论孙子定理在多项式理论中的反映。