Flatness of CR submanifolds in a sphere

In Euclidean geometry, for a real submanifold M in E n+a , M is a piece of E n if and only if its second fundamental form is identically zero. In projective geometry, for a complex submanifold M in CP n+a , M is a piece of CP n if and only if its projective second fundamental form is identically zero. In CR geometry, we prove the CR analogue of this fact in this paper.     

The maximum absolute deviation measure in location problems on networks

In selecting sites for facilities, especially in the public sector, the issue of equity is becoming increasingly important. In this way several equity criteria have already been applied to solve single facility location problems on networks. In this paper, a new locational equity measure, the maximum absolute deviation, is analyzed, its properties investigated and an algorithm for locating the single facility which minimizes such a measure on a network is proposed. Likewise, a particular case is also studied and a numerical example is presented.     

Approximation Schemes for the Generalized Traveling Salesman Problem

A graph Γ is called a Deza graph if it is regular and the number of common neighbors of any two distinct vertices is one of two fixed values. A Deza graph is called a strictly Deza graph if it has diameter 2 and is not strongly regular. In 1992, Gardiner et al. proved that a strongly regular graph that contains a vertex with disconnected second neighborhood is a complete multipartite graph with parts of the same size greater than 2. In this paper, we study strictly Deza graphs with disconnected second neighborhoods of vertices. In Section 2, we prove that, if each vertex of a strictly Deza graph has disconnected second neighborhood, then the graph is either edge-regular or coedge-regular. In Sections 3 and 4, we consider strictly Deza graphs that contain at least one vertex with disconnected second neighborhood. In Section 3, we show that, if such a graph is edge-regular, then it is the s-coclique extension of a strongly regular graph with parameters (n, k, λ, μ), where s is an integer, s ≥ 2, and λ = μ. In Section 4, we show that, if such a graph is coedge-regular, then it is the 2-clique extension of a complete multipartite graph with parts of the same size greater than or equal to 3.     

On differential equations with interval coefficients

In this study, a new approach is developed to solve the initial value problem for interval linear differential equations. In the considered problem, the coefficients and the initial values are constant intervals. In the developed approach, there is no need to define a derivative for interval-valued functions. All derivatives used in the approach are classical derivatives of real functions. The reason for this is that the solution of the problem is defined as a bunch of real functions. Such a solution concept is compatible also with the robust stability concept. Sufficient conditions are provided for the solution to be expressed analytically. In addition, on a numerical example, the solution obtained by the proposed approach is compared with the solution obtained by the generalized Hukuhara differentiability. It is shown that the proposed approach gives a new type of solution. The main advantage of the proposed approach is that the solution to the considered interval initial value problem exists and is unique, as in the real case.     

On Location and Approximation of Clusters of Zeros of Analytic Functions

At the beginning of the 1980s, M. Shub and S. Smale developed a quantitative analysis of Newton's method for multivariate analytic maps. In particular, their α-theory gives an effective criterion that ensures safe convergence to a simple isolated zero. This criterion requires only information concerning the map at the initial point of the iteration. Generalizing this theory to multiple zeros and clusters of zeros is still a challenging problem. In this paper we focus on one complex variable function. We study general criteria for detecting clusters and analyze the convergence of Schroder's iteration to a cluster. In the case of a multiple root, it is well known that this convergence is quadratic. In the case of a cluster with positive diameter, the convergence is still quadratic provided the iteration is stopped sufficiently early. We propose a criterion for stopping this iteration at a distance from the cluster which is of the order of its diameter.     

一类凸规划的多项式预估校正内点法

1、引言 1990年由Mehrotra对线性规划问题提出了一个称为预估校正的方法,并在1992年给出了其数值算法．1993年Mizuno,Todd和Y．Ye．给出了改进的预估校正内点法,使得一个预估步后只跟一个校正步．1994年F．A．Potra给出了不可行预估校正内点法,使得可以从一个不可行的初始点开始算法的迭代,并证明了其为二次收敛．     

非对称相异性矩阵的一种非度量多维尺度变换

