Constructing multiple unique input/output sequences using metaheuristic optimisation techniques

Multiple unique input/output sequences (UIOs) are often used to generate robust and compact test sequences in finite state machine (FSM) based testing. However, computing UIOs is NP-hard. Metaheuristic optimisation techniques (MOTs) such as genetic algorithms (GAs) and simulated annealing (SA) are effective in providing good solutions for some NP-hard problems. In the paper, the authors investigate the construction of UIOs by using MOTs. They define a fitness function to guide the search for potential UIOs and use sharing techniques to encourage MOTs to locate UIOs that are calculated as local optima in a search domain. They also compare the performance of GA and SA for UIO construction. Experimental results suggest that, after using a sharing technique, both GA and SA can find a majority of UIOs from the models under test

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Studies on Methanocaldococcus jannaschii RNase P reveal insights into the roles of RNA and protein cofactors in RNase P catalysis

Ribonuclease P (RNase P), a ribonucleoprotein (RNP) complex required for tRNA maturation, comprises one essential RNA (RPR) and protein subunits (RPPs) numbering one in bacteria, and at least four in archaea and nine in eukarya. While the bacterial RPR is catalytically active in vitro, only select euryarchaeal and eukaryal RPRs are weakly active despite secondary structure similarity and conservation of nucleotide identity in their putative catalytic core. Such a decreased archaeal/eukaryal RPR function might imply that their cognate RPPs provide the functional groups that make up the active site. However, substrate-binding defects might mask the ability of some of these RPRs, such as that from the archaeon Methanocaldococcus jannaschii (Mja), to catalyze precursor tRNA (ptRNA) processing. To test this hypothesis, we constructed a ptRNA-Mja RPR conjugate and found that indeed it self-cleaves efficiently (kobs, 0.15 min−1 at pH 5.5 and 55°C). Moreover, one pair of Mja RPPs (POP5-RPP30) enhanced kobs for the RPR-catalyzed self-processing by ∼100-fold while the other pair (RPP21-RPP29) had no effect; both binary RPP complexes significantly reduced the monovalent and divalent ionic requirement. Our results suggest a common RNA-mediated catalytic mechanism in all RNase P and help uncover parallels in RNase P catalysis hidden by plurality in its subunit make-up

Electroacupuncture activates corticotrophin-releasing hormone-containing neurons in the paraventricular nucleus of the hypothalammus to alleviate edema in a rat model of inflammation

<p>Abstract</p> <p>Background</p> <p>Studies show that electroacupuncture (EA) has beneficial effects in patients with inflammatory diseases. This study investigated the mechanisms of EA anti-inflammation, using a rat model of complete Freund's adjuvant (CFA)-induced hind paw inflammation and hyperalgesia.</p> <p>Design</p> <p>Four experiments were conducted on male Sprague-Dawley rats (n = 6–7/per group). Inflammation was induced by injecting CFA into the plantar surface of one hind paw. Experiment 1 examined whether EA increases plasma adrenocorticotropic hormone (ACTH) levels. Experiments 2 and 3 studied the effects of the ACTH and corticotropin-releasing hormone (CRH) receptor antagonists, ACTH_(11–24)and astressin, on the EA anti-edema. Experiment 4 determined whether EA activates CRH neurons in the paraventricular nucleus of the hypothalammus. EA treatment, 10 Hz at 3 mA and 0.1 ms pulse width, was given twice for 20 min each, once immediately post and again 2 hr post-CFA. Plasma ACTH levels, paw thickness, and paw withdrawal latency to a noxious thermal stimulus were measured 2 h and 5 h after the CFA.</p> <p>Results</p> <p>EA significantly increased ACTH levels 5 h (2 folds) after CFA compared to sham EA control, but EA alone in naive rats and CFA alone did not induce significant increases in ACTH. ACTH_(11–24)and astressin blocked EA anti-edema but not EA anti-hyperalgesia. EA induced phosphorylation of NR1, an essential subunit of the N-methyl-D-aspartic acid (NMDA) receptor, in CRH-containing neurons of the paraventricular nucleus.</p> <p>Conclusion</p> <p>The data demonstrate that EA activates CRH neurons to significantly increase plasma ACTH levels and suppress edema through CRH and ACTH receptors in a rat model of inflammation.</p

Rise and demise of the global silver standard

