Suppression of the development of pores during laser-induced surface dispersion of TiC into aluminium, by means of a static magnetic field

A static magnetic field having the strength of B=0.6 T has been used as an additional process parameter in order to suppress the establishment of pores while dispersing TiC particles in surface layers of aluminium alloys using a laser. The migration of hydrogen towards regions of high temperatures within the melting pool can lead to the creation of gas bubbles, therefore yielding pores after resolidification in the processed layer. This mechanism (known for instance in welding technologies of aluminium) could be suppressed by Lorentz-forces induced by an externally applied magnetic field. It could be shown experimentally that magnetic fields could assist laser surface treatment processes beneficially if higher beam powers were coupled in. This may be interesting if, for instance, thicker dispersed layers should be achieved.     

Interstitial Oxygen in Tin-Doped Indium Oxide Transparent Conductors

We report first-principles density functional theory calculations of interstitial oxygen in tin-doped indium oxide (ITO), a transparent conducting oxide. Interstitial oxygen plays a critical role in the defect of ITO because it is by removal of interstitial oxygen that n -type charge carriers are produced. The Frank and Köstlin defect model successfully rationalizes the observed conductivity, Sn-doping, and oxygen partial pressure dependencies of ITO by postulating that tin atoms, which substitute for indium, are clustered with interstitial oxygen. Structural evidence for such a clustering, however, remains ambiguous. Recently published Rietveld refinement results of X-ray and neutron diffraction data found interstitial oxygen to be significantly displaced (0.4 Å) from the ideal fourfold position. Our calculations show that the experimental position is plausible only if interstitial oxygen is clustered with Sn_In defects at any of the three d -type cation sites nearest to the interstitial, thereby providing direct structural confirmation of the Frank and Köstlin defect model.     

An e-Learning tool considering similarity measures for manufacturing cell formation

Manufacturing cell formation is the first step in the design of cellular manufacturing system. The primary objective of this step is to cluster machines into machine cells and parts into part families so that the minimum of intercell trips will be achieved. This paper will be focused on the configuration of machine cells considering three types of initial machine-part matrix: binary (zero-one) matrix, production volume matrix, and operation time matrix. The similarity measure uses only information from these types of matrix. A pure combinatorial programming formulation will be developed to maximize the sum of similarity coefficients between machine/part pairs. An e-Learning tool/application to help industrial students and engineers for enhancing their cell formation capability is proposed. This tool is designed to include a novel similarity coefficient-based heuristic algorithm for solving the cell formation problem. To determine the performance of the proposed tool, comparison is made with a well-known tool along a case study.     

Deblurring Shaken and Partially Saturated Images

We address the problem of deblurring images degraded by camera shake blur and saturated (over-exposed) pixels. Saturated pixels violate the common assumption that the image-formation process is linear, and often cause ringing in deblurred outputs. We provide an analysis of ringing in general, and show that in order to prevent ringing, it is insufficient to simply discard saturated pixels. We show that even when saturated pixels are removed, ringing is caused by attempting to estimate the values of latent pixels that are brighter than the sensor’s maximum output. Estimating these latent pixels is likely to cause large errors, and these errors propagate across the rest of the image in the form of ringing. We propose a new deblurring algorithm that locates these error-prone bright pixels in the latent sharp image, and by decoupling them from the remainder of the latent image, greatly reduces ringing. In addition, we propose an approximate forward model for saturated images, which allows us to estimate these error-prone pixels separately without causing artefacts. Results are shown for non-blind deblurring of real photographs containing saturated regions, demonstrating improved deblurred image quality compared to previous work.     

HIGHER ORDER MOMENTS OF SAMPLE AUTOCOVARIANCES AND SAMPLE AUTOCORRELATIONS FROM AN INDEPENDENT TIME SERIES

Abstract. Given length- n sampled time series, generated by an independent distributed process, in this paper we treat the problem of determining the greatest order, in n , that moments of the sample autocovariances and sample autocorrelations can attain. For the sample autocovariance moments, we achieve quite general results; but, for the autocorrelation moments, we restrict study to Gaussian white noise (normal, independent and identically distributed). Our main theorem relates to the cross-moments of the non-centred sample autocovariances, but we also establish a relation between these and the corresponding moments for the centred sample autocovariances.     

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

