A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem

Requirements Engineering - To reduce program risks, engineering methods capitalizing on modeling and machine assistance have been extensively investigated within systems engineering (and more...     

Effect of 0.1 at.% zirconium on the cyclic oxidation resistance ofβ-NiAl

The effect of 0.1 at.% Zr (0.2 wt.% Zr) on the cyclic oxidation of hipped -NiAl was studied. Oxidation testing was performed in static air at 1100–1200 °C, using 1-hr exposure cycles for test times up to 3000 hr. The weight change versus time data were modeled with the COSP computer program to analyze and predict cyclic-oxidation behavior. Zr additions significantly change the nature of the scale-spalling process during cooling so that the oxide spalls near the oxide-air interface at a relatively low depth within the scale. Without Zr, the predominantly -Al₂O₃ scale tends to spall randomly to bare metal at relatively high effective-scale-loss rates, particularly at 1150°C and 1200°C. This leads to higher rates of Al consumption for the Zr-free aluminide and much earlier depletion of Al, leading to eventual breakaway (i.e., failure).     

Immunoaffinity-chromatography purification of salbutamol in liver and HPLC-fluorometric detection at trace residue level

Summary A method combining immunoaffmity-chromatography (IAC) and high-performance liquid chromatography (HPLC) for the analysis of Salbutamol in liver with a low quantification limit of 1 g/kg has been developed. Salbutamol was extracted with 0.01 mol/L HCl and purified by IAC. The samples were analysed on a liquid Chromatograph fitted with a C₁₈ -Bondapak column. A fluorometer was used for the detection of salbutamol. Recoveries of 67–80% could be obtained.

---

Immunoaffinitätschromatographische Reinigung von Salbutamol in Leber und Rückstandsbestimmung mittels HPLC und fluorimetrischer Detektion

Zusammenfassung Eine Methode, die Immunoaffinitäts-und Hochleistungsflüssigchromatographie verbindet, ist für die Analyse von Salbutamol in Leber entwickelt worden. Eine niedrige Bestimmungsgrenze von 1 g/kg Leber wurde erreicht. Salbutamol wurde mit 0,01 mol/L Salzsäure freigesetzt und durch Immunoaffinitätschromatographie gereinigt. Die Proben wurden durch Flüssigchromatographie auf einer C₁₈ -Bondapak-Säule analysiert. Ein Fluorimeter wurde für die Detektion von Salbutamol benutzt. Ausbeuten von 67 bis 80% konnten erreicht werden.

     

QUICK: a tool for graphical user-interface construction by non-programmers

The last decade has placed the superiority of graphical user interfaces over traditional text-based approaches beyond dispute. In almost all contexts, users have found graphical interfaces easier to learn, faster to use, and less error-prone. However, it has been shown that the creation of powerful graphical interfaces takes up to 80% of the time required to develop an application. In our work, we seek to extend the benefits of graphical interaction to the next layer of computer user—the interface designer. Our work in this area is distinguished from other efforts by two important differences. First, while other efforts focus primarily on the design of standard user interfaces, our approach emphasizes the creation of unique and innovative interfaces by supporting, among other things, arbitrary user-designed graphical representations, direct specification of animation, and digitized sound. Second, our goal is to cater to the nonprogrammer. Thus, we address a challenging trade-off: maximizing power and flexibility in an extremely simple environment. We explore the utility of the prototype object-oriented paradigm, a high-level userinterface language, and a direct-manipulation programming environment in this context.     

Simulating logic circuits: A multiprocessor application

Circuits, especially logic circuits, are highly concurrent structures: signals flow along many parallel paths at once. This native concurrency, a function of both circuit size and topology, can be exploited in simulating these circuits on parallel machines. Simulation efficiency is affected by machine, language, and simulator implementation parameters like cycle speed, parallelism overhead, and partitioning of the circuit within the simulator, as well as by the amount of native concurrency. The experimental logic simulatorconsim, written in Multilisp and implemented on a 34 element shared-memory multiprocessor, was used to investigate these issues.     

Neuroprotective Effects of Testosterone in the Hypothalamus of an Animal Model of Metabolic Syndrome

Metabolic syndrome (MetS) is known to be associated to inflammation and alteration in the hypothalamus, a brain region implicated in the control of several physiological functions, including energy homeostasis and reproduction. Previous studies demonstrated the beneficial effects of testosterone treatment (TTh) in counteracting some MetS symptoms in both animal models and clinical studies. This study investigated the effect of TTh (30 mg/kg/week for 12 weeks) on the hypothalamus in a high-fat diet (HFD)-induced animal model of MetS, utilizing quantitative RT-PCR and immunohistochemical analyses. The animal model recapitulates the human MetS features, including low testosterone/gonadotropin plasma levels. TTh significantly improved MetS-induced hypertension, visceral adipose tissue accumulation, and glucose homeostasis derangements. Within hypothalamus, TTh significantly counteracted HFD-induced inflammation, as detected in terms of expression of inflammatory markers and microglial activation. Moreover, TTh remarkably reverted the HFD-associated alterations in the expression of important regulators of energy status and reproduction, such as the melanocortin and the GnRH-controlling network. Our results suggest that TTh may exert neuroprotective effects on the HFD-related hypothalamic alterations, with positive outcomes on the circuits implicated in the control of energy metabolism and reproductive tasks, thus supporting a possible role of TTh in the clinical management of MetS.     

Cell-Free DNA Fragments as Biomarkers of Islet β-Cell Death in Obesity and Type 2 Diabetes

Type 2 diabetes (T2D) typically occurs in the setting of obesity and insulin resistance, where hyperglycemia is associated with decreased pancreatic β-cell mass and function. Loss of β-cell mass has variably been attributed to β-cell dedifferentiation and/or death. In recent years, it has been proposed that circulating epigenetically modified DNA fragments arising from β cells might be able to report on the potential occurrence of β-cell death in diabetes. Here, we review published literature of DNA-based β-cell death biomarkers that have been evaluated in human cohorts of islet transplantation, type 1 diabetes, and obesity and type 2 diabetes. In addition, we provide new data on the applicability of one of these biomarkers (cell free unmethylated INS DNA) in adult cohorts across a spectrum from obesity to T2D, in which no significant differences were observed, and compare these findings to those previously published in youth cohorts where differences were observed. Our analysis of the literature and our own data suggest that β-cell death may occur in subsets of individuals with obesity and T2D, however a more sensitive method or refined study designs are needed to provide better alignment of sampling with disease progression events.     

Kidney Injury Caused by Preeclamptic Pregnancy Recovers Postpartum in a Transgenic Rat Model

Preeclampsia (PE) is characterized by the onset of hypertension (≥140/90 mmHg) and presence of proteinuria (>300 mg/L/24 h urine) or other maternal organ dysfunctions. During human PE, renal injuries have been observed. Some studies suggest that women with PE diagnosis have an increased risk to develop renal diseases later in life. However, in human studies PE as a single cause of this development cannot be investigated. Here, we aimed to investigate the effect of PE on postpartum renal damage in an established transgenic PE rat model. Female rats harboring the human-angiotensinogen gene develop a preeclamptic phenotype after mating with male rats harboring the human-renin gene, but are normotensive before and after pregnancy. During pregnancy PE rats developed mild tubular and glomerular changes assessed by histologic analysis, increased gene expression of renal damage markers such as kidney injury marker 1 and connective-tissue growth factor, and albuminuria compared to female wild-type rats (WT). However, four weeks postpartum, most PE-related renal pathologies were absent, including albuminuria and elevated biomarker expression. Only mild enlargement of the glomerular tuft could be detected. Overall, the glomerular and tubular function were affected during pregnancy in the transgenic PE rat. However, almost all these pathologies observed during PE recovered postpartum.