In the early modern period, the world economy gravitated around the expansion of long-distance commerce. Together with navigation improvements, silver was the prime commodity which moved the sails of such trade. The disparate availability and the particular demand for silver across the globe determined the participation of producers, consumers, and intermediaries in a growing global economy. American endowments of silver are a known feature of this process; however, the fact that the supply of silver was in the form of specie is a less known aspect of the integration of the global economy. This chapter surveys the production and export of silver specie out of Spanish America, its intermediation by Europeans, and the reexport to Asia. It describes how the sheer volume produced and the quality and consistency of the coin provided familiarity with, and reliability to, the Spanish American peso which made it current in most world markets. By the eighteenth century, it has become a currency standard for the international economy which grew together with the production and coinage of silver. Implications varied according to the institutional settings to deal with specie and foreign exchange in each intervening economy of that trade. Generalized warfare in late eighteenth-century Europe brought down governance in Spanish America and coinage fragmented along with the political fragmentation of the empire. The emergence of new sovereign republics and the end of minting as known meant the cessation of the silver standard that had contributed to the early modern globalization

Deqi sensations without cutaneous sensory input: results of an RCT

<p>Abstract</p> <p>Background</p> <p>Deqi is defined in relation to acupuncture needling as a sensory perception of varying character. In a recently published sham laser validation study, we found that subjects in the verum and the sham laser group experienced deqi sensations. Therefore, we aim to further analyze whether the perceptions reported in the two study arms were distinguishable and whether expectancy effects exhibited considerable impact on our results.</p> <p>Methods</p> <p>A detailed re-analysis focusing on deqi sensations was performed from data collected in a previously published placebo-controlled, double-blind, clinical cross-over trial for a sham laser evaluation. Thirty-four healthy volunteers (28 ± 10.7 years; 16 women, 18 men) received two laser acupuncture treatments at three acupuncture points LI4 (hégu), LU7 (liéque), and LR3 (táichong); once by verum laser and once using a sham device containing an inactive laser in randomized order. Outcome measures were frequency, intensity (evaluated by visual analogue scale; VAS), and quality of the subjects' sensations perceived during treatments (assessed with the "acupuncture sensation scale").</p> <p>Results</p> <p>Both, verum and the sham laser acupuncture result in similar deqi sensations with regard to frequency (p-value = 0.67), intensity (p-value = 0.71) and quality (p-values between 0.15 - 0.98). In both groups the most frequently used adjectives to describe these perceptions were "spreading", "radiating", "tingling", "tugging", "pulsing", "warm", "dull", and "electric". Sensations reported were consistent with the perception of deqi as previously defined in literature. Subjects' conviction regarding the effectiveness of laser acupuncture or the history of having received acupuncture treatments before did not correlate with the frequency or intensity of sensations reported.</p> <p>Conclusions</p> <p>Since deqi sensations, described as sensory perceptions, were elicited without any cutaneous sensory input, we assume that they are a product of non-specific effects from the overall treatment procedure. Expectancy-effects due to previous acupuncture experience and belief in laser acupuncture do not seem to play a major role in elicitation of deqi sensations. Our results give hints that deqi might be a central phenomenon of awareness and consciousness, and that its relevance should be taken into account, even in clinical trials. However, further research is required to understand mechanisms underlying deqi.</p

Ancient Chinese medicine and mechanistic evidence of acupuncture physiology

Acupuncture has been widely used in China for three millennia as an art of healing. Yet, its physiology is not yet understood. The current interest in acupuncture started in 1971. Soon afterward, extensive research led to the concept of neural signaling with possible involvement of opioid peptides, glutamate, adenosine and identifying responsive parts in the central nervous system. In the last decade scientists began investigating the subject with anatomical and molecular imaging. It was found that mechanical movements of the needle, ignored in the past, appear to be central to the method and intracellular calcium ions may play a pivotal role. In this review, we trace the technique of clinical treatment from the first written record about 2,200 years ago to the modern time. The ancient texts have been used to introduce the concepts of yin, yang, qi, de qi, and meridians, the traditional foundation of acupuncture. We explore the sequence of the physiological process, from the turning of the needle, the mechanical wave activation of calcium ion channel to beta-endorphin secretion. By using modern terminology to re-interpret the ancient texts, we have found that the 2nd century b.c. physiologists were meticulous investigators and their explanation fits well with the mechanistic model derived from magnetic resonance imaging (MRI) and confocal microscopy. In conclusion, the ancient model appears to have withstood the test of time surprisingly well confirming the popular axiom that the old wine is better than the new