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.     

集合环

本文用集环来表现模糊集，得到了表现定理的新形式，并证明了这种表现可以有限化，即用有限个经典集近似刻划模糊集并且这样的刻划是同态的。最后，证明了集对方法是集环表现的特殊情形。     

Mössbauer study of nanodimensional nickel ferrite – mechanochemical synthesis and catalytic properties

Iron–nickel spinel oxide NiFe₂O₄ nanoparticles have been prepared by the combination of chemical precipitation and subsequent mechanical milling. For comparison, their analogue obtained by thermal synthesis is also studied. Phase composition and structural properties of iron–nickel oxides are investigated by X-ray diffraction and Mössbauer spectroscopy. Their catalytic behavior in methanol decomposition to CO and methane is tested. An influence of the preparation method on the reduction and catalytic properties of iron–nickel samples is established.     

Effects of microstructure on the temperature dependence of relative initial permeability of NiCuZn ferrites

In the present work, ferrites with compositions of (Ni_0.27Zn_0.64Cu_x)Fe_1.98O₄ (x=0.1, 0.2) were prepared by conventional ceramic methods. The relationship between the microstructure and the temperature dependence of relative initial permeability was investigated. It was found that intergranular pores in the ferrites generate large demagnetizing fields, reducing the temperature dependence of the effective anisotropy field H_eff, and decreasing the temperature dependence of the relative initial permeability accordingly. However, intragranular pores pin the movement of domain walls. Compared with the permeability induced by domain wall motion, the permeability that resulted from the spin rotation is more sensitive to temperature. As a result, the relative initial permeability of ferrites becomes more sensitive to temperature with increasing micropores within grains.     

Formation and magnetic properties of Co–Fe-based bulk metallic glasses with supercooled liquid region

A new Co–Fe-based ferromagnetic bulk metallic glass (BMG) was synthesized by copper mould casting method. The thermal stability and crystallization processes were investigated by differential scanning calorimetry (DSC) and X-ray diffraction (XRD). The soft magnetic behavior was studied by DC magnetic measurements. The high glass formation ability was interpreted in terms of the effective suppression of nucleation and growth of the intermetallic compounds which appear in the multicomponent system during solidification. The high thermal stability indicates that the new Co–Fe-based BMG could be used as high-temperature magnetic material. The low coercivity which was as low as 8 A/m for the as-cast sample was found in the Co–Fe-based metallic glass cylinder with a diameter of 1.5 mm.     

棒状钡铁氧体的反相微乳法制备

A rodlike barium ferrite precursor with an average size of 0.72～19.6 μm and aspect ratio of 2.6～8.3 has been successfully prepared in an inverse microemulsion consisting of isooctane, cetanyl trimethyl ammonium bromide (CTAB), n-C₄H₉OH and water with ammonia and ammonium oxalate as precipitants. On sintering at 780(C, the rodlike precursor particles could be transformed into rodlike particles of barium ferrite(BaFe₁₂O₁₉) with the average size and aspect ratio of 0.69～18.2 μm and 2.3～5.8, respectively. The effect of volume ratio of aqueous phase to oleic phase, the starting concentrations of metal ions and the starting concentration ratios of metal ions to precipitants were investigated.     

可溶性聚硅酸铝铁的制备及其在废水处理中的应用

以赤泥为原料,制备了高效无机高分子絮凝剂——聚硅酸铝铁(PSAF),并将该絮凝剂用于处理工业废水．研究絮凝剂的使用效果与投加量、投加方式、pH值、搅拌条件及水样本身性能间的关系．     

Parallel mixing of photolithographically defined nanoliter volumes using elastomeric microvalve arrays

Portable microfluidic systems provide simple and effective solutions for low-cost point-of-care diagnostics and high-throughput biomedical assays. Robust flow control and precise fluidic volumes are two critical requirements for these applications. We have developed a monolithic polydimethylsiloxane (PDMS) microdevice that allows for storing and mixing subnanoliter volumes of aqueous solutions at various mixing ratios. Filling and mixing is controlled via two integrated PDMS microvalve arrays. The volumes of the microchambers are entirely defined by photolithography, hence volumes from picoliter to nanoliter can be fabricated with high precision. Because the microvalves do not require an energy input to stay closed, fluid can be stored in a highly portable fashion for several days. We have confirmed the mixing precision and predictability using fluorescence microscopy. We also demonstrate the application of the device for calibrating fluorescent calcium indicators. Due to the biocompatibility of PDMS, the device will have broad applications in miniaturized diagnostic assays as well as basic biological studies.     

Dielectric,magnetic and mechanical properties of ferrite composites

The dielectric and magnetic properties of carbonyl—iron (CI) and nickel zinc ferrite polymer composites were studied with respect to the ferrite particulate content and microwave frequency. From the experimental data and using empirical models that relate the composite dielectric and magnetic properties, the respective dielectric and magnetic properties of the neat fillers were estimated. The tensile properties of the particulate composites comprising CI were shown to follow qualitatively Mooney's equation for the elastic modulus. The tensile strength of an elastomeric polyurethane and PVC composites containing CI increased with particulate content, while the elongation to break decreased with filler content. SEM micrographs of tensile fracture surfaces indicated that somewhat better adhesion is obtained in the case of the polyurethane-based composites compared to the PVC ones.     

鹿角短指软珊瑚Sinularia Cervicornis Tix-Dur 中的一个新糖甙-Cervicoside

珊瑚属腔肠动物门 ( Clelenterata) ,海鸡冠目 ( Alcyonacea) ,是一种热带与亚热带海洋中广泛分布Scheme 1　 Structure of cervicoside(1 )的低等海洋生物 .软珊瑚的次生代谢物中含有萜类和甾体类等各类生理活性物质[1～ 5] .我们在对鹿角短指软珊瑚的次生代谢产物研究中 ,分离到一个新三糖甙 ,命名为 Cervicoside( 1 ) ,结构见 Scheme 1 .该化合物具有较强的体外抗癌活性 .1　实验部分1 .1　样品　鹿角短指软珊瑚采自海南岛三亚海域 .样品储藏于中山大学化学与化学工程学院天然有机化学研究室 ,编号为 98- SY- 3.种属由中国科学院南海…