Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.

Endurance test-rig for diagnostics and prognostics of rolling element bearings

Detection of faults in roller element bearing is a topic widely discussed in the scientific field. Bearings diagnostics is usually performed by analyzing experimental signals, almost always vibration signals, measured during operation. A number of signal processing techniques have been proposed and applied to measured vibrations. The diagnostic effectiveness of the techniques depends on their capacities and on the environmental conditions (i.e. environmental noise). The current trend, especially from an industrial point of view, is to couple the prognostics to the diagnostics. The realization of a prognostic procedure require the definition of parameters able to describe the bearing condition during its operation. Monitoring the values of these parameters during time allows to define their trends depending on the progress of the wear. In this way, a relation between the variation of the selected parameters and the wear progress, useful for diagnostics and prognostics of bearings in real industrial applications, can be established. In this paper, a laboratory test-rig designed to perform endurance tests on roller element bearing is presented. Since the test-rig has operated for a short time, only some preliminary available results are discussed.

A test rig for the condition-based maintenance application on the traction chain of very high speed trains

The preventive maintenance of traction equipment for Very High Speed Trains (VHST) nowadays is becoming very expensive owing to the high complexity and quality of these components that require high reliability. An efficient maintenance approach like the Condition-Based Maintenance (CBM) should be implemented to reduce the costs. For this purpose, an experimental full-scale test rig for the CBM of VHST traction equipment has been designed to investigate in detail failures in the main mechanical components of system, i.e. motor, bearings and gearbox. The paper describes the main characteristics of this unique test rig, able to reproduce accurately the train operating conditions, including the relative movements of the motor, the gearbox and the wheel axle. Gearbox, bearing seats and motor are equipped by accelerometers, thermocouples, torque meter and other sensors in different positions. The testing results give important information about the most suitable sensor position and type to be installed for each component and show the effectiveness of the techniques used for the signal analysis in order to identify faults of the gearbox and motor bearings.

Finite-SNR diversity-multiplexing trade-off of inter-vehicular cooperative diversity protocols

The finite-signal-to-noise ratio (SNR) diversity-multiplexing trade-off (DMT) of cooperative diversity protocols are investigated in vehicular networks based on cascaded Rayleigh fading. Lower bounds of DMT at finite SNR for orthogonal and non-orthogonal protocols are derived. The results showcase the first look into the achievable DMT trade-off of cooperative diversity in volatile vehicular environments. It is shown that the diversity gains are significantly suboptimal at realistic SNRs.

An investigation approach to test protection intelligent electronic devices (IEDs) in IEC 61850 based substation automation systems (SAS) at station level

This thesis has developed a new approach to trace virtual protection signals in Electrical substation networks. The main goal of the research was to analyse the contents of the virtual signals transferred, using third party software. In doing so, a comprehensive test was done on a distance protection relay, using non-conventional test equipment.

The effect of ß-alanine on buffering capacity and exercise performance during and following high-intensity exercise in healthy males

Introduction Intense exercise induced acidosis occurs from the accumulation of hydrogen ions as by-products of anaerobic metabolism. Oral ingestion of ß-alanine, a limiting precursor of the intracellular physiochemical buffer carnosine in skeletal muscle, may counteract any detrimental effect of acidosis and benefit performance. The aim of this study was to investigate the effect of ß-alanine as an ergogenic aid during high intensity exercise performance in healthy males. Methods Five males ingested either ß-alanine (BAl) (4.8 g.d-1 for 4wk, then 6.4 g.d-1 for 2wk) or placebo (Pl) (CaCO3) in a crossover design with 6 wk washout between. Following supplementation, participants performed two different intense exercise protocols over consecutive days. On the first day a repeated sprint ability (RSA) test of 5 x 6s, with 24s rest periods, was performed. On the second day a cycling capacity test measuring the time to exhaustion (TTE) was performed at 110% of their max workload achieved in a pre supplementation max test (CCT110%). Non-invasive quantification of carnosine, prior to, and following each supplementation, with magnetic resonance spectrometry was performed in the soleus and gastrocnemius. Time to fatigue (CCT110%), peak and mean power (RSA), blood pH, and plasma lactate were measured. Results Muscle carnosine concentration was not different prior to ß-alanine supplementation and increased 18% in the soleus and 26% in the gastrocnemius, respectively with 6 wk supplementation. There was no difference in the measured performance variables during the RSA test (peak and average power output). TTE during the CCT110% was significantly enhanced following the ingestion of BAl (155s ± 19.03) compared to Pl (134s ± 26.16). No changes were observed in blood pH during either exercise protocol and during the recovery from exercise. Plasma lactate in the BAl condition was significantly higher than Pl only from the 15th minute following exercise during the CCT110%. FIG. 1: Changes in carnosine concentration in the gastrocnemius prior and post 6 week chronic supplementation of placebo and β-alanine. Values expressed as mean.* p<0.05 from Pl at 6 weeks, # p<0.05 from pre supplementation. Conclusion/Discussion Greater muscle carnosine content following 6wk supplementation of ß-alanine enhanced the potential for intracellular buffering capacity. However, this only translated into enhanced performance during the CCT110% high intensity cycling exercise protocol, with no change observed during the RSA test. No differences in post exercise and recovery plasma lactates and blood pH, indicates that 6wks ß-alanine supplementation has no effect on anaerobic metabolism during multiple bout high intensity exercise. Changes in plasma lactate during recovery supports that ß-alanine supplementation may affect anaerobic metabolism however during single bout high intensity.

