Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Measuring Light Field of Light Source with High Directional Resolution Using Mirrored Ball and Pinhole Camera

This paper presents a method of measuring a light field of a light source with high directional resolution using a mirrored ball and a pinhole camera. The light field describes a spatial and directional distribution of radiances from the light source. The directional distribution is expanded by a reflection on the mirrored ball, and the radiances are measured by a charge-coupled device (CCD) camera with a pinhole lens. The light source is laterally moved by a robot arm to measure the directionally expanded light field, and each pixel on a CCD can obtain the radiances from the light source through the pinhole lens with high directional resolution. The light field is estimated from the pixel value and the position of each pixel using a ray tracing technique. The light field of a krypton lamp was experimentally measured by the proposed method, and the accuracy of the measurement was evaluated against the irradiances measured by a spectro-radiometer at sample points.     

TRIUMF resonant ionization laser ion source

The range of isotopes available at the TRIUMF Isotope Separator Accelerator (ISAC) facility has been greatly enhanced by adding a Resonance Ionization Laser Ion Source (RILIS). A large wavelength range is accessible with the fundamental, second and third harmonic generation of titanium-sapphire laser light. In addition a dedicated laser is available for non-resonant laser ionization. The first on-line beam ⁶²Ga was delivered in Dec. 2004. In general RILIS improves the intensity, purity and emittance of ion beams. ⁶²Ga and ²⁶Al and Be beams have been delivered so far on-line. This work was financed by TRIUMF which is federally funded via a contribution agreement through the National Research Council of Canada.     

Spectroscopic and X-ray diffraction study of high Tc epitaxial YBCO thin films obtained by pulsed laser deposition

We report spectroscopic characterization of epitaxial YBCO thin films grown on LaAlO₃ by pulsed laser deposition. Raman spectroscopy and spectroscopic ellipsometry were used for film characterization and the results were correlated with X-ray diffraction measurements. The mentioned techniques allowed us to analyze crystallographic, micro-structural, and morphological properties of YBCO thin films. We also demonstrated that relatively low resolution Raman spectroscopy and spectroscopic ellipsometry are reliable techniques for a rapid and non-destructive characterization of epitaxial YBCO thin films.     

Performance Analysis for Mobile Ad Hoc Network in Random Graph Models with Spatial Reuse

In this paper,we present a random graph model with spatial reuse for a mobile ad hoc network(MANET) based on the dynamic source routing protocol.Many important performance parameters of theMANET are obtained,such as the average flooding distance (AFD),the probability generating function of theflooding distance,and the probability of a flooding route to be symmetric.Compared with the random graphmodel without spatial reuse,this model is much more effective because it has a smaller value of AFD and alarger probability for finding a symmetric valid route.     

等效电流偶极子(ECD)模型在MCG场源定位中的应用

等效电流偶极子(ECD)模型具有简要明确性，已经在心磁图(MCG)的逆问题中，如确定WPW综合症、心脏异常搏动根源、心律失常等方面，得到广泛应用．在多通道体表电势图(BSPM)的测量中也应用ECD．本文讨论用ECD的定位方法，临床研究仿真对ECD获得结果的描述，造影与动物研究和体导体模型的影响．     

Effects of Moisture and Stresses on the Structure and Properties of Polyester Resin

The results of a complex study of structural changes in a cured Norpol 440 polyester resin under the action of damp environment and mechanical loading are presented. A considerable effect of absorbed moisture on the structure and some characteristics of the material is revealed by using thermophysical methods and X-ray diffractometry. The joint effect of moisture and mechanical stress is estimated by investigating the creep in stationary and nonstationary moisture conditions. The anisotropy of the material structure formed during creep is evaluated from the results of dilatometric measurements. It is found that the degree of anisotropy of the material after creep accompanied by moisture sorption is higher than that after creep in the conditions of moisture equilibrium with atmosphere. It is established that the aftercure and relaxation of the residual creep deformation come to an end at heating to 80-85°C. At a further rise in temperature and repeated heating, changes in the material structure are not observed.     

Multilayer optics for XUV spectral region: technology fabrication and applications

We present research investigations in the field of multilayer optics in X-ray and extreme ultra-violet ranges (XUV), aimed at the development of optical elements for applications in experiments in physics and in scientific instrumentation. We discuss normal incidence multilayer optics in the spectral region of “water window”, multilayer optics for collimation and focusing of hard X-ray, multilayer dispersing elements for X-ray spectroscopy of high-temperature plasma, multilayer dispersing elements for analysis of low Z-elements. Our research pays special attention to optimization of multilayer optics for projection EUV-lithography (ψ-13nm) and short period multilayer optics.     

Influence of annealing and chain defects on the melting behaviour of poly(vinylidene fluoride)

The melting behaviour of poly(vinylidene fluoride) (PVDF) was investigated by differential scanning calorimetry (DSC) and small- and wide-angle X-ray scattering in order to study the influence of the chain defects content and of the temperature of annealing on the crystallization and melting behaviour.All the DSC scans show a double endotherm and the analysis of the data suggests that the low temperature endotherm is due to the melting of a population of thin lamellae, whose thickness increases during the annealing, but a high content of chain defects prevents the lamellar thickening and the main effect in this case is the crystallization of thin lamellae from a portion of polymer which did not crystallize during the quenching from the melt. Furthermore, the two melting endotherms, which are observed, can be partially ascribed to a melting-recrystallization process.Furthermore, stepwise isothermal cooling was performed in a differential scanning calorimeter followed by melting scans of fractionated PVDF samples to point out the possible presence of a series of endothermic peaks.     

Charge density study under high pressure

The experimental and analytical method of the high-pressure powder experiment at BL10XU, SPring-8, is described. There is no doubt that BL10XU must be one of the most appropriate beam lines for high pressure X-ray diffraction experiment taking advantage of third generation synchrotron source. As an example of the advanced charge density study under high pressure, the structural change of Cs₂Au₂Br₆ by applying pressure is studied by Rietveld/MEM analysis. It reveals that the structural change of Cs₂Au₂Br₆ by applying pressure occurs basically at electron level, such as valence state change and chemical bonding, which may be called the electronic phase transition.