Runtime Verification in Context : Can Optimizing Error Detection Improve Fault Diagnosis

Runtime verification has primarily been developed and evaluated as a means of enriching the software testing process. While many researchers have pointed to its potential applicability in online approaches to software fault tolerance, there has been a dearth of work exploring the details of how that might be accomplished. In this paper, we describe how a component-oriented approach to software health management exposes the connections between program execution, error detection, fault diagnosis, and recovery. We identify both research challenges and opportunities in exploiting those connections. Specifically, we describe how recent approaches to reducing the overhead of runtime monitoring aimed at error detection might be adapted to reduce the overhead and improve the effectiveness of fault diagnosis

Substrate finishing and niobium content effects on the high temperature corrosion resistance in steam atmosphere of CrN/NbN superlattice coatings deposited by PVD-HIPIMS

The main objective of this work was to evaluate the oxidation resistance of three PVD-HIPIMS CrN/NbN coatings, studying the effect of the surface finishing of the substrate and the role of niobium content into the coating composition. CrN/NbN nano-multilayered films on P92 steel were tested at 650°C in pure steam atmosphere. The mass gain was measured at fixed intervals to study their oxidation kinetics. The morphology and thickness of nanoscales were measured by transmission electron microscopy (TEM). Characterization of coatings before and after the thermal treatment was performed by scanning electron microscopy-energy with facilities of dispersive X-ray spectroscopy (SEM–EDX) and X-ray diffraction (XRD). All coatings improved the oxidation resistance of the substrate material, but the best behaviour was exhibited by the CrN/NbN with the high niobium (Nb) content and deposited on the substrate with the finest surface finishing

Deposition of nanoscale multilayer CrN/NbN physical vapor deposition coatings by high power impulse magnetron sputtering

Nanoscale multilayer CrN/NbN physical vapor deposition (PVD) coatings are gaining reputation for their high corrosion and wear resistance. However, the CrN/NbN films deposited by ABS(TM) (are bond sputtering) technology have some limitations such as macrodroplets, porosity, and less dense structures. The novel HIPIMS (high power impulse magnetron sputtering) technique produces macroparticle-free, highly ionized metal plasma, which brings advantages in both surface pretreatment and coating deposition stages of the PVD process. In this study, nanoscale multilayer CrN/NbN PVD coatings were pretreated and deposited with HIPIMS technology and compared with those deposited by HIPIMS-UBM (unbalanced magnetron) and by the ABSTM technique. In all cases Cr+ etching was utilized to enhance adhesion by low energy ion implantation. The coatings were deposited at 400 degrees C with substrate biased (Ub) at -75 V. During coating deposition, HIPIMS produced significantly high activation of nitrogen compared to the UBM as observed with mass spectroscopy. HIPIMS-deposited coatings revealed a bilayer period of 4.1 nm (total thickness: 2.9 mu m) and hardness of 3025 HK0.025. TEM results revealed droplet free, denser microstructure with (200) preferred orientation for the HIPIMS coating owing to the increased ionization as compared to the more porous structure with random orientation observed in UBM coating. The dry sliding wear coefficient (K-c) of the coating was 1.8 X 10(-15) m(3) N-1 m(-1), whereas the steady state coefficient of friction was 0.32. Potentiodynamic polarization tests revealed higher E-corr values, higher pitting resistance (around potentials +400 to +600 mV), and lower. corrosion current densities for HIPIMS deposited coatings as compared to the coatings deposited by ABS or HIPIMS-UBM. The corrosion behavior of the coatings qualitatively improved with the progressive use of HIPIMS from pretreatment stage to the coating deposition step. (C) 2008 American Vacuum Society

Response of Garlic to Organic and Inorganic Fertilizers

An experiment was carried out to study the response of organic and inorganic fertilizers on growth, yield and quality of garlic (Allium sativum L.) cv. Yamuna Safed-3. The results revealed that the combined application of 25% RDF with 75% N through FYM @ 20 t/ha gave higher marketable bulb yield of 19.34t/ha as compared to other treatments which were statistically on par with 100% RDF (18.53 t/ha ) and 50% RDF + 50% N supplied as FYM (18.94 t/ha). It is suggested that for better biometric observations, bulb characters and marketable bulb yield in garlic, combined use of inorganic and organic source of nutrient supply is preferable

Regeneration in the absence of canonical neoblasts in an early branching flatworm