本文将Okada ＆ Imaizumi等的模型加以推广,提出了一种用于处理非对称相异性矩阵的非度量多维尺度变换新方法.在模型中,我们假定每个研究对象可以表示为Minkowski度量空间中的一个点和一个超球面,超球面的半径揭示了相应研究对象的非对称性.文中我们给出了一种计算点坐标及球半径的算法.该算法使用了代数方法,比原来的方法收敛速度快,节省计算时间.最后给出了一个数值例子.     

A comparative numerical analysis for the guillotine two-dimensional cutting problem

In this work, the behavior of four algorithms in the resolution of the two-dimensional constrained guillotine cutting problem is analyzed. This problem is concerned about the way a set of pieces should be cut from a plate of greater dimensions, considering guillotine cutting and a constrained number of times a piece can be cut from the plate. In this study three combinatorial and two heuristic methods are considered. In the combinatorial methods from the set of pieces, a minimum loss layout is constructively generated based on Wang's algorithm. In addition, an evolutionary and an annealing type approach are considered. All of these models have been implemented on a high performance Silicon Graphics machine. Performance of each algorithm is analyzed both in terms of percentage waste and running time. In order to do that, a set of 1000 instances are classified according to their combinatorial degree and subsequently evaluated. This revised version was published online in June 2006 with corrections to the Cover Date.     

具有连续对合运算的实Banach*代数的Jordan结构

本文讨论了实Banach*代数的Jordan结构．主要结果:第一部分指出映射到 *-半单实Banach*代数上的Jordan*同态是连续的,且其核空间是闭*理想;由映射到交换实Banach*代数上的Jordan*同态诱导的因子代数也是交换的．第二部分介绍了两个不同的锥,并讨论了他们间的关系．另外,我们得到了关于实Banach*代数*- 根基的一个新的刻画．本文是Satish Shirali的工作的实化．     

Variants of the Two Machine Flow Shop Problem connected with factorization of matrix functions

In this paper we consider a number of variants of the Two Machine Flow Shop Problem. In these variants the makespan is given and the problem is to find a schedule that meets this makespan, thereby minimizing the infeasibilities of the jobs in a prescribed sense: In the max-variant the maximum infeasibility of the jobs is to be minimized, whereas in the sum-variant the objective is to minimize the sum of the infeasibilities of the jobs. For both variants observations about the structure of the optimal schedules are presented. In particular, it is proved that every instance of these problems has an optimal permutation schedule. It is also shown that the max-variant can be solved by Johnson's Rule. For the sum-variant this is not the case: For solving this problem to optimality something quite different is necessary. Both variants are connected with factorization problems for certain rational matrix functions. The factorizations involved are optimal in some sense and generalize the notion of complete factorization. In this way a connection is established between job scheduling theory on one hand, and mathematical systems theory on the other.     

Oblique projectors and group involutory matrices

In this work, conditions characterizing when a lineal combination of two projectors of the same order is a group involutory matrix are analyzed. In particular, a representation of an involutory matrix as a sum or difference of two projectors is given. In addition, some results are applied to control problems. An application to obtain a state feedback control is given.     

A novel algorithm based on parameterization method for calculation of curvature of the free surface flows

In this paper, a new approach based on parameterization method is presented for calculation of curvature on the free surface flows. In some phenomena such as droplet and bubble, surface tension is prominent. Therefore in these cases, accurate estimation of the curvature is vital. Volume of fluid (VOF) is a surface capturing method for free surface modeling. In this method, free surface curvature is calculated based on gradient of scalar transport parameter which is regarded as original method in this paper. However, calculation of curvature for a circle and other known geometries based on this method is not accurate. For instance, in practice curvature of a circle in interface cells is constant, while this method predicts different curvatures for it. In this research a novel algorithm based on parameterization method for improvement of the curvature calculation is presented. To show the application of parameterization method, two methods are employed. In the first approach denoted by, three line method, a curve is fitted to the free surface so that the distance between curve and linear interface approximation is minimized. In the second approach namely four point method, a curve is fitted to intersect points with grid lines for central and two neighboring cells. These approaches are treated as calculus of variation problems. Then, using the parameterization method, these cases are converted into the sequences of time-varying nonlinear programming problems. With some treatments a conventional equivalent model is obtained. It is finally proved that the solution of these sequences in the models tends to the solution of the calculus of variation problems. For verification of the presented methods, curvature of some geometrical shapes such as circle, elliptic and sinusoidal profile is calculated and compared with original method used in VOF process and analytical solutions. Finally, as a more practical problem, spurious currents are studied. The results showed that more accurate curve prediction is obtained by these approaches than the original method in VOF approach.     

