A Constraint Programming Approach to Extract the Maximum Number of Non-Overlapping Test Forms

This paper introduces a novel approach for extracting the maximum number of non-overlapping test forms from a large collection of overlapping test sections assembled from a given item bank. The approach involves solving maximum set packing problems (MSPs). A branch-and-bound MSP algorithm is developed along with techniques adapted from constraint programming to estimate lower and upper bounds on the optimal MSP solution. The algorithm is general and can be applied in other applications including combinatorial auctions. The results of computer simulations and experiments with an operational item bank are presented. An erratum to this article is available at .     

New methods for determining the volumetric flow rate in the column and the retention time of the unretained substance in gas chromatography

New methods for calculating the mean volumetric flow rate of the carrier gas and the retention time of the unretained substance in the column under conditions of gas chromatography were proposed. The methods are based on preliminary isothermal calibrations of the flow rate and holdup time for a packed column. A theoretical substantiation of the methods was given. Procedures of plotting calibration dependences for determining the indicated quantities at a desired temperature were described. The calculation results were compared to experimental data obtained by traditional methods. It was demonstrated that the use of calculation methods substantially simplifies the determination of the specific retention volume over a wide temperature range.     

Generalized green operator for an impulsive boundary-value problem with switchings

We establish constructive existence conditions and construct a generalized Green operator for the construction of solutions of a Noetherian linear boundary-value problem for a system of ordinary differential equations with switchings and pulse action in critical and noncritical cases. __________ Translated from Neliniini Kolyvannya, Vol. 10, No. 1, pp. 51–65, January–March, 2007.     

Products of residue currents of Cauchy–Fantappiè–Leray type

With a given holomorphic section of a Hermitian vector bundle, one can associate a residue current by means of Cauchy–Fantappiè–Leray type formulas. In this paper we define products of such residue currents. We prove that, in the case of a complete intersection, the product of the residue currents of a tuple of sections coincides with the residue current of the direct sum of the sections.     

An Implicit Iteration Process with Errors for a Finite Family of r-strictly Asymptotically Pseudocontractive Mappings

In this paper,we will establish several strong convergence theorems for the approximation ofcommon fixed points of r-strictly asymptotically pseudocontractive mappings in uniformly convex Banachspaces using the modiied implicit iteration sequence with errors,and prove the necessary and sufficient conditionsfor the convergence of the sequence.Our results generalize,extend and improve the recent work,in thistopic.     

A Penrose-like inequality for maximal asymptotically flat spin initial data sets

We prove a Penrose-like inequality for the mass of a large class of constant mean curvature (CMC) asymptotically flat n-dimensional spin manifolds which satisfy the dominant energy condition and have a future converging, or past converging compact and connected boundary of non-positive mean curvature and of positive Yamabe invariant. We prove that for every n ≥ 3 the mass is bounded from below by an expression involving the norm of the linear momentum, the volume of the boundary, dimensionless geometric constants and some normalized Sobolev ratio.     

Synthesis of high-purity α- and β-PbO and possible applications to synthesis and processing of other lead oxide materials

Litharge, the red tetragonal form of lead oxide α-PbO and massicot, the yellow orthorhombic form β-PbO, are synthesized from lead(II) salts in aqueous media at elevated temperatures. Scanning electron microscopy (SEM) and X-ray diffraction (XRD) were used to characterize the size, morphology, and crystallographic structural forms of the products. The role of impurities in the experimental synthesis of the materials and microstructural variations in the final products are described. The implications of these observations regarding the synthesis of different conducting lead oxides and other related materials are discussed. PACS 71.20.Ps; 72.80.Jc; 74.62.Bf; 74.62.Dh; 75.50.Tt     

Artificial time integration

Many recent algorithmic approaches involve the construction of a differential equation model for computational purposes, typically by introducing an artificial time variable. The actual computational model involves a discretization of the now time-dependent differential system, usually employing forward Euler. The resulting dynamics of such an algorithm is then a discrete dynamics, and it is expected to be “close enough” to the dynamics of the continuous system (which is typically easier to analyze) provided that small – hence many – time steps, or iterations, are taken. Indeed, recent papers in inverse problems and image processing routinely report results requiring thousands of iterations to converge. This makes one wonder if and how the computational modeling process can be improved to better reflect the actual properties sought. In this article we elaborate on several problem instances that illustrate the above observations. Algorithms may often lend themselves to a dual interpretation, in terms of a simply discretized differential equation with artificial time and in terms of a simple optimization algorithm; such a dual interpretation can be advantageous. We show how a broader computational modeling approach may possibly lead to algorithms with improved efficiency. AMS subject classification (2000)  65L05, 65M32, 65N21, 65N22, 65D18