The remarkable regenerative abilities of flatworms are closely linked to neoblasts – adult pluripotent stem cells that are the only division-competent cell type outside of the reproductive system. Although the presence of neoblast-like cells and whole-body regeneration in other animals has led to the idea that these features may represent the ancestral metazoan state, the evolutionary origin of both remains unclear. Here we show that the catenulid Stenostomum brevipharyngium, a member of the earliest-branching flatworm lineage, lacks conventional neoblasts despite being capable of whole-body regeneration and asexual reproduction. Using a combination of single-nuclei transcriptomics, in situ gene expression analysis, and functional experiments, we find that cell divisions are not restricted to a single cell type and are associated with multiple fully differentiated somatic tissues. Furthermore, the cohort of germline multipotency genes, which are considered canonical neoblast markers, are not expressed in dividing cells, but in the germline instead, and we experimentally show that they are neither necessary for proliferation nor regeneration. Overall, our results challenge the notion that canonical neoblasts are necessary for flatworm regeneration and open up the possibility that neoblast-like cells may have evolved convergently in different animals, independent of their regenerative capacity

Magnetic behavior of nano crystals of a spin-chain system, Ca3Co2O6: Absence of multiple steps in the low temperature isothermal magnetization

We report that the major features in the temperature dependence of dc and ac magnetization of a well-known spin-chain compound, Ca3Co2O6, which has been known to exhibit two complex magnetic transitions due to geometrical frustration (one near 24 K and the other near 10 K), are found to be qualitatively unaffected in its nano form synthesized by high-energy ball-milling. However, the multiple steps in isothermal magnetization - a topic of current interest in low-dimensional systems - known for the bulk form well below 10 K is absent in the nano particles. We believe that this finding will be useful to the understanding of the 'step' magnetization behavior of such spin-chain systems.Comment: Phys. Rev. B (Rapid Communications), in pres

Mass spectrometry and multivariate analysis to classify cervical intraepithelial neoplasia from blood plasma: an untargeted lipidomic study

Cervical cancer is still an important issue of public health since it is the fourth most frequent type of cancer in women worldwide. Much effort has been dedicated to combating this cancer, in particular by the early detection of cervical pre-cancerous lesions. For this purpose, this paper reports the use of mass spectrometry coupled with multivariate analysis as an untargeted lipidomic approach to classifying 76 blood plasma samples into negative for intraepithelial lesion or malignancy (NILM, n = 42) and squamous intraepithelial lesion (SIL, n = 34). The crude lipid extract was directly analyzed with mass spectrometry for untargeted lipidomics, followed by multivariate analysis based on the principal component analysis (PCA) and genetic algorithm (GA) with support vector machines (SVM), linear (LDA) and quadratic (QDA) discriminant analysis. PCA-SVM models outperformed LDA and QDA results, achieving sensitivity and specificity values of 80.0% and 83.3%, respectively. Five types of lipids contributing to the distinction between NILM and SIL classes were identified, including prostaglandins, phospholipids, and sphingolipids for the former condition and Tetranor-PGFM and hydroperoxide lipid for the latter. These findings highlight the potentiality of using mass spectrometry associated with chemometrics to discriminate between healthy women and those suffering from cervical pre-cancerous lesions

Assessing the presence of shared genetic architecture between Alzheimer's disease and major depressive disorder using genome-wide association data

We are grateful to the families and individuals who took part in the GS:SFHS and UKB studies, and to all those involved in participant recruitment, data collection, sample processing and QC, including academic researchers, clinical staff, laboratory technicians, clerical workers, IT staff, statisticians and research managers. This work is supported by the Wellcome Trust through a Strategic Award, reference 104036/Z/ 14/Z. We acknowledge with gratitude the financial support received from the Dr Mortimer and Theresa Sackler Foundation. This research has been conducted using the GS:SFHS and UK Biobank (project #4844) resources. GS:SFHS received core funding from the Chief Scientist Office of the Scottish Government Health Directorates [CZD/16/6] and the Scottish Funding Council [HR03006]. UKB was established using funding from the Wellcome Trust, Medical Research Council, the Scottish Government Department of Health, and the Northwest Regional Development Agency. DJP, IJD, TCR and AMM are members of the University of Edinburgh Centre for Cognitive Ageing and Cognitive Epidemiology, part of the cross council Lifelong Health and Wellbeing Initiative (MR/K026992/1). TCR is supported by Alzheimer's Scotland, through the Marjorie MacBeath bequest. Funding from the Biotechnology and Biological Sciences Research Council and Medical Research Council is gratefully acknowledged. We are grateful for the use of summary data from the International Genomics of Alzheimer's Project and the Major Depressive Disorder working group of the Psychiatric Genomics Consortium.Peer reviewedPublisher PD