A Hybrid Hardware Verification Technique in FPGA Design

Assertion-based verification (ABV) is best emerging technique for verification of industrial hardware. Property Specification Language (PSL) is one of the most important components of ABV. In this paper we present a method to emulate hardware that is capable of support ABV that in it assertion expressions mapped to HDL. We simulated this method by an applicable example by Modelsim software. Test results indicate that this method performance is good

Probabilistic study of the resistance of a simply-supported reinforced concrete slab according to Eurocode parametric fire

We present the application of a simple probabilistic methodology to determine the reliability of a structural element exposed to fire when designed following Eurocode 1-1-2 (EC1). Eurocodes are being used extensively within the European Union in the design of many buildings and structures. Here, the methodology is applied to a simply-supported, reinforced concrete slab 180 mm thick, with a standard load bearing fire resistance of 90 min. The slab is subjected to a fire in an office compartment of 420 m 2 floor area and 4 m height. Temperature time curves are produced using the EC1 parametric fire curve, which assumes uniform temperature and a uniform burning condition for the fire. Heat transfer calculations identify the plausible worst case scenarios in terms of maximum rebar temperature. We found that a ventilation-controlled fire with opening factor 0.02 m 1/2 results in a maximum rebar temperature of 448°C after 102 min of fire exposure. Sensitivity analyses to the main parameters in the EC1 fire curves and in the EC1 heat transfer calculations are performed using a one-at-a-time (OAT) method. The failure probability is then calculated for a series of input parameters using the Monte Carlo method. The results show that this slab has a 0.3% probability of failure when the compartment is designed with all layers of safety in place (detection and sprinkler systems, safe access route, and fire fighting devices are available). Unavailability of sprinkler systems results in a 1% probability of failure. When both sprinkler system and detection are not available in the building, the probability of failure is 8%. This novel study conducts for the first time a probabilistic calculation using the EC1 parametric curve, helping engineers to identify the most critical design fires and the probabilistic resistance assumed in EC1

Steering a solute between coexisting solvation states: Revisiting nonequilibrium work relations and the calculation of free energy differences

By analogy with single-molecule pulling experiments, we present a computational framework to obtain free energy differences between complex solvation states. To illustrate our approach, we focus on the calculation of solvation free energies (SFEs). However, the method can be readily extended to cases involving more complex solutes and solvation conditions as well as to the calculation of binding free energies. The main idea is to drag the solute across the simulation box where atomistic and ideal gas representations of the solvent coexist at constant temperature and chemical potential. At finite pulling speeds, the resulting work allows one to extract SFEs via nonequilibrium relations, whereas at infinitely slow pulling speeds, this process becomes equivalent to the thermodynamic integration method. Results for small molecules well agree with literature data and pave the way to systematic studies of arbitrarily large and complex molecules.By analogy with single-molecule pulling experiments, we present a computational framework to obtain free energy differences between complex solvation states. To illustrate our approach, we focus on the calculation of solvation free energies (SFEs). However, the method can be readily extended to cases involving more complex solutes and solvation conditions as well as to the calculation of binding free energies. The main idea is to drag the solute across the simulation box where atomistic and ideal gas representations of the solvent coexist at constant temperature and chemical potential. At finite pulling speeds, the resulting work allows one to extract SFEs via nonequilibrium relations, whereas at infinitely slow pulling speeds, this process becomes equivalent to the thermodynamic integration method. Results for small molecules well agree with literature data and pave the way to systematic studies of arbitrarily large and complex molecules

Reconfigurable Surfaces Using Fringing Electric Fields from Nanostructured Electrodes in Nematic Liquid Crystals

Liquid crystals with a varying phase profile enable reconfigurable and intelligent devices to be designed, which are capable of manipulating incident electromagnetic fields in display, telecommunications as well as wearable applications. The active control of defects in these devices is becoming more important, especially since the electrodes used to manipulate them are shrinking to nanometer length scales. In this paper, a simple subwavelength, 1D, interdigitated metal electrode structure that can be reconfigured using nematic liquid crystals aligned in the homeotropic, planar, and hybrid methods are demonstrated. Accurate electro-optic modeling of the directors and the defects are shown, which are induced by the fringing electric fields. Applied voltages result in liquid crystal reorientation near the bottom surface, such that defects are induced between the electrodes. The height of the electrodes does not affect the lateral position of these defects. Rather, this can be achieved by increasing the biasing voltage on the top electrode, which also leads to greater splay-bend in the bulk of the material. These results therefore aim to generalize the control of defects in complex anisotropic nematic liquid crystals using simple interdigitated structures for a range of reconfigurable intelligent surface applications