The class ${\mathcal{SLUR}}$ (Single Lookahead Unit Resolution) was introduced in Schlipf et al. (Inf Process Lett 54:133–137, 1995) as an umbrella class for efficient (poly-time) SAT solving, with linear-time SAT decision, while the recognition problem was not considered. ?epek et al. (2012) and Balyo et al. (2012) extended this class in various ways to hierarchies covering all of CNF (all clause-sets). We introduce a hierarchy ${\mathcal{SLUR}}_k$ which we argue is the natural “limit” of such approaches. The second source for our investigations is the class ${\mathcal{UC}}$ of unit-refutation complete clause-sets, introduced in del Val (1994) as a target class for knowledge compilation. Via the theory of “hardness” of clause-sets as developed in Kullmann (1999), Kullmann (Ann Math Artif Intell 40(3–4):303–352, 2004) and Ansótegui et al. (2008) we obtain a natural generalisation ${\mathcal{UC}}_k$ , containing those clause-sets which are “unit-refutation complete of level k”, which is the same as having hardness at most k. Utilising the strong connections to (tree-)resolution complexity and (nested) input resolution, we develop basic methods for the determination of hardness (the level k in ${\mathcal{UC}}_k$ ). A fundamental insight now is that ${\mathcal{SLUR}}_k = {\mathcal{UC}}_k$ holds for all k. We can thus exploit both streams of intuitions and methods for the investigations of these hierarchies. As an application we can easily show that the hierarchies from ?epek et al. (2012) and Balyo et al. (2012) are strongly subsumed by ${\mathcal{SLUR}}_k$ . Finally we consider the problem of “irredundant” clause-sets in ${\mathcal{UC}}_k$ . For 2-CNF we show that strong minimisations are possible in polynomial time, while already for (very special) Horn clause-sets minimisation is NP-complete. We conclude with an extensive discussion of open problems and future directions. We envisage the concepts investigated here to be the starting point for a theory of good SAT translations, which brings together the good SAT-solving aspects from ${\mathcal{SLUR}}$ together with the knowledge-representation aspects from ${\mathcal{UC}}$ , and expands this combination via notions of “hardness”.     

Simultaneous hydrolysis and fermentation of pulp mill primary clarifier sludge

Bioconversion of sludge from the primary clarifier of a sulphite pulping operation to ethanol offers a number of advantages over conventional disposal options. The amount of material which must be disposed of is reduced while, at the same time, salable and environmentally friendly fuel-ethanol is produced. In this study, primary clarifier sludge (PCS) was shown to be hydrolysed to produce fermentable sugars at a rate proportional to enzyme loading. Initial (1 hour) hydrolysis rates as high as 12.6 g reducing sugar/L · h were observed at an initial enzyme loading of 10 filter paper units (FPU)/g. Hydrolysis was inhibited by spent sulphite liquor (SSL), an inhibition which could be completely overcome by fermenting the SSL to remove sugars. Surfactants were found to only marginally improve the production of sugars. To reduce the deleterious effects of end product inhibition, single stage simultaneous hydrolysis and fermentation (SHF) was carried out using cellulase enzymes and Saccharomyces cerevisiae.     

Energieinformatik

Due to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background.     

New inhibitors of the Tat-TAR RNA interaction found with a "fuzzy" pharmacophore model

TAR RNA is a potential target for AIDS therapy. Ligand-based virtual screening was performed to retrieve novel scaffolds for RNA-binding molecules capable of inhibiting the Tat-TAR interaction, which is essential for HIV replication. We used a "fuzzy" pharmacophore approach (SQUID) and an alignment-free pharmacophore method (CATS3D) to carry out virtual screening of a vendor database of small molecules and to perform "scaffold-hopping". A small subset of 19 candidate molecules were experimentally tested for TAR RNA binding in a fluorescence resonance energy transfer (FRET) assay. Both methods retrieved molecules that exhibited activities comparable to those of the reference molecules acetylpromazine and chlorpromazine, with the best molecule showing ten times better binding behavior (IC50 = 46 microM). The hits had molecular scaffolds different from those of the reference molecules.     

Free and esterified sterols of cotton buds and anthers

Capillary gas liquid chromatography analyses were conducted on free and esterified sterol fractions of cotton (Gossypium hirsutum cv. Stoneville 213) floral buds and anthers. The free sterols of both cotton buds and anthers consist mainly of the common plant sterols sitosterol, stigmasterol and 24ζ-methylcholest-5-en-3β-ol. The composition of esterified sterols of cotton buds and anthers were similar, and consisted of pollinastanol, 31-norcycloartanol, cycloartenol, 31-norcycloartenol, 24-dehydropolinastanol and sitosterol. Desmosterol was also present in both the free and esterified sterols of anthers. The identities of the sterols were confirmed by gas chromatography-mass spectrometry analyses. Esterified sterols accounted for 46.7 and 88.7% of total sterols of cotton bud and anthers, respectively. The ratio of esterified sterol to free sterol per gram of tissue is about 8∶1 in anthers. The Δ⁵-sterols of the esterified sterols of cotton buds and anthers account for only 17 and 9.2% of the total sterols, respectively.