变量有广义界线性规划的直接对偶单纯形法

本文讨论变量有广义界线性规划问题借助标准形线性规划同单纯形法技术，建立问题的一个直接对偶单纯形法。分析了方法的性质，给出了初始对偶可行基的计算方法，并用实例说明方法的具体操作。     

关于Z-空间的对偶空间的讨论

本文以自然的方式定义了从Z-空间X到Z-空间Y的有界线性算子的和以及它们的数乘.从而得到了与赋范空间的对偶空间理论类似的一系列结论.     

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.     

Artinian level modules and cancellable sequences

In order to use dualization to study Hilbert functions of artinian level algebras we extend the notion of level sequences and cancellable sequences, introduced by Geramita and Lorenzini, to include Hilbert functions of certain artinian modules. As in the case of algebras a level sequence is cancellable, but now by dualization its reverse is also cancellable which gives a new condition on level sequences. We also give a characterization of the cancellable sequences involving Macaulay representations.     

复流形局部q-凸楔形上带权的同伦公式

本文得到复流形局部q-凸楔形上(r,s)型微分形式的带权的同伦公式和(r,s)型的方程的带权的连续解,并给出(r,s)型微分形式的不含边界积分的新的带权的同伦公式和(r,s)型的方程的新的带权的连续解.这些新的带权公式尤其适用于具有非光滑边界的局部q-凸楔形,这时不但可以避免边界积分的复杂估计,而且积分密度也不必在边界有定义,只要在区域上有定义就行.其次,引进权因子,带权的积分公式在应用上(比如在函数的插值方面)具有更大的灵活性.     

线性规划的符号跟踪算法

分析了只含一个约束条件的线性规划最优基变量的特征，将其运用到搜寻含m个约束条件的线性规划的最优基变量，从而提出了线性规划的符号跟踪算法，为线性规划求解提供了新途径。     

存贮问题的优化算法

本文根据经济模型的特殊结构,利用对偶线性规划的理论和其它技巧,简化求解过程,有利于模型的普及应用.     

On the spectral picture of an irreducible subnormal operator II

In this paper we show that the spectral picture of an irreducible subnormal operator may be arbitrarily prescribed subject only to certain natural necessary conditions. This completes work begun by the second author.

     

The course scheduling problem at Lufthansa Technical Training

Lufthansa Technical Training GmbH (LTT) performs training courses for Lufthansa Technik AG as well as for several other international airlines. Courses of about 670 different types are offered of which several hundred take place each year. The course scheduling problem faced by LTT is to construct a yearly schedule which maximizes the profit margin incurred while meeting a variety of complex precedence, temporal, and resource-related constraints. A “good” operational schedule should also meet a number of additional subordinate objectives. We formalize the problem and develop a heuristic scheme along with several priority rules, as well as a local search algorithm to determine well-suited weights for weighted composite rules. The operational planning situation of 1996 served as our major test instance; additional test instances were constructed by modifying this data. Several computational experiments were carried out to evaluate the performance of the algorithms. It turned out that the best so-found schedule is substantially better in terms of the profit margin incurred than the solution manually constructed by LTT.     

A decomposition heuristics for the container ship stowage problem

In this paper we face the problem of stowing a containership, referred to as the Master Bay Plan Problem (MBPP); this problem is difficult to solve due to its combinatorial nature and the constraints related to both the ship and the containers. We present a decomposition approach that allows us to assign a priori the bays of a containership to the set of containers to be loaded according to their final destination, such that different portions of the ship are independently considered for the stowage. Then, we find the optimal solution of each subset of bays by using a 0/1 Linear Programming model. Finally, we check the global ship stability of the overall stowage plan and look for its feasibility by using an exchange algorithm which is based on local search techniques. The validation of the proposed approach is performed with some real life test cases. This work has been developed within the research area: “The harbour as a logistic node” of the Italian Centre of Excellence on Integrated Logistics (CIELI) of the University of Genoa, Italy