We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our f...

The rate control protocol (RCP) is a new network congestion control protocol which is designed to achieve smaller file completion times, fairness among flows competing for resources in the network and efficient use of available bandwidth. In this paper I show that the heuristic protocol, RCP performs well only for a specific scenario. I further derive an exact formula for a robust protocol whic...

the present research was conducted with the aim of investigating the effect of high intensity interval and medium continuous training on anaerobic and aerobic power female basketball players. the research method was quasi-experimental with pretest and posttest, and included all female basketball players in firoozkooh city, tehran province, iran in 2015. twenty female basketball players were enr...

Hydrological components in a river basin can get adversely affected by climate change in coming future. Manipur River basin lies in the extreme northeast region of India nestled in the lesser Himalayan ranges and it is under severe pressure from anthropogenic and natural factors. Basin is un-gauged as it lies in remote location and suffering from large data scarcity. This paper explores the imp...

Carbonation is among the primary reasons for the initiation of the corrosion of steel rebar in reinforced concrete (RC) structures. Due to structural loading effects and environmental actions, inevitable cracks have frequently occurred in concrete structures since the early ages. Additionally, climate change, which entails increases in CO2 concentration and environmental temperature, will also ...

This study tested the hypothesis that the DMAX (for maximal distance) method could be applied to ratings of perceived exertion (RPE), to propose a novel method for individual detection of the lactate threshold (LT) using RPE alone during an incremental test to exhaustion. Twenty-one participants performed an incremental test on a cycle ergometer. At the end of each stage, lactate concentration ...

OBJECTIVE Our objective was to determine if antegrade cerebral perfusion (ACP) and retrograde cerebral perfusion (RCP) combined with deep hypothermia circulatory arrest in aortic arch surgery results in different mortality and neurologic outcomes. METHODS The Cochrane Library, Medline, EMBASE, CINAHL, Web of Science, and the Chinese Biomedical Database were searched for studies reporting on p...

[1] A recurrent coastal sediment plume (RCP) is an episodic event in the southern basin of Lake Michigan that typically coincides with the spring diatom bloom. Strong winter storm activity during El Niño conditions in 1998 resulted in a large and intense RCP event. Consistently higher values of the light-saturated rate of photosynthesis, Pmax B , were observed in spring 1998 compared to 1999 an...

Effective conservation and utilization strategies for natural biological resources require a clear understanding of the geographic distribution of the target species. Tricholoma matsutake is an ectomycorrhizal (ECM) mushroom with high ecological and economic value. In this study, the potential geographic distribution of T. matsutake under current conditions in China was simulated using MaxEnt s...