Problem Solving Incorporated into Blending Learning in Nursing Masters Degree

Online and face-to-face learning are integrated in a teaching format called blended learning. In recent years, educators have begun to use blended learning for a number of education related purposes. Typically, blended learning is used to involve the nurse students in a more active and constructive learning process. In a pilot project, five modules of a Masters nursing course were redesigned and implemented in blending learning format. While redesigning the modules, the first challenge was to assure the balance between online and face-to-face classroom activities. The second was to incorporate problem solving phases into blended learning in an efficient way. Moodle is the learning management system used for the online teaching and learning activities. The preliminary results concern the description of the redesign process of the five modules and their implementation. Some critical issues emerged and they must be corrected to improve the teachers\u2019 involvement and the redesign

Dating submarine landslides using the transient response of gas hydrate stability

Submarine landslides are prevalent on the modern-day seafloor, yet an elusive problem is constraining the timing of past slope failure. We present a novel age-dating technique based on perturbations to underlying gas hydrate stability caused by slide-impacted seafloor changes. Using three-dimensional (3-D) seismic data, we mapped an irregular bottom simulating reflection (BSR) underneath a submarine landslide in the Orca Basin, Gulf of Mexico. The irregular BSR mimics the pre-slide seafloor geometry rather than the modern bathymetry. Therefore, we suggest that the gas hydrate stability zone (GHSZ) is still adjusting to the post-slide sediment temperature. We applied transient conductive heat-flow modeling to constrain the response of the GHSZ to the slope failure, which yielded a most likely age of ca. 8 ka, demonstrating that gas hydrate can respond to landslides even on multimillennial time scales. We further provide a generalized analytical solution that can be used to remotely date submarine slides in the absence of traditional dating technique

Mesenchymal Stromal Cells and Platelet-Rich Plasma Promote Tendon Allograft Healing in Ovine Anterior Cruciate Ligament Reconstruction

Purpose The effect of bone marrow mesenchymal stromal cells (BMSCs) and platelet-rich plasma (PRP) on tendon allograft maturation in a large animal anterior cruciate ligament (ACL) reconstruction model was reported for the first time. It was hypothesised that compared with non-augmented ACL reconstruction, BMSCs and PRP would enhance graft maturation after 12 weeks and this would be detected using magnetic resonance imaging (MRI). Methods Fifteen sheep underwent unilateral tendon allograft ACL reconstruction using aperture fixation and were randomised into three groups (n = 5). Group 1 received 10 million allogeneic BMSCs in 2 ml fibrin sealant; Group 2 received 12 ml PRP in a plasma clot injected into the graft and bone tunnels; and Group 3 (control) received no adjunctive treatment. At autopsy at 12 weeks, a graft maturation score was determined by the sum for graft integrity, synovial coverage and vascularisation, graft thickness and apparent tension, and synovial sealing at tunnel apertures. MRI analysis (n = 2 animals per group) of the signal–noise quotient (SNQ) and fibrous interzone (FIZ) was used to evaluate intra-articular graft maturation and tendon–bone healing, respectively. Spearman’s rank correlation coefficient (r) of SNQ, autopsy graft maturation score and bone tunnel diameter were analysed. Results The BMSC group (p = 0.01) and PRP group (p = 0.03) had a significantly higher graft maturation score compared with the control group. The BMSC group scored significantly higher for synovial sealing at tunnel apertures (p = 0.03) compared with the control group. The graft maturation score at autopsy significantly correlated with the SNQ (r = − 0.83, p < 0.01). The tunnel diameter of the femoral tunnel at the aperture (r = 0.883, p = 0.03) and mid-portion (r = 0.941, p = 0.02) positively correlated with the SNQ. Conclusions BMSCs and PRP significantly enhanced graft maturation, which indicates that orthobiologics can accelerate the biologic events in tendon allograft incorporation. Femoral tunnel expansion significantly correlated with inferior maturation of the intra-articular graft. The clinical relevance of this study is that BMSCs and PRP enhance allograft healing in a translational model, and biological modulation of graft healing can be evaluated non-invasively using MRI

