We consider the Distributer's Pallet Packing Problem. This problem is to pack a set of distinct products with given quantities in greater volumes (pallets, containers) and to minimize the number of used volumes. The theoretical objective of nding the best space utilization is restricted by a list of practical aspects (technological constraints, weight distribution over the pallet, stability asp...

The computational difficulties that continue to plague decomposition algorithms, namely, “long-tail” convergence and numerical instabilities, have served to dampen enthusiasm about their computational effectiveness. The use of interior points of subproblems in decomposition procedures may have a significant role to play in alleviating such computational difficulties. Indeed, Dantzig-Wolfe decom...

Measurements of the spatial and temporal coherence of single, femtosecond x-ray pulses generated by the first hard x-ray free-electron laser, the Linac Coherent Light Source, are presented. Single-shot measurements were performed at 780 eV x-ray photon energy using apertures containing double pinholes in "diffract-and-destroy" mode. We determined a coherence length of 17  μm in the vertical dir...

This paper aims to optimize the PMU (Phasor Measurement Unit) placement for a full observation of the power network and the minimum number of PMUs. In this paper, competition of Mixed Integer Non-Linear Programming and heuristically algorithms such as Bacterial Foraging Algorithm is presented. The results are demonstrated with PMU placement optimization simulation and a redundancy measurement a...

This paper proposes a new method for obtaining a linear quadratic Gaussian (LQG) benchmark in terms of the variances of process input and output from closed-loop data, for assessing the controller performance. LQG benchmark has been proposed in the literature to assess controller performance since the LQG tradeoff curve represents the limit of performance in terms of input and output variances....

We present a design of the girder to accommodate injection of 1133 MeV kinetic energy H− ions from the linac [1] into the LEB. This design is based on Colton and Thiessen’s design [2] for 600 MeV ions, and does not require a modification of the current [3] LEB lattice.

Introduction: Radiation therapy is using the ionizing radiation to eliminate or minimize cancerous tissues. This method has been very much considered in recent years. Because of the high energy of the photons produced by the accelerator, it is necessary to protect the walls, roof and the floor of the treatment rooms using the concrete and leaden materials. One of these harmful ...

a time-of-flight mass spectrometer (tof-ms) developed in our laboratory at isfahan university of technology is described here. the tof-ms instrument uses laser as the ionization source which provides an opportunity to investigate the ions formed in laser ablation or desorption. the tof-ms has an ionization chamber containing an accelerator and an ion lens to focus the ions into a one meter line...

In this extended abstract, we summarize our study on implementing tautology checking, a fundamental logic synthesis algorithm, using an FPGA-based reconfgurable applicationspecific coprocessor. The use of the tautology checking algorithm is first discussed followed by the specifics of hardware accelerator implementation and intetiace to application sofrware. We compare our hardware accelerator ...