Estelle-based test generation tool

A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented. The formal description language supported is Estelle. The tool's main components include a compiler, a normalizer, a multiple module transition tour generator and several interactive programs. The tool is based on a static analysis of Estelle called normalization, which is explained in detail with various examples. The normalized specification facilitates graphical displays of the control and data flow in the specification by the interactive tools. Next discussed is test generation, which is based on verifying the control and data flow. First the data flow graph must be decomposed into blocks where each block represents the data flow in a protocol function. From the control graph the tool generates transition tours, and then test sequences are derived from the transition tour to test each function. The performance of the tool on various applications is also included. © 1991

Caffeine-induced synaptic potentiation in hippocampal CA2 neurons

Caffeine enhances cognition, but even high non-physiological doses have modest effects on synapses. A 1 adenosine receptors (A 1 Rs) are antagonized by caffeine and are most highly enriched in hippocampal CA2, which has not been studied in this context. We found that physiological doses of caffeine in vivo or A 1 R antagonists in vitro induced robust, long-lasting potentiation of synaptic transmission in rat CA2 without affecting other regions of the hippocampus

Resilient cooling strategies – A critical review and qualitative assessment

The global effects of climate change will increase the frequency and intensity of extreme events such as heatwaves and power outages, which have consequences for buildings and their cooling systems. Buildings and their cooling systems should be designed and operated to be resilient under such events to protect occupants from potentially dangerous indoor thermal conditions. This study performed a critical review on the state-of-the-art of cooling strategies, with special attention to their performance under heatwaves and power outages. We proposed a definition of resilient cooling and described four criteria for resilience—absorptive capacity, adaptive capacity, restorative capacity, and recovery speed —and used them to qualitatively evaluate the resilience of each strategy. The literature review and qualitative analyses show that to attain resilient cooling, the four resilience criteria should be considered in the design phase of a building or during the planning of retrofits. The building and relevant cooling system characteristics should be considered simultaneously to withstand extreme events. A combination of strategies with different resilience capacities, such as a passive envelope strategy coupled with a low-energy space-cooling solution, may be needed to obtain resilient cooling. Finally, a further direction for a quantitative assessment approach has been pointed out

A Glutamic Acid-Producing Lactic Acid Bacteria Isolated from Malaysian Fermented Foods

l-glutamaic acid is the principal excitatory neurotransmitter in the brain and an important intermediate in metabolism. In the present study, lactic acid bacteria (218) were isolated from six different fermented foods as potent sources of glutamic acid producers. The presumptive bacteria were tested for their ability to synthesize glutamic acid. Out of the 35 strains showing this capability, strain MNZ was determined as the highest glutamic-acid producer. Identification tests including 16S rRNA gene sequencing and sugar assimilation ability identified the strain MNZ as Lactobacillus plantarum. The characteristics of this microorganism related to its glutamic acid-producing ability, growth rate, glucose consumption and pH profile were studied. Results revealed that glutamic acid was formed inside the cell and excreted into the extracellular medium. Glutamic acid production was found to be growth-associated and glucose significantly enhanced glutamic acid production (1.032 mmol/L) compared to other carbon sources. A concentration of 0.7% ammonium nitrate as a nitrogen source effectively enhanced glutamic acid production. To the best of our knowledge this is the first report of glutamic acid production by lactic acid bacteria. The results of this study can be further applied for developing functional foods enriched in glutamic acid and subsequently γ-amino butyric acid (GABA) as a bioactive compound

Технологические решения для строительства разведочной вертикальной скважины глубиной 2680 метров на газовом месторождении (ХМАО)

Технологические решения для строительства разведочной вертикальной скважины глубиной 2680 метров на газовом месторождении (ХМАО).Technological solutions for the construction of an exploration vertical well with a depth of 2680 meters at the gas field (KHMAO)

Albumin and multiple sclerosis

A grant from the One-University Open Access Fund at the University of Kansas was used to defray the author's publication fees in this Open Access journal. The Open Access Fund, administered by librarians from the KU, KU Law, and KUMC libraries, is made possible by contributions from the offices of KU Provost, KU Vice Chancellor for Research & Graduate Studies, and KUMC Vice Chancellor for Research. For more information about the Open Access Fund, please see http://library.kumc.edu/authors-fund.xml.Leakage of the blood–brain barrier (BBB) is a common pathological feature in multiple sclerosis (MS). Following a breach of the BBB, albumin, the most abundant protein in plasma, gains access to CNS tissue where it is exposed to an inflammatory milieu and tissue damage, e.g., demyelination. Once in the CNS, albumin can participate in protective mechanisms. For example, due to its high concentration and molecular properties, albumin becomes a target for oxidation and nitration reactions. Furthermore, albumin binds metals and heme thereby limiting their ability to produce reactive oxygen and reactive nitrogen species. Albumin also has the potential to worsen disease. Similar to pathogenic processes that occur during epilepsy, extravasated albumin could induce the expression of proinflammatory cytokines and affect the ability of astrocytes to maintain potassium homeostasis thereby possibly making neurons more vulnerable to glutamate exicitotoxicity, which is thought to be a pathogenic mechanism in MS. The albumin quotient, albumin in cerebrospinal fluid (CSF)/albumin in serum, is used as a measure of blood-CSF barrier dysfunction in MS, but it may be inaccurate since albumin levels in the CSF can be influenced by multiple factors including: 1) albumin becomes proteolytically cleaved during disease, 2) extravasated albumin is taken up by macrophages, microglia, and astrocytes, and 3) the location of BBB damage affects the entry of extravasated albumin into ventricular CSF. A discussion of the roles that albumin performs during MS is put forth