非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

"求线性规划问题可行基的一种方法"的再注记

文[1]给出一个求线性规划问题可行基的方法，文[2]指出其判定条件（3）有误，然而所用的反例并不正确。本文给出三个正确的反例；此外，还给出反例表明文[1]的判定条件（2）也不正确的。     

下游差异Cournot厂商的提成许可策略与创新激励

不同的上游市场结构对下游厂商的许可策略、创新激励产生不同的影响.文章分别基于上游原料供应商为独占垄断、双头垄断以及完全竞争的假设,结合提成许可策略,比较分析了下游产品市场差异Cournot厂商的创新激励.结果表明：上游厂商的市场势力越强,下游厂商的显著创新激励越低,但显著创新的提成许可激励却越高.这一结果为厂商与政府的创新管理提供了理论依据.     

比赛项目排序的模型

本文将2005年“电工杯”B题的最优化问题转化为独立的问题来讨论。解决了在比赛项目排序过程中尽可能使每个运动员不连续参加两项比赛问题。即把运动员参加的项目记作1，把未参加的项目记为0，这样把运动员报名表转化成为一个0-1矩阵。问题转化成为0-1矩阵进行列交换顺序，使得每一行中两个1相邻出现的次数和达到最小。并对模型进行了推广。最后指出了模型的优缺点。     

成本最小问题与(弱)DEA有效性

在文[1]的基础上,本文证明了在一定条件下对所给的决策单元、其弱DEA有效性或DEA有效性能由成本最小问题的最优解来判断.     

排序问题的线性规划松弛方法

本文研究排序问题的线性规划松弛方法，对单台机器排序问题1｜prec｜∑wjCj介绍基于三个确定性线性规划松弛的2一近似算法，对平行机排序问题R｜rij｜（wjCj）介绍基于随机线性规划松弛的2-近似算法。这后一个算法对排序问题R｜（wjCj｜是3／2-近似算法．     

Interior Point Methods for Second-Order Cone Programming and OR Applications

Interior point methods (IPM) have been developed for all types of constrained optimization problems. In this work the extension of IPM to second order cone programming (SOCP) is studied based on the work of Andersen, Roos, and Terlaky. SOCP minimizes a linear objective function over the direct product of quadratic cones, rotated quadratic cones, and an affine set. It is described in detail how to convert several application problems to SOCP. Moreover, a proof is given of the existence of the step for the infeasible long-step path-following method. Furthermore, variants are developed of both long-step path-following and of predictor-corrector algorithms. Numerical results are presented and analyzed for those variants using test cases obtained from a number of application problems.     

逐位模2加运算与模2n加运算的相容程度分析

深入分析了逐位模2加运算和模2^n加运算的相客程度问题，给出了它们的相客概率的计算公式；同时给出了它们的一些性质．井对用这两种群运算的组合作为编码环节的特性做了一定的分析。     

数据包络分析在信用评估中的应用

提出了一种基于拒绝案例集的数据包络分析模型和边界为分段线性分离超平面的分类方法，探讨了在只掌握单方面信息(信用差的单位)的情况下，如何对新单位进行信用评估的问题，并给出了评价决策单元信用状况的具体方法，应用实例表明所提出的模型和方法是可行的。     

Spectral sequences in (∞,1)-categories

We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an ∞-category, with an emphasis on how to construct the differentials in a model-invariant manner.