The effect of ß-alanine on buffering capacity and exercise performance during and following high-intensity exercise in healthy males

Intense exercise induced acidosis occurs after accumulation of hydrogen ions as by-products of anaerobic metabolism. Oral ingestion of ß-alanine, a limiting precursor of the intracellular physiochemical buffer carnosine in skeletal muscle, may counteract detrimental effects of acidosis and benefit performance. This study aimed to investigate the effect of ß-alanine as an ergogenic aid during high intensity exercise performance. Five healthy males ingested either ß-alanine or placebo (Pl) (CaCO3) in a crossover design with 6 wk washout between. Participants performed two different intense exercise protocols over consecutive days. On the first day a repeated sprint ability (RSA) test was performed. On the second day a cycling capacity test measuring the time to exhaustion (TTE) was performed at 110% of maximum workload achieved in a pre supplementation max test (CCT110%). Non-invasive quantification of carnosine, prior to, and following each supplementation, with in vivo magnetic resonance spectrometry was performed in the soleus and gastrocnemius muscle. Time to fatigue (CCT110%), peak and mean power (RSA), blood pH, and plasma lactate were measured. Muscle carnosine concentration was not different prior to ß-alanine supplementation and increased 18% in the soleus and 26% in the gastrocnemius, respectively after supplementation. There was no difference in the measured performance variables during the RSA test (peak and average power output). TTE during the CCT110% was significantly enhanced following the ingestion of BAl (155s ± 19.03) compared to Pl (134s ± 26.16). No changes were observed in blood pH during either exercise protocol and during the recovery from exercise. Plasma lactate after BAI was significantly higher than Pl only from the 15th minute following exercise during the CCT110%. Greater muscle carnosine content following 6wk supplementation of ß-alanine enhanced the potential for intracellular buffering capacity. This translated into enhanced performance during the CCT110% high intensity cycling exercise protocol but not during the RSA test. The lack of change in plasma lactate or blood pH indicates that 6wks ß-alanine supplementation has no effect on anaerobic metabolism during multiple-bout high-intensity exercise. Changes measured in plasma lactate during recovery support the hypothesis that ß-alanine supplementation may affect anaerobic metabolism particularly during single bout high intensity.

Modelling the dynamics of Plasmodium falciparum histidine-rich protein 2 in human malaria to better understand malaria rapid diagnostic test performance

BACKGROUND: Effective diagnosis of malaria is a major component of case management. Rapid diagnostic tests (RDTs) based on Plasmodium falciparumhistidine-rich protein 2 (PfHRP2) are popular for diagnosis of this most virulent malaria infection. However, concerns have been raised about the longevity of the PfHRP2 antigenaemia following curative treatment in endemic regions. METHODS: A model of PfHRP2 production and decay was developed to mimic the kinetics of PfHRP2 antigenaemia during infections. Data from two human infection studies was used to fit the model, and to investigate PfHRP2 kinetics. Four malaria RDTs were assessed in the laboratory to determine the minimum detectable concentration of PfHRP2. RESULTS: Fitting of the PfHRP2 dynamics model indicated that in malaria naive hosts, P. falciparum parasites of the 3D7 strain produce 1.4 x 10(-)(1)(3) g of PfHRP2 per parasite per replication cycle. The four RDTs had minimum detection thresholds between 6.9 and 27.8 ng/mL. Combining these detection thresholds with the kinetics of PfHRP2, it is predicted that as few as 8 parasites/muL may be required to maintain a positive RDT in a chronic infection. CONCLUSIONS: The results of the model indicate that good quality PfHRP2-based RDTs should be able to detect parasites on the first day of symptoms, and that the persistence of the antigen will cause the tests to remain positive for at least seven days after treatment. The duration of a positive test result following curative treatment is dependent on the duration and density of parasitaemia prior to treatment and the presence and affinity of anti-PfHRP2 antibodies.

