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 .     

A virtual instrumentation based protocol for the automated implementation of the inner field compensation method

One influential parameter which mediates interactions between many types of molecules and biological membranes stems from the lumped contributions of the transmembrane potential, dipole potential and the difference in the surface potentials on both sides of a membrane. With relevance to cell physiology, such electrical features of a biomembrane are prone to undergoing changes as a result of interactions with the aqueous surrounding. Among the most useful tools devoted to exploring changes of electrical parameters of a lipid membrane induced by certain extracellular ions, lipid composition, and embedded membrane peptides and proteins, are spectroscopic imaging and the inner field compensation (IFC) method. In this work we layout the principles of a fully computerized version of the IFC method, which makes it more readily available to users. As a direct application, we deployed this improved version of the IFC method to time-resolve changes induced by alamethicin monomers upon membrane dipole potential, following their aggregation within an artificial lipid membrane. Intriguingly, even prior crossing the membrane core, the membrane-bound alamethicin monomers are shown to significantly increase the dipole potential of the monolayer they reside in. Such data further emphasize the yet less-explored interplay between membrane-based protein and peptides, and the membrane dipole potential.     

Ergodic theory and the Strong Law of Large Numbers on Riesz spaces

In [W.-C. Kuo, C.C.A. Labuschagne, B.A. Watson, Discrete-time stochastic processes on Riesz spaces, Indag. Math. (N.S.) 15 (3) (2004) 435-451], we introduced the concepts of conditional expectations, martingales and stopping times on Riesz spaces. Here we formulate and prove order theoretic analogues of the Birkhoff, Hopf and Wiener ergodic theorems and the Strong Law of Large Numbers on Riesz spaces (vector lattices).     

Achievable sets, brambles, and sparse treewidth obstructions

One consequence of the graph minor theorem is that for every k there exists a finite obstruction set Obs(TW?k). However, relatively little is known about these sets, and very few general obstructions are known. The ones that are known are the cliques, and graphs which are formed by removing a few edges from a clique. This paper gives several general constructions of minimal forbidden minors which are sparse in the sense that the ratio of the treewidth to the number of vertices n does not approach 1 as n approaches infinity. We accomplish this by a novel combination of using brambles to provide lower bounds and achievable sets to demonstrate upper bounds. Additionally, we determine the exact treewidth of other basic graph constructions which are not minimal forbidden minors.     

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     

BELENE nuclear power plant numerical and experimental bedrock,layers and surface signals

An investigation of BELENE Nuclear Power Plant (NPP) free field signal is presented in the current study. An SH wave propagation trough multilayer geological media in the region is considered. An original structural model of the geological column has been developed. The investigated layers are isotropic, with constant depth and skyline parallel. The SH rays are with an arbitrary angle as far as the layers are concerned. The seismic SH waves have been generated by a special detonation device. The main results of the study are graphically illustrated. A comparison between the original BELENE NPP experimental and the numerical surface (free field) signals (obtained by the formulated direct problem) for the investigated geological column has been carried out and its results are hereby shown.     

Mode beating in spot-size converter lasers

An anomalous modulation in the wavelength spectrum has been observed in lasers with spot-size converters. This intensity modulation is shown to be caused by beating between the fundamental lasing mode and radiation modes in the taper. This results in a periodic modulation in the net gain spectrum, which causes wavelength jumps between adjacent net gain maxima, and a drive current dependent spectral width that is expected to affect system performance. The amplitude of this spectral modulation is reduced significantly by either using an angled rear-facet which reflects the beating radiation modes away from the laser axis, or by using a nonlinear, adiabatic taper.     

M.Riesz定理的注记

设u(z)是单位圆内的实值调和函数 ,若 p_平均Mp(r ,u) =12π∫2π0｜u(reiθ) ｜pdθ1 p <∞ ,则称u(z) ∈hp( 1

相似文献   

环面上具有间断梯度的势函数的模拟退火

本文证明了环面上具有间断梯度的势函数的模拟退火过程：dXt=-VU(Xt)dt √2dWt概率收敛到势函数的全局极小集附近。     

Development of a “Built-in” Scanning Near Field Microscope Head for an Atomic Force Microscope System and Stress Mapping of an Al2O3/ZrO2 Eutectic Composite

We constructed a scanning near-field optical microscope (SNOM) on a commercially available atomic force microscopy (AFM) apparatus (SPM-9500J2; Shimadzu Corp.) to measure the stress distribution in ceramic composite materials. Features of our SNOM system are: (1) a compact SNOM head substituted for the original AFM head; (2) a wide scanning range (125 × 125 μm²) inherited from the original scanner; (3) use of conventional shear-force regulation; (4) an optical system for the illumination-collection (I-C) mode; (5) excitation by a 488 nm line of an Ar-ion laser, and (6) light detection by photon counting or a polychromator equipped with an electronically cooled charge coupled device (CCD). This SNOM system was used to measure the surface structure and stress distribution of an Al₂O₃/ZrO₂ eutectic composite. We simultaneously measured topographic images and fluorescence spectra of an Al₂O₃/ZrO₂ eutectic composite. We estimated its peak intensity, peak position, and peak width from the fluorescence spectrum during scanning, which respectively correspond to the abundance of Al₂O₃, stress in the grain, and the anisotropy of that stress. Mapping images showed that the stress and its anisotropy were weaker in the center of the Al₂O₃ grain than its boundary between Al₂O₃ and ZrO₂. That observation suggests that Al₂O₃ underwent intense anisotropic stress induced by volume expansion in the phase transition of ZrO₂ from the cubic phase to the monoclinic phase during preparation.