The Lattices of Kernel Ideals in Pseudocomplemented De Morgan Algebras

In a pseudocomplemented de Morgan algebra, it is shown that the set of kernel ideals is a complete Heyting lattice, and a necessary and sufficient condition that the set of kernel ideals is boolean (resp. Stone) is derived. In particular, a characterization of a de Morgan Heyting algebra whose congruence lattice is boolean (resp. Stone) is given.     

Reconstruction of a tree from its homomorphic images and other related transforms

It is shown that a tree is uniquely reconstructable from its homomorphic images. In addition, the classes of elementary contractions and elementary partitions of a tree are also shown to possess this property. In each case, only the isomorphically distinct transforms of the tree are assumed given for the reconstruction. In the case of elementary contractions the proof uses the reconstruction property of a tree from its endpoint deleted subtrees, which is well-known.     

A method for approximating pairwise comparison matrices by consistent matrices

In several methods of multiattribute decision making, pairwise comparison matrices are applied to derive implicit weights for a given set of decision alternatives. A class of the approaches is based on the approximation of the pairwise comparison matrix by a consistent matrix. In the paper this approximation problem is considered in the least-squares sense. In general, the problem is nonconvex and difficult to solve, since it may have several local optima. In the paper the classic logarithmic transformation is applied and the problem is transcribed into the form of a separable programming problem based on a univariate function with special properties. We give sufficient conditions of the convexity of the objective function over the feasible set. If such a sufficient condition holds, the global optimum of the original problem can be obtained by local search, as well. For the general case, we propose a branch-and-bound method. Computational experiments are also presented.     

Single-machine scheduling with deteriorating functions for job processing times

In many realistic scheduling settings a job processed later consumes more time than when it is processed earlier – this phenomenon is known as scheduling with deteriorating jobs. In the literature on deteriorating job scheduling problems, majority of the research assumed that the actual job processing time of a job is a function of its starting time. In this paper we consider a new deterioration model where the actual job processing time of a job is a function of the processing times of the jobs already processed. We show that the single-machine scheduling problems to minimize the makespan and total completion time remain polynomially solvable under the proposed model. In addition, we prove that the problems to minimize the total weighted completion time, maximum lateness, and maximum tardiness are polynomially solvable under certain agreeable conditions.     

半直线上随机环境中的随机游动的常返性

本文讨论半直线上随机环境中的随机游动的常返性。在独立环境下，主要通过强大数定律，找到了非常返和正常返的一个充分条件下，并将这一结果推广到一些特殊情情形。在一般的随机环境下，主要通过数列的有界性，给出了常返与零常返的一个充分条件。     

Assortment and inventory decisions with multiple quality levels

We consider the assortment and inventory decisions of a retailer under a locational consumer choice model where products can be differentiated both horizontally (e.g., color of a product) and vertically (e.g., quality of a product). The assortment and quantity decisions affect customer choice and, hence, the demand and sales for each product. In this paper, we investigate two different environments where product availability and assortment affect consumer choice and demand in different ways: make-to-order (MTO) and make-to-stock (MTS). In the MTO environment, customers order and purchase their most preferred product; that is, stockouts do not occur. In the MTS model, customers buy their most preferred product if it is in stock or do not buy if it is out of stock. In both environments we find conditions under which it is optimal to carry assortments of only a single quality level. In the MTS case, we show that an assortment of mixed quality levels can be optimal only within a narrow range of parameters.     

NP-hardness of compact scheduling in simplified open and flow shops

In practical task scheduling it is sometimes required that the components of a system perform consecutively. Such a scheduling is called scheduling without waiting periods or no-wait and/or no-idle. In this article we study the complexity of some simplified scheduling problems of this kind in open shop and flow shop settings. In particular, we show that many trivial questions about the existence of schedule become NP-hard, even if there are only two machines or if the scheduling graph of a system is a path or a cycle.