'20 days protected learning' - students' experiences of an Overseas Nurses Programme - 4 years on: A retrospective survey

Background From September 2005 the Nursing and Midwifery Council (NMC) introduced new arrangements for the registration of non-EU overseas nurses which requires all applicants to undertake '20 days of protected learning' time in the UK and for some, a period of supervised practice. A survey was undertaken at Bournemouth University, which offers a '20 days protected learning only' programme, to elicit overseas nurses' demographic details, experiences in completing the programme and their 'final destinations' once registered. Methods An online survey was devised which contained a mixture of tick box and open ended questions which covered demographic details, views on the programme and final destinations This was uploaded to www.SurveyMonkey.com and sent out to nurses who had completed the Overseas Nurses Programme (ONP) with Bournemouth University (n=1050). Quantiative data were analysed using descriptive statistics and the qualitative data were coded and analysed using content analysis . Results There were 251 respondents (27.7% response rate). The typical 'profile' of a nurse who responded to the survey was female, aged 25-40 years and had been qualified for more than 5 years with a bachelors degree. The majority came from Australia on a 2 year working holiday visa and the key final destination in the UK, on registration with the NMC, was working for an agency. There were five key findings regarding experience of the programe. Of those surveyed 61.2% did not feel it necessary to undergo an ONP; 71.6% felt that they should be able to complete the programme on-line in their own country; 64.2% that the ONP should only contain information about delivery of healthcare in UK and Legal and professional (NMC) issues; 57% that European nurses should also undergo the same programme and sit an IELTS test; and 68.2% that the programme was too theory orientated; and should have links to practice (21%). Conclusions The NMC set the admissions criteria for entry to the register and Standards for an ONP. The findings of this survey raise issues regarding the percieved value and use of this approach for overseas nurses, and it may be helpful to take this into account when considering future policy

Assessing the design of road traffic death information systems in Iran: a participatory systems approach

AIM: To describe and analyze the information architecture and information pathways of the road traffic death recording, registration and reporting system in Guilan Province, northernIran. METHODS: We used Business Process Mapping, a qualitative approach. This participatory and iterative approach consists of a document review, key informant interviews, development of a process map and a participatory workshop with key stakeholders to illuminate and validate the findings. We classified the tasks performed in the system into three phases: (1) Identification and recording; (2) Notification and registration, and (3) Production of statistics. RESULTS: We identified 13 stakeholders, with operating and influencing roles in the process of identification, registration and production of statistics about road traffic deaths in Guilan province. The three main sources of road traffic death statistics are the Ministry of Health and Medical Education, the National Organization for Civil Registration and the Forensic Medicine Organization. Our results reveal a highly fragmented system with minimal cross-sectoral data exchange. Each stakeholder operates in a silo resulting in delays and redundancies in the operating system. In the absence of an effective communication among stakeholders, the information exchange was dependent on the family of the deceased. These fragmented information silos alter the compilation of cause of death statistics and result in under-reporting and discrepancies in road traffic deaths figures. CONCLUSIONS: Designing a comprehensive road traffic information system that provides accurate and timely information requires an understanding of the information flow and the entangled web of different stakeholders operating in the system. Participatory systems approaches such as process mapping can assist in capturing the complexity of the system and the integration process by facilitating stakeholders' engagement and ownership in improving the design of the system

The Challenge of Applying and Undertaking Research in Female Sport.

In recent years there has been an exponential rise in the professionalism and success of female sports. Practitioners (e.g., sport science professionals) aim to apply evidence-informed approaches to optimise athlete performance and well-being. Evidence-informed practices should be derived from research literature. Given the lack of research on elite female athletes, this is challenging at present. This limits the ability to adopt an evidence-informed approach when working in female sports, and as such, we are likely failing to maximize the performance potential of female athletes. This article discusses the challenges of applying an evidence base derived from male athletes to female athletes. A conceptual framework is presented, which depicts the need to question the current (male) evidence base due to the differences of the "female athlete" and the "female sporting environment," which pose a number of challenges for practitioners working in the field. Until a comparable applied sport science research evidence base is established in female athletes, evidence-informed approaches will remain a challenge for those working in female sport