Collaborative extension of biodiversity monitoring protocols in the bird watching community

Citizen science projects have demonstrated the advantages of people with limited relevant prior knowledge participating in research. However, there is a difference between engaging the general public in a scientific project and entering an established expert community to conduct research. This paper describes our ongoing acoustic biodiversity monitoring collaborations with the bird watching community. We report on findings gathered over six years from participation in bird walks, observing conservation efforts, and records of personal activities of experienced birders. We offer an empirical study into extending existing protocols through in-context collaborative design involving scientists and domain experts.

Malaria rapid diagnostic test performance : results of WHO product testing of malaria RDTs : round 5 (2013)

WHO estimates that half the world’s population is at risk of malaria. In 2012, there were an estimated 207 million cases (with an uncertainty range of 135 million to 287 million) and an estimated 627 000 deaths (with an uncertainty range of 473 000 to 789 000). Approximately 90% of all malaria deaths occur in sub-Saharan Africa, and 77% occur in children under 5 years. Malaria remains endemic in 104 countries, and, while parasite-based diagnosis is increasing, most suspected cases of malaria are still not properly confirmed, resulting in over-use of antimalarial drugs and poor disease monitoring (1)...

Modelling attitudes to climate change : an order effect and a test between alternatives

Quantum-like models can be fruitfully used to model attitude change in a social context. Next steps require data, and higher dimensional models. Here, we discuss an exploratory study that demonstrates an order effect when three question sets about Climate Beliefs, Political Affiliation and Attitudes Towards Science are presented in different orders within a larger study of n=533 subjects. A quantum-like model seems possible, and we propose a new experiment which could be used to test between three possible models for this scenario.

A new Salmonella typhimurium NM5004 strain expressing rat glutathione S-transferase 5-5 : use in detection of genotoxicity of dihaloalkanes using an SOS/umu test system

The Escherichia coli mu operon was subcloned into a pKK233-2 vector containing rat glutathione S-transferase (GST) 5-5 cDNA and the plasmid thus obtained was introduced into Salmonella typhimurium TA1535. The newly developed strain S.typhimurium NM5004, was found to have 52-fold greater GST activity than the original umu strain S.typhimurium TA1535/pSK1002. We compared sensitivities of these two tester strains, NM5004 and TA1535/ pSK1002, for induction of umuC gene expression with several dihaloalkanes which are activated or inactivated by GST 5-5 activity. The induction of umuC gene expression by these chemicals was monitored by measuring the cellular P-galactosidase activity produced by umuC'lacZ fusion gene in these two tester strains. Ethylene dibromide, 1-bromo-2-chloroethane, 1,2-dichloroethane, and methylene dichloride induced umuC gene expression more strongly in the NM5004 strain than the original strain, 4-Nitroquinoline 1-oxide and N-methyl-N'-nitro-N-nitrosoguanidine were found to induce umuC gene expression to similar extents in both strains. In the case of 1-nitropyrene and 2-nitrofluorene, however, NM5004 strain showed weaker umuC gene expression responses than the original TA1535/ pSK1002 strain, 1,2-Epoxy-3-(4'-nitrophenoxy)propane, a known substrate for GST 5-5, was found to inhibit umuC induction caused by 1-bromo-2-chloroethane. These results indicate that this new tester NM5004 strain expressing a mammalian GST theta class enzyme may be useful for studies of environmental chemicals proposed to be activated or inactivated by GST activity.

Author response to : Brough et al. in response to the recently published article : Lottering,N., MacGregor,D.M.,Barry,M.D.,Reynolds,M.S., Gregory,L.S., 2014. Introducing standardized protocols for anthropological measurement of virtual sub-adult crania using computed tomography 2(1),34–38

Firstly, we would like to thank Ms. Alison Brough and her colleagues for their positive commentary on our published work [1] and their appraisal of our utility of the “off-set plane” protocol for anthropometric analysis. The standardized protocols described in our manuscript have wide applications, ranging from forensic anthropology and paleodemographic research to clinical settings such as paediatric practice and orthopaedic surgical design. We affirm that the use of geometrically based reference tools commonly found in computer aided design (CAD) programs such as Geomagic Design X® are imperative for more automated and precise measurement protocols for quantitative skeletal analysis. Therefore we stand by our recommendation of the use of software such as Amira and Geomagic Design X® in the contexts described